• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1package java.lang:
2
3annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
4
5// Note no @Target meta-annotation
6annotation @Nullable:
7
8package annotator.tests:
9class 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