Home | History | Annotate | Download | only in tests 
      1 package java.lang:
      2 
      3 annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
      4 
      5 // Note no @Target meta-annotation
      6 annotation @Nullable:
      7 
      8 package annotator.tests:
      9 class ArrayParamSimple:
     10 
     11     method <init>()V:
     12 
     13     method m1([Ljava/lang/Integer;)V:
     14         parameter #0:
     15 	    type:
     16                 inner-type 0, 0: @java.lang.Tainted
     17 
     18     method m2([Ljava/lang/Integer;)V:
     19         parameter #0:
     20 	    type: @java.lang.Tainted
     21                 inner-type 0, 0:
     22 
     23     method m3([Ljava/lang/Integer;)V:
     24         parameter #0:
     25 	    type:
     26                 inner-type 0, 0: @java.lang.Nullable
     27 
     28     method m4([Ljava/lang/Integer;)V:
     29         parameter #0:
     30 	    type: @java.lang.Nullable
     31                 inner-type 0, 0:
     32 
     33 // The tool properly issues a warning about inner-type on a declaration location.
     34 //     method m5([Ljava/lang/Integer;)V:
     35 //         parameter #0:
     36 //             inner-type 0, 0: @java.lang.Nullable
     37