1 package java.lang: 2 annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4 package org.checkerframework.checker.nullness.qual: 5 annotation @Nullable: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 6 annotation @UnknownKeyFor: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 7 8 package annotator.tests: 9 class BoundMethodSimple: 10 11 method <init>()V: 12 13 method foo(Lannotator/tests/Date;)V: 14 bound 0 & 0: @java.lang.Tainted 15 16 method foo2(Ljava/lang/Object;)V: 17 bound 0 & 0: @java.lang.Tainted 18 19 method foo3(Ljava/util/List;Ljava/util/Comparator;)V: 20 bound 0 & 0: @org.checkerframework.checker.nullness.qual.Nullable @org.checkerframework.checker.nullness.qual.UnknownKeyFor 21 22
