author | jfranck |
Mon, 08 Sep 2014 13:11:28 +0200 | |
changeset 26532 | aa84b6606229 |
parent 26266 | 2d24bda701dc |
child 26781 | a786b07c7b91 |
permissions | -rw-r--r-- |
10 | 1 |
/* |
15385 | 2 |
* Copyright (c) 2003, 2013, Oracle and/or its affiliates. All rights reserved. |
10 | 3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 |
* |
|
5 |
* This code is free software; you can redistribute it and/or modify it |
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
|
5520 | 7 |
* published by the Free Software Foundation. Oracle designates this |
10 | 8 |
* particular file as subject to the "Classpath" exception as provided |
5520 | 9 |
* by Oracle in the LICENSE file that accompanied this code. |
10 | 10 |
* |
11 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
12 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
13 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
14 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
15 |
* accompanied this code). |
|
16 |
* |
|
17 |
* You should have received a copy of the GNU General Public License version |
|
18 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
19 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
20 |
* |
|
5520 | 21 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
22 |
* or visit www.oracle.com if you need additional information or have any |
|
23 |
* questions. |
|
10 | 24 |
*/ |
25 |
||
26 |
package com.sun.tools.javac.code; |
|
27 |
||
28 |
import java.util.LinkedHashMap; |
|
29 |
import java.util.Map; |
|
30 |
import javax.lang.model.element.AnnotationMirror; |
|
31 |
import javax.lang.model.element.AnnotationValue; |
|
32 |
import javax.lang.model.element.AnnotationValueVisitor; |
|
33 |
import javax.lang.model.type.DeclaredType; |
|
34 |
import com.sun.tools.javac.code.Symbol.*; |
|
35 |
import com.sun.tools.javac.util.*; |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
36 |
import com.sun.tools.javac.util.DefinedBy.Api; |
10 | 37 |
|
38 |
/** An annotation value. |
|
39 |
* |
|
5847
1908176fd6e3
6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents:
5520
diff
changeset
|
40 |
* <p><b>This is NOT part of any supported API. |
1908176fd6e3
6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents:
5520
diff
changeset
|
41 |
* If you write code that depends on this, you do so at your own risk. |
10 | 42 |
* This code and its internal interfaces are subject to change or |
43 |
* deletion without notice.</b> |
|
44 |
*/ |
|
45 |
public abstract class Attribute implements AnnotationValue { |
|
46 |
||
47 |
/** The type of the annotation element. */ |
|
48 |
public Type type; |
|
49 |
||
50 |
public Attribute(Type type) { |
|
51 |
this.type = type; |
|
52 |
} |
|
53 |
||
54 |
public abstract void accept(Visitor v); |
|
55 |
||
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
56 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 57 |
public Object getValue() { |
58 |
throw new UnsupportedOperationException(); |
|
59 |
} |
|
60 |
||
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
61 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 62 |
public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) { |
63 |
throw new UnsupportedOperationException(); |
|
64 |
} |
|
65 |
||
14961
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
66 |
public boolean isSynthesized() { |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
67 |
return false; |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
68 |
} |
10 | 69 |
|
22163 | 70 |
public TypeAnnotationPosition getPosition() { return null; } |
21010
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
71 |
|
10 | 72 |
/** The value for an annotation element of primitive type or String. */ |
73 |
public static class Constant extends Attribute { |
|
74 |
public final Object value; |
|
75 |
public void accept(Visitor v) { v.visitConstant(this); } |
|
76 |
public Constant(Type type, Object value) { |
|
77 |
super(type); |
|
78 |
this.value = value; |
|
79 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
80 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 81 |
public String toString() { |
82 |
return Constants.format(value, type); |
|
83 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
84 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 85 |
public Object getValue() { |
86 |
return Constants.decode(value, type); |
|
87 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
88 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 89 |
public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) { |
90 |
if (value instanceof String) |
|
91 |
return v.visitString((String) value, p); |
|
92 |
if (value instanceof Integer) { |
|
93 |
int i = (Integer) value; |
|
18646
e628560a86d1
8017104: javac should have a class for primitive types that inherits from Type
vromero
parents:
17578
diff
changeset
|
94 |
switch (type.getTag()) { |
10 | 95 |
case BOOLEAN: return v.visitBoolean(i != 0, p); |
96 |
case CHAR: return v.visitChar((char) i, p); |
|
97 |
case BYTE: return v.visitByte((byte) i, p); |
|
98 |
case SHORT: return v.visitShort((short) i, p); |
|
99 |
case INT: return v.visitInt(i, p); |
|
100 |
} |
|
101 |
} |
|
18646
e628560a86d1
8017104: javac should have a class for primitive types that inherits from Type
vromero
parents:
17578
diff
changeset
|
102 |
switch (type.getTag()) { |
10 | 103 |
case LONG: return v.visitLong((Long) value, p); |
104 |
case FLOAT: return v.visitFloat((Float) value, p); |
|
105 |
case DOUBLE: return v.visitDouble((Double) value, p); |
|
106 |
} |
|
107 |
throw new AssertionError("Bad annotation element value: " + value); |
|
108 |
} |
|
109 |
} |
|
110 |
||
111 |
/** The value for an annotation element of type java.lang.Class, |
|
112 |
* represented as a ClassSymbol. |
|
113 |
*/ |
|
114 |
public static class Class extends Attribute { |
|
13689
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
115 |
public final Type classType; |
10 | 116 |
public void accept(Visitor v) { v.visitClass(this); } |
117 |
public Class(Types types, Type type) { |
|
118 |
super(makeClassType(types, type)); |
|
13689
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
119 |
this.classType = type; |
10 | 120 |
} |
121 |
static Type makeClassType(Types types, Type type) { |
|
122 |
Type arg = type.isPrimitive() |
|
123 |
? types.boxedClass(type).type |
|
124 |
: types.erasure(type); |
|
125 |
return new Type.ClassType(types.syms.classType.getEnclosingType(), |
|
126 |
List.of(arg), |
|
24396 | 127 |
types.syms.classType.tsym, |
128 |
Type.noAnnotations); |
|
10 | 129 |
} |
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
130 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 131 |
public String toString() { |
13689
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
132 |
return classType + ".class"; |
10 | 133 |
} |
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
134 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 135 |
public Type getValue() { |
13689
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
136 |
return classType; |
10 | 137 |
} |
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
138 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 139 |
public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) { |
13689
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
140 |
return v.visitType(classType, p); |
10 | 141 |
} |
142 |
} |
|
143 |
||
144 |
/** A compound annotation element value, the type of which is an |
|
145 |
* attribute interface. |
|
146 |
*/ |
|
147 |
public static class Compound extends Attribute implements AnnotationMirror { |
|
148 |
/** The attributes values, as pairs. Each pair contains a |
|
149 |
* reference to the accessing method in the attribute interface |
|
150 |
* and the value to be returned when that method is called to |
|
151 |
* access this attribute. |
|
152 |
*/ |
|
153 |
public final List<Pair<MethodSymbol,Attribute>> values; |
|
26532
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
154 |
public TypeAnnotationPosition position; |
14961
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
155 |
|
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
156 |
private boolean synthesized = false; |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
157 |
|
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
158 |
@Override |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
159 |
public boolean isSynthesized() { |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
160 |
return synthesized; |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
161 |
} |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
162 |
|
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
163 |
public void setSynthesized(boolean synthesized) { |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
164 |
this.synthesized = synthesized; |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
165 |
} |
e731935052af
8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents:
14359
diff
changeset
|
166 |
|
10 | 167 |
public Compound(Type type, |
23798
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
168 |
List<Pair<MethodSymbol,Attribute>> values, |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
169 |
TypeAnnotationPosition position) { |
10 | 170 |
super(type); |
171 |
this.values = values; |
|
23798
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
172 |
this.position = position; |
10 | 173 |
} |
23798
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
174 |
|
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
175 |
public Compound(Type type, |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
176 |
List<Pair<MethodSymbol,Attribute>> values) { |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
177 |
this(type, values, null); |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
178 |
} |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
179 |
|
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
180 |
@Override |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
181 |
public TypeAnnotationPosition getPosition() { |
26532
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
182 |
if (hasUnknownPosition()) { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
183 |
if (values.size() != 0) { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
184 |
Name valueName = values.head.fst.name.table.names.value; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
185 |
Pair<MethodSymbol, Attribute> res = getElemPair(valueName); |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
186 |
position = res == null ? null : res.snd.getPosition(); |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
187 |
} |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
188 |
} |
23798
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
189 |
return position; |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
190 |
} |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
191 |
|
26532
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
192 |
public boolean isContainerTypeCompound() { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
193 |
if (isSynthesized() && values.size() == 1) |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
194 |
return getFirstEmbeddedTC() != null; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
195 |
return false; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
196 |
} |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
197 |
|
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
198 |
private Compound getFirstEmbeddedTC() { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
199 |
if (values.size() == 1) { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
200 |
Pair<MethodSymbol, Attribute> val = values.get(0); |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
201 |
if (val.fst.getSimpleName().contentEquals("value") |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
202 |
&& val.snd instanceof Array) { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
203 |
Array arr = (Array) val.snd; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
204 |
if (arr.values.length != 0 |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
205 |
&& arr.values[0] instanceof Attribute.TypeCompound) |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
206 |
return (Attribute.TypeCompound) arr.values[0]; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
207 |
} |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
208 |
} |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
209 |
return null; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
210 |
} |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
211 |
|
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
212 |
public boolean tryFixPosition() { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
213 |
if (!isContainerTypeCompound()) |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
214 |
return false; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
215 |
|
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
216 |
Compound from = getFirstEmbeddedTC(); |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
217 |
if (from != null && from.position != null && |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
218 |
from.position.type != TargetType.UNKNOWN) { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
219 |
position = from.position; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
220 |
return true; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
221 |
} |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
222 |
return false; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
223 |
} |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
224 |
|
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
225 |
public boolean hasUnknownPosition() { |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
226 |
return position.type == TargetType.UNKNOWN; |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
227 |
} |
aa84b6606229
8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents:
26266
diff
changeset
|
228 |
|
10 | 229 |
public void accept(Visitor v) { v.visitCompound(this); } |
230 |
||
231 |
/** |
|
232 |
* Returns a string representation of this annotation. |
|
233 |
* String is of one of the forms: |
|
234 |
* @com.example.foo(name1=val1, name2=val2) |
|
235 |
* @com.example.foo(val) |
|
236 |
* @com.example.foo |
|
237 |
* Omit parens for marker annotations, and omit "value=" when allowed. |
|
238 |
*/ |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
239 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 240 |
public String toString() { |
241 |
StringBuilder buf = new StringBuilder(); |
|
242 |
buf.append("@"); |
|
243 |
buf.append(type); |
|
244 |
int len = values.length(); |
|
245 |
if (len > 0) { |
|
246 |
buf.append('('); |
|
247 |
boolean first = true; |
|
248 |
for (Pair<MethodSymbol, Attribute> value : values) { |
|
249 |
if (!first) buf.append(", "); |
|
250 |
first = false; |
|
251 |
||
252 |
Name name = value.fst.name; |
|
1260
a772ba9ba43d
6574134: Allow for alternative implementation of Name Table with garbage collection of name bytes
jjg
parents:
1206
diff
changeset
|
253 |
if (len > 1 || name != name.table.names.value) { |
10 | 254 |
buf.append(name); |
255 |
buf.append('='); |
|
256 |
} |
|
257 |
buf.append(value.snd); |
|
258 |
} |
|
259 |
buf.append(')'); |
|
260 |
} |
|
261 |
return buf.toString(); |
|
262 |
} |
|
263 |
||
264 |
public Attribute member(Name member) { |
|
21010
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
265 |
Pair<MethodSymbol,Attribute> res = getElemPair(member); |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
266 |
return res == null ? null : res.snd; |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
267 |
} |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
268 |
|
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
269 |
private Pair<MethodSymbol, Attribute> getElemPair(Name member) { |
10 | 270 |
for (Pair<MethodSymbol,Attribute> pair : values) |
21010
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
271 |
if (pair.fst.name == member) return pair; |
10 | 272 |
return null; |
273 |
} |
|
274 |
||
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
275 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 276 |
public Attribute.Compound getValue() { |
277 |
return this; |
|
278 |
} |
|
279 |
||
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
280 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 281 |
public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) { |
282 |
return v.visitAnnotation(this, p); |
|
283 |
} |
|
284 |
||
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
285 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 286 |
public DeclaredType getAnnotationType() { |
287 |
return (DeclaredType) type; |
|
288 |
} |
|
289 |
||
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
290 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 291 |
public Map<MethodSymbol, Attribute> getElementValues() { |
22163 | 292 |
Map<MethodSymbol, Attribute> valmap = new LinkedHashMap<>(); |
10 | 293 |
for (Pair<MethodSymbol, Attribute> value : values) |
294 |
valmap.put(value.fst, value.snd); |
|
295 |
return valmap; |
|
296 |
} |
|
297 |
} |
|
298 |
||
15385 | 299 |
public static class TypeCompound extends Compound { |
300 |
public TypeCompound(Compound compound, |
|
23798
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
301 |
TypeAnnotationPosition position) { |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
302 |
super(compound.type, compound.values, position); |
17578 | 303 |
} |
304 |
||
23798
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
305 |
public TypeCompound(Type type, |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
306 |
List<Pair<MethodSymbol,Attribute>> values, |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
307 |
TypeAnnotationPosition position) { |
ca0f80391182
8035768: Move TypeAnnotationPosition from Attribute.Compound to Attribute.TypeCompound
emc
parents:
22163
diff
changeset
|
308 |
super(type, values, position); |
17578 | 309 |
} |
15385 | 310 |
} |
311 |
||
10 | 312 |
/** The value for an annotation element of an array type. |
313 |
*/ |
|
314 |
public static class Array extends Attribute { |
|
315 |
public final Attribute[] values; |
|
316 |
public Array(Type type, Attribute[] values) { |
|
317 |
super(type); |
|
318 |
this.values = values; |
|
319 |
} |
|
13689
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
320 |
|
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
321 |
public Array(Type type, List<Attribute> values) { |
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
322 |
super(type); |
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
323 |
this.values = values.toArray(new Attribute[values.size()]); |
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
324 |
} |
4d519199a6aa
7151010: Add compiler support for repeating annotations
jfranck
parents:
8032
diff
changeset
|
325 |
|
10 | 326 |
public void accept(Visitor v) { v.visitArray(this); } |
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
327 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 328 |
public String toString() { |
329 |
StringBuilder buf = new StringBuilder(); |
|
330 |
buf.append('{'); |
|
331 |
boolean first = true; |
|
332 |
for (Attribute value : values) { |
|
333 |
if (!first) |
|
334 |
buf.append(", "); |
|
335 |
first = false; |
|
336 |
buf.append(value); |
|
337 |
} |
|
338 |
buf.append('}'); |
|
339 |
return buf.toString(); |
|
340 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
341 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 342 |
public List<Attribute> getValue() { |
343 |
return List.from(values); |
|
344 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
345 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 346 |
public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) { |
347 |
return v.visitArray(getValue(), p); |
|
348 |
} |
|
21010
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
349 |
|
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
350 |
@Override |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
351 |
public TypeAnnotationPosition getPosition() { |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
352 |
if (values.length != 0) |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
353 |
return values[0].getPosition(); |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
354 |
else |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
355 |
return null; |
5ffe0d8a5e24
8008762: Type annotation on inner class in anonymous class show up as regular type annotations
emc
parents:
19507
diff
changeset
|
356 |
} |
10 | 357 |
} |
358 |
||
359 |
/** The value for an annotation element of an enum type. |
|
360 |
*/ |
|
361 |
public static class Enum extends Attribute { |
|
362 |
public VarSymbol value; |
|
363 |
public Enum(Type type, VarSymbol value) { |
|
364 |
super(type); |
|
8032 | 365 |
this.value = Assert.checkNonNull(value); |
10 | 366 |
} |
367 |
public void accept(Visitor v) { v.visitEnum(this); } |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
368 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 369 |
public String toString() { |
370 |
return value.enclClass() + "." + value; // qualified name |
|
371 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
372 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 373 |
public VarSymbol getValue() { |
374 |
return value; |
|
375 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
376 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 377 |
public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) { |
378 |
return v.visitEnumConstant(value, p); |
|
379 |
} |
|
380 |
} |
|
381 |
||
382 |
public static class Error extends Attribute { |
|
383 |
public Error(Type type) { |
|
384 |
super(type); |
|
385 |
} |
|
386 |
public void accept(Visitor v) { v.visitError(this); } |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
387 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 388 |
public String toString() { |
389 |
return "<error>"; |
|
390 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
391 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 392 |
public String getValue() { |
393 |
return toString(); |
|
394 |
} |
|
26266
2d24bda701dc
8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents:
25874
diff
changeset
|
395 |
@DefinedBy(Api.LANGUAGE_MODEL) |
10 | 396 |
public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) { |
397 |
return v.visitString(toString(), p); |
|
398 |
} |
|
399 |
} |
|
400 |
||
19507
323f001d6be1
8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents:
18646
diff
changeset
|
401 |
public static class UnresolvedClass extends Error { |
323f001d6be1
8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents:
18646
diff
changeset
|
402 |
public Type classType; |
323f001d6be1
8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents:
18646
diff
changeset
|
403 |
public UnresolvedClass(Type type, Type classType) { |
323f001d6be1
8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents:
18646
diff
changeset
|
404 |
super(type); |
323f001d6be1
8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents:
18646
diff
changeset
|
405 |
this.classType = classType; |
323f001d6be1
8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents:
18646
diff
changeset
|
406 |
} |
323f001d6be1
8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents:
18646
diff
changeset
|
407 |
} |
323f001d6be1
8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents:
18646
diff
changeset
|
408 |
|
10 | 409 |
/** A visitor type for dynamic dispatch on the kind of attribute value. */ |
410 |
public static interface Visitor { |
|
411 |
void visitConstant(Attribute.Constant value); |
|
412 |
void visitClass(Attribute.Class clazz); |
|
413 |
void visitCompound(Attribute.Compound compound); |
|
414 |
void visitArray(Attribute.Array array); |
|
415 |
void visitEnum(Attribute.Enum e); |
|
416 |
void visitError(Attribute.Error e); |
|
417 |
} |
|
6575
ae1798028008
6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents:
5847
diff
changeset
|
418 |
|
ae1798028008
6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents:
5847
diff
changeset
|
419 |
/** A mirror of java.lang.annotation.RetentionPolicy. */ |
ae1798028008
6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents:
5847
diff
changeset
|
420 |
public static enum RetentionPolicy { |
ae1798028008
6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents:
5847
diff
changeset
|
421 |
SOURCE, |
ae1798028008
6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents:
5847
diff
changeset
|
422 |
CLASS, |
ae1798028008
6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents:
5847
diff
changeset
|
423 |
RUNTIME |
ae1798028008
6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents:
5847
diff
changeset
|
424 |
} |
10 | 425 |
} |