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