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