1 package java.lang: 2 annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4 package annotator.tests: 5 class BoundMethodSimple: 6 7 method foo(Ljava/util/Date;)V: 8 return: 9 insert-annotation Method.typeParameter 0, TypeParameter.bound 0: @java.lang.Tainted 10 11 method foo2(Ljava/lang/Object;)V: 12 return: 13 insert-annotation Method.typeParameter 0, TypeParameter.bound 0: @java.lang.Tainted 14 15
