package java.lang: | |
annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) | |
package annotator.tests: | |
class BoundMethodSimple: | |
method foo(Ljava/util/Date;)V: | |
return: | |
insert-annotation Method.typeParameter 0, TypeParameter.bound 0: @java.lang.Tainted | |
method foo2(Ljava/lang/Object;)V: | |
return: | |
insert-annotation Method.typeParameter 0, TypeParameter.bound 0: @java.lang.Tainted | |