1 package java.lang: 2 annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4 package annotator.tests: 5 class TypeParamMethod: 6 7 method foo(Ljava/lang/Object;)V: 8 typeparam 0: @java.lang.Tainted 9 10 method foo2(Lannotator/tests/Date;)V: 11 typeparam 0: @java.lang.Tainted 12 13 method foo(Ljava/lang/Object;Ljava/lang/Object;)V: 14 typeparam 1: @java.lang.Tainted 15 16 method foo2(Ljava/util/Date;Ljava/util/Date;)V: 17 typeparam 1: @java.lang.Tainted 18