Home | History | Annotate | Download | only in converted 
      1 package checkers.taiting.quals:
      2 annotation @Tainted: @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER}) @java.lang.annotation.Retention(value=RUNTIME)
      3 
      4 package annotation:
      5 annotation @A:
      6 
      7 package annotation:
      8 annotation @B:
      9 
     10 package annotation:
     11 annotation @C:
     12 
     13 package annotation:
     14 annotation @Inner: @java.lang.annotation.Target(value={TYPE_USE})
     15     int value
     16 
     17 package annotator.tests:
     18 class ConstructorReceivers$C0:
     19 
     20     method <init>()V:
     21         return:
     22         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     23 
     24     method <init>(I)V:
     25         return:
     26         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     27 
     28 package annotator.tests:
     29 class ConstructorReceivers$C1:
     30 
     31     method <init>()V:
     32         return:
     33         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
     34 
     35     method <init>(I)V:
     36         return:
     37         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
     38 
     39 package annotator.tests:
     40 class ConstructorReceivers$C2:
     41 
     42     method <init>()V:
     43         return:
     44         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted @annotation.A @annotation.B @annotation.C
     45 
     46 package annotator.tests:
     47 class ConstructorReceivers$C3:
     48 
     49     method <init>()V:
     50         return:
     51         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted @annotation.A @annotation.B @annotation.C
     52 
     53 package annotator.tests:
     54 class ConstructorReceivers$P0$C4:
     55 
     56     method <init>()V:
     57         return:
     58         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     59 
     60     method <init>(I)V:
     61         return:
     62         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     63 
     64 package annotator.tests:
     65 class ConstructorReceivers$P0$C5:
     66 
     67     method <init>()V:
     68         return:
     69         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression: @checkers.tainting.quals.Tainted
     70 
     71     method <init>(I)V:
     72         return:
     73         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression: @checkers.tainting.quals.Tainted
     74 
     75 package annotator.tests:
     76 class ConstructorReceivers$P0$C6:
     77 
     78     method <init>()V:
     79         return:
     80         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     81 
     82     method <init>(Lannotator/tests/ConstructorReceivers$P0;)V:
     83         return:
     84         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
     85         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
     86         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     87 
     88 package annotator.tests:
     89 class ConstructorReceivers$P0$C7:
     90 
     91     method <init>()V:
     92         return:
     93         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression: @checkers.tainting.quals.Tainted
     94 
     95     method <init>(Lannotator/tests/ConstructorReceivers$P0;)V:
     96         return:
     97         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression, MemberSelect.expression, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
     98         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression, MemberSelect.expression, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
     99         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression: @checkers.tainting.quals.Tainted
    100         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
    101         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
    102 
    103 package annotator.tests:
    104 class ConstructorReceivers$P1$C8:
    105 
    106     method <init>()V:
    107         return:
    108         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
    109         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
    110         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
    111 
    112 package annotator.tests:
    113 class ConstructorReceivers$P1$C9:
    114 
    115     method <init>()V:
    116         return:
    117         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression, MemberSelect.expression, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
    118         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression, MemberSelect.expression, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
    119         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.type, MemberSelect.expression: @checkers.tainting.quals.Tainted
    120         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
    121         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
    122 
    123