Home | History | Annotate | Download | only in converted 
      1 package checkers.tainting.quals:
      2 annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
      3 
      4 package annotation:
      5 annotation @Inner: @java.lang.annotation.Target(value={TYPE_USE})
      6     int value
      7 
      8 package annotation:
      9 annotation @A:
     10 
     11 package annotation:
     12 annotation @B:
     13 
     14 package annotation:
     15 annotation @C:
     16 
     17 package annotator.tests:
     18 class Receivers:
     19 
     20     method m()V:
     21         return:
     22         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     23 
     24     method spaces()V:
     25         return:
     26         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     27 
     28     method m(I)V:
     29         return:
     30         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     31 
     32     method spaces(I)V:
     33         return:
     34         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     35 
     36     method m(Ljava/lang/String;)V:
     37         return:
     38         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     39 
     40 package annotator.tests:
     41 class Receivers2:
     42 
     43     method m()V:
     44         return:
     45         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
     46 
     47     method spaces()V:
     48         return:
     49         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
     50 
     51     method m(I)V:
     52         return:
     53         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
     54 
     55     method spaces(I)V:
     56         return:
     57         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
     58 
     59 package annotator.tests:
     60 class Receivers3:
     61 
     62     method m()V:
     63         return:
     64         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
     65         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
     66         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     67 
     68     method m(I)V:
     69         return:
     70         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
     71         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
     72         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     73 
     74 package annotator.tests:
     75 class Receivers4:
     76 
     77     method m()V:
     78         return:
     79         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
     80 
     81     method m(I)V:
     82         return:
     83         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
     84 
     85 package annotator.tests:
     86 class Receivers5:
     87 
     88     method m()V:
     89         return:
     90         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     91 
     92 package annotator.tests:
     93 class Receivers6:
     94 
     95     method m()V:
     96         return:
     97         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
     98 
     99 package annotator.tests:
    100 class Receivers7:
    101 
    102     method m()V:
    103         return:
    104         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 0: @annotation.Inner(value=0)
    105         insert-annotation Method.parameter -1, ParameterizedType.typeArgument 1: @annotation.Inner(value=1)
    106         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted
    107 
    108 package annotator.tests:
    109 class Receivers8:
    110 
    111     method m()V:
    112         return:
    113         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
    114 
    115 package annotator.tests:
    116 class Receivers9:
    117 
    118     method m()V:
    119         return:
    120         insert-annotation Method.parameter -1: @checkers.tainting.quals.Tainted @annotation.A @annotation.B @annotation.C
    121 
    122 package annotator.tests:
    123 class Receivers10:
    124 
    125     method m()V:
    126         return:
    127         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.typeArgument 0: @annotation.A
    128         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.typeArgument 1: @annotation.B
    129         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
    130 
    131     method m(Lannotator/tests/Receivers10;)V:
    132         return:
    133         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.typeArgument 0: @annotation.A
    134         insert-annotation Method.parameter -1, Variable.type, ParameterizedType.typeArgument 1: @annotation.B
    135         insert-annotation Method.parameter -1, Variable.type: @checkers.tainting.quals.Tainted
    136 
    137