| 1 | /* |
| 2 | * Copyright 1999-2006 Sun Microsystems, Inc. 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. Sun designates this |
| 8 | * particular file as subject to the "Classpath" exception as provided |
| 9 | * by Sun 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, |
| 22 | * CA 95054 USA or visit www.sun.com if you need additional information or |
| 23 | * have any questions. |
| 24 | */ |
| 25 | |
| 26 | package com.sun.tools.javac.comp; |
| 27 | |
| 28 | import com.sun.tools.javac.util.*; |
| 29 | import com.sun.tools.javac.util.JCDiagnostic.DiagnosticPosition; |
| 30 | import com.sun.tools.javac.code.*; |
| 31 | import com.sun.tools.javac.jvm.*; |
| 32 | import com.sun.tools.javac.tree.*; |
| 33 | |
| 34 | import com.sun.tools.javac.code.Type.*; |
| 35 | import com.sun.tools.javac.code.Symbol.*; |
| 36 | import com.sun.tools.javac.tree.JCTree.*; |
| 37 | |
| 38 | import static com.sun.tools.javac.code.Flags.*; |
| 39 | import static com.sun.tools.javac.code.Kinds.*; |
| 40 | import static com.sun.tools.javac.code.TypeTags.*; |
| 41 | import javax.lang.model.element.ElementVisitor; |
| 42 | |
| 43 | /** Helper class for name resolution, used mostly by the attribution phase. |
| 44 | * |
| 45 | * <p><b>This is NOT part of any API supported by Sun Microsystems. If |
| 46 | * you write code that depends on this, you do so at your own risk. |
| 47 | * This code and its internal interfaces are subject to change or |
| 48 | * deletion without notice.</b> |
| 49 | */ |
| 50 | public class Resolve { |
| 51 | protected static final Context.Key<Resolve> resolveKey = |
| 52 | new Context.Key<Resolve>(); |
| 53 | |
| 54 | Name.Table names; |
| 55 | Log log; |
| 56 | Symtab syms; |
| 57 | Check chk; |
| 58 | Infer infer; |
| 59 | ClassReader reader; |
| 60 | TreeInfo treeinfo; |
| 61 | Types types; |
| 62 | public final boolean boxingEnabled; // = source.allowBoxing(); |
| 63 | public final boolean varargsEnabled; // = source.allowVarargs(); |
| 64 | private final boolean debugResolve; |
| 65 | |
| 66 | public static Resolve instance(Context context) { |
| 67 | Resolve instance = context.get(resolveKey); |
| 68 | if (instance == null) |
| 69 | instance = new Resolve(context); |
| 70 | return instance; |
| 71 | } |
| 72 | |
| 73 | protected Resolve(Context context) { |
| 74 | context.put(resolveKey, this); |
| 75 | syms = Symtab.instance(context); |
| 76 | |
| 77 | varNotFound = new |
| 78 | ResolveError(ABSENT_VAR, syms.errSymbol, "variable not found"); |
| 79 | wrongMethod = new |
| 80 | ResolveError(WRONG_MTH, syms.errSymbol, "method not found"); |
| 81 | wrongMethods = new |
| 82 | ResolveError(WRONG_MTHS, syms.errSymbol, "wrong methods"); |
| 83 | methodNotFound = new |
| 84 | ResolveError(ABSENT_MTH, syms.errSymbol, "method not found"); |
| 85 | typeNotFound = new |
| 86 | ResolveError(ABSENT_TYP, syms.errSymbol, "type not found"); |
| 87 | |
| 88 | names = Name.Table.instance(context); |
| 89 | log = Log.instance(context); |
| 90 | chk = Check.instance(context); |
| 91 | infer = Infer.instance(context); |
| 92 | reader = ClassReader.instance(context); |
| 93 | treeinfo = TreeInfo.instance(context); |
| 94 | types = Types.instance(context); |
| 95 | Source source = Source.instance(context); |
| 96 | boxingEnabled = source.allowBoxing(); |
| 97 | varargsEnabled = source.allowVarargs(); |
| 98 | Options options = Options.instance(context); |
| 99 | debugResolve = options.get("debugresolve") != null; |
| 100 | } |
| 101 | |
| 102 | /** error symbols, which are returned when resolution fails |
| 103 | */ |
| 104 | final ResolveError varNotFound; |
| 105 | final ResolveError wrongMethod; |
| 106 | final ResolveError wrongMethods; |
| 107 | final ResolveError methodNotFound; |
| 108 | final ResolveError typeNotFound; |
| 109 | |
| 110 | /* ************************************************************************ |
| 111 | * Identifier resolution |
| 112 | *************************************************************************/ |
| 113 | |
| 114 | /** An environment is "static" if its static level is greater than |
| 115 | * the one of its outer environment |
| 116 | */ |
| 117 | static boolean isStatic(Env<AttrContext> env) { |
| 118 | return env.info.staticLevel > env.outer.info.staticLevel; |
| 119 | } |
| 120 | |
| 121 | /** An environment is an "initializer" if it is a constructor or |
| 122 | * an instance initializer. |
| 123 | */ |
| 124 | static boolean isInitializer(Env<AttrContext> env) { |
| 125 | Symbol owner = env.info.scope.owner; |
| 126 | return owner.isConstructor() || |
| 127 | owner.owner.kind == TYP && |
| 128 | (owner.kind == VAR || |
| 129 | owner.kind == MTH && (owner.flags() & BLOCK) != 0) && |
| 130 | (owner.flags() & STATIC) == 0; |
| 131 | } |
| 132 | |
| 133 | /** Is class accessible in given evironment? |
| 134 | * @param env The current environment. |
| 135 | * @param c The class whose accessibility is checked. |
| 136 | */ |
| 137 | public boolean isAccessible(Env<AttrContext> env, TypeSymbol c) { |
| 138 | switch ((short)(c.flags() & AccessFlags)) { |
| 139 | case PRIVATE: |
| 140 | return |
| 141 | env.enclClass.sym.outermostClass() == |
| 142 | c.owner.outermostClass(); |
| 143 | case 0: |
| 144 | return |
| 145 | env.toplevel.packge == c.owner // fast special case |
| 146 | || |
| 147 | env.toplevel.packge == c.packge() |
| 148 | || |
| 149 | // Hack: this case is added since synthesized default constructors |
| 150 | // of anonymous classes should be allowed to access |
| 151 | // classes which would be inaccessible otherwise. |
| 152 | env.enclMethod != null && |
| 153 | (env.enclMethod.mods.flags & ANONCONSTR) != 0; |
| 154 | default: // error recovery |
| 155 | case PUBLIC: |
| 156 | return true; |
| 157 | case PROTECTED: |
| 158 | return |
| 159 | env.toplevel.packge == c.owner // fast special case |
| 160 | || |
| 161 | env.toplevel.packge == c.packge() |
| 162 | || |
| 163 | isInnerSubClass(env.enclClass.sym, c.owner); |
| 164 | } |
| 165 | } |
| 166 | //where |
| 167 | /** Is given class a subclass of given base class, or an inner class |
| 168 | * of a subclass? |
| 169 | * Return null if no such class exists. |
| 170 | * @param c The class which is the subclass or is contained in it. |
| 171 | * @param base The base class |
| 172 | */ |
| 173 | private boolean isInnerSubClass(ClassSymbol c, Symbol base) { |
| 174 | while (c != null && !c.isSubClass(base, types)) { |
| 175 | c = c.owner.enclClass(); |
| 176 | } |
| 177 | return c != null; |
| 178 | } |
| 179 | |
| 180 | boolean isAccessible(Env<AttrContext> env, Type t) { |
| 181 | return (t.tag == ARRAY) |
| 182 | ? isAccessible(env, types.elemtype(t)) |
| 183 | : isAccessible(env, t.tsym); |
| 184 | } |
| 185 | |
| 186 | /** Is symbol accessible as a member of given type in given evironment? |
| 187 | * @param env The current environment. |
| 188 | * @param site The type of which the tested symbol is regarded |
| 189 | * as a member. |
| 190 | * @param sym The symbol. |
| 191 | */ |
| 192 | public boolean isAccessible(Env<AttrContext> env, Type site, Symbol sym) { |
| 193 | if (sym.name == names.init && sym.owner != site.tsym) return false; |
| 194 | ClassSymbol sub; |
| 195 | switch ((short)(sym.flags() & AccessFlags)) { |
| 196 | case PRIVATE: |
| 197 | return |
| 198 | (env.enclClass.sym == sym.owner // fast special case |
| 199 | || |
| 200 | env.enclClass.sym.outermostClass() == |
| 201 | sym.owner.outermostClass()) |
| 202 | && |
| 203 | sym.isInheritedIn(site.tsym, types); |
| 204 | case 0: |
| 205 | return |
| 206 | (env.toplevel.packge == sym.owner.owner // fast special case |
| 207 | || |
| 208 | env.toplevel.packge == sym.packge()) |
| 209 | && |
| 210 | isAccessible(env, site) |
| 211 | && |
| 212 | sym.isInheritedIn(site.tsym, types); |
| 213 | case PROTECTED: |
| 214 | return |
| 215 | (env.toplevel.packge == sym.owner.owner // fast special case |
| 216 | || |
| 217 | env.toplevel.packge == sym.packge() |
| 218 | || |
| 219 | isProtectedAccessible(sym, env.enclClass.sym, site) |
| 220 | || |
| 221 | // OK to select instance method or field from 'super' or type name |
| 222 | // (but type names should be disallowed elsewhere!) |
| 223 | env.info.selectSuper && (sym.flags() & STATIC) == 0 && sym.kind != TYP) |
| 224 | && |
| 225 | isAccessible(env, site) |
| 226 | && |
| 227 | // `sym' is accessible only if not overridden by |
| 228 | // another symbol which is a member of `site' |
| 229 | // (because, if it is overridden, `sym' is not strictly |
| 230 | // speaking a member of `site'.) |
| 231 | (sym.kind != MTH || sym.isConstructor() || |
| 232 | ((MethodSymbol)sym).implementation(site.tsym, types, true) == sym); |
| 233 | default: // this case includes erroneous combinations as well |
| 234 | return isAccessible(env, site); |
| 235 | } |
| 236 | } |
| 237 | //where |
| 238 | /** Is given protected symbol accessible if it is selected from given site |
| 239 | * and the selection takes place in given class? |
| 240 | * @param sym The symbol with protected access |
| 241 | * @param c The class where the access takes place |
| 242 | * @site The type of the qualifier |
| 243 | */ |
| 244 | private |
| 245 | boolean isProtectedAccessible(Symbol sym, ClassSymbol c, Type site) { |
| 246 | while (c != null && |
| 247 | !(c.isSubClass(sym.owner, types) && |
| 248 | (c.flags() & INTERFACE) == 0 && |
| 249 | // In JLS 2e 6.6.2.1, the subclass restriction applies |
| 250 | // only to instance fields and methods -- types are excluded |
| 251 | // regardless of whether they are declared 'static' or not. |
| 252 | ((sym.flags() & STATIC) != 0 || sym.kind == TYP || site.tsym.isSubClass(c, types)))) |
| 253 | c = c.owner.enclClass(); |
| 254 | return c != null; |
| 255 | } |
| 256 | |
| 257 | /** Try to instantiate the type of a method so that it fits |
| 258 | * given type arguments and argument types. If succesful, return |
| 259 | * the method's instantiated type, else return null. |
| 260 | * The instantiation will take into account an additional leading |
| 261 | * formal parameter if the method is an instance method seen as a member |
| 262 | * of un underdetermined site In this case, we treat site as an additional |
| 263 | * parameter and the parameters of the class containing the method as |
| 264 | * additional type variables that get instantiated. |
| 265 | * |
| 266 | * @param env The current environment |
| 267 | * @param site The type of which the method is a member. |
| 268 | * @param m The method symbol. |
| 269 | * @param argtypes The invocation's given value arguments. |
| 270 | * @param typeargtypes The invocation's given type arguments. |
| 271 | * @param allowBoxing Allow boxing conversions of arguments. |
| 272 | * @param useVarargs Box trailing arguments into an array for varargs. |
| 273 | */ |
| 274 | Type rawInstantiate(Env<AttrContext> env, |
| 275 | Type site, |
| 276 | Symbol m, |
| 277 | List<Type> argtypes, |
| 278 | List<Type> typeargtypes, |
| 279 | boolean allowBoxing, |
| 280 | boolean useVarargs, |
| 281 | Warner warn) |
| 282 | throws Infer.NoInstanceException { |
| 283 | if (useVarargs && (m.flags() & VARARGS) == 0) return null; |
| 284 | Type mt = types.memberType(site, m); |
| 285 | |
| 286 | // tvars is the list of formal type variables for which type arguments |
| 287 | // need to inferred. |
| 288 | List<Type> tvars = env.info.tvars; |
| 289 | if (typeargtypes == null) typeargtypes = List.nil(); |
| 290 | if (mt.tag != FORALL && typeargtypes.nonEmpty()) { |
| 291 | // This is not a polymorphic method, but typeargs are supplied |
| 292 | // which is fine, see JLS3 15.12.2.1 |
| 293 | } else if (mt.tag == FORALL && typeargtypes.nonEmpty()) { |
| 294 | ForAll pmt = (ForAll) mt; |
| 295 | if (typeargtypes.length() != pmt.tvars.length()) |
| 296 | return null; |
| 297 | // Check type arguments are within bounds |
| 298 | List<Type> formals = pmt.tvars; |
| 299 | List<Type> actuals = typeargtypes; |
| 300 | while (formals.nonEmpty() && actuals.nonEmpty()) { |
| 301 | List<Type> bounds = types.subst(types.getBounds((TypeVar)formals.head), |
| 302 | pmt.tvars, typeargtypes); |
| 303 | for (; bounds.nonEmpty(); bounds = bounds.tail) |
| 304 | if (!types.isSubtypeUnchecked(actuals.head, bounds.head, warn)) |
| 305 | return null; |
| 306 | formals = formals.tail; |
| 307 | actuals = actuals.tail; |
| 308 | } |
| 309 | mt = types.subst(pmt.qtype, pmt.tvars, typeargtypes); |
| 310 | } else if (mt.tag == FORALL) { |
| 311 | ForAll pmt = (ForAll) mt; |
| 312 | List<Type> tvars1 = types.newInstances(pmt.tvars); |
| 313 | tvars = tvars.appendList(tvars1); |
| 314 | mt = types.subst(pmt.qtype, pmt.tvars, tvars1); |
| 315 | } |
| 316 | |
| 317 | // find out whether we need to go the slow route via infer |
| 318 | boolean instNeeded = tvars.tail != null/*inlined: tvars.nonEmpty()*/; |
| 319 | for (List<Type> l = argtypes; |
| 320 | l.tail != null/*inlined: l.nonEmpty()*/ && !instNeeded; |
| 321 | l = l.tail) { |
| 322 | if (l.head.tag == FORALL) instNeeded = true; |
| 323 | } |
| 324 | |
| 325 | if (instNeeded) |
| 326 | return |
| 327 | infer.instantiateMethod(tvars, |
| 328 | (MethodType)mt, |
| 329 | argtypes, |
| 330 | allowBoxing, |
| 331 | useVarargs, |
| 332 | warn); |
| 333 | return |
| 334 | argumentsAcceptable(argtypes, mt.getParameterTypes(), |
| 335 | allowBoxing, useVarargs, warn) |
| 336 | ? mt |
| 337 | : null; |
| 338 | } |
| 339 | |
| 340 | /** Same but returns null instead throwing a NoInstanceException |
| 341 | */ |
| 342 | Type instantiate(Env<AttrContext> env, |
| 343 | Type site, |
| 344 | Symbol m, |
| 345 | List<Type> argtypes, |
| 346 | List<Type> typeargtypes, |
| 347 | boolean allowBoxing, |
| 348 | boolean useVarargs, |
| 349 | Warner warn) { |
| 350 | try { |
| 351 | return rawInstantiate(env, site, m, argtypes, typeargtypes, |
| 352 | allowBoxing, useVarargs, warn); |
| 353 | } catch (Infer.NoInstanceException ex) { |
| 354 | return null; |
| 355 | } |
| 356 | } |
| 357 | |
| 358 | /** Check if a parameter list accepts a list of args. |
| 359 | */ |
| 360 | boolean argumentsAcceptable(List<Type> argtypes, |
| 361 | List<Type> formals, |
| 362 | boolean allowBoxing, |
| 363 | boolean useVarargs, |
| 364 | Warner warn) { |
| 365 | Type varargsFormal = useVarargs ? formals.last() : null; |
| 366 | while (argtypes.nonEmpty() && formals.head != varargsFormal) { |
| 367 | boolean works = allowBoxing |
| 368 | ? types.isConvertible(argtypes.head, formals.head, warn) |
| 369 | : types.isSubtypeUnchecked(argtypes.head, formals.head, warn); |
| 370 | if (!works) return false; |
| 371 | argtypes = argtypes.tail; |
| 372 | formals = formals.tail; |
| 373 | } |
| 374 | if (formals.head != varargsFormal) return false; // not enough args |
| 375 | if (!useVarargs) |
| 376 | return argtypes.isEmpty(); |
| 377 | Type elt = types.elemtype(varargsFormal); |
| 378 | while (argtypes.nonEmpty()) { |
| 379 | if (!types.isConvertible(argtypes.head, elt, warn)) |
| 380 | return false; |
| 381 | argtypes = argtypes.tail; |
| 382 | } |
| 383 | return true; |
| 384 | } |
| 385 | |
| 386 | /* *************************************************************************** |
| 387 | * Symbol lookup |
| 388 | * the following naming conventions for arguments are used |
| 389 | * |
| 390 | * env is the environment where the symbol was mentioned |
| 391 | * site is the type of which the symbol is a member |
| 392 | * name is the symbol's name |
| 393 | * if no arguments are given |
| 394 | * argtypes are the value arguments, if we search for a method |
| 395 | * |
| 396 | * If no symbol was found, a ResolveError detailing the problem is returned. |
| 397 | ****************************************************************************/ |
| 398 | |
| 399 | /** Find field. Synthetic fields are always skipped. |
| 400 | * @param env The current environment. |
| 401 | * @param site The original type from where the selection takes place. |
| 402 | * @param name The name of the field. |
| 403 | * @param c The class to search for the field. This is always |
| 404 | * a superclass or implemented interface of site's class. |
| 405 | */ |
| 406 | Symbol findField(Env<AttrContext> env, |
| 407 | Type site, |
| 408 | Name name, |
| 409 | TypeSymbol c) { |
| 410 | Symbol bestSoFar = varNotFound; |
| 411 | Symbol sym; |
| 412 | Scope.Entry e = c.members().lookup(name); |
| 413 | while (e.scope != null) { |
| 414 | if (e.sym.kind == VAR && (e.sym.flags_field & SYNTHETIC) == 0) { |
| 415 | return isAccessible(env, site, e.sym) |
| 416 | ? e.sym : new AccessError(env, site, e.sym); |
| 417 | } |
| 418 | e = e.next(); |
| 419 | } |
| 420 | Type st = types.supertype(c.type); |
| 421 | if (st != null && st.tag == CLASS) { |
| 422 | sym = findField(env, site, name, st.tsym); |
| 423 | if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 424 | } |
| 425 | for (List<Type> l = types.interfaces(c.type); |
| 426 | bestSoFar.kind != AMBIGUOUS && l.nonEmpty(); |
| 427 | l = l.tail) { |
| 428 | sym = findField(env, site, name, l.head.tsym); |
| 429 | if (bestSoFar.kind < AMBIGUOUS && sym.kind < AMBIGUOUS && |
| 430 | sym.owner != bestSoFar.owner) |
| 431 | bestSoFar = new AmbiguityError(bestSoFar, sym); |
| 432 | else if (sym.kind < bestSoFar.kind) |
| 433 | bestSoFar = sym; |
| 434 | } |
| 435 | return bestSoFar; |
| 436 | } |
| 437 | |
| 438 | /** Resolve a field identifier, throw a fatal error if not found. |
| 439 | * @param pos The position to use for error reporting. |
| 440 | * @param env The environment current at the method invocation. |
| 441 | * @param site The type of the qualifying expression, in which |
| 442 | * identifier is searched. |
| 443 | * @param name The identifier's name. |
| 444 | */ |
| 445 | public VarSymbol resolveInternalField(DiagnosticPosition pos, Env<AttrContext> env, |
| 446 | Type site, Name name) { |
| 447 | Symbol sym = findField(env, site, name, site.tsym); |
| 448 | if (sym.kind == VAR) return (VarSymbol)sym; |
| 449 | else throw new FatalError( |
| 450 | JCDiagnostic.fragment("fatal.err.cant.locate.field", |
| 451 | name)); |
| 452 | } |
| 453 | |
| 454 | /** Find unqualified variable or field with given name. |
| 455 | * Synthetic fields always skipped. |
| 456 | * @param env The current environment. |
| 457 | * @param name The name of the variable or field. |
| 458 | */ |
| 459 | Symbol findVar(Env<AttrContext> env, Name name) { |
| 460 | Symbol bestSoFar = varNotFound; |
| 461 | Symbol sym; |
| 462 | Env<AttrContext> env1 = env; |
| 463 | boolean staticOnly = false; |
| 464 | while (env1.outer != null) { |
| 465 | if (isStatic(env1)) staticOnly = true; |
| 466 | Scope.Entry e = env1.info.scope.lookup(name); |
| 467 | while (e.scope != null && |
| 468 | (e.sym.kind != VAR || |
| 469 | (e.sym.flags_field & SYNTHETIC) != 0)) |
| 470 | e = e.next(); |
| 471 | sym = (e.scope != null) |
| 472 | ? e.sym |
| 473 | : findField( |
| 474 | env1, env1.enclClass.sym.type, name, env1.enclClass.sym); |
| 475 | if (sym.exists()) { |
| 476 | if (staticOnly && |
| 477 | sym.kind == VAR && |
| 478 | sym.owner.kind == TYP && |
| 479 | (sym.flags() & STATIC) == 0) |
| 480 | return new StaticError(sym); |
| 481 | else |
| 482 | return sym; |
| 483 | } else if (sym.kind < bestSoFar.kind) { |
| 484 | bestSoFar = sym; |
| 485 | } |
| 486 | |
| 487 | if ((env1.enclClass.sym.flags() & STATIC) != 0) staticOnly = true; |
| 488 | env1 = env1.outer; |
| 489 | } |
| 490 | |
| 491 | sym = findField(env, syms.predefClass.type, name, syms.predefClass); |
| 492 | if (sym.exists()) |
| 493 | return sym; |
| 494 | if (bestSoFar.exists()) |
| 495 | return bestSoFar; |
| 496 | |
| 497 | Scope.Entry e = env.toplevel.namedImportScope.lookup(name); |
| 498 | for (; e.scope != null; e = e.next()) { |
| 499 | sym = e.sym; |
| 500 | Type origin = e.getOrigin().owner.type; |
| 501 | if (sym.kind == VAR) { |
| 502 | if (e.sym.owner.type != origin) |
| 503 | sym = sym.clone(e.getOrigin().owner); |
| 504 | return isAccessible(env, origin, sym) |
| 505 | ? sym : new AccessError(env, origin, sym); |
| 506 | } |
| 507 | } |
| 508 | |
| 509 | Symbol origin = null; |
| 510 | e = env.toplevel.starImportScope.lookup(name); |
| 511 | for (; e.scope != null; e = e.next()) { |
| 512 | sym = e.sym; |
| 513 | if (sym.kind != VAR) |
| 514 | continue; |
| 515 | // invariant: sym.kind == VAR |
| 516 | if (bestSoFar.kind < AMBIGUOUS && sym.owner != bestSoFar.owner) |
| 517 | return new AmbiguityError(bestSoFar, sym); |
| 518 | else if (bestSoFar.kind >= VAR) { |
| 519 | origin = e.getOrigin().owner; |
| 520 | bestSoFar = isAccessible(env, origin.type, sym) |
| 521 | ? sym : new AccessError(env, origin.type, sym); |
| 522 | } |
| 523 | } |
| 524 | if (bestSoFar.kind == VAR && bestSoFar.owner.type != origin.type) |
| 525 | return bestSoFar.clone(origin); |
| 526 | else |
| 527 | return bestSoFar; |
| 528 | } |
| 529 | |
| 530 | Warner noteWarner = new Warner(); |
| 531 | |
| 532 | /** Select the best method for a call site among two choices. |
| 533 | * @param env The current environment. |
| 534 | * @param site The original type from where the |
| 535 | * selection takes place. |
| 536 | * @param argtypes The invocation's value arguments, |
| 537 | * @param typeargtypes The invocation's type arguments, |
| 538 | * @param sym Proposed new best match. |
| 539 | * @param bestSoFar Previously found best match. |
| 540 | * @param allowBoxing Allow boxing conversions of arguments. |
| 541 | * @param useVarargs Box trailing arguments into an array for varargs. |
| 542 | */ |
| 543 | Symbol selectBest(Env<AttrContext> env, |
| 544 | Type site, |
| 545 | List<Type> argtypes, |
| 546 | List<Type> typeargtypes, |
| 547 | Symbol sym, |
| 548 | Symbol bestSoFar, |
| 549 | boolean allowBoxing, |
| 550 | boolean useVarargs, |
| 551 | boolean operator) { |
| 552 | if (sym.kind == ERR) return bestSoFar; |
| 553 | if (!sym.isInheritedIn(site.tsym, types)) return bestSoFar; |
| 554 | assert sym.kind < AMBIGUOUS; |
| 555 | try { |
| 556 | if (rawInstantiate(env, site, sym, argtypes, typeargtypes, |
| 557 | allowBoxing, useVarargs, Warner.noWarnings) == null) { |
| 558 | // inapplicable |
| 559 | switch (bestSoFar.kind) { |
| 560 | case ABSENT_MTH: return wrongMethod.setWrongSym(sym); |
| 561 | case WRONG_MTH: return wrongMethods; |
| 562 | default: return bestSoFar; |
| 563 | } |
| 564 | } |
| 565 | } catch (Infer.NoInstanceException ex) { |
| 566 | switch (bestSoFar.kind) { |
| 567 | case ABSENT_MTH: |
| 568 | return wrongMethod.setWrongSym(sym, ex.getDiagnostic()); |
| 569 | case WRONG_MTH: |
| 570 | return wrongMethods; |
| 571 | default: |
| 572 | return bestSoFar; |
| 573 | } |
| 574 | } |
| 575 | if (!isAccessible(env, site, sym)) { |
| 576 | return (bestSoFar.kind == ABSENT_MTH) |
| 577 | ? new AccessError(env, site, sym) |
| 578 | : bestSoFar; |
| 579 | } |
| 580 | return (bestSoFar.kind > AMBIGUOUS) |
| 581 | ? sym |
| 582 | : mostSpecific(sym, bestSoFar, env, site, |
| 583 | allowBoxing && operator, useVarargs); |
| 584 | } |
| 585 | |
| 586 | /* Return the most specific of the two methods for a call, |
| 587 | * given that both are accessible and applicable. |
| 588 | * @param m1 A new candidate for most specific. |
| 589 | * @param m2 The previous most specific candidate. |
| 590 | * @param env The current environment. |
| 591 | * @param site The original type from where the selection |
| 592 | * takes place. |
| 593 | * @param allowBoxing Allow boxing conversions of arguments. |
| 594 | * @param useVarargs Box trailing arguments into an array for varargs. |
| 595 | */ |
| 596 | Symbol mostSpecific(Symbol m1, |
| 597 | Symbol m2, |
| 598 | Env<AttrContext> env, |
| 599 | Type site, |
| 600 | boolean allowBoxing, |
| 601 | boolean useVarargs) { |
| 602 | switch (m2.kind) { |
| 603 | case MTH: |
| 604 | if (m1 == m2) return m1; |
| 605 | Type mt1 = types.memberType(site, m1); |
| 606 | noteWarner.unchecked = false; |
| 607 | boolean m1SignatureMoreSpecific = |
| 608 | (instantiate(env, site, m2, types.lowerBoundArgtypes(mt1), null, |
| 609 | allowBoxing, false, noteWarner) != null || |
| 610 | useVarargs && instantiate(env, site, m2, types.lowerBoundArgtypes(mt1), null, |
| 611 | allowBoxing, true, noteWarner) != null) && |
| 612 | !noteWarner.unchecked; |
| 613 | Type mt2 = types.memberType(site, m2); |
| 614 | noteWarner.unchecked = false; |
| 615 | boolean m2SignatureMoreSpecific = |
| 616 | (instantiate(env, site, m1, types.lowerBoundArgtypes(mt2), null, |
| 617 | allowBoxing, false, noteWarner) != null || |
| 618 | useVarargs && instantiate(env, site, m1, types.lowerBoundArgtypes(mt2), null, |
| 619 | allowBoxing, true, noteWarner) != null) && |
| 620 | !noteWarner.unchecked; |
| 621 | if (m1SignatureMoreSpecific && m2SignatureMoreSpecific) { |
| 622 | if (!types.overrideEquivalent(mt1, mt2)) |
| 623 | return new AmbiguityError(m1, m2); |
| 624 | // same signature; select (a) the non-bridge method, or |
| 625 | // (b) the one that overrides the other, or (c) the concrete |
| 626 | // one, or (d) merge both abstract signatures |
| 627 | if ((m1.flags() & BRIDGE) != (m2.flags() & BRIDGE)) { |
| 628 | return ((m1.flags() & BRIDGE) != 0) ? m2 : m1; |
| 629 | } |
| 630 | // if one overrides or hides the other, use it |
| 631 | TypeSymbol m1Owner = (TypeSymbol)m1.owner; |
| 632 | TypeSymbol m2Owner = (TypeSymbol)m2.owner; |
| 633 | if (types.asSuper(m1Owner.type, m2Owner) != null && |
| 634 | ((m1.owner.flags_field & INTERFACE) == 0 || |
| 635 | (m2.owner.flags_field & INTERFACE) != 0) && |
| 636 | m1.overrides(m2, m1Owner, types, false)) |
| 637 | return m1; |
| 638 | if (types.asSuper(m2Owner.type, m1Owner) != null && |
| 639 | ((m2.owner.flags_field & INTERFACE) == 0 || |
| 640 | (m1.owner.flags_field & INTERFACE) != 0) && |
| 641 | m2.overrides(m1, m2Owner, types, false)) |
| 642 | return m2; |
| 643 | boolean m1Abstract = (m1.flags() & ABSTRACT) != 0; |
| 644 | boolean m2Abstract = (m2.flags() & ABSTRACT) != 0; |
| 645 | if (m1Abstract && !m2Abstract) return m2; |
| 646 | if (m2Abstract && !m1Abstract) return m1; |
| 647 | // both abstract or both concrete |
| 648 | if (!m1Abstract && !m2Abstract) |
| 649 | return new AmbiguityError(m1, m2); |
| 650 | // check for same erasure |
| 651 | if (!types.isSameType(m1.erasure(types), m2.erasure(types))) |
| 652 | return new AmbiguityError(m1, m2); |
| 653 | // both abstract, neither overridden; merge throws clause and result type |
| 654 | Symbol result; |
| 655 | Type result2 = mt2.getReturnType();; |
| 656 | if (mt2.tag == FORALL) |
| 657 | result2 = types.subst(result2, ((ForAll)mt2).tvars, ((ForAll)mt1).tvars); |
| 658 | if (types.isSubtype(mt1.getReturnType(), result2)) { |
| 659 | result = m1; |
| 660 | } else if (types.isSubtype(result2, mt1.getReturnType())) { |
| 661 | result = m2; |
| 662 | } else { |
| 663 | // Theoretically, this can't happen, but it is possible |
| 664 | // due to error recovery or mixing incompatible class files |
| 665 | return new AmbiguityError(m1, m2); |
| 666 | } |
| 667 | result = result.clone(result.owner); |
| 668 | result.type = (Type)result.type.clone(); |
| 669 | result.type.setThrown(chk.intersect(mt1.getThrownTypes(), |
| 670 | mt2.getThrownTypes())); |
| 671 | return result; |
| 672 | } |
| 673 | if (m1SignatureMoreSpecific) return m1; |
| 674 | if (m2SignatureMoreSpecific) return m2; |
| 675 | return new AmbiguityError(m1, m2); |
| 676 | case AMBIGUOUS: |
| 677 | AmbiguityError e = (AmbiguityError)m2; |
| 678 | Symbol err1 = mostSpecific(m1, e.sym1, env, site, allowBoxing, useVarargs); |
| 679 | Symbol err2 = mostSpecific(m1, e.sym2, env, site, allowBoxing, useVarargs); |
| 680 | if (err1 == err2) return err1; |
| 681 | if (err1 == e.sym1 && err2 == e.sym2) return m2; |
| 682 | if (err1 instanceof AmbiguityError && |
| 683 | err2 instanceof AmbiguityError && |
| 684 | ((AmbiguityError)err1).sym1 == ((AmbiguityError)err2).sym1) |
| 685 | return new AmbiguityError(m1, m2); |
| 686 | else |
| 687 | return new AmbiguityError(err1, err2); |
| 688 | default: |
| 689 | throw new AssertionError(); |
| 690 | } |
| 691 | } |
| 692 | |
| 693 | /** Find best qualified method matching given name, type and value |
| 694 | * arguments. |
| 695 | * @param env The current environment. |
| 696 | * @param site The original type from where the selection |
| 697 | * takes place. |
| 698 | * @param name The method's name. |
| 699 | * @param argtypes The method's value arguments. |
| 700 | * @param typeargtypes The method's type arguments |
| 701 | * @param allowBoxing Allow boxing conversions of arguments. |
| 702 | * @param useVarargs Box trailing arguments into an array for varargs. |
| 703 | */ |
| 704 | Symbol findMethod(Env<AttrContext> env, |
| 705 | Type site, |
| 706 | Name name, |
| 707 | List<Type> argtypes, |
| 708 | List<Type> typeargtypes, |
| 709 | boolean allowBoxing, |
| 710 | boolean useVarargs, |
| 711 | boolean operator) { |
| 712 | return findMethod(env, |
| 713 | site, |
| 714 | name, |
| 715 | argtypes, |
| 716 | typeargtypes, |
| 717 | site.tsym.type, |
| 718 | true, |
| 719 | methodNotFound, |
| 720 | allowBoxing, |
| 721 | useVarargs, |
| 722 | operator); |
| 723 | } |
| 724 | // where |
| 725 | private Symbol findMethod(Env<AttrContext> env, |
| 726 | Type site, |
| 727 | Name name, |
| 728 | List<Type> argtypes, |
| 729 | List<Type> typeargtypes, |
| 730 | Type intype, |
| 731 | boolean abstractok, |
| 732 | Symbol bestSoFar, |
| 733 | boolean allowBoxing, |
| 734 | boolean useVarargs, |
| 735 | boolean operator) { |
| 736 | for (Type ct = intype; ct.tag == CLASS; ct = types.supertype(ct)) { |
| 737 | ClassSymbol c = (ClassSymbol)ct.tsym; |
| 738 | if ((c.flags() & (ABSTRACT | INTERFACE)) == 0) |
| 739 | abstractok = false; |
| 740 | for (Scope.Entry e = c.members().lookup(name); |
| 741 | e.scope != null; |
| 742 | e = e.next()) { |
| 743 | //- System.out.println(" e " + e.sym); |
| 744 | if (e.sym.kind == MTH && |
| 745 | (e.sym.flags_field & SYNTHETIC) == 0) { |
| 746 | bestSoFar = selectBest(env, site, argtypes, typeargtypes, |
| 747 | e.sym, bestSoFar, |
| 748 | allowBoxing, |
| 749 | useVarargs, |
| 750 | operator); |
| 751 | } |
| 752 | } |
| 753 | //- System.out.println(" - " + bestSoFar); |
| 754 | if (abstractok) { |
| 755 | Symbol concrete = methodNotFound; |
| 756 | if ((bestSoFar.flags() & ABSTRACT) == 0) |
| 757 | concrete = bestSoFar; |
| 758 | for (List<Type> l = types.interfaces(c.type); |
| 759 | l.nonEmpty(); |
| 760 | l = l.tail) { |
| 761 | bestSoFar = findMethod(env, site, name, argtypes, |
| 762 | typeargtypes, |
| 763 | l.head, abstractok, bestSoFar, |
| 764 | allowBoxing, useVarargs, operator); |
| 765 | } |
| 766 | if (concrete != bestSoFar && |
| 767 | concrete.kind < ERR && bestSoFar.kind < ERR && |
| 768 | types.isSubSignature(concrete.type, bestSoFar.type)) |
| 769 | bestSoFar = concrete; |
| 770 | } |
| 771 | } |
| 772 | return bestSoFar; |
| 773 | } |
| 774 | |
| 775 | /** Find unqualified method matching given name, type and value arguments. |
| 776 | * @param env The current environment. |
| 777 | * @param name The method's name. |
| 778 | * @param argtypes The method's value arguments. |
| 779 | * @param typeargtypes The method's type arguments. |
| 780 | * @param allowBoxing Allow boxing conversions of arguments. |
| 781 | * @param useVarargs Box trailing arguments into an array for varargs. |
| 782 | */ |
| 783 | Symbol findFun(Env<AttrContext> env, Name name, |
| 784 | List<Type> argtypes, List<Type> typeargtypes, |
| 785 | boolean allowBoxing, boolean useVarargs) { |
| 786 | Symbol bestSoFar = methodNotFound; |
| 787 | Symbol sym; |
| 788 | Env<AttrContext> env1 = env; |
| 789 | boolean staticOnly = false; |
| 790 | while (env1.outer != null) { |
| 791 | if (isStatic(env1)) staticOnly = true; |
| 792 | sym = findMethod( |
| 793 | env1, env1.enclClass.sym.type, name, argtypes, typeargtypes, |
| 794 | allowBoxing, useVarargs, false); |
| 795 | if (sym.exists()) { |
| 796 | if (staticOnly && |
| 797 | sym.kind == MTH && |
| 798 | sym.owner.kind == TYP && |
| 799 | (sym.flags() & STATIC) == 0) return new StaticError(sym); |
| 800 | else return sym; |
| 801 | } else if (sym.kind < bestSoFar.kind) { |
| 802 | bestSoFar = sym; |
| 803 | } |
| 804 | if ((env1.enclClass.sym.flags() & STATIC) != 0) staticOnly = true; |
| 805 | env1 = env1.outer; |
| 806 | } |
| 807 | |
| 808 | sym = findMethod(env, syms.predefClass.type, name, argtypes, |
| 809 | typeargtypes, allowBoxing, useVarargs, false); |
| 810 | if (sym.exists()) |
| 811 | return sym; |
| 812 | |
| 813 | Scope.Entry e = env.toplevel.namedImportScope.lookup(name); |
| 814 | for (; e.scope != null; e = e.next()) { |
| 815 | sym = e.sym; |
| 816 | Type origin = e.getOrigin().owner.type; |
| 817 | if (sym.kind == MTH) { |
| 818 | if (e.sym.owner.type != origin) |
| 819 | sym = sym.clone(e.getOrigin().owner); |
| 820 | if (!isAccessible(env, origin, sym)) |
| 821 | sym = new AccessError(env, origin, sym); |
| 822 | bestSoFar = selectBest(env, origin, |
| 823 | argtypes, typeargtypes, |
| 824 | sym, bestSoFar, |
| 825 | allowBoxing, useVarargs, false); |
| 826 | } |
| 827 | } |
| 828 | if (bestSoFar.exists()) |
| 829 | return bestSoFar; |
| 830 | |
| 831 | e = env.toplevel.starImportScope.lookup(name); |
| 832 | for (; e.scope != null; e = e.next()) { |
| 833 | sym = e.sym; |
| 834 | Type origin = e.getOrigin().owner.type; |
| 835 | if (sym.kind == MTH) { |
| 836 | if (e.sym.owner.type != origin) |
| 837 | sym = sym.clone(e.getOrigin().owner); |
| 838 | if (!isAccessible(env, origin, sym)) |
| 839 | sym = new AccessError(env, origin, sym); |
| 840 | bestSoFar = selectBest(env, origin, |
| 841 | argtypes, typeargtypes, |
| 842 | sym, bestSoFar, |
| 843 | allowBoxing, useVarargs, false); |
| 844 | } |
| 845 | } |
| 846 | return bestSoFar; |
| 847 | } |
| 848 | |
| 849 | /** Load toplevel or member class with given fully qualified name and |
| 850 | * verify that it is accessible. |
| 851 | * @param env The current environment. |
| 852 | * @param name The fully qualified name of the class to be loaded. |
| 853 | */ |
| 854 | Symbol loadClass(Env<AttrContext> env, Name name) { |
| 855 | try { |
| 856 | ClassSymbol c = reader.loadClass(name); |
| 857 | return isAccessible(env, c) ? c : new AccessError(c); |
| 858 | } catch (ClassReader.BadClassFile err) { |
| 859 | throw err; |
| 860 | } catch (CompletionFailure ex) { |
| 861 | return typeNotFound; |
| 862 | } |
| 863 | } |
| 864 | |
| 865 | /** Find qualified member type. |
| 866 | * @param env The current environment. |
| 867 | * @param site The original type from where the selection takes |
| 868 | * place. |
| 869 | * @param name The type's name. |
| 870 | * @param c The class to search for the member type. This is |
| 871 | * always a superclass or implemented interface of |
| 872 | * site's class. |
| 873 | */ |
| 874 | Symbol findMemberType(Env<AttrContext> env, |
| 875 | Type site, |
| 876 | Name name, |
| 877 | TypeSymbol c) { |
| 878 | Symbol bestSoFar = typeNotFound; |
| 879 | Symbol sym; |
| 880 | Scope.Entry e = c.members().lookup(name); |
| 881 | while (e.scope != null) { |
| 882 | if (e.sym.kind == TYP) { |
| 883 | return isAccessible(env, site, e.sym) |
| 884 | ? e.sym |
| 885 | : new AccessError(env, site, e.sym); |
| 886 | } |
| 887 | e = e.next(); |
| 888 | } |
| 889 | Type st = types.supertype(c.type); |
| 890 | if (st != null && st.tag == CLASS) { |
| 891 | sym = findMemberType(env, site, name, st.tsym); |
| 892 | if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 893 | } |
| 894 | for (List<Type> l = types.interfaces(c.type); |
| 895 | bestSoFar.kind != AMBIGUOUS && l.nonEmpty(); |
| 896 | l = l.tail) { |
| 897 | sym = findMemberType(env, site, name, l.head.tsym); |
| 898 | if (bestSoFar.kind < AMBIGUOUS && sym.kind < AMBIGUOUS && |
| 899 | sym.owner != bestSoFar.owner) |
| 900 | bestSoFar = new AmbiguityError(bestSoFar, sym); |
| 901 | else if (sym.kind < bestSoFar.kind) |
| 902 | bestSoFar = sym; |
| 903 | } |
| 904 | return bestSoFar; |
| 905 | } |
| 906 | |
| 907 | /** Find a global type in given scope and load corresponding class. |
| 908 | * @param env The current environment. |
| 909 | * @param scope The scope in which to look for the type. |
| 910 | * @param name The type's name. |
| 911 | */ |
| 912 | Symbol findGlobalType(Env<AttrContext> env, Scope scope, Name name) { |
| 913 | Symbol bestSoFar = typeNotFound; |
| 914 | for (Scope.Entry e = scope.lookup(name); e.scope != null; e = e.next()) { |
| 915 | Symbol sym = loadClass(env, e.sym.flatName()); |
| 916 | if (bestSoFar.kind == TYP && sym.kind == TYP && |
| 917 | bestSoFar != sym) |
| 918 | return new AmbiguityError(bestSoFar, sym); |
| 919 | else if (sym.kind < bestSoFar.kind) |
| 920 | bestSoFar = sym; |
| 921 | } |
| 922 | return bestSoFar; |
| 923 | } |
| 924 | |
| 925 | /** Find an unqualified type symbol. |
| 926 | * @param env The current environment. |
| 927 | * @param name The type's name. |
| 928 | */ |
| 929 | Symbol findType(Env<AttrContext> env, Name name) { |
| 930 | Symbol bestSoFar = typeNotFound; |
| 931 | Symbol sym; |
| 932 | boolean staticOnly = false; |
| 933 | for (Env<AttrContext> env1 = env; env1.outer != null; env1 = env1.outer) { |
| 934 | if (isStatic(env1)) staticOnly = true; |
| 935 | for (Scope.Entry e = env1.info.scope.lookup(name); |
| 936 | e.scope != null; |
| 937 | e = e.next()) { |
| 938 | if (e.sym.kind == TYP) { |
| 939 | if (staticOnly && |
| 940 | e.sym.type.tag == TYPEVAR && |
| 941 | e.sym.owner.kind == TYP) return new StaticError(e.sym); |
| 942 | return e.sym; |
| 943 | } |
| 944 | } |
| 945 | |
| 946 | sym = findMemberType(env1, env1.enclClass.sym.type, name, |
| 947 | env1.enclClass.sym); |
| 948 | if (staticOnly && sym.kind == TYP && |
| 949 | sym.type.tag == CLASS && |
| 950 | sym.type.getEnclosingType().tag == CLASS && |
| 951 | env1.enclClass.sym.type.isParameterized() && |
| 952 | sym.type.getEnclosingType().isParameterized()) |
| 953 | return new StaticError(sym); |
| 954 | else if (sym.exists()) return sym; |
| 955 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 956 | |
| 957 | JCClassDecl encl = env1.baseClause ? (JCClassDecl)env1.tree : env1.enclClass; |
| 958 | if ((encl.sym.flags() & STATIC) != 0) |
| 959 | staticOnly = true; |
| 960 | } |
| 961 | |
| 962 | if (env.tree.getTag() != JCTree.IMPORT) { |
| 963 | sym = findGlobalType(env, env.toplevel.namedImportScope, name); |
| 964 | if (sym.exists()) return sym; |
| 965 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 966 | |
| 967 | sym = findGlobalType(env, env.toplevel.packge.members(), name); |
| 968 | if (sym.exists()) return sym; |
| 969 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 970 | |
| 971 | sym = findGlobalType(env, env.toplevel.starImportScope, name); |
| 972 | if (sym.exists()) return sym; |
| 973 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 974 | } |
| 975 | |
| 976 | return bestSoFar; |
| 977 | } |
| 978 | |
| 979 | /** Find an unqualified identifier which matches a specified kind set. |
| 980 | * @param env The current environment. |
| 981 | * @param name The indentifier's name. |
| 982 | * @param kind Indicates the possible symbol kinds |
| 983 | * (a subset of VAL, TYP, PCK). |
| 984 | */ |
| 985 | Symbol findIdent(Env<AttrContext> env, Name name, int kind) { |
| 986 | Symbol bestSoFar = typeNotFound; |
| 987 | Symbol sym; |
| 988 | |
| 989 | if ((kind & VAR) != 0) { |
| 990 | sym = findVar(env, name); |
| 991 | if (sym.exists()) return sym; |
| 992 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 993 | } |
| 994 | |
| 995 | if ((kind & TYP) != 0) { |
| 996 | sym = findType(env, name); |
| 997 | if (sym.exists()) return sym; |
| 998 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 999 | } |
| 1000 | |
| 1001 | if ((kind & PCK) != 0) return reader.enterPackage(name); |
| 1002 | else return bestSoFar; |
| 1003 | } |
| 1004 | |
| 1005 | /** Find an identifier in a package which matches a specified kind set. |
| 1006 | * @param env The current environment. |
| 1007 | * @param name The identifier's name. |
| 1008 | * @param kind Indicates the possible symbol kinds |
| 1009 | * (a nonempty subset of TYP, PCK). |
| 1010 | */ |
| 1011 | Symbol findIdentInPackage(Env<AttrContext> env, TypeSymbol pck, |
| 1012 | Name name, int kind) { |
| 1013 | Name fullname = TypeSymbol.formFullName(name, pck); |
| 1014 | Symbol bestSoFar = typeNotFound; |
| 1015 | PackageSymbol pack = null; |
| 1016 | if ((kind & PCK) != 0) { |
| 1017 | pack = reader.enterPackage(fullname); |
| 1018 | if (pack.exists()) return pack; |
| 1019 | } |
| 1020 | if ((kind & TYP) != 0) { |
| 1021 | Symbol sym = loadClass(env, fullname); |
| 1022 | if (sym.exists()) { |
| 1023 | // don't allow programs to use flatnames |
| 1024 | if (name == sym.name) return sym; |
| 1025 | } |
| 1026 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 1027 | } |
| 1028 | return (pack != null) ? pack : bestSoFar; |
| 1029 | } |
| 1030 | |
| 1031 | /** Find an identifier among the members of a given type `site'. |
| 1032 | * @param env The current environment. |
| 1033 | * @param site The type containing the symbol to be found. |
| 1034 | * @param name The identifier's name. |
| 1035 | * @param kind Indicates the possible symbol kinds |
| 1036 | * (a subset of VAL, TYP). |
| 1037 | */ |
| 1038 | Symbol findIdentInType(Env<AttrContext> env, Type site, |
| 1039 | Name name, int kind) { |
| 1040 | Symbol bestSoFar = typeNotFound; |
| 1041 | Symbol sym; |
| 1042 | if ((kind & VAR) != 0) { |
| 1043 | sym = findField(env, site, name, site.tsym); |
| 1044 | if (sym.exists()) return sym; |
| 1045 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 1046 | } |
| 1047 | |
| 1048 | if ((kind & TYP) != 0) { |
| 1049 | sym = findMemberType(env, site, name, site.tsym); |
| 1050 | if (sym.exists()) return sym; |
| 1051 | else if (sym.kind < bestSoFar.kind) bestSoFar = sym; |
| 1052 | } |
| 1053 | return bestSoFar; |
| 1054 | } |
| 1055 | |
| 1056 | /* *************************************************************************** |
| 1057 | * Access checking |
| 1058 | * The following methods convert ResolveErrors to ErrorSymbols, issuing |
| 1059 | * an error message in the process |
| 1060 | ****************************************************************************/ |
| 1061 | |
| 1062 | /** If `sym' is a bad symbol: report error and return errSymbol |
| 1063 | * else pass through unchanged, |
| 1064 | * additional arguments duplicate what has been used in trying to find the |
| 1065 | * symbol (--> flyweight pattern). This improves performance since we |
| 1066 | * expect misses to happen frequently. |
| 1067 | * |
| 1068 | * @param sym The symbol that was found, or a ResolveError. |
| 1069 | * @param pos The position to use for error reporting. |
| 1070 | * @param site The original type from where the selection took place. |
| 1071 | * @param name The symbol's name. |
| 1072 | * @param argtypes The invocation's value arguments, |
| 1073 | * if we looked for a method. |
| 1074 | * @param typeargtypes The invocation's type arguments, |
| 1075 | * if we looked for a method. |
| 1076 | */ |
| 1077 | Symbol access(Symbol sym, |
| 1078 | DiagnosticPosition pos, |
| 1079 | Type site, |
| 1080 | Name name, |
| 1081 | boolean qualified, |
| 1082 | List<Type> argtypes, |
| 1083 | List<Type> typeargtypes) { |
| 1084 | if (sym.kind >= AMBIGUOUS) { |
| 1085 | // printscopes(site.tsym.members());//DEBUG |
| 1086 | if (!site.isErroneous() && |
| 1087 | !Type.isErroneous(argtypes) && |
| 1088 | (typeargtypes==null || !Type.isErroneous(typeargtypes))) |
| 1089 | ((ResolveError)sym).report(log, pos, site, name, argtypes, typeargtypes); |
| 1090 | do { |
| 1091 | sym = ((ResolveError)sym).sym; |
| 1092 | } while (sym.kind >= AMBIGUOUS); |
| 1093 | if (sym == syms.errSymbol // preserve the symbol name through errors |
| 1094 | || ((sym.kind & ERRONEOUS) == 0 // make sure an error symbol is returned |
| 1095 | && (sym.kind & TYP) != 0)) |
| 1096 | sym = new ErrorType(name, qualified?site.tsym:syms.noSymbol).tsym; |
| 1097 | } |
| 1098 | return sym; |
| 1099 | } |
| 1100 | |
| 1101 | /** Same as above, but without type arguments and arguments. |
| 1102 | */ |
| 1103 | Symbol access(Symbol sym, |
| 1104 | DiagnosticPosition pos, |
| 1105 | Type site, |
| 1106 | Name name, |
| 1107 | boolean qualified) { |
| 1108 | if (sym.kind >= AMBIGUOUS) |
| 1109 | return access(sym, pos, site, name, qualified, List.<Type>nil(), null); |
| 1110 | else |
| 1111 | return sym; |
| 1112 | } |
| 1113 | |
| 1114 | /** Check that sym is not an abstract method. |
| 1115 | */ |
| 1116 | void checkNonAbstract(DiagnosticPosition pos, Symbol sym) { |
| 1117 | if ((sym.flags() & ABSTRACT) != 0) |
| 1118 | log.error(pos, "abstract.cant.be.accessed.directly", |
| 1119 | kindName(sym), sym, sym.location()); |
| 1120 | } |
| 1121 | |
| 1122 | /* *************************************************************************** |
| 1123 | * Debugging |
| 1124 | ****************************************************************************/ |
| 1125 | |
| 1126 | /** print all scopes starting with scope s and proceeding outwards. |
| 1127 | * used for debugging. |
| 1128 | */ |
| 1129 | public void printscopes(Scope s) { |
| 1130 | while (s != null) { |
| 1131 | if (s.owner != null) |
| 1132 | System.err.print(s.owner + ": "); |
| 1133 | for (Scope.Entry e = s.elems; e != null; e = e.sibling) { |
| 1134 | if ((e.sym.flags() & ABSTRACT) != 0) |
| 1135 | System.err.print("abstract "); |
| 1136 | System.err.print(e.sym + " "); |
| 1137 | } |
| 1138 | System.err.println(); |
| 1139 | s = s.next; |
| 1140 | } |
| 1141 | } |
| 1142 | |
| 1143 | void printscopes(Env<AttrContext> env) { |
| 1144 | while (env.outer != null) { |
| 1145 | System.err.println("------------------------------"); |
| 1146 | printscopes(env.info.scope); |
| 1147 | env = env.outer; |
| 1148 | } |
| 1149 | } |
| 1150 | |
| 1151 | public void printscopes(Type t) { |
| 1152 | while (t.tag == CLASS) { |
| 1153 | printscopes(t.tsym.members()); |
| 1154 | t = types.supertype(t); |
| 1155 | } |
| 1156 | } |
| 1157 | |
| 1158 | /* *************************************************************************** |
| 1159 | * Name resolution |
| 1160 | * Naming conventions are as for symbol lookup |
| 1161 | * Unlike the find... methods these methods will report access errors |
| 1162 | ****************************************************************************/ |
| 1163 | |
| 1164 | /** Resolve an unqualified (non-method) identifier. |
| 1165 | * @param pos The position to use for error reporting. |
| 1166 | * @param env The environment current at the identifier use. |
| 1167 | * @param name The identifier's name. |
| 1168 | * @param kind The set of admissible symbol kinds for the identifier. |
| 1169 | */ |
| 1170 | Symbol resolveIdent(DiagnosticPosition pos, Env<AttrContext> env, |
| 1171 | Name name, int kind) { |
| 1172 | return access( |
| 1173 | findIdent(env, name, kind), |
| 1174 | pos, env.enclClass.sym.type, name, false); |
| 1175 | } |
| 1176 | |
| 1177 | /** Resolve an unqualified method identifier. |
| 1178 | * @param pos The position to use for error reporting. |
| 1179 | * @param env The environment current at the method invocation. |
| 1180 | * @param name The identifier's name. |
| 1181 | * @param argtypes The types of the invocation's value arguments. |
| 1182 | * @param typeargtypes The types of the invocation's type arguments. |
| 1183 | */ |
| 1184 | Symbol resolveMethod(DiagnosticPosition pos, |
| 1185 | Env<AttrContext> env, |
| 1186 | Name name, |
| 1187 | List<Type> argtypes, |
| 1188 | List<Type> typeargtypes) { |
| 1189 | Symbol sym = findFun(env, name, argtypes, typeargtypes, false, env.info.varArgs=false); |
| 1190 | if (varargsEnabled && sym.kind >= WRONG_MTHS) { |
| 1191 | sym = findFun(env, name, argtypes, typeargtypes, true, false); |
| 1192 | if (sym.kind >= WRONG_MTHS) |
| 1193 | sym = findFun(env, name, argtypes, typeargtypes, true, env.info.varArgs=true); |
| 1194 | } |
| 1195 | if (sym.kind >= AMBIGUOUS) { |
| 1196 | sym = access( |
| 1197 | sym, pos, env.enclClass.sym.type, name, false, argtypes, typeargtypes); |
| 1198 | } |
| 1199 | return sym; |
| 1200 | } |
| 1201 | |
| 1202 | /** Resolve a qualified method identifier |
| 1203 | * @param pos The position to use for error reporting. |
| 1204 | * @param env The environment current at the method invocation. |
| 1205 | * @param site The type of the qualifying expression, in which |
| 1206 | * identifier is searched. |
| 1207 | * @param name The identifier's name. |
| 1208 | * @param argtypes The types of the invocation's value arguments. |
| 1209 | * @param typeargtypes The types of the invocation's type arguments. |
| 1210 | */ |
| 1211 | Symbol resolveQualifiedMethod(DiagnosticPosition pos, Env<AttrContext> env, |
| 1212 | Type site, Name name, List<Type> argtypes, |
| 1213 | List<Type> typeargtypes) { |
| 1214 | Symbol sym = findMethod(env, site, name, argtypes, typeargtypes, false, |
| 1215 | env.info.varArgs=false, false); |
| 1216 | if (varargsEnabled && sym.kind >= WRONG_MTHS) { |
| 1217 | sym = findMethod(env, site, name, argtypes, typeargtypes, true, |
| 1218 | false, false); |
| 1219 | if (sym.kind >= WRONG_MTHS) |
| 1220 | sym = findMethod(env, site, name, argtypes, typeargtypes, true, |
| 1221 | env.info.varArgs=true, false); |
| 1222 | } |
| 1223 | if (sym.kind >= AMBIGUOUS) { |
| 1224 | sym = access(sym, pos, site, name, true, argtypes, typeargtypes); |
| 1225 | } |
| 1226 | return sym; |
| 1227 | } |
| 1228 | |
| 1229 | /** Resolve a qualified method identifier, throw a fatal error if not |
| 1230 | * found. |
| 1231 | * @param pos The position to use for error reporting. |
| 1232 | * @param env The environment current at the method invocation. |
| 1233 | * @param site The type of the qualifying expression, in which |
| 1234 | * identifier is searched. |
| 1235 | * @param name The identifier's name. |
| 1236 | * @param argtypes The types of the invocation's value arguments. |
| 1237 | * @param typeargtypes The types of the invocation's type arguments. |
| 1238 | */ |
| 1239 | public MethodSymbol resolveInternalMethod(DiagnosticPosition pos, Env<AttrContext> env, |
| 1240 | Type site, Name name, |
| 1241 | List<Type> argtypes, |
| 1242 | List<Type> typeargtypes) { |
| 1243 | Symbol sym = resolveQualifiedMethod( |
| 1244 | pos, env, site, name, argtypes, typeargtypes); |
| 1245 | if (sym.kind == MTH) return (MethodSymbol)sym; |
| 1246 | else throw new FatalError( |
| 1247 | JCDiagnostic.fragment("fatal.err.cant.locate.meth", |
| 1248 | name)); |
| 1249 | } |
| 1250 | |
| 1251 | /** Resolve constructor. |
| 1252 | * @param pos The position to use for error reporting. |
| 1253 | * @param env The environment current at the constructor invocation. |
| 1254 | * @param site The type of class for which a constructor is searched. |
| 1255 | * @param argtypes The types of the constructor invocation's value |
| 1256 | * arguments. |
| 1257 | * @param typeargtypes The types of the constructor invocation's type |
| 1258 | * arguments. |
| 1259 | */ |
| 1260 | Symbol resolveConstructor(DiagnosticPosition pos, |
| 1261 | Env<AttrContext> env, |
| 1262 | Type site, |
| 1263 | List<Type> argtypes, |
| 1264 | List<Type> typeargtypes) { |
| 1265 | Symbol sym = resolveConstructor(pos, env, site, argtypes, typeargtypes, false, env.info.varArgs=false); |
| 1266 | if (varargsEnabled && sym.kind >= WRONG_MTHS) { |
| 1267 | sym = resolveConstructor(pos, env, site, argtypes, typeargtypes, true, false); |
| 1268 | if (sym.kind >= WRONG_MTHS) |
| 1269 | sym = resolveConstructor(pos, env, site, argtypes, typeargtypes, true, env.info.varArgs=true); |
| 1270 | } |
| 1271 | if (sym.kind >= AMBIGUOUS) { |
| 1272 | sym = access(sym, pos, site, names.init, true, argtypes, typeargtypes); |
| 1273 | } |
| 1274 | return sym; |
| 1275 | } |
| 1276 | |
| 1277 | /** Resolve constructor. |
| 1278 | * @param pos The position to use for error reporting. |
| 1279 | * @param env The environment current at the constructor invocation. |
| 1280 | * @param site The type of class for which a constructor is searched. |
| 1281 | * @param argtypes The types of the constructor invocation's value |
| 1282 | * arguments. |
| 1283 | * @param typeargtypes The types of the constructor invocation's type |
| 1284 | * arguments. |
| 1285 | * @param allowBoxing Allow boxing and varargs conversions. |
| 1286 | * @param useVarargs Box trailing arguments into an array for varargs. |
| 1287 | */ |
| 1288 | Symbol resolveConstructor(DiagnosticPosition pos, Env<AttrContext> env, |
| 1289 | Type site, List<Type> argtypes, |
| 1290 | List<Type> typeargtypes, |
| 1291 | boolean allowBoxing, |
| 1292 | boolean useVarargs) { |
| 1293 | Symbol sym = findMethod(env, site, |
| 1294 | names.init, argtypes, |
| 1295 | typeargtypes, allowBoxing, |
| 1296 | useVarargs, false); |
| 1297 | if ((sym.flags() & DEPRECATED) != 0 && |
| 1298 | (env.info.scope.owner.flags() & DEPRECATED) == 0 && |
| 1299 | env.info.scope.owner.outermostClass() != sym.outermostClass()) |
| 1300 | chk.warnDeprecated(pos, sym); |
| 1301 | return sym; |
| 1302 | } |
| 1303 | |
| 1304 | /** Resolve a constructor, throw a fatal error if not found. |
| 1305 | * @param pos The position to use for error reporting. |
| 1306 | * @param env The environment current at the method invocation. |
| 1307 | * @param site The type to be constructed. |
| 1308 | * @param argtypes The types of the invocation's value arguments. |
| 1309 | * @param typeargtypes The types of the invocation's type arguments. |
| 1310 | */ |
| 1311 | public MethodSymbol resolveInternalConstructor(DiagnosticPosition pos, Env<AttrContext> env, |
| 1312 | Type site, |
| 1313 | List<Type> argtypes, |
| 1314 | List<Type> typeargtypes) { |
| 1315 | Symbol sym = resolveConstructor( |
| 1316 | pos, env, site, argtypes, typeargtypes); |
| 1317 | if (sym.kind == MTH) return (MethodSymbol)sym; |
| 1318 | else throw new FatalError( |
| 1319 | JCDiagnostic.fragment("fatal.err.cant.locate.ctor", site)); |
| 1320 | } |
| 1321 | |
| 1322 | /** Resolve operator. |
| 1323 | * @param pos The position to use for error reporting. |
| 1324 | * @param optag The tag of the operation tree. |
| 1325 | * @param env The environment current at the operation. |
| 1326 | * @param argtypes The types of the operands. |
| 1327 | */ |
| 1328 | Symbol resolveOperator(DiagnosticPosition pos, int optag, |
| 1329 | Env<AttrContext> env, List<Type> argtypes) { |
| 1330 | Name name = treeinfo.operatorName(optag); |
| 1331 | Symbol sym = findMethod(env, syms.predefClass.type, name, argtypes, |
| 1332 | null, false, false, true); |
| 1333 | if (boxingEnabled && sym.kind >= WRONG_MTHS) |
| 1334 | sym = findMethod(env, syms.predefClass.type, name, argtypes, |
| 1335 | null, true, false, true); |
| 1336 | return access(sym, pos, env.enclClass.sym.type, name, |
| 1337 | false, argtypes, null); |
| 1338 | } |
| 1339 | |
| 1340 | /** Resolve operator. |
| 1341 | * @param pos The position to use for error reporting. |
| 1342 | * @param optag The tag of the operation tree. |
| 1343 | * @param env The environment current at the operation. |
| 1344 | * @param arg The type of the operand. |
| 1345 | */ |
| 1346 | Symbol resolveUnaryOperator(DiagnosticPosition pos, int optag, Env<AttrContext> env, Type arg) { |
| 1347 | return resolveOperator(pos, optag, env, List.of(arg)); |
| 1348 | } |
| 1349 | |
| 1350 | /** Resolve binary operator. |
| 1351 | * @param pos The position to use for error reporting. |
| 1352 | * @param optag The tag of the operation tree. |
| 1353 | * @param env The environment current at the operation. |
| 1354 | * @param left The types of the left operand. |
| 1355 | * @param right The types of the right operand. |
| 1356 | */ |
| 1357 | Symbol resolveBinaryOperator(DiagnosticPosition pos, |
| 1358 | int optag, |
| 1359 | Env<AttrContext> env, |
| 1360 | Type left, |
| 1361 | Type right) { |
| 1362 | return resolveOperator(pos, optag, env, List.of(left, right)); |
| 1363 | } |
| 1364 | |
| 1365 | /** |
| 1366 | * Resolve `c.name' where name == this or name == super. |
| 1367 | * @param pos The position to use for error reporting. |
| 1368 | * @param env The environment current at the expression. |
| 1369 | * @param c The qualifier. |
| 1370 | * @param name The identifier's name. |
| 1371 | */ |
| 1372 | Symbol resolveSelf(DiagnosticPosition pos, |
| 1373 | Env<AttrContext> env, |
| 1374 | TypeSymbol c, |
| 1375 | Name name) { |
| 1376 | Env<AttrContext> env1 = env; |
| 1377 | boolean staticOnly = false; |
| 1378 | while (env1.outer != null) { |
| 1379 | if (isStatic(env1)) staticOnly = true; |
| 1380 | if (env1.enclClass.sym == c) { |
| 1381 | Symbol sym = env1.info.scope.lookup(name).sym; |
| 1382 | if (sym != null) { |
| 1383 | if (staticOnly) sym = new StaticError(sym); |
| 1384 | return access(sym, pos, env.enclClass.sym.type, |
| 1385 | name, true); |
| 1386 | } |
| 1387 | } |
| 1388 | if ((env1.enclClass.sym.flags() & STATIC) != 0) staticOnly = true; |
| 1389 | env1 = env1.outer; |
| 1390 | } |
| 1391 | log.error(pos, "not.encl.class", c); |
| 1392 | return syms.errSymbol; |
| 1393 | } |
| 1394 | |
| 1395 | /** |
| 1396 | * Resolve `c.this' for an enclosing class c that contains the |
| 1397 | * named member. |
| 1398 | * @param pos The position to use for error reporting. |
| 1399 | * @param env The environment current at the expression. |
| 1400 | * @param member The member that must be contained in the result. |
| 1401 | */ |
| 1402 | Symbol resolveSelfContaining(DiagnosticPosition pos, |
| 1403 | Env<AttrContext> env, |
| 1404 | Symbol member) { |
| 1405 | Name name = names._this; |
| 1406 | Env<AttrContext> env1 = env; |
| 1407 | boolean staticOnly = false; |
| 1408 | while (env1.outer != null) { |
| 1409 | if (isStatic(env1)) staticOnly = true; |
| 1410 | if (env1.enclClass.sym.isSubClass(member.owner, types) && |
| 1411 | isAccessible(env, env1.enclClass.sym.type, member)) { |
| 1412 | Symbol sym = env1.info.scope.lookup(name).sym; |
| 1413 | if (sym != null) { |
| 1414 | if (staticOnly) sym = new StaticError(sym); |
| 1415 | return access(sym, pos, env.enclClass.sym.type, |
| 1416 | name, true); |
| 1417 | } |
| 1418 | } |
| 1419 | if ((env1.enclClass.sym.flags() & STATIC) != 0) |
| 1420 | staticOnly = true; |
| 1421 | env1 = env1.outer; |
| 1422 | } |
| 1423 | log.error(pos, "encl.class.required", member); |
| 1424 | return syms.errSymbol; |
| 1425 | } |
| 1426 | |
| 1427 | /** |
| 1428 | * Resolve an appropriate implicit this instance for t's container. |
| 1429 | * JLS2 8.8.5.1 and 15.9.2 |
| 1430 | */ |
| 1431 | Type resolveImplicitThis(DiagnosticPosition pos, Env<AttrContext> env, Type t) { |
| 1432 | Type thisType = (((t.tsym.owner.kind & (MTH|VAR)) != 0) |
| 1433 | ? resolveSelf(pos, env, t.getEnclosingType().tsym, names._this) |
| 1434 | : resolveSelfContaining(pos, env, t.tsym)).type; |
| 1435 | if (env.info.isSelfCall && thisType.tsym == env.enclClass.sym) |
| 1436 | log.error(pos, "cant.ref.before.ctor.called", "this"); |
| 1437 | return thisType; |
| 1438 | } |
| 1439 | |
| 1440 | /* *************************************************************************** |
| 1441 | * Methods related to kinds |
| 1442 | ****************************************************************************/ |
| 1443 | |
| 1444 | /** A localized string describing a given kind. |
| 1445 | */ |
| 1446 | static JCDiagnostic kindName(int kind) { |
| 1447 | switch (kind) { |
| 1448 | case PCK: return JCDiagnostic.fragment("kindname.package"); |
| 1449 | case TYP: return JCDiagnostic.fragment("kindname.class"); |
| 1450 | case VAR: return JCDiagnostic.fragment("kindname.variable"); |
| 1451 | case VAL: return JCDiagnostic.fragment("kindname.value"); |
| 1452 | case MTH: return JCDiagnostic.fragment("kindname.method"); |
| 1453 | default : return JCDiagnostic.fragment("kindname", |
| 1454 | Integer.toString(kind)); //debug |
| 1455 | } |
| 1456 | } |
| 1457 | |
| 1458 | static JCDiagnostic kindName(Symbol sym) { |
| 1459 | switch (sym.getKind()) { |
| 1460 | case PACKAGE: |
| 1461 | return JCDiagnostic.fragment("kindname.package"); |
| 1462 | |
| 1463 | case ENUM: |
| 1464 | case ANNOTATION_TYPE: |
| 1465 | case INTERFACE: |
| 1466 | case CLASS: |
| 1467 | return JCDiagnostic.fragment("kindname.class"); |
| 1468 | |
| 1469 | case TYPE_PARAMETER: |
| 1470 | return JCDiagnostic.fragment("kindname.type.variable"); |
| 1471 | |
| 1472 | case ENUM_CONSTANT: |
| 1473 | case FIELD: |
| 1474 | case PARAMETER: |
| 1475 | case LOCAL_VARIABLE: |
| 1476 | case EXCEPTION_PARAMETER: |
| 1477 | return JCDiagnostic.fragment("kindname.variable"); |
| 1478 | |
| 1479 | case METHOD: |
| 1480 | case CONSTRUCTOR: |
| 1481 | case STATIC_INIT: |
| 1482 | case INSTANCE_INIT: |
| 1483 | return JCDiagnostic.fragment("kindname.method"); |
| 1484 | |
| 1485 | default: |
| 1486 | if (sym.kind == VAL) |
| 1487 | // I don't think this can happen but it can't harm |
| 1488 | // playing it safe --ahe |
| 1489 | return JCDiagnostic.fragment("kindname.value"); |
| 1490 | else |
| 1491 | return JCDiagnostic.fragment("kindname", sym.getKind()); // debug |
| 1492 | } |
| 1493 | } |
| 1494 | |
| 1495 | /** A localized string describing a given set of kinds. |
| 1496 | */ |
| 1497 | static JCDiagnostic kindNames(int kind) { |
| 1498 | StringBuffer key = new StringBuffer(); |
| 1499 | key.append("kindname"); |
| 1500 | if ((kind & VAL) != 0) |
| 1501 | key.append(((kind & VAL) == VAR) ? ".variable" : ".value"); |
| 1502 | if ((kind & MTH) != 0) key.append(".method"); |
| 1503 | if ((kind & TYP) != 0) key.append(".class"); |
| 1504 | if ((kind & PCK) != 0) key.append(".package"); |
| 1505 | return JCDiagnostic.fragment(key.toString(), kind); |
| 1506 | } |
| 1507 | |
| 1508 | /** A localized string describing the kind -- either class or interface -- |
| 1509 | * of a given type. |
| 1510 | */ |
| 1511 | static JCDiagnostic typeKindName(Type t) { |
| 1512 | if (t.tag == TYPEVAR || |
| 1513 | t.tag == CLASS && (t.tsym.flags() & COMPOUND) != 0) |
| 1514 | return JCDiagnostic.fragment("kindname.type.variable.bound"); |
| 1515 | else if (t.tag == PACKAGE) |
| 1516 | return JCDiagnostic.fragment("kindname.package"); |
| 1517 | else if ((t.tsym.flags_field & ANNOTATION) != 0) |
| 1518 | return JCDiagnostic.fragment("kindname.annotation"); |
| 1519 | else if ((t.tsym.flags_field & INTERFACE) != 0) |
| 1520 | return JCDiagnostic.fragment("kindname.interface"); |
| 1521 | else |
| 1522 | return JCDiagnostic.fragment("kindname.class"); |
| 1523 | } |
| 1524 | |
| 1525 | /** A localized string describing the kind of a missing symbol, given an |
| 1526 | * error kind. |
| 1527 | */ |
| 1528 | static JCDiagnostic absentKindName(int kind) { |
| 1529 | switch (kind) { |
| 1530 | case ABSENT_VAR: |
| 1531 | return JCDiagnostic.fragment("kindname.variable"); |
| 1532 | case WRONG_MTHS: case WRONG_MTH: case ABSENT_MTH: |
| 1533 | return JCDiagnostic.fragment("kindname.method"); |
| 1534 | case ABSENT_TYP: |
| 1535 | return JCDiagnostic.fragment("kindname.class"); |
| 1536 | default: |
| 1537 | return JCDiagnostic.fragment("kindname", kind); |
| 1538 | } |
| 1539 | } |
| 1540 | |
| 1541 | /* *************************************************************************** |
| 1542 | * ResolveError classes, indicating error situations when accessing symbols |
| 1543 | ****************************************************************************/ |
| 1544 | |
| 1545 | public void logAccessError(Env<AttrContext> env, JCTree tree, Type type) { |
| 1546 | AccessError error = new AccessError(env, type.getEnclosingType(), type.tsym); |
| 1547 | error.report(log, tree.pos(), type.getEnclosingType(), null, null, null); |
| 1548 | } |
| 1549 | |
| 1550 | /** Root class for resolve errors. |
| 1551 | * Instances of this class indicate "Symbol not found". |
| 1552 | * Instances of subclass indicate other errors. |
| 1553 | */ |
| 1554 | private class ResolveError extends Symbol { |
| 1555 | |
| 1556 | ResolveError(int kind, Symbol sym, String debugName) { |
| 1557 | super(kind, 0, null, null, null); |
| 1558 | this.debugName = debugName; |
| 1559 | this.sym = sym; |
| 1560 | } |
| 1561 | |
| 1562 | /** The name of the kind of error, for debugging only. |
| 1563 | */ |
| 1564 | final String debugName; |
| 1565 | |
| 1566 | /** The symbol that was determined by resolution, or errSymbol if none |
| 1567 | * was found. |
| 1568 | */ |
| 1569 | final Symbol sym; |
| 1570 | |
| 1571 | /** The symbol that was a close mismatch, or null if none was found. |
| 1572 | * wrongSym is currently set if a simgle method with the correct name, but |
| 1573 | * the wrong parameters was found. |
| 1574 | */ |
| 1575 | Symbol wrongSym; |
| 1576 | |
| 1577 | /** An auxiliary explanation set in case of instantiation errors. |
| 1578 | */ |
| 1579 | JCDiagnostic explanation; |
| 1580 | |
| 1581 | |
| 1582 | public <R, P> R accept(ElementVisitor<R, P> v, P p) { |
| 1583 | throw new AssertionError(); |
| 1584 | } |
| 1585 | |
| 1586 | /** Print the (debug only) name of the kind of error. |
| 1587 | */ |
| 1588 | public String toString() { |
| 1589 | return debugName + " wrongSym=" + wrongSym + " explanation=" + explanation; |
| 1590 | } |
| 1591 | |
| 1592 | /** Update wrongSym and explanation and return this. |
| 1593 | */ |
| 1594 | ResolveError setWrongSym(Symbol sym, JCDiagnostic explanation) { |
| 1595 | this.wrongSym = sym; |
| 1596 | this.explanation = explanation; |
| 1597 | return this; |
| 1598 | } |
| 1599 | |
| 1600 | /** Update wrongSym and return this. |
| 1601 | */ |
| 1602 | ResolveError setWrongSym(Symbol sym) { |
| 1603 | this.wrongSym = sym; |
| 1604 | this.explanation = null; |
| 1605 | return this; |
| 1606 | } |
| 1607 | |
| 1608 | public boolean exists() { |
| 1609 | switch (kind) { |
| 1610 | case HIDDEN: |
| 1611 | case ABSENT_VAR: |
| 1612 | case ABSENT_MTH: |
| 1613 | case ABSENT_TYP: |
| 1614 | return false; |
| 1615 | default: |
| 1616 | return true; |
| 1617 | } |
| 1618 | } |
| 1619 | |
| 1620 | /** Report error. |
| 1621 | * @param log The error log to be used for error reporting. |
| 1622 | * @param pos The position to be used for error reporting. |
| 1623 | * @param site The original type from where the selection took place. |
| 1624 | * @param name The name of the symbol to be resolved. |
| 1625 | * @param argtypes The invocation's value arguments, |
| 1626 | * if we looked for a method. |
| 1627 | * @param typeargtypes The invocation's type arguments, |
| 1628 | * if we looked for a method. |
| 1629 | */ |
| 1630 | void report(Log log, DiagnosticPosition pos, Type site, Name name, |
| 1631 | List<Type> argtypes, List<Type> typeargtypes) { |
| 1632 | if (name != name.table.error) { |
| 1633 | JCDiagnostic kindname = absentKindName(kind); |
| 1634 | String idname = name.toString(); |
| 1635 | String args = ""; |
| 1636 | String typeargs = ""; |
| 1637 | if (kind >= WRONG_MTHS && kind <= ABSENT_MTH) { |
| 1638 | if (isOperator(name)) { |
| 1639 | log.error(pos, "operator.cant.be.applied", |
| 1640 | name, Type.toString(argtypes)); |
| 1641 | return; |
| 1642 | } |
| 1643 | if (name == name.table.init) { |
| 1644 | kindname = JCDiagnostic.fragment("kindname.constructor"); |
| 1645 | idname = site.tsym.name.toString(); |
| 1646 | } |
| 1647 | args = "(" + Type.toString(argtypes) + ")"; |
| 1648 | if (typeargtypes != null && typeargtypes.nonEmpty()) |
| 1649 | typeargs = "<" + Type.toString(typeargtypes) + ">"; |
| 1650 | } |
| 1651 | if (kind == WRONG_MTH) { |
| 1652 | log.error(pos, |
| 1653 | "cant.apply.symbol" + (explanation != null ? ".1" : ""), |
| 1654 | wrongSym.asMemberOf(site, types), |
| 1655 | wrongSym.location(site, types), |
| 1656 | typeargs, |
| 1657 | Type.toString(argtypes), |
| 1658 | explanation); |
| 1659 | } else if (site.tsym.name.len != 0) { |
| 1660 | if (site.tsym.kind == PCK && !site.tsym.exists()) |
| 1661 | log.error(pos, "doesnt.exist", site.tsym); |
| 1662 | else |
| 1663 | log.error(pos, "cant.resolve.location", |
| 1664 | kindname, idname, args, typeargs, |
| 1665 | typeKindName(site), site); |
| 1666 | } else { |
| 1667 | log.error(pos, "cant.resolve", kindname, idname, args, typeargs); |
| 1668 | } |
| 1669 | } |
| 1670 | } |
| 1671 | //where |
| 1672 | /** A name designates an operator if it consists |
| 1673 | * of a non-empty sequence of operator symbols +-~!/*%&|^<>= |
| 1674 | */ |
| 1675 | boolean isOperator(Name name) { |
| 1676 | int i = 0; |
| 1677 | while (i < name.len && |
| 1678 | "+-~!*/%&|^<>=".indexOf(name.byteAt(i)) >= 0) i++; |
| 1679 | return i > 0 && i == name.len; |
| 1680 | } |
| 1681 | } |
| 1682 | |
| 1683 | /** Resolve error class indicating that a symbol is not accessible. |
| 1684 | */ |
| 1685 | class AccessError extends ResolveError { |
| 1686 | |
| 1687 | AccessError(Symbol sym) { |
| 1688 | this(null, null, sym); |
| 1689 | } |
| 1690 | |
| 1691 | AccessError(Env<AttrContext> env, Type site, Symbol sym) { |
| 1692 | super(HIDDEN, sym, "access error"); |
| 1693 | this.env = env; |
| 1694 | this.site = site; |
| 1695 | if (debugResolve) |
| 1696 | log.error("proc.messager", sym + " @ " + site + " is inaccessible."); |
| 1697 | } |
| 1698 | |
| 1699 | private Env<AttrContext> env; |
| 1700 | private Type site; |
| 1701 | |
| 1702 | /** Report error. |
| 1703 | * @param log The error log to be used for error reporting. |
| 1704 | * @param pos The position to be used for error reporting. |
| 1705 | * @param site The original type from where the selection took place. |
| 1706 | * @param name The name of the symbol to be resolved. |
| 1707 | * @param argtypes The invocation's value arguments, |
| 1708 | * if we looked for a method. |
| 1709 | * @param typeargtypes The invocation's type arguments, |
| 1710 | * if we looked for a method. |
| 1711 | */ |
| 1712 | void report(Log log, DiagnosticPosition pos, Type site, Name name, |
| 1713 | List<Type> argtypes, List<Type> typeargtypes) { |
| 1714 | if (sym.owner.type.tag != ERROR) { |
| 1715 | if (sym.name == sym.name.table.init && sym.owner != site.tsym) |
| 1716 | new ResolveError(ABSENT_MTH, sym.owner, "absent method " + sym).report( |
| 1717 | log, pos, site, name, argtypes, typeargtypes); |
| 1718 | if ((sym.flags() & PUBLIC) != 0 |
| 1719 | || (env != null && this.site != null |
| 1720 | && !isAccessible(env, this.site))) |
| 1721 | log.error(pos, "not.def.access.class.intf.cant.access", |
| 1722 | sym, sym.location()); |
| 1723 | else if ((sym.flags() & (PRIVATE | PROTECTED)) != 0) |
| 1724 | log.error(pos, "report.access", sym, |
| 1725 | TreeInfo.flagNames(sym.flags() & (PRIVATE | PROTECTED)), |
| 1726 | sym.location()); |
| 1727 | else |
| 1728 | log.error(pos, "not.def.public.cant.access", |
| 1729 | sym, sym.location()); |
| 1730 | } |
| 1731 | } |
| 1732 | } |
| 1733 | |
| 1734 | /** Resolve error class indicating that an instance member was accessed |
| 1735 | * from a static context. |
| 1736 | */ |
| 1737 | class StaticError extends ResolveError { |
| 1738 | StaticError(Symbol sym) { |
| 1739 | super(STATICERR, sym, "static error"); |
| 1740 | } |
| 1741 | |
| 1742 | /** Report error. |
| 1743 | * @param log The error log to be used for error reporting. |
| 1744 | * @param pos The position to be used for error reporting. |
| 1745 | * @param site The original type from where the selection took place. |
| 1746 | * @param name The name of the symbol to be resolved. |
| 1747 | * @param argtypes The invocation's value arguments, |
| 1748 | * if we looked for a method. |
| 1749 | * @param typeargtypes The invocation's type arguments, |
| 1750 | * if we looked for a method. |
| 1751 | */ |
| 1752 | void report(Log log, |
| 1753 | DiagnosticPosition pos, |
| 1754 | Type site, |
| 1755 | Name name, |
| 1756 | List<Type> argtypes, |
| 1757 | List<Type> typeargtypes) { |
| 1758 | String symstr = ((sym.kind == TYP && sym.type.tag == CLASS) |
| 1759 | ? types.erasure(sym.type) |
| 1760 | : sym).toString(); |
| 1761 | log.error(pos, "non-static.cant.be.ref", |
| 1762 | kindName(sym), symstr); |
| 1763 | } |
| 1764 | } |
| 1765 | |
| 1766 | /** Resolve error class indicating an ambiguous reference. |
| 1767 | */ |
| 1768 | class AmbiguityError extends ResolveError { |
| 1769 | Symbol sym1; |
| 1770 | Symbol sym2; |
| 1771 | |
| 1772 | AmbiguityError(Symbol sym1, Symbol sym2) { |
| 1773 | super(AMBIGUOUS, sym1, "ambiguity error"); |
| 1774 | this.sym1 = sym1; |
| 1775 | this.sym2 = sym2; |
| 1776 | } |
| 1777 | |
| 1778 | /** Report error. |
| 1779 | * @param log The error log to be used for error reporting. |
| 1780 | * @param pos The position to be used for error reporting. |
| 1781 | * @param site The original type from where the selection took place. |
| 1782 | * @param name The name of the symbol to be resolved. |
| 1783 | * @param argtypes The invocation's value arguments, |
| 1784 | * if we looked for a method. |
| 1785 | * @param typeargtypes The invocation's type arguments, |
| 1786 | * if we looked for a method. |
| 1787 | */ |
| 1788 | void report(Log log, DiagnosticPosition pos, Type site, Name name, |
| 1789 | List<Type> argtypes, List<Type> typeargtypes) { |
| 1790 | AmbiguityError pair = this; |
| 1791 | while (true) { |
| 1792 | if (pair.sym1.kind == AMBIGUOUS) |
| 1793 | pair = (AmbiguityError)pair.sym1; |
| 1794 | else if (pair.sym2.kind == AMBIGUOUS) |
| 1795 | pair = (AmbiguityError)pair.sym2; |
| 1796 | else break; |
| 1797 | } |
| 1798 | Name sname = pair.sym1.name; |
| 1799 | if (sname == sname.table.init) sname = pair.sym1.owner.name; |
| 1800 | log.error(pos, "ref.ambiguous", sname, |
| 1801 | kindName(pair.sym1), |
| 1802 | pair.sym1, |
| 1803 | pair.sym1.location(site, types), |
| 1804 | kindName(pair.sym2), |
| 1805 | pair.sym2, |
| 1806 | pair.sym2.location(site, types)); |
| 1807 | } |
| 1808 | } |
| 1809 | } |