1 package java.lang: 2 annotation @UnderInitialization: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4 package java.lang: 5 annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 6 7 package annotator.tests: 8 class ConstructorParamMultiple: 9 10 method <init>(Ljava/lang/Object;Ljava/util/List;I)V: 11 return: 12 insert-annotation Method.parameter 1, Variable.type, ParameterizedType.typeArgument 0: @java.lang.UnderInitialization 13 insert-annotation Method.parameter 0, Variable.type: @java.lang.Tainted 14 insert-annotation Method.parameter 1, Variable.type: @java.lang.Tainted 15 insert-annotation Method.parameter 2, Variable.type: @java.lang.Tainted 16 17
