Sun, 04 Nov 2012 10:59:42 +0000
7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith
1 /*
2 * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved.
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
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
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 *
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.
24 */
26 package com.sun.tools.javac.code;
28 import java.util.Collections;
29 import java.util.EnumSet;
30 import java.util.Map;
31 import java.util.Set;
33 import javax.lang.model.element.Modifier;
35 /** Access flags and other modifiers for Java classes and members.
36 *
37 * <p><b>This is NOT part of any supported API.
38 * If you write code that depends on this, you do so at your own risk.
39 * This code and its internal interfaces are subject to change or
40 * deletion without notice.</b>
41 */
42 public class Flags {
44 private Flags() {} // uninstantiable
46 public static String toString(long flags) {
47 StringBuilder buf = new StringBuilder();
48 String sep = "";
49 for (Flag s : asFlagSet(flags)) {
50 buf.append(sep);
51 buf.append(s);
52 sep = " ";
53 }
54 return buf.toString();
55 }
57 public static EnumSet<Flag> asFlagSet(long mask) {
58 EnumSet<Flag> flags = EnumSet.noneOf(Flag.class);
59 if ((mask&PUBLIC) != 0) flags.add(Flag.PUBLIC);
60 if ((mask&PRIVATE) != 0) flags.add(Flag.PRIVATE);
61 if ((mask&PROTECTED) != 0) flags.add(Flag.PROTECTED);
62 if ((mask&STATIC) != 0) flags.add(Flag.STATIC);
63 if ((mask&FINAL) != 0) flags.add(Flag.FINAL);
64 if ((mask&SYNCHRONIZED) != 0) flags.add(Flag.SYNCHRONIZED);
65 if ((mask&VOLATILE) != 0) flags.add(Flag.VOLATILE);
66 if ((mask&TRANSIENT) != 0) flags.add(Flag.TRANSIENT);
67 if ((mask&NATIVE) != 0) flags.add(Flag.NATIVE);
68 if ((mask&INTERFACE) != 0) flags.add(Flag.INTERFACE);
69 if ((mask&ABSTRACT) != 0) flags.add(Flag.ABSTRACT);
70 if ((mask&STRICTFP) != 0) flags.add(Flag.STRICTFP);
71 if ((mask&BRIDGE) != 0) flags.add(Flag.BRIDGE);
72 if ((mask&SYNTHETIC) != 0) flags.add(Flag.SYNTHETIC);
73 if ((mask&DEPRECATED) != 0) flags.add(Flag.DEPRECATED);
74 if ((mask&HASINIT) != 0) flags.add(Flag.HASINIT);
75 if ((mask&ENUM) != 0) flags.add(Flag.ENUM);
76 if ((mask&IPROXY) != 0) flags.add(Flag.IPROXY);
77 if ((mask&NOOUTERTHIS) != 0) flags.add(Flag.NOOUTERTHIS);
78 if ((mask&EXISTS) != 0) flags.add(Flag.EXISTS);
79 if ((mask&COMPOUND) != 0) flags.add(Flag.COMPOUND);
80 if ((mask&CLASS_SEEN) != 0) flags.add(Flag.CLASS_SEEN);
81 if ((mask&SOURCE_SEEN) != 0) flags.add(Flag.SOURCE_SEEN);
82 if ((mask&LOCKED) != 0) flags.add(Flag.LOCKED);
83 if ((mask&UNATTRIBUTED) != 0) flags.add(Flag.UNATTRIBUTED);
84 if ((mask&ANONCONSTR) != 0) flags.add(Flag.ANONCONSTR);
85 if ((mask&ACYCLIC) != 0) flags.add(Flag.ACYCLIC);
86 if ((mask&PARAMETER) != 0) flags.add(Flag.PARAMETER);
87 if ((mask&VARARGS) != 0) flags.add(Flag.VARARGS);
88 return flags;
89 }
91 /* Standard Java flags.
92 */
93 public static final int PUBLIC = 1<<0;
94 public static final int PRIVATE = 1<<1;
95 public static final int PROTECTED = 1<<2;
96 public static final int STATIC = 1<<3;
97 public static final int FINAL = 1<<4;
98 public static final int SYNCHRONIZED = 1<<5;
99 public static final int VOLATILE = 1<<6;
100 public static final int TRANSIENT = 1<<7;
101 public static final int NATIVE = 1<<8;
102 public static final int INTERFACE = 1<<9;
103 public static final int ABSTRACT = 1<<10;
104 public static final int STRICTFP = 1<<11;
106 /* Flag that marks a symbol synthetic, added in classfile v49.0. */
107 public static final int SYNTHETIC = 1<<12;
109 /** Flag that marks attribute interfaces, added in classfile v49.0. */
110 public static final int ANNOTATION = 1<<13;
112 /** An enumeration type or an enumeration constant, added in
113 * classfile v49.0. */
114 public static final int ENUM = 1<<14;
116 public static final int StandardFlags = 0x0fff;
117 public static final int ModifierFlags = StandardFlags & ~INTERFACE;
119 // Because the following access flags are overloaded with other
120 // bit positions, we translate them when reading and writing class
121 // files into unique bits positions: ACC_SYNTHETIC <-> SYNTHETIC,
122 // for example.
123 public static final int ACC_SUPER = 0x0020;
124 public static final int ACC_BRIDGE = 0x0040;
125 public static final int ACC_VARARGS = 0x0080;
127 /*****************************************
128 * Internal compiler flags (no bits in the lower 16).
129 *****************************************/
131 /** Flag is set if symbol is deprecated.
132 */
133 public static final int DEPRECATED = 1<<17;
135 /** Flag is set for a variable symbol if the variable's definition
136 * has an initializer part.
137 */
138 public static final int HASINIT = 1<<18;
140 /** Flag is set for compiler-generated anonymous method symbols
141 * that `own' an initializer block.
142 */
143 public static final int BLOCK = 1<<20;
145 /** Flag is set for compiler-generated abstract methods that implement
146 * an interface method (Miranda methods).
147 */
148 public static final int IPROXY = 1<<21;
150 /** Flag is set for nested classes that do not access instance members
151 * or `this' of an outer class and therefore don't need to be passed
152 * a this$n reference. This flag is currently set only for anonymous
153 * classes in superclass constructor calls and only for pre 1.4 targets.
154 * todo: use this flag for optimizing away this$n parameters in
155 * other cases.
156 */
157 public static final int NOOUTERTHIS = 1<<22;
159 /** Flag is set for package symbols if a package has a member or
160 * directory and therefore exists.
161 */
162 public static final int EXISTS = 1<<23;
164 /** Flag is set for compiler-generated compound classes
165 * representing multiple variable bounds
166 */
167 public static final int COMPOUND = 1<<24;
169 /** Flag is set for class symbols if a class file was found for this class.
170 */
171 public static final int CLASS_SEEN = 1<<25;
173 /** Flag is set for class symbols if a source file was found for this
174 * class.
175 */
176 public static final int SOURCE_SEEN = 1<<26;
178 /* State flags (are reset during compilation).
179 */
181 /** Flag for class symbols is set and later re-set as a lock in
182 * Enter to detect cycles in the superclass/superinterface
183 * relations. Similarly for constructor call cycle detection in
184 * Attr.
185 */
186 public static final int LOCKED = 1<<27;
188 /** Flag for class symbols is set and later re-set to indicate that a class
189 * has been entered but has not yet been attributed.
190 */
191 public static final int UNATTRIBUTED = 1<<28;
193 /** Flag for synthesized default constructors of anonymous classes.
194 */
195 public static final int ANONCONSTR = 1<<29;
197 /** Flag for class symbols to indicate it has been checked and found
198 * acyclic.
199 */
200 public static final int ACYCLIC = 1<<30;
202 /** Flag that marks bridge methods.
203 */
204 public static final long BRIDGE = 1L<<31;
206 /** Flag that marks formal parameters.
207 */
208 public static final long PARAMETER = 1L<<33;
210 /** Flag that marks varargs methods.
211 */
212 public static final long VARARGS = 1L<<34;
214 /** Flag for annotation type symbols to indicate it has been
215 * checked and found acyclic.
216 */
217 public static final long ACYCLIC_ANN = 1L<<35;
219 /** Flag that marks a generated default constructor.
220 */
221 public static final long GENERATEDCONSTR = 1L<<36;
223 /** Flag that marks a hypothetical method that need not really be
224 * generated in the binary, but is present in the symbol table to
225 * simplify checking for erasure clashes - also used for 292 poly sig methods.
226 */
227 public static final long HYPOTHETICAL = 1L<<37;
229 /**
230 * Flag that marks an internal proprietary class.
231 */
232 public static final long PROPRIETARY = 1L<<38;
234 /**
235 * Flag that marks a a multi-catch parameter
236 */
237 public static final long UNION = 1L<<39;
239 /**
240 * Flag that marks a special kind of bridge methods (the ones that
241 * come from restricted supertype bounds)
242 */
243 public static final long OVERRIDE_BRIDGE = 1L<<40;
245 /**
246 * Flag that marks an 'effectively final' local variable
247 */
248 public static final long EFFECTIVELY_FINAL = 1L<<41;
250 /**
251 * Flag that marks non-override equivalent methods with the same signature
252 */
253 public static final long CLASH = 1L<<42;
255 /**
256 * Flag that marks either a default method or an interface containing default methods
257 */
258 public static final long DEFAULT = 1L<<43;
260 /**
261 * Flag that marks class as auxiliary, ie a non-public class following
262 * the public class in a source file, that could block implicit compilation.
263 */
264 public static final long AUXILIARY = 1L<<43;
266 /** Modifier masks.
267 */
268 public static final int
269 AccessFlags = PUBLIC | PROTECTED | PRIVATE,
270 LocalClassFlags = FINAL | ABSTRACT | STRICTFP | ENUM | SYNTHETIC,
271 MemberClassFlags = LocalClassFlags | INTERFACE | AccessFlags,
272 ClassFlags = LocalClassFlags | INTERFACE | PUBLIC | ANNOTATION,
273 InterfaceVarFlags = FINAL | STATIC | PUBLIC,
274 VarFlags = AccessFlags | FINAL | STATIC |
275 VOLATILE | TRANSIENT | ENUM,
276 ConstructorFlags = AccessFlags,
277 InterfaceMethodFlags = ABSTRACT | PUBLIC,
278 MethodFlags = AccessFlags | ABSTRACT | STATIC | NATIVE |
279 SYNCHRONIZED | FINAL | STRICTFP;
280 public static final long
281 ExtendedStandardFlags = (long)StandardFlags | DEFAULT,
282 InterfaceDefaultMethodMask = ABSTRACT | PUBLIC | STRICTFP | SYNCHRONIZED | DEFAULT,
283 LocalVarFlags = FINAL | PARAMETER;
286 public static Set<Modifier> asModifierSet(long flags) {
287 Set<Modifier> modifiers = modifierSets.get(flags);
288 if (modifiers == null) {
289 modifiers = java.util.EnumSet.noneOf(Modifier.class);
290 if (0 != (flags & PUBLIC)) modifiers.add(Modifier.PUBLIC);
291 if (0 != (flags & PROTECTED)) modifiers.add(Modifier.PROTECTED);
292 if (0 != (flags & PRIVATE)) modifiers.add(Modifier.PRIVATE);
293 if (0 != (flags & ABSTRACT)) modifiers.add(Modifier.ABSTRACT);
294 if (0 != (flags & STATIC)) modifiers.add(Modifier.STATIC);
295 if (0 != (flags & FINAL)) modifiers.add(Modifier.FINAL);
296 if (0 != (flags & TRANSIENT)) modifiers.add(Modifier.TRANSIENT);
297 if (0 != (flags & VOLATILE)) modifiers.add(Modifier.VOLATILE);
298 if (0 != (flags & SYNCHRONIZED))
299 modifiers.add(Modifier.SYNCHRONIZED);
300 if (0 != (flags & NATIVE)) modifiers.add(Modifier.NATIVE);
301 if (0 != (flags & STRICTFP)) modifiers.add(Modifier.STRICTFP);
302 modifiers = Collections.unmodifiableSet(modifiers);
303 modifierSets.put(flags, modifiers);
304 }
305 return modifiers;
306 }
308 // Cache of modifier sets.
309 private static Map<Long, Set<Modifier>> modifierSets =
310 new java.util.concurrent.ConcurrentHashMap<Long, Set<Modifier>>(64);
312 public static boolean isStatic(Symbol symbol) {
313 return (symbol.flags() & STATIC) != 0;
314 }
316 public static boolean isEnum(Symbol symbol) {
317 return (symbol.flags() & ENUM) != 0;
318 }
320 public static boolean isConstant(Symbol.VarSymbol symbol) {
321 return symbol.getConstValue() != null;
322 }
324 public enum Flag {
326 PUBLIC("public"),
327 PRIVATE("private"),
328 PROTECTED("protected"),
329 STATIC("static"),
330 FINAL("final"),
331 SYNCHRONIZED("synchronized"),
332 VOLATILE("volatile"),
333 TRANSIENT("transient"),
334 NATIVE("native"),
335 INTERFACE("interface"),
336 ABSTRACT("abstract"),
337 DEFAULT("default"),
338 STRICTFP("strictfp"),
339 BRIDGE("bridge"),
340 SYNTHETIC("synthetic"),
341 DEPRECATED("deprecated"),
342 HASINIT("hasinit"),
343 ENUM("enum"),
344 IPROXY("iproxy"),
345 NOOUTERTHIS("noouterthis"),
346 EXISTS("exists"),
347 COMPOUND("compound"),
348 CLASS_SEEN("class_seen"),
349 SOURCE_SEEN("source_seen"),
350 LOCKED("locked"),
351 UNATTRIBUTED("unattributed"),
352 ANONCONSTR("anonconstr"),
353 ACYCLIC("acyclic"),
354 PARAMETER("parameter"),
355 VARARGS("varargs"),
356 PACKAGE("package");
358 String name;
360 Flag(String name) {
361 this.name = name;
362 }
364 public String toString() {
365 return name;
366 }
367 }
368 }