annotation-file-utilities/tests/InstanceOfMultiple.jaif

package java.lang:
annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})

package java.lang:
annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})

package annotator.tests:
class InstanceOfMultiple:

    method <init>()V:

    method foo(Ljava/lang/Object;)V:
        instanceof #1: @java.lang.Tainted
        instanceof #15: @java.lang.UnderInitialization
        instanceof #29: @java.lang.UnderInitialization
            inner-type 3, 0: @java.lang.Tainted