Home | History | Annotate | Download | only in converted 
      1 package java.lang:
      2 annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
      3 
      4 package java.lang:
      5 annotation @Nullable:
      6 
      7 package annotator.tests:
      8 class ArrayParamSimple:
      9 
     10     method m1([Ljava/lang/Integer;)V:
     11         return:
     12         insert-annotation Method.parameter 0, Variable.type, ArrayType.type: @java.lang.Tainted
     13 
     14     method m2([Ljava/lang/Integer;)V:
     15         return:
     16         insert-annotation Method.parameter 0, Variable.type: @java.lang.Tainted
     17 
     18     method m3([Ljava/lang/Integer;)V:
     19         return:
     20         insert-annotation Method.parameter 0, Variable.type, ArrayType.type: @java.lang.Nullable
     21 
     22     method m4([Ljava/lang/Integer;)V:
     23         return:
     24         insert-annotation Method.parameter 0, Variable.type: @java.lang.Nullable
     25 
     26