1 package java.lang: 2 annotation @UnderInitialization: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4 package annotator.tests: 5 class ConstructorParam: 6 7 method <init>(I)V: 8 return: 9 insert-annotation Method.parameter 0, Variable.type: @java.lang.UnderInitialization 10 11
