blob: fb2a8caf1a9258fb353234b2917c676d73f7d8a1 [file] [log] [blame] [edit]
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