1 package java.lang: 2 annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4 package java.lang: 5 annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 6 7 package annotator.tests: 8 class TypeCastMultiple: 9 10 method <init>()V: 11 12 method foo(Ljava/lang/Object;)V: 13 typecast *0: @java.lang.UnderInitialization 14 new *0: @java.lang.UnderInitialization 15 instanceof *0: @java.lang.UnderInitialization 16 typecast *1: @java.lang.Tainted 17 18
