annotation-file-utilities/tests/ConstructorReceivers.jaif

package annotation:
annotation @A:
annotation @B:
annotation @C:
annotation @Inner: @java.lang.annotation.Target(value={TYPE_USE})
    int value

package checkers.tainting.quals:
annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER})

package annotator.tests:
class ConstructorReceivers:

    method <init>()V:
        return:

class ConstructorReceivers$C0:

    field this$0:

    method <init>()V:
        return:
        receiver: @Tainted

    method <init>(I)V:
        return:
        receiver: @Tainted

class ConstructorReceivers$C1:

    field this$0:

    method <init>()V:
        return:
        receiver: @Tainted

    method <init>(I)V:
        return:
        receiver: @Tainted

class ConstructorReceivers$C2:

    field this$0:

    method <init>()V:
        return:
        receiver: @Tainted @A @B @C

class ConstructorReceivers$C3:

    field this$0:

    method <init>()V:
        return:
        receiver: @Tainted @A @B @C

class ConstructorReceivers$P0$C4:

    field this$1:

    method <init>()V:
        return:
        receiver: @Tainted

    method <init>(I)V:
        return:
        receiver: @Tainted

class ConstructorReceivers$P0$C5:

    field this$1:

    method <init>()V:
        return:
        receiver: @Tainted

    method <init>(I)V:
        return:
        receiver: @Tainted

class ConstructorReceivers$P0$C6:

    field this$1:

    method <init>()V:
        return:
        receiver: @Tainted

    method <init>(Lannotator/tests/ConstructorReceivers$P0;)V:
        return:
        receiver: @Tainted
            inner-type 1, 0, 3, 0: @Inner(0)
            inner-type 1, 0, 3, 1: @Inner(1)

class ConstructorReceivers$P0$C7:

    field this$1:

    method <init>()V:
        return:
        receiver: @Tainted

    method <init>(Lannotator/tests/ConstructorReceivers$P0;)V:
        return:
        receiver: @Tainted
            inner-type 1, 0, 3, 0: @Inner(0)
            inner-type 1, 0, 3, 1: @Inner(1)

class ConstructorReceivers$P0:

    field this$0:

    method <init>()V:
        return:

class ConstructorReceivers$P1$C8:

    field this$1:

    method <init>()V:
        return:
        receiver: @Tainted
            inner-type 1, 0, 3, 0: @Inner(0)
            inner-type 1, 0, 3, 1: @Inner(1)

class ConstructorReceivers$P1$C9:

    field this$1:

    method <init>()V:
        return:
        receiver: @Tainted
            inner-type 1, 0, 3, 0: @Inner(0)
            inner-type 1, 0, 3, 1: @Inner(1)

class ConstructorReceivers$P1:

    field this$0:

    method <init>()V:
        return: