| package java.lang: |
| annotation @UnderInitialization: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) |
| |
| package java.lang: |
| annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) |
| |
| package annotator.tests: |
| class ConstructorParamMultiple: |
| |
| method <init>(Ljava/lang/Object;Ljava/util/List;I)V: |
| return: |
| insert-annotation Method.parameter 1, Variable.type, ParameterizedType.typeArgument 0: @java.lang.UnderInitialization |
| insert-annotation Method.parameter 0, Variable.type: @java.lang.Tainted |
| insert-annotation Method.parameter 1, Variable.type: @java.lang.Tainted |
| insert-annotation Method.parameter 2, Variable.type: @java.lang.Tainted |
| |