Thu, 04 Aug 2016 23:36:47 -0700
8162511: 8u111 L10n resource file updates
Summary: 8u111 L10n resource file updates
Reviewed-by: coffeys
Contributed-by: li.jiang@oracle.com
duke@1 | 1 | /* |
jfranck@1491 | 2 | * Copyright (c) 2005, 2013, Oracle and/or its affiliates. All rights reserved. |
duke@1 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@1 | 4 | * |
duke@1 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@1 | 6 | * under the terms of the GNU General Public License version 2 only, as |
ohair@554 | 7 | * published by the Free Software Foundation. Oracle designates this |
duke@1 | 8 | * particular file as subject to the "Classpath" exception as provided |
ohair@554 | 9 | * by Oracle in the LICENSE file that accompanied this code. |
duke@1 | 10 | * |
duke@1 | 11 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@1 | 12 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@1 | 13 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@1 | 14 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@1 | 15 | * accompanied this code). |
duke@1 | 16 | * |
duke@1 | 17 | * You should have received a copy of the GNU General Public License version |
duke@1 | 18 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@1 | 19 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@1 | 20 | * |
ohair@554 | 21 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
ohair@554 | 22 | * or visit www.oracle.com if you need additional information or have any |
ohair@554 | 23 | * questions. |
duke@1 | 24 | */ |
duke@1 | 25 | |
duke@1 | 26 | package com.sun.tools.javac.model; |
duke@1 | 27 | |
duke@1 | 28 | import java.util.Map; |
jjg@1280 | 29 | |
duke@1 | 30 | import javax.lang.model.SourceVersion; |
duke@1 | 31 | import javax.lang.model.element.*; |
duke@1 | 32 | import javax.lang.model.type.DeclaredType; |
duke@1 | 33 | import javax.lang.model.util.Elements; |
duke@1 | 34 | import javax.tools.JavaFileObject; |
jjg@1280 | 35 | import static javax.lang.model.util.ElementFilter.methodsIn; |
jjg@1280 | 36 | |
duke@1 | 37 | import com.sun.tools.javac.code.*; |
duke@1 | 38 | import com.sun.tools.javac.code.Symbol.*; |
duke@1 | 39 | import com.sun.tools.javac.comp.AttrContext; |
duke@1 | 40 | import com.sun.tools.javac.comp.Enter; |
duke@1 | 41 | import com.sun.tools.javac.comp.Env; |
duke@1 | 42 | import com.sun.tools.javac.main.JavaCompiler; |
duke@1 | 43 | import com.sun.tools.javac.processing.PrintingProcessor; |
duke@1 | 44 | import com.sun.tools.javac.tree.JCTree; |
duke@1 | 45 | import com.sun.tools.javac.tree.JCTree.*; |
duke@1 | 46 | import com.sun.tools.javac.tree.TreeInfo; |
duke@1 | 47 | import com.sun.tools.javac.tree.TreeScanner; |
jjg@113 | 48 | import com.sun.tools.javac.util.*; |
duke@1 | 49 | import com.sun.tools.javac.util.Name; |
jjg@1374 | 50 | import static com.sun.tools.javac.code.TypeTag.CLASS; |
jjg@1127 | 51 | import static com.sun.tools.javac.tree.JCTree.Tag.*; |
duke@1 | 52 | |
duke@1 | 53 | /** |
duke@1 | 54 | * Utility methods for operating on program elements. |
duke@1 | 55 | * |
jjg@581 | 56 | * <p><b>This is NOT part of any supported API. |
duke@1 | 57 | * If you write code that depends on this, you do so at your own |
duke@1 | 58 | * risk. This code and its internal interfaces are subject to change |
duke@1 | 59 | * or deletion without notice.</b></p> |
duke@1 | 60 | */ |
duke@1 | 61 | public class JavacElements implements Elements { |
duke@1 | 62 | |
duke@1 | 63 | private JavaCompiler javaCompiler; |
duke@1 | 64 | private Symtab syms; |
jjg@113 | 65 | private Names names; |
duke@1 | 66 | private Types types; |
duke@1 | 67 | private Enter enter; |
duke@1 | 68 | |
duke@1 | 69 | public static JavacElements instance(Context context) { |
jjg@706 | 70 | JavacElements instance = context.get(JavacElements.class); |
jjg@706 | 71 | if (instance == null) |
duke@1 | 72 | instance = new JavacElements(context); |
duke@1 | 73 | return instance; |
duke@1 | 74 | } |
duke@1 | 75 | |
duke@1 | 76 | /** |
duke@1 | 77 | * Public for use only by JavacProcessingEnvironment |
duke@1 | 78 | */ |
jjg@706 | 79 | protected JavacElements(Context context) { |
duke@1 | 80 | setContext(context); |
duke@1 | 81 | } |
duke@1 | 82 | |
duke@1 | 83 | /** |
duke@1 | 84 | * Use a new context. May be called from outside to update |
duke@1 | 85 | * internal state for a new annotation-processing round. |
duke@1 | 86 | */ |
duke@1 | 87 | public void setContext(Context context) { |
jjg@706 | 88 | context.put(JavacElements.class, this); |
duke@1 | 89 | javaCompiler = JavaCompiler.instance(context); |
duke@1 | 90 | syms = Symtab.instance(context); |
jjg@113 | 91 | names = Names.instance(context); |
duke@1 | 92 | types = Types.instance(context); |
duke@1 | 93 | enter = Enter.instance(context); |
duke@1 | 94 | } |
duke@1 | 95 | |
duke@1 | 96 | public PackageSymbol getPackageElement(CharSequence name) { |
duke@1 | 97 | String strName = name.toString(); |
duke@1 | 98 | if (strName.equals("")) |
duke@1 | 99 | return syms.unnamedPackage; |
duke@1 | 100 | return SourceVersion.isName(strName) |
duke@1 | 101 | ? nameToSymbol(strName, PackageSymbol.class) |
duke@1 | 102 | : null; |
duke@1 | 103 | } |
duke@1 | 104 | |
duke@1 | 105 | public ClassSymbol getTypeElement(CharSequence name) { |
duke@1 | 106 | String strName = name.toString(); |
duke@1 | 107 | return SourceVersion.isName(strName) |
duke@1 | 108 | ? nameToSymbol(strName, ClassSymbol.class) |
duke@1 | 109 | : null; |
duke@1 | 110 | } |
duke@1 | 111 | |
duke@1 | 112 | /** |
duke@1 | 113 | * Returns a symbol given the type's or packages's canonical name, |
duke@1 | 114 | * or null if the name isn't found. |
duke@1 | 115 | */ |
duke@1 | 116 | private <S extends Symbol> S nameToSymbol(String nameStr, Class<S> clazz) { |
duke@1 | 117 | Name name = names.fromString(nameStr); |
duke@1 | 118 | // First check cache. |
duke@1 | 119 | Symbol sym = (clazz == ClassSymbol.class) |
duke@1 | 120 | ? syms.classes.get(name) |
duke@1 | 121 | : syms.packages.get(name); |
duke@1 | 122 | |
duke@1 | 123 | try { |
duke@1 | 124 | if (sym == null) |
duke@1 | 125 | sym = javaCompiler.resolveIdent(nameStr); |
duke@1 | 126 | |
duke@1 | 127 | sym.complete(); |
duke@1 | 128 | |
duke@1 | 129 | return (sym.kind != Kinds.ERR && |
duke@1 | 130 | sym.exists() && |
duke@1 | 131 | clazz.isInstance(sym) && |
duke@1 | 132 | name.equals(sym.getQualifiedName())) |
duke@1 | 133 | ? clazz.cast(sym) |
duke@1 | 134 | : null; |
duke@1 | 135 | } catch (CompletionFailure e) { |
duke@1 | 136 | return null; |
duke@1 | 137 | } |
duke@1 | 138 | } |
duke@1 | 139 | |
duke@1 | 140 | public JavacSourcePosition getSourcePosition(Element e) { |
duke@1 | 141 | Pair<JCTree, JCCompilationUnit> treeTop = getTreeAndTopLevel(e); |
duke@1 | 142 | if (treeTop == null) |
duke@1 | 143 | return null; |
duke@1 | 144 | JCTree tree = treeTop.fst; |
duke@1 | 145 | JCCompilationUnit toplevel = treeTop.snd; |
duke@1 | 146 | JavaFileObject sourcefile = toplevel.sourcefile; |
duke@1 | 147 | if (sourcefile == null) |
duke@1 | 148 | return null; |
duke@1 | 149 | return new JavacSourcePosition(sourcefile, tree.pos, toplevel.lineMap); |
duke@1 | 150 | } |
duke@1 | 151 | |
duke@1 | 152 | public JavacSourcePosition getSourcePosition(Element e, AnnotationMirror a) { |
duke@1 | 153 | Pair<JCTree, JCCompilationUnit> treeTop = getTreeAndTopLevel(e); |
duke@1 | 154 | if (treeTop == null) |
duke@1 | 155 | return null; |
duke@1 | 156 | JCTree tree = treeTop.fst; |
duke@1 | 157 | JCCompilationUnit toplevel = treeTop.snd; |
duke@1 | 158 | JavaFileObject sourcefile = toplevel.sourcefile; |
duke@1 | 159 | if (sourcefile == null) |
duke@1 | 160 | return null; |
duke@1 | 161 | |
duke@1 | 162 | JCTree annoTree = matchAnnoToTree(a, e, tree); |
duke@1 | 163 | if (annoTree == null) |
duke@1 | 164 | return null; |
duke@1 | 165 | return new JavacSourcePosition(sourcefile, annoTree.pos, |
duke@1 | 166 | toplevel.lineMap); |
duke@1 | 167 | } |
duke@1 | 168 | |
duke@1 | 169 | public JavacSourcePosition getSourcePosition(Element e, AnnotationMirror a, |
duke@1 | 170 | AnnotationValue v) { |
duke@1 | 171 | // TODO: better accuracy in getSourcePosition(... AnnotationValue) |
duke@1 | 172 | return getSourcePosition(e, a); |
duke@1 | 173 | } |
duke@1 | 174 | |
duke@1 | 175 | /** |
duke@1 | 176 | * Returns the tree for an annotation given the annotated element |
duke@1 | 177 | * and the element's own tree. Returns null if the tree cannot be found. |
duke@1 | 178 | */ |
duke@1 | 179 | private JCTree matchAnnoToTree(AnnotationMirror findme, |
duke@1 | 180 | Element e, JCTree tree) { |
duke@1 | 181 | Symbol sym = cast(Symbol.class, e); |
duke@1 | 182 | class Vis extends JCTree.Visitor { |
duke@1 | 183 | List<JCAnnotation> result = null; |
duke@1 | 184 | public void visitTopLevel(JCCompilationUnit tree) { |
duke@1 | 185 | result = tree.packageAnnotations; |
duke@1 | 186 | } |
duke@1 | 187 | public void visitClassDef(JCClassDecl tree) { |
duke@1 | 188 | result = tree.mods.annotations; |
duke@1 | 189 | } |
duke@1 | 190 | public void visitMethodDef(JCMethodDecl tree) { |
duke@1 | 191 | result = tree.mods.annotations; |
duke@1 | 192 | } |
duke@1 | 193 | public void visitVarDef(JCVariableDecl tree) { |
duke@1 | 194 | result = tree.mods.annotations; |
duke@1 | 195 | } |
duke@1 | 196 | } |
duke@1 | 197 | Vis vis = new Vis(); |
duke@1 | 198 | tree.accept(vis); |
duke@1 | 199 | if (vis.result == null) |
duke@1 | 200 | return null; |
jfranck@1491 | 201 | |
jfranck@1491 | 202 | List<Attribute.Compound> annos = sym.getRawAttributes(); |
duke@1 | 203 | return matchAnnoToTree(cast(Attribute.Compound.class, findme), |
jfranck@1491 | 204 | annos, |
duke@1 | 205 | vis.result); |
duke@1 | 206 | } |
duke@1 | 207 | |
duke@1 | 208 | /** |
duke@1 | 209 | * Returns the tree for an annotation given a list of annotations |
duke@1 | 210 | * in which to search (recursively) and their corresponding trees. |
duke@1 | 211 | * Returns null if the tree cannot be found. |
duke@1 | 212 | */ |
duke@1 | 213 | private JCTree matchAnnoToTree(Attribute.Compound findme, |
duke@1 | 214 | List<Attribute.Compound> annos, |
duke@1 | 215 | List<JCAnnotation> trees) { |
duke@1 | 216 | for (Attribute.Compound anno : annos) { |
duke@1 | 217 | for (JCAnnotation tree : trees) { |
duke@1 | 218 | JCTree match = matchAnnoToTree(findme, anno, tree); |
duke@1 | 219 | if (match != null) |
duke@1 | 220 | return match; |
duke@1 | 221 | } |
duke@1 | 222 | } |
duke@1 | 223 | return null; |
duke@1 | 224 | } |
duke@1 | 225 | |
duke@1 | 226 | /** |
duke@1 | 227 | * Returns the tree for an annotation given an Attribute to |
duke@1 | 228 | * search (recursively) and its corresponding tree. |
duke@1 | 229 | * Returns null if the tree cannot be found. |
duke@1 | 230 | */ |
duke@1 | 231 | private JCTree matchAnnoToTree(final Attribute.Compound findme, |
duke@1 | 232 | final Attribute attr, |
duke@1 | 233 | final JCTree tree) { |
duke@1 | 234 | if (attr == findme) |
duke@1 | 235 | return (tree.type.tsym == findme.type.tsym) ? tree : null; |
duke@1 | 236 | |
duke@1 | 237 | class Vis implements Attribute.Visitor { |
duke@1 | 238 | JCTree result = null; |
duke@1 | 239 | public void visitConstant(Attribute.Constant value) { |
duke@1 | 240 | } |
duke@1 | 241 | public void visitClass(Attribute.Class clazz) { |
duke@1 | 242 | } |
duke@1 | 243 | public void visitCompound(Attribute.Compound anno) { |
duke@1 | 244 | for (Pair<MethodSymbol, Attribute> pair : anno.values) { |
duke@1 | 245 | JCExpression expr = scanForAssign(pair.fst, tree); |
duke@1 | 246 | if (expr != null) { |
duke@1 | 247 | JCTree match = matchAnnoToTree(findme, pair.snd, expr); |
duke@1 | 248 | if (match != null) { |
duke@1 | 249 | result = match; |
duke@1 | 250 | return; |
duke@1 | 251 | } |
duke@1 | 252 | } |
duke@1 | 253 | } |
duke@1 | 254 | } |
duke@1 | 255 | public void visitArray(Attribute.Array array) { |
jjg@1127 | 256 | if (tree.hasTag(NEWARRAY) && |
duke@1 | 257 | types.elemtype(array.type).tsym == findme.type.tsym) { |
duke@1 | 258 | List<JCExpression> elems = ((JCNewArray) tree).elems; |
duke@1 | 259 | for (Attribute value : array.values) { |
duke@1 | 260 | if (value == findme) { |
duke@1 | 261 | result = elems.head; |
duke@1 | 262 | return; |
duke@1 | 263 | } |
duke@1 | 264 | elems = elems.tail; |
duke@1 | 265 | } |
duke@1 | 266 | } |
duke@1 | 267 | } |
duke@1 | 268 | public void visitEnum(Attribute.Enum e) { |
duke@1 | 269 | } |
duke@1 | 270 | public void visitError(Attribute.Error e) { |
duke@1 | 271 | } |
duke@1 | 272 | } |
duke@1 | 273 | Vis vis = new Vis(); |
duke@1 | 274 | attr.accept(vis); |
duke@1 | 275 | return vis.result; |
duke@1 | 276 | } |
duke@1 | 277 | |
duke@1 | 278 | /** |
duke@1 | 279 | * Scans for a JCAssign node with a LHS matching a given |
duke@1 | 280 | * symbol, and returns its RHS. Does not scan nested JCAnnotations. |
duke@1 | 281 | */ |
duke@1 | 282 | private JCExpression scanForAssign(final MethodSymbol sym, |
duke@1 | 283 | final JCTree tree) { |
duke@1 | 284 | class TS extends TreeScanner { |
duke@1 | 285 | JCExpression result = null; |
duke@1 | 286 | public void scan(JCTree t) { |
duke@1 | 287 | if (t != null && result == null) |
duke@1 | 288 | t.accept(this); |
duke@1 | 289 | } |
duke@1 | 290 | public void visitAnnotation(JCAnnotation t) { |
duke@1 | 291 | if (t == tree) |
duke@1 | 292 | scan(t.args); |
duke@1 | 293 | } |
duke@1 | 294 | public void visitAssign(JCAssign t) { |
jjg@1127 | 295 | if (t.lhs.hasTag(IDENT)) { |
duke@1 | 296 | JCIdent ident = (JCIdent) t.lhs; |
duke@1 | 297 | if (ident.sym == sym) |
duke@1 | 298 | result = t.rhs; |
duke@1 | 299 | } |
duke@1 | 300 | } |
duke@1 | 301 | } |
duke@1 | 302 | TS scanner = new TS(); |
duke@1 | 303 | tree.accept(scanner); |
duke@1 | 304 | return scanner.result; |
duke@1 | 305 | } |
duke@1 | 306 | |
duke@1 | 307 | /** |
duke@1 | 308 | * Returns the tree node corresponding to this element, or null |
duke@1 | 309 | * if none can be found. |
duke@1 | 310 | */ |
duke@1 | 311 | public JCTree getTree(Element e) { |
duke@1 | 312 | Pair<JCTree, ?> treeTop = getTreeAndTopLevel(e); |
duke@1 | 313 | return (treeTop != null) ? treeTop.fst : null; |
duke@1 | 314 | } |
duke@1 | 315 | |
duke@1 | 316 | public String getDocComment(Element e) { |
duke@1 | 317 | // Our doc comment is contained in a map in our toplevel, |
duke@1 | 318 | // indexed by our tree. Find our enter environment, which gives |
duke@1 | 319 | // us our toplevel. It also gives us a tree that contains our |
duke@1 | 320 | // tree: walk it to find our tree. This is painful. |
duke@1 | 321 | Pair<JCTree, JCCompilationUnit> treeTop = getTreeAndTopLevel(e); |
duke@1 | 322 | if (treeTop == null) |
duke@1 | 323 | return null; |
duke@1 | 324 | JCTree tree = treeTop.fst; |
duke@1 | 325 | JCCompilationUnit toplevel = treeTop.snd; |
duke@1 | 326 | if (toplevel.docComments == null) |
duke@1 | 327 | return null; |
jjg@1280 | 328 | return toplevel.docComments.getCommentText(tree); |
duke@1 | 329 | } |
duke@1 | 330 | |
duke@1 | 331 | public PackageElement getPackageOf(Element e) { |
duke@1 | 332 | return cast(Symbol.class, e).packge(); |
duke@1 | 333 | } |
duke@1 | 334 | |
duke@1 | 335 | public boolean isDeprecated(Element e) { |
duke@1 | 336 | Symbol sym = cast(Symbol.class, e); |
duke@1 | 337 | return (sym.flags() & Flags.DEPRECATED) != 0; |
duke@1 | 338 | } |
duke@1 | 339 | |
duke@1 | 340 | public Name getBinaryName(TypeElement type) { |
duke@1 | 341 | return cast(TypeSymbol.class, type).flatName(); |
duke@1 | 342 | } |
duke@1 | 343 | |
duke@1 | 344 | public Map<MethodSymbol, Attribute> getElementValuesWithDefaults( |
duke@1 | 345 | AnnotationMirror a) { |
duke@1 | 346 | Attribute.Compound anno = cast(Attribute.Compound.class, a); |
duke@1 | 347 | DeclaredType annotype = a.getAnnotationType(); |
duke@1 | 348 | Map<MethodSymbol, Attribute> valmap = anno.getElementValues(); |
duke@1 | 349 | |
duke@1 | 350 | for (ExecutableElement ex : |
duke@1 | 351 | methodsIn(annotype.asElement().getEnclosedElements())) { |
duke@1 | 352 | MethodSymbol meth = (MethodSymbol) ex; |
duke@1 | 353 | Attribute defaultValue = meth.getDefaultValue(); |
duke@1 | 354 | if (defaultValue != null && !valmap.containsKey(meth)) { |
duke@1 | 355 | valmap.put(meth, defaultValue); |
duke@1 | 356 | } |
duke@1 | 357 | } |
duke@1 | 358 | return valmap; |
duke@1 | 359 | } |
duke@1 | 360 | |
duke@1 | 361 | /** |
duke@1 | 362 | * {@inheritDoc} |
duke@1 | 363 | */ |
duke@1 | 364 | public FilteredMemberList getAllMembers(TypeElement element) { |
duke@1 | 365 | Symbol sym = cast(Symbol.class, element); |
duke@1 | 366 | Scope scope = sym.members().dupUnshared(); |
duke@1 | 367 | List<Type> closure = types.closure(sym.asType()); |
duke@1 | 368 | for (Type t : closure) |
duke@1 | 369 | addMembers(scope, t); |
duke@1 | 370 | return new FilteredMemberList(scope); |
duke@1 | 371 | } |
duke@1 | 372 | // where |
duke@1 | 373 | private void addMembers(Scope scope, Type type) { |
duke@1 | 374 | members: |
duke@1 | 375 | for (Scope.Entry e = type.asElement().members().elems; e != null; e = e.sibling) { |
duke@1 | 376 | Scope.Entry overrider = scope.lookup(e.sym.getSimpleName()); |
duke@1 | 377 | while (overrider.scope != null) { |
duke@1 | 378 | if (overrider.sym.kind == e.sym.kind |
duke@1 | 379 | && (overrider.sym.flags() & Flags.SYNTHETIC) == 0) |
duke@1 | 380 | { |
duke@1 | 381 | if (overrider.sym.getKind() == ElementKind.METHOD |
duke@1 | 382 | && overrides((ExecutableElement)overrider.sym, (ExecutableElement)e.sym, (TypeElement)type.asElement())) { |
duke@1 | 383 | continue members; |
duke@1 | 384 | } |
duke@1 | 385 | } |
duke@1 | 386 | overrider = overrider.next(); |
duke@1 | 387 | } |
duke@1 | 388 | boolean derived = e.sym.getEnclosingElement() != scope.owner; |
duke@1 | 389 | ElementKind kind = e.sym.getKind(); |
duke@1 | 390 | boolean initializer = kind == ElementKind.CONSTRUCTOR |
duke@1 | 391 | || kind == ElementKind.INSTANCE_INIT |
duke@1 | 392 | || kind == ElementKind.STATIC_INIT; |
duke@1 | 393 | if (!derived || (!initializer && e.sym.isInheritedIn(scope.owner, types))) |
duke@1 | 394 | scope.enter(e.sym); |
duke@1 | 395 | } |
duke@1 | 396 | } |
duke@1 | 397 | |
duke@1 | 398 | /** |
duke@1 | 399 | * Returns all annotations of an element, whether |
duke@1 | 400 | * inherited or directly present. |
duke@1 | 401 | * |
duke@1 | 402 | * @param e the element being examined |
duke@1 | 403 | * @return all annotations of the element |
duke@1 | 404 | */ |
jfranck@1709 | 405 | @Override |
duke@1 | 406 | public List<Attribute.Compound> getAllAnnotationMirrors(Element e) { |
duke@1 | 407 | Symbol sym = cast(Symbol.class, e); |
jfranck@1709 | 408 | List<Attribute.Compound> annos = sym.getAnnotationMirrors(); |
duke@1 | 409 | while (sym.getKind() == ElementKind.CLASS) { |
duke@1 | 410 | Type sup = ((ClassSymbol) sym).getSuperclass(); |
jjg@1374 | 411 | if (!sup.hasTag(CLASS) || sup.isErroneous() || |
duke@1 | 412 | sup.tsym == syms.objectType.tsym) { |
duke@1 | 413 | break; |
duke@1 | 414 | } |
duke@1 | 415 | sym = sup.tsym; |
duke@1 | 416 | List<Attribute.Compound> oldAnnos = annos; |
jfranck@1709 | 417 | List<Attribute.Compound> newAnnos = sym.getAnnotationMirrors(); |
jfranck@1491 | 418 | for (Attribute.Compound anno : newAnnos) { |
duke@1 | 419 | if (isInherited(anno.type) && |
duke@1 | 420 | !containsAnnoOfType(oldAnnos, anno.type)) { |
duke@1 | 421 | annos = annos.prepend(anno); |
duke@1 | 422 | } |
duke@1 | 423 | } |
duke@1 | 424 | } |
duke@1 | 425 | return annos; |
duke@1 | 426 | } |
duke@1 | 427 | |
duke@1 | 428 | /** |
duke@1 | 429 | * Tests whether an annotation type is @Inherited. |
duke@1 | 430 | */ |
duke@1 | 431 | private boolean isInherited(Type annotype) { |
jfranck@1491 | 432 | return annotype.tsym.attribute(syms.inheritedType.tsym) != null; |
duke@1 | 433 | } |
duke@1 | 434 | |
duke@1 | 435 | /** |
duke@1 | 436 | * Tests whether a list of annotations contains an annotation |
duke@1 | 437 | * of a given type. |
duke@1 | 438 | */ |
duke@1 | 439 | private static boolean containsAnnoOfType(List<Attribute.Compound> annos, |
duke@1 | 440 | Type type) { |
duke@1 | 441 | for (Attribute.Compound anno : annos) { |
duke@1 | 442 | if (anno.type.tsym == type.tsym) |
duke@1 | 443 | return true; |
duke@1 | 444 | } |
duke@1 | 445 | return false; |
duke@1 | 446 | } |
duke@1 | 447 | |
duke@1 | 448 | public boolean hides(Element hiderEl, Element hideeEl) { |
duke@1 | 449 | Symbol hider = cast(Symbol.class, hiderEl); |
duke@1 | 450 | Symbol hidee = cast(Symbol.class, hideeEl); |
duke@1 | 451 | |
duke@1 | 452 | // Fields only hide fields; methods only methods; types only types. |
duke@1 | 453 | // Names must match. Nothing hides itself (just try it). |
duke@1 | 454 | if (hider == hidee || |
duke@1 | 455 | hider.kind != hidee.kind || |
duke@1 | 456 | hider.name != hidee.name) { |
duke@1 | 457 | return false; |
duke@1 | 458 | } |
duke@1 | 459 | |
duke@1 | 460 | // Only static methods can hide other methods. |
duke@1 | 461 | // Methods only hide methods with matching signatures. |
duke@1 | 462 | if (hider.kind == Kinds.MTH) { |
duke@1 | 463 | if (!hider.isStatic() || |
duke@1 | 464 | !types.isSubSignature(hider.type, hidee.type)) { |
duke@1 | 465 | return false; |
duke@1 | 466 | } |
duke@1 | 467 | } |
duke@1 | 468 | |
duke@1 | 469 | // Hider must be in a subclass of hidee's class. |
duke@1 | 470 | // Note that if M1 hides M2, and M2 hides M3, and M3 is accessible |
duke@1 | 471 | // in M1's class, then M1 and M2 both hide M3. |
duke@1 | 472 | ClassSymbol hiderClass = hider.owner.enclClass(); |
duke@1 | 473 | ClassSymbol hideeClass = hidee.owner.enclClass(); |
duke@1 | 474 | if (hiderClass == null || hideeClass == null || |
duke@1 | 475 | !hiderClass.isSubClass(hideeClass, types)) { |
duke@1 | 476 | return false; |
duke@1 | 477 | } |
duke@1 | 478 | |
duke@1 | 479 | // Hidee must be accessible in hider's class. |
duke@1 | 480 | // The method isInheritedIn is poorly named: it checks only access. |
duke@1 | 481 | return hidee.isInheritedIn(hiderClass, types); |
duke@1 | 482 | } |
duke@1 | 483 | |
duke@1 | 484 | public boolean overrides(ExecutableElement riderEl, |
duke@1 | 485 | ExecutableElement rideeEl, TypeElement typeEl) { |
duke@1 | 486 | MethodSymbol rider = cast(MethodSymbol.class, riderEl); |
duke@1 | 487 | MethodSymbol ridee = cast(MethodSymbol.class, rideeEl); |
duke@1 | 488 | ClassSymbol origin = cast(ClassSymbol.class, typeEl); |
duke@1 | 489 | |
duke@1 | 490 | return rider.name == ridee.name && |
duke@1 | 491 | |
duke@1 | 492 | // not reflexive as per JLS |
duke@1 | 493 | rider != ridee && |
duke@1 | 494 | |
duke@1 | 495 | // we don't care if ridee is static, though that wouldn't |
duke@1 | 496 | // compile |
duke@1 | 497 | !rider.isStatic() && |
duke@1 | 498 | |
duke@1 | 499 | // Symbol.overrides assumes the following |
duke@1 | 500 | ridee.isMemberOf(origin, types) && |
duke@1 | 501 | |
duke@1 | 502 | // check access and signatures; don't check return types |
duke@1 | 503 | rider.overrides(ridee, origin, types, false); |
duke@1 | 504 | } |
duke@1 | 505 | |
duke@1 | 506 | public String getConstantExpression(Object value) { |
duke@1 | 507 | return Constants.format(value); |
duke@1 | 508 | } |
duke@1 | 509 | |
duke@1 | 510 | /** |
duke@1 | 511 | * Print a representation of the elements to the given writer in |
duke@1 | 512 | * the specified order. The main purpose of this method is for |
duke@1 | 513 | * diagnostics. The exact format of the output is <em>not</em> |
duke@1 | 514 | * specified and is subject to change. |
duke@1 | 515 | * |
duke@1 | 516 | * @param w the writer to print the output to |
duke@1 | 517 | * @param elements the elements to print |
duke@1 | 518 | */ |
duke@1 | 519 | public void printElements(java.io.Writer w, Element... elements) { |
duke@1 | 520 | for (Element element : elements) |
duke@1 | 521 | (new PrintingProcessor.PrintingElementVisitor(w, this)).visit(element).flush(); |
duke@1 | 522 | } |
duke@1 | 523 | |
duke@1 | 524 | public Name getName(CharSequence cs) { |
jjg@113 | 525 | return names.fromString(cs.toString()); |
duke@1 | 526 | } |
duke@1 | 527 | |
darcy@1559 | 528 | @Override |
darcy@1559 | 529 | public boolean isFunctionalInterface(TypeElement element) { |
darcy@1559 | 530 | if (element.getKind() != ElementKind.INTERFACE) |
darcy@1559 | 531 | return false; |
darcy@1559 | 532 | else { |
darcy@1559 | 533 | TypeSymbol tsym = cast(TypeSymbol.class, element); |
darcy@1559 | 534 | return types.isFunctionalInterface(tsym); |
darcy@1559 | 535 | } |
darcy@1559 | 536 | } |
darcy@1559 | 537 | |
duke@1 | 538 | /** |
duke@1 | 539 | * Returns the tree node and compilation unit corresponding to this |
duke@1 | 540 | * element, or null if they can't be found. |
duke@1 | 541 | */ |
duke@1 | 542 | private Pair<JCTree, JCCompilationUnit> getTreeAndTopLevel(Element e) { |
duke@1 | 543 | Symbol sym = cast(Symbol.class, e); |
duke@1 | 544 | Env<AttrContext> enterEnv = getEnterEnv(sym); |
duke@1 | 545 | if (enterEnv == null) |
duke@1 | 546 | return null; |
duke@1 | 547 | JCTree tree = TreeInfo.declarationFor(sym, enterEnv.tree); |
duke@1 | 548 | if (tree == null || enterEnv.toplevel == null) |
duke@1 | 549 | return null; |
duke@1 | 550 | return new Pair<JCTree,JCCompilationUnit>(tree, enterEnv.toplevel); |
duke@1 | 551 | } |
duke@1 | 552 | |
duke@1 | 553 | /** |
duke@1 | 554 | * Returns the best approximation for the tree node and compilation unit |
duke@1 | 555 | * corresponding to the given element, annotation and value. |
duke@1 | 556 | * If the element is null, null is returned. |
duke@1 | 557 | * If the annotation is null or cannot be found, the tree node and |
duke@1 | 558 | * compilation unit for the element is returned. |
duke@1 | 559 | * If the annotation value is null or cannot be found, the tree node and |
duke@1 | 560 | * compilation unit for the annotation is returned. |
duke@1 | 561 | */ |
duke@1 | 562 | public Pair<JCTree, JCCompilationUnit> getTreeAndTopLevel( |
duke@1 | 563 | Element e, AnnotationMirror a, AnnotationValue v) { |
duke@1 | 564 | if (e == null) |
duke@1 | 565 | return null; |
duke@1 | 566 | |
duke@1 | 567 | Pair<JCTree, JCCompilationUnit> elemTreeTop = getTreeAndTopLevel(e); |
duke@1 | 568 | if (elemTreeTop == null) |
duke@1 | 569 | return null; |
duke@1 | 570 | |
duke@1 | 571 | if (a == null) |
duke@1 | 572 | return elemTreeTop; |
duke@1 | 573 | |
duke@1 | 574 | JCTree annoTree = matchAnnoToTree(a, e, elemTreeTop.fst); |
duke@1 | 575 | if (annoTree == null) |
duke@1 | 576 | return elemTreeTop; |
duke@1 | 577 | |
duke@1 | 578 | // 6388543: if v != null, we should search within annoTree to find |
duke@1 | 579 | // the tree matching v. For now, we ignore v and return the tree of |
duke@1 | 580 | // the annotation. |
duke@1 | 581 | return new Pair<JCTree, JCCompilationUnit>(annoTree, elemTreeTop.snd); |
duke@1 | 582 | } |
duke@1 | 583 | |
duke@1 | 584 | /** |
duke@1 | 585 | * Returns a symbol's enter environment, or null if it has none. |
duke@1 | 586 | */ |
duke@1 | 587 | private Env<AttrContext> getEnterEnv(Symbol sym) { |
duke@1 | 588 | // Get enclosing class of sym, or sym itself if it is a class |
duke@1 | 589 | // or package. |
duke@1 | 590 | TypeSymbol ts = (sym.kind != Kinds.PCK) |
duke@1 | 591 | ? sym.enclClass() |
duke@1 | 592 | : (PackageSymbol) sym; |
duke@1 | 593 | return (ts != null) |
duke@1 | 594 | ? enter.getEnv(ts) |
duke@1 | 595 | : null; |
duke@1 | 596 | } |
duke@1 | 597 | |
duke@1 | 598 | /** |
duke@1 | 599 | * Returns an object cast to the specified type. |
duke@1 | 600 | * @throws NullPointerException if the object is {@code null} |
duke@1 | 601 | * @throws IllegalArgumentException if the object is of the wrong type |
duke@1 | 602 | */ |
duke@1 | 603 | private static <T> T cast(Class<T> clazz, Object o) { |
duke@1 | 604 | if (! clazz.isInstance(o)) |
duke@1 | 605 | throw new IllegalArgumentException(o.toString()); |
duke@1 | 606 | return clazz.cast(o); |
duke@1 | 607 | } |
duke@1 | 608 | } |