| /* |
| * Copyright (c) 1999, 2017, Oracle and/or its affiliates. All rights reserved. |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| * |
| * This code is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 only, as |
| * published by the Free Software Foundation. Oracle designates this |
| * particular file as subject to the "Classpath" exception as provided |
| * by Oracle in the LICENSE file that accompanied this code. |
| * |
| * This code is distributed in the hope that it will be useful, but WITHOUT |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| * version 2 for more details (a copy is included in the LICENSE file that |
| * accompanied this code). |
| * |
| * You should have received a copy of the GNU General Public License version |
| * 2 along with this work; if not, write to the Free Software Foundation, |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| * |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| * or visit www.oracle.com if you need additional information or have any |
| * questions. |
| */ |
| |
| package com.sun.tools.javac.comp; |
| |
| import java.util.*; |
| |
| import com.sun.tools.javac.code.*; |
| import com.sun.tools.javac.code.Attribute.TypeCompound; |
| import com.sun.tools.javac.code.Symbol.*; |
| import com.sun.tools.javac.resources.CompilerProperties.Errors; |
| import com.sun.tools.javac.tree.*; |
| import com.sun.tools.javac.tree.JCTree.*; |
| import com.sun.tools.javac.tree.JCTree.JCMemberReference.ReferenceKind; |
| import com.sun.tools.javac.util.*; |
| import com.sun.tools.javac.util.JCDiagnostic.DiagnosticPosition; |
| import com.sun.tools.javac.util.List; |
| |
| import static com.sun.tools.javac.code.Flags.*; |
| import static com.sun.tools.javac.code.Kinds.Kind.*; |
| import static com.sun.tools.javac.code.Scope.LookupKind.NON_RECURSIVE; |
| import static com.sun.tools.javac.code.TypeTag.CLASS; |
| import static com.sun.tools.javac.code.TypeTag.TYPEVAR; |
| import static com.sun.tools.javac.code.TypeTag.VOID; |
| import static com.sun.tools.javac.comp.CompileStates.CompileState; |
| |
| /** This pass translates Generic Java to conventional Java. |
| * |
| * <p><b>This is NOT part of any supported API. |
| * If you write code that depends on this, you do so at your own risk. |
| * This code and its internal interfaces are subject to change or |
| * deletion without notice.</b> |
| */ |
| public class TransTypes extends TreeTranslator { |
| /** The context key for the TransTypes phase. */ |
| protected static final Context.Key<TransTypes> transTypesKey = new Context.Key<>(); |
| |
| /** Get the instance for this context. */ |
| public static TransTypes instance(Context context) { |
| TransTypes instance = context.get(transTypesKey); |
| if (instance == null) |
| instance = new TransTypes(context); |
| return instance; |
| } |
| |
| private Names names; |
| private Log log; |
| private Symtab syms; |
| private TreeMaker make; |
| private Enter enter; |
| private Types types; |
| private Annotate annotate; |
| private final Resolve resolve; |
| private final CompileStates compileStates; |
| |
| /** Switch: is complex graph inference supported? */ |
| private final boolean allowGraphInference; |
| |
| /** Switch: are default methods supported? */ |
| private final boolean allowInterfaceBridges; |
| |
| protected TransTypes(Context context) { |
| context.put(transTypesKey, this); |
| compileStates = CompileStates.instance(context); |
| names = Names.instance(context); |
| log = Log.instance(context); |
| syms = Symtab.instance(context); |
| enter = Enter.instance(context); |
| bridgeSpans = new HashMap<>(); |
| types = Types.instance(context); |
| make = TreeMaker.instance(context); |
| resolve = Resolve.instance(context); |
| Source source = Source.instance(context); |
| allowInterfaceBridges = source.allowDefaultMethods(); |
| allowGraphInference = source.allowGraphInference(); |
| annotate = Annotate.instance(context); |
| } |
| |
| /** A hashtable mapping bridge methods to the pair of methods they bridge. |
| * The bridge overrides the first of the pair after type erasure and deflects |
| * to the second of the pair (which differs in type erasure from the one |
| * it overrides thereby necessitating the bridge) |
| */ |
| Map<MethodSymbol, Pair<MethodSymbol, MethodSymbol>> bridgeSpans; |
| |
| /** Construct an attributed tree for a cast of expression to target type, |
| * unless it already has precisely that type. |
| * @param tree The expression tree. |
| * @param target The target type. |
| */ |
| JCExpression cast(JCExpression tree, Type target) { |
| int oldpos = make.pos; |
| make.at(tree.pos); |
| if (!types.isSameType(tree.type, target)) { |
| if (!resolve.isAccessible(env, target.tsym)) |
| resolve.logAccessErrorInternal(env, tree, target); |
| tree = make.TypeCast(make.Type(target), tree).setType(target); |
| } |
| make.pos = oldpos; |
| return tree; |
| } |
| |
| /** Construct an attributed tree to coerce an expression to some erased |
| * target type, unless the expression is already assignable to that type. |
| * If target type is a constant type, use its base type instead. |
| * @param tree The expression tree. |
| * @param target The target type. |
| */ |
| public JCExpression coerce(Env<AttrContext> env, JCExpression tree, Type target) { |
| Env<AttrContext> prevEnv = this.env; |
| try { |
| this.env = env; |
| return coerce(tree, target); |
| } |
| finally { |
| this.env = prevEnv; |
| } |
| } |
| JCExpression coerce(JCExpression tree, Type target) { |
| Type btarget = target.baseType(); |
| if (tree.type.isPrimitive() == target.isPrimitive()) { |
| return types.isAssignable(tree.type, btarget, types.noWarnings) |
| ? tree |
| : cast(tree, btarget); |
| } |
| return tree; |
| } |
| |
| /** Given an erased reference type, assume this type as the tree's type. |
| * Then, coerce to some given target type unless target type is null. |
| * This operation is used in situations like the following: |
| * |
| * <pre>{@code |
| * class Cell<A> { A value; } |
| * ... |
| * Cell<Integer> cell; |
| * Integer x = cell.value; |
| * }</pre> |
| * |
| * Since the erasure of Cell.value is Object, but the type |
| * of cell.value in the assignment is Integer, we need to |
| * adjust the original type of cell.value to Object, and insert |
| * a cast to Integer. That is, the last assignment becomes: |
| * |
| * <pre>{@code |
| * Integer x = (Integer)cell.value; |
| * }</pre> |
| * |
| * @param tree The expression tree whose type might need adjustment. |
| * @param erasedType The expression's type after erasure. |
| * @param target The target type, which is usually the erasure of the |
| * expression's original type. |
| */ |
| JCExpression retype(JCExpression tree, Type erasedType, Type target) { |
| // System.err.println("retype " + tree + " to " + erasedType);//DEBUG |
| if (!erasedType.isPrimitive()) { |
| if (target != null && target.isPrimitive()) { |
| target = erasure(tree.type); |
| } |
| tree.type = erasedType; |
| if (target != null) { |
| return coerce(tree, target); |
| } |
| } |
| return tree; |
| } |
| |
| /** Translate method argument list, casting each argument |
| * to its corresponding type in a list of target types. |
| * @param _args The method argument list. |
| * @param parameters The list of target types. |
| * @param varargsElement The erasure of the varargs element type, |
| * or null if translating a non-varargs invocation |
| */ |
| <T extends JCTree> List<T> translateArgs(List<T> _args, |
| List<Type> parameters, |
| Type varargsElement) { |
| if (parameters.isEmpty()) return _args; |
| List<T> args = _args; |
| while (parameters.tail.nonEmpty()) { |
| args.head = translate(args.head, parameters.head); |
| args = args.tail; |
| parameters = parameters.tail; |
| } |
| Type parameter = parameters.head; |
| Assert.check(varargsElement != null || args.length() == 1); |
| if (varargsElement != null) { |
| while (args.nonEmpty()) { |
| args.head = translate(args.head, varargsElement); |
| args = args.tail; |
| } |
| } else { |
| args.head = translate(args.head, parameter); |
| } |
| return _args; |
| } |
| |
| public <T extends JCTree> List<T> translateArgs(List<T> _args, |
| List<Type> parameters, |
| Type varargsElement, |
| Env<AttrContext> localEnv) { |
| Env<AttrContext> prevEnv = env; |
| try { |
| env = localEnv; |
| return translateArgs(_args, parameters, varargsElement); |
| } |
| finally { |
| env = prevEnv; |
| } |
| } |
| |
| /** Add a bridge definition and enter corresponding method symbol in |
| * local scope of origin. |
| * |
| * @param pos The source code position to be used for the definition. |
| * @param meth The method for which a bridge needs to be added |
| * @param impl That method's implementation (possibly the method itself) |
| * @param origin The class to which the bridge will be added |
| * @param hypothetical |
| * True if the bridge method is not strictly necessary in the |
| * binary, but is represented in the symbol table to detect |
| * erasure clashes. |
| * @param bridges The list buffer to which the bridge will be added |
| */ |
| void addBridge(DiagnosticPosition pos, |
| MethodSymbol meth, |
| MethodSymbol impl, |
| ClassSymbol origin, |
| boolean hypothetical, |
| ListBuffer<JCTree> bridges) { |
| make.at(pos); |
| Type origType = types.memberType(origin.type, meth); |
| Type origErasure = erasure(origType); |
| |
| // Create a bridge method symbol and a bridge definition without a body. |
| Type bridgeType = meth.erasure(types); |
| long flags = impl.flags() & AccessFlags | SYNTHETIC | BRIDGE | |
| (origin.isInterface() ? DEFAULT : 0); |
| if (hypothetical) flags |= HYPOTHETICAL; |
| MethodSymbol bridge = new MethodSymbol(flags, |
| meth.name, |
| bridgeType, |
| origin); |
| /* once JDK-6996415 is solved it should be checked if this approach can |
| * be applied to method addOverrideBridgesIfNeeded |
| */ |
| bridge.params = createBridgeParams(impl, bridge, bridgeType); |
| bridge.setAttributes(impl); |
| |
| if (!hypothetical) { |
| JCMethodDecl md = make.MethodDef(bridge, null); |
| |
| // The bridge calls this.impl(..), if we have an implementation |
| // in the current class, super.impl(...) otherwise. |
| JCExpression receiver = (impl.owner == origin) |
| ? make.This(origin.erasure(types)) |
| : make.Super(types.supertype(origin.type).tsym.erasure(types), origin); |
| |
| // The type returned from the original method. |
| Type calltype = erasure(impl.type.getReturnType()); |
| |
| // Construct a call of this.impl(params), or super.impl(params), |
| // casting params and possibly results as needed. |
| JCExpression call = |
| make.Apply( |
| null, |
| make.Select(receiver, impl).setType(calltype), |
| translateArgs(make.Idents(md.params), origErasure.getParameterTypes(), null)) |
| .setType(calltype); |
| JCStatement stat = (origErasure.getReturnType().hasTag(VOID)) |
| ? make.Exec(call) |
| : make.Return(coerce(call, bridgeType.getReturnType())); |
| md.body = make.Block(0, List.of(stat)); |
| |
| // Add bridge to `bridges' buffer |
| bridges.append(md); |
| } |
| |
| // Add bridge to scope of enclosing class and keep track of the bridge span. |
| origin.members().enter(bridge); |
| bridgeSpans.put(bridge, new Pair<>(meth, impl)); |
| } |
| |
| private List<VarSymbol> createBridgeParams(MethodSymbol impl, MethodSymbol bridge, |
| Type bridgeType) { |
| List<VarSymbol> bridgeParams = null; |
| if (impl.params != null) { |
| bridgeParams = List.nil(); |
| List<VarSymbol> implParams = impl.params; |
| Type.MethodType mType = (Type.MethodType)bridgeType; |
| List<Type> argTypes = mType.argtypes; |
| while (implParams.nonEmpty() && argTypes.nonEmpty()) { |
| VarSymbol param = new VarSymbol(implParams.head.flags() | SYNTHETIC | PARAMETER, |
| implParams.head.name, argTypes.head, bridge); |
| param.setAttributes(implParams.head); |
| bridgeParams = bridgeParams.append(param); |
| implParams = implParams.tail; |
| argTypes = argTypes.tail; |
| } |
| } |
| return bridgeParams; |
| } |
| |
| /** Add bridge if given symbol is a non-private, non-static member |
| * of the given class, which is either defined in the class or non-final |
| * inherited, and one of the two following conditions holds: |
| * 1. The method's type changes in the given class, as compared to the |
| * class where the symbol was defined, (in this case |
| * we have extended a parameterized class with non-trivial parameters). |
| * 2. The method has an implementation with a different erased return type. |
| * (in this case we have used co-variant returns). |
| * If a bridge already exists in some other class, no new bridge is added. |
| * Instead, it is checked that the bridge symbol overrides the method symbol. |
| * (Spec ???). |
| * todo: what about bridges for privates??? |
| * |
| * @param pos The source code position to be used for the definition. |
| * @param sym The symbol for which a bridge might have to be added. |
| * @param origin The class in which the bridge would go. |
| * @param bridges The list buffer to which the bridge would be added. |
| */ |
| void addBridgeIfNeeded(DiagnosticPosition pos, |
| Symbol sym, |
| ClassSymbol origin, |
| ListBuffer<JCTree> bridges) { |
| if (sym.kind == MTH && |
| sym.name != names.init && |
| (sym.flags() & (PRIVATE | STATIC)) == 0 && |
| (sym.flags() & SYNTHETIC) != SYNTHETIC && |
| sym.isMemberOf(origin, types)) |
| { |
| MethodSymbol meth = (MethodSymbol)sym; |
| MethodSymbol bridge = meth.binaryImplementation(origin, types); |
| MethodSymbol impl = meth.implementation(origin, types, true); |
| if (bridge == null || |
| bridge == meth || |
| (impl != null && !bridge.owner.isSubClass(impl.owner, types))) { |
| // No bridge was added yet. |
| if (impl != null && isBridgeNeeded(meth, impl, origin.type)) { |
| addBridge(pos, meth, impl, origin, bridge==impl, bridges); |
| } else if (impl == meth |
| && impl.owner != origin |
| && (impl.flags() & FINAL) == 0 |
| && (meth.flags() & (ABSTRACT|PUBLIC)) == PUBLIC |
| && (origin.flags() & PUBLIC) > (impl.owner.flags() & PUBLIC)) { |
| // this is to work around a horrible but permanent |
| // reflection design error. |
| addBridge(pos, meth, impl, origin, false, bridges); |
| } |
| } else if ((bridge.flags() & SYNTHETIC) == SYNTHETIC) { |
| final Pair<MethodSymbol, MethodSymbol> bridgeSpan = bridgeSpans.get(bridge); |
| MethodSymbol other = bridgeSpan == null ? null : bridgeSpan.fst; |
| if (other != null && other != meth) { |
| if (impl == null || !impl.overrides(other, origin, types, true)) { |
| // Is bridge effectively also the bridge for `meth', if so no clash. |
| MethodSymbol target = bridgeSpan == null ? null : bridgeSpan.snd; |
| if (target == null || !target.overrides(meth, origin, types, true, false)) { |
| // Bridge for other symbol pair was added |
| log.error(pos, Errors.NameClashSameErasureNoOverride( |
| other.name, types.memberType(origin.type, other).asMethodType().getParameterTypes(), |
| other.location(origin.type, types), |
| meth.name, types.memberType(origin.type, meth).asMethodType().getParameterTypes(), |
| meth.location(origin.type, types))); |
| } |
| } |
| } |
| } else if (!bridge.overrides(meth, origin, types, true)) { |
| // Accidental binary override without source override. |
| // Don't diagnose the problem if it would already |
| // have been reported in the superclass |
| if (bridge.owner == origin || |
| types.asSuper(bridge.owner.type, meth.owner) == null) { |
| log.error(pos, Errors.NameClashSameErasureNoOverride( |
| bridge.name, types.memberType(origin.type, bridge).asMethodType().getParameterTypes(), |
| bridge.location(origin.type, types), |
| meth.name, types.memberType(origin.type, meth).asMethodType().getParameterTypes(), |
| meth.location(origin.type, types))); |
| } |
| } |
| } |
| } |
| // where |
| |
| /** |
| * @param method The symbol for which a bridge might have to be added |
| * @param impl The implementation of method |
| * @param dest The type in which the bridge would go |
| */ |
| private boolean isBridgeNeeded(MethodSymbol method, |
| MethodSymbol impl, |
| Type dest) { |
| if (impl != method) { |
| // If either method or impl have different erasures as |
| // members of dest, a bridge is needed. |
| Type method_erasure = method.erasure(types); |
| if (!isSameMemberWhenErased(dest, method, method_erasure)) |
| return true; |
| Type impl_erasure = impl.erasure(types); |
| if (!isSameMemberWhenErased(dest, impl, impl_erasure)) |
| return true; |
| |
| /* Bottom line: A bridge is needed if the erasure of the implementation |
| is different from that of the method that it overrides. |
| */ |
| return !types.isSameType(impl_erasure, method_erasure); |
| } else { |
| // method and impl are the same... |
| if ((method.flags() & ABSTRACT) != 0) { |
| // ...and abstract so a bridge is not needed. |
| // Concrete subclasses will bridge as needed. |
| return false; |
| } |
| |
| // The erasure of the return type is always the same |
| // for the same symbol. Reducing the three tests in |
| // the other branch to just one: |
| return !isSameMemberWhenErased(dest, method, method.erasure(types)); |
| } |
| } |
| /** |
| * Lookup the method as a member of the type. Compare the |
| * erasures. |
| * @param type the class where to look for the method |
| * @param method the method to look for in class |
| * @param erasure the erasure of method |
| */ |
| private boolean isSameMemberWhenErased(Type type, |
| MethodSymbol method, |
| Type erasure) { |
| return types.isSameType(erasure(types.memberType(type, method)), |
| erasure); |
| } |
| |
| void addBridges(DiagnosticPosition pos, |
| TypeSymbol i, |
| ClassSymbol origin, |
| ListBuffer<JCTree> bridges) { |
| for (Symbol sym : i.members().getSymbols(NON_RECURSIVE)) |
| addBridgeIfNeeded(pos, sym, origin, bridges); |
| for (List<Type> l = types.interfaces(i.type); l.nonEmpty(); l = l.tail) |
| addBridges(pos, l.head.tsym, origin, bridges); |
| } |
| |
| /** Add all necessary bridges to some class appending them to list buffer. |
| * @param pos The source code position to be used for the bridges. |
| * @param origin The class in which the bridges go. |
| * @param bridges The list buffer to which the bridges are added. |
| */ |
| void addBridges(DiagnosticPosition pos, ClassSymbol origin, ListBuffer<JCTree> bridges) { |
| Type st = types.supertype(origin.type); |
| while (st.hasTag(CLASS)) { |
| // if (isSpecialization(st)) |
| addBridges(pos, st.tsym, origin, bridges); |
| st = types.supertype(st); |
| } |
| for (List<Type> l = types.interfaces(origin.type); l.nonEmpty(); l = l.tail) |
| // if (isSpecialization(l.head)) |
| addBridges(pos, l.head.tsym, origin, bridges); |
| } |
| |
| /* ************************************************************************ |
| * Visitor methods |
| *************************************************************************/ |
| |
| /** Visitor argument: proto-type. |
| */ |
| private Type pt; |
| |
| /** Visitor method: perform a type translation on tree. |
| */ |
| public <T extends JCTree> T translate(T tree, Type pt) { |
| Type prevPt = this.pt; |
| try { |
| this.pt = pt; |
| return translate(tree); |
| } finally { |
| this.pt = prevPt; |
| } |
| } |
| |
| /** Visitor method: perform a type translation on list of trees. |
| */ |
| public <T extends JCTree> List<T> translate(List<T> trees, Type pt) { |
| Type prevPt = this.pt; |
| List<T> res; |
| try { |
| this.pt = pt; |
| res = translate(trees); |
| } finally { |
| this.pt = prevPt; |
| } |
| return res; |
| } |
| |
| public void visitClassDef(JCClassDecl tree) { |
| translateClass(tree.sym); |
| result = tree; |
| } |
| |
| JCTree currentMethod = null; |
| public void visitMethodDef(JCMethodDecl tree) { |
| JCTree previousMethod = currentMethod; |
| try { |
| currentMethod = tree; |
| tree.restype = translate(tree.restype, null); |
| tree.typarams = List.nil(); |
| tree.params = translateVarDefs(tree.params); |
| tree.recvparam = translate(tree.recvparam, null); |
| tree.thrown = translate(tree.thrown, null); |
| tree.body = translate(tree.body, tree.sym.erasure(types).getReturnType()); |
| tree.type = erasure(tree.type); |
| result = tree; |
| } finally { |
| currentMethod = previousMethod; |
| } |
| |
| // Check that we do not introduce a name clash by erasing types. |
| for (Symbol sym : tree.sym.owner.members().getSymbolsByName(tree.name)) { |
| if (sym != tree.sym && |
| types.isSameType(erasure(sym.type), tree.type)) { |
| log.error(tree.pos(), |
| Errors.NameClashSameErasure(tree.sym, sym)); |
| return; |
| } |
| } |
| } |
| |
| public void visitVarDef(JCVariableDecl tree) { |
| tree.vartype = translate(tree.vartype, null); |
| tree.init = translate(tree.init, tree.sym.erasure(types)); |
| tree.type = erasure(tree.type); |
| result = tree; |
| } |
| |
| public void visitDoLoop(JCDoWhileLoop tree) { |
| tree.body = translate(tree.body); |
| tree.cond = translate(tree.cond, syms.booleanType); |
| result = tree; |
| } |
| |
| public void visitWhileLoop(JCWhileLoop tree) { |
| tree.cond = translate(tree.cond, syms.booleanType); |
| tree.body = translate(tree.body); |
| result = tree; |
| } |
| |
| public void visitForLoop(JCForLoop tree) { |
| tree.init = translate(tree.init, null); |
| if (tree.cond != null) |
| tree.cond = translate(tree.cond, syms.booleanType); |
| tree.step = translate(tree.step, null); |
| tree.body = translate(tree.body); |
| result = tree; |
| } |
| |
| public void visitForeachLoop(JCEnhancedForLoop tree) { |
| tree.var = translate(tree.var, null); |
| Type iterableType = tree.expr.type; |
| tree.expr = translate(tree.expr, erasure(tree.expr.type)); |
| if (types.elemtype(tree.expr.type) == null) |
| tree.expr.type = iterableType; // preserve type for Lower |
| tree.body = translate(tree.body); |
| result = tree; |
| } |
| |
| public void visitLambda(JCLambda tree) { |
| JCTree prevMethod = currentMethod; |
| try { |
| currentMethod = null; |
| tree.params = translate(tree.params); |
| tree.body = translate(tree.body, tree.body.type==null? null : erasure(tree.body.type)); |
| tree.type = erasure(tree.type); |
| result = tree; |
| } |
| finally { |
| currentMethod = prevMethod; |
| } |
| } |
| |
| public void visitSwitch(JCSwitch tree) { |
| Type selsuper = types.supertype(tree.selector.type); |
| boolean enumSwitch = selsuper != null && |
| selsuper.tsym == syms.enumSym; |
| Type target = enumSwitch ? erasure(tree.selector.type) : syms.intType; |
| tree.selector = translate(tree.selector, target); |
| tree.cases = translateCases(tree.cases); |
| result = tree; |
| } |
| |
| public void visitCase(JCCase tree) { |
| tree.pat = translate(tree.pat, null); |
| tree.stats = translate(tree.stats); |
| result = tree; |
| } |
| |
| public void visitSynchronized(JCSynchronized tree) { |
| tree.lock = translate(tree.lock, erasure(tree.lock.type)); |
| tree.body = translate(tree.body); |
| result = tree; |
| } |
| |
| public void visitTry(JCTry tree) { |
| tree.resources = translate(tree.resources, syms.autoCloseableType); |
| tree.body = translate(tree.body); |
| tree.catchers = translateCatchers(tree.catchers); |
| tree.finalizer = translate(tree.finalizer); |
| result = tree; |
| } |
| |
| public void visitConditional(JCConditional tree) { |
| tree.cond = translate(tree.cond, syms.booleanType); |
| tree.truepart = translate(tree.truepart, erasure(tree.type)); |
| tree.falsepart = translate(tree.falsepart, erasure(tree.type)); |
| tree.type = erasure(tree.type); |
| result = retype(tree, tree.type, pt); |
| } |
| |
| public void visitIf(JCIf tree) { |
| tree.cond = translate(tree.cond, syms.booleanType); |
| tree.thenpart = translate(tree.thenpart); |
| tree.elsepart = translate(tree.elsepart); |
| result = tree; |
| } |
| |
| public void visitExec(JCExpressionStatement tree) { |
| tree.expr = translate(tree.expr, null); |
| result = tree; |
| } |
| |
| public void visitReturn(JCReturn tree) { |
| tree.expr = translate(tree.expr, currentMethod != null ? types.erasure(currentMethod.type).getReturnType() : null); |
| result = tree; |
| } |
| |
| public void visitThrow(JCThrow tree) { |
| tree.expr = translate(tree.expr, erasure(tree.expr.type)); |
| result = tree; |
| } |
| |
| public void visitAssert(JCAssert tree) { |
| tree.cond = translate(tree.cond, syms.booleanType); |
| if (tree.detail != null) |
| tree.detail = translate(tree.detail, erasure(tree.detail.type)); |
| result = tree; |
| } |
| |
| public void visitApply(JCMethodInvocation tree) { |
| tree.meth = translate(tree.meth, null); |
| Symbol meth = TreeInfo.symbol(tree.meth); |
| Type mt = meth.erasure(types); |
| boolean useInstantiatedPtArgs = |
| allowGraphInference && !types.isSignaturePolymorphic((MethodSymbol)meth.baseSymbol()); |
| List<Type> argtypes = useInstantiatedPtArgs ? |
| tree.meth.type.getParameterTypes() : |
| mt.getParameterTypes(); |
| if (meth.name == names.init && meth.owner == syms.enumSym) |
| argtypes = argtypes.tail.tail; |
| if (tree.varargsElement != null) |
| tree.varargsElement = types.erasure(tree.varargsElement); |
| else |
| if (tree.args.length() != argtypes.length()) { |
| log.error(tree.pos(), |
| Errors.MethodInvokedWithIncorrectNumberArguments(tree.args.length(), |
| argtypes.length())); |
| } |
| tree.args = translateArgs(tree.args, argtypes, tree.varargsElement); |
| |
| tree.type = types.erasure(tree.type); |
| // Insert casts of method invocation results as needed. |
| result = retype(tree, mt.getReturnType(), pt); |
| } |
| |
| public void visitNewClass(JCNewClass tree) { |
| if (tree.encl != null) |
| tree.encl = translate(tree.encl, erasure(tree.encl.type)); |
| |
| Type erasedConstructorType = tree.constructorType != null ? |
| erasure(tree.constructorType) : |
| null; |
| |
| List<Type> argtypes = erasedConstructorType != null && allowGraphInference ? |
| erasedConstructorType.getParameterTypes() : |
| tree.constructor.erasure(types).getParameterTypes(); |
| |
| tree.clazz = translate(tree.clazz, null); |
| if (tree.varargsElement != null) |
| tree.varargsElement = types.erasure(tree.varargsElement); |
| tree.args = translateArgs( |
| tree.args, argtypes, tree.varargsElement); |
| tree.def = translate(tree.def, null); |
| if (erasedConstructorType != null) |
| tree.constructorType = erasedConstructorType; |
| tree.type = erasure(tree.type); |
| result = tree; |
| } |
| |
| public void visitNewArray(JCNewArray tree) { |
| tree.elemtype = translate(tree.elemtype, null); |
| translate(tree.dims, syms.intType); |
| if (tree.type != null) { |
| tree.elems = translate(tree.elems, erasure(types.elemtype(tree.type))); |
| tree.type = erasure(tree.type); |
| } else { |
| tree.elems = translate(tree.elems, null); |
| } |
| |
| result = tree; |
| } |
| |
| public void visitParens(JCParens tree) { |
| tree.expr = translate(tree.expr, pt); |
| tree.type = erasure(tree.expr.type); |
| result = tree; |
| } |
| |
| public void visitAssign(JCAssign tree) { |
| tree.lhs = translate(tree.lhs, null); |
| tree.rhs = translate(tree.rhs, erasure(tree.lhs.type)); |
| tree.type = erasure(tree.lhs.type); |
| result = retype(tree, tree.type, pt); |
| } |
| |
| public void visitAssignop(JCAssignOp tree) { |
| tree.lhs = translate(tree.lhs, null); |
| tree.rhs = translate(tree.rhs, tree.operator.type.getParameterTypes().tail.head); |
| tree.type = erasure(tree.type); |
| result = tree; |
| } |
| |
| public void visitUnary(JCUnary tree) { |
| tree.arg = translate(tree.arg, (tree.getTag() == Tag.NULLCHK) |
| ? tree.type |
| : tree.operator.type.getParameterTypes().head); |
| result = tree; |
| } |
| |
| public void visitBinary(JCBinary tree) { |
| tree.lhs = translate(tree.lhs, tree.operator.type.getParameterTypes().head); |
| tree.rhs = translate(tree.rhs, tree.operator.type.getParameterTypes().tail.head); |
| result = tree; |
| } |
| |
| public void visitAnnotatedType(JCAnnotatedType tree) { |
| // For now, we need to keep the annotations in the tree because of the current |
| // MultiCatch implementation wrt type annotations |
| List<TypeCompound> mirrors = annotate.fromAnnotations(tree.annotations); |
| tree.underlyingType = translate(tree.underlyingType); |
| tree.type = tree.underlyingType.type.annotatedType(mirrors); |
| result = tree; |
| } |
| |
| public void visitTypeCast(JCTypeCast tree) { |
| tree.clazz = translate(tree.clazz, null); |
| Type originalTarget = tree.type; |
| tree.type = erasure(tree.type); |
| JCExpression newExpression = translate(tree.expr, tree.type); |
| if (newExpression != tree.expr) { |
| JCTypeCast typeCast = newExpression.hasTag(Tag.TYPECAST) |
| ? (JCTypeCast) newExpression |
| : null; |
| tree.expr = typeCast != null && types.isSameType(typeCast.type, originalTarget, true) |
| ? typeCast.expr |
| : newExpression; |
| } |
| if (originalTarget.isIntersection()) { |
| Type.IntersectionClassType ict = (Type.IntersectionClassType)originalTarget; |
| for (Type c : ict.getExplicitComponents()) { |
| Type ec = erasure(c); |
| if (!types.isSameType(ec, tree.type)) { |
| tree.expr = coerce(tree.expr, ec); |
| } |
| } |
| } |
| result = tree; |
| } |
| |
| public void visitTypeTest(JCInstanceOf tree) { |
| tree.expr = translate(tree.expr, null); |
| tree.clazz = translate(tree.clazz, null); |
| result = tree; |
| } |
| |
| public void visitIndexed(JCArrayAccess tree) { |
| tree.indexed = translate(tree.indexed, erasure(tree.indexed.type)); |
| tree.index = translate(tree.index, syms.intType); |
| |
| // Insert casts of indexed expressions as needed. |
| result = retype(tree, types.elemtype(tree.indexed.type), pt); |
| } |
| |
| // There ought to be nothing to rewrite here; |
| // we don't generate code. |
| public void visitAnnotation(JCAnnotation tree) { |
| result = tree; |
| } |
| |
| public void visitIdent(JCIdent tree) { |
| Type et = tree.sym.erasure(types); |
| |
| // Map type variables to their bounds. |
| if (tree.sym.kind == TYP && tree.sym.type.hasTag(TYPEVAR)) { |
| result = make.at(tree.pos).Type(et); |
| } else |
| // Map constants expressions to themselves. |
| if (tree.type.constValue() != null) { |
| result = tree; |
| } |
| // Insert casts of variable uses as needed. |
| else if (tree.sym.kind == VAR) { |
| result = retype(tree, et, pt); |
| } |
| else { |
| tree.type = erasure(tree.type); |
| result = tree; |
| } |
| } |
| |
| public void visitSelect(JCFieldAccess tree) { |
| Type t = types.skipTypeVars(tree.selected.type, false); |
| if (t.isCompound()) { |
| tree.selected = coerce( |
| translate(tree.selected, erasure(tree.selected.type)), |
| erasure(tree.sym.owner.type)); |
| } else |
| tree.selected = translate(tree.selected, erasure(t)); |
| |
| // Map constants expressions to themselves. |
| if (tree.type.constValue() != null) { |
| result = tree; |
| } |
| // Insert casts of variable uses as needed. |
| else if (tree.sym.kind == VAR) { |
| result = retype(tree, tree.sym.erasure(types), pt); |
| } |
| else { |
| tree.type = erasure(tree.type); |
| result = tree; |
| } |
| } |
| |
| public void visitReference(JCMemberReference tree) { |
| Type t = types.skipTypeVars(tree.expr.type, false); |
| Type receiverTarget = t.isCompound() ? erasure(tree.sym.owner.type) : erasure(t); |
| if (tree.kind == ReferenceKind.UNBOUND) { |
| tree.expr = make.Type(receiverTarget); |
| } else { |
| tree.expr = translate(tree.expr, receiverTarget); |
| } |
| |
| tree.type = erasure(tree.type); |
| if (tree.varargsElement != null) |
| tree.varargsElement = erasure(tree.varargsElement); |
| result = tree; |
| } |
| |
| public void visitTypeArray(JCArrayTypeTree tree) { |
| tree.elemtype = translate(tree.elemtype, null); |
| tree.type = erasure(tree.type); |
| result = tree; |
| } |
| |
| /** Visitor method for parameterized types. |
| */ |
| public void visitTypeApply(JCTypeApply tree) { |
| JCTree clazz = translate(tree.clazz, null); |
| result = clazz; |
| } |
| |
| public void visitTypeIntersection(JCTypeIntersection tree) { |
| tree.bounds = translate(tree.bounds, null); |
| tree.type = erasure(tree.type); |
| result = tree; |
| } |
| |
| /************************************************************************** |
| * utility methods |
| *************************************************************************/ |
| |
| private Type erasure(Type t) { |
| return types.erasure(t); |
| } |
| |
| /************************************************************************** |
| * main method |
| *************************************************************************/ |
| |
| private Env<AttrContext> env; |
| |
| private static final String statePreviousToFlowAssertMsg = |
| "The current compile state [%s] of class %s is previous to FLOW"; |
| |
| void translateClass(ClassSymbol c) { |
| Type st = types.supertype(c.type); |
| // process superclass before derived |
| if (st.hasTag(CLASS)) { |
| translateClass((ClassSymbol)st.tsym); |
| } |
| |
| Env<AttrContext> myEnv = enter.getEnv(c); |
| if (myEnv == null || (c.flags_field & TYPE_TRANSLATED) != 0) { |
| return; |
| } |
| c.flags_field |= TYPE_TRANSLATED; |
| |
| /* The two assertions below are set for early detection of any attempt |
| * to translate a class that: |
| * |
| * 1) has no compile state being it the most outer class. |
| * We accept this condition for inner classes. |
| * |
| * 2) has a compile state which is previous to Flow state. |
| */ |
| boolean envHasCompState = compileStates.get(myEnv) != null; |
| if (!envHasCompState && c.outermostClass() == c) { |
| Assert.error("No info for outermost class: " + myEnv.enclClass.sym); |
| } |
| |
| if (envHasCompState && |
| CompileState.FLOW.isAfter(compileStates.get(myEnv))) { |
| Assert.error(String.format(statePreviousToFlowAssertMsg, |
| compileStates.get(myEnv), myEnv.enclClass.sym)); |
| } |
| |
| Env<AttrContext> oldEnv = env; |
| try { |
| env = myEnv; |
| // class has not been translated yet |
| |
| TreeMaker savedMake = make; |
| Type savedPt = pt; |
| make = make.forToplevel(env.toplevel); |
| pt = null; |
| try { |
| JCClassDecl tree = (JCClassDecl) env.tree; |
| tree.typarams = List.nil(); |
| super.visitClassDef(tree); |
| make.at(tree.pos); |
| ListBuffer<JCTree> bridges = new ListBuffer<>(); |
| if (allowInterfaceBridges || (tree.sym.flags() & INTERFACE) == 0) { |
| addBridges(tree.pos(), c, bridges); |
| } |
| tree.defs = bridges.toList().prependList(tree.defs); |
| tree.type = erasure(tree.type); |
| } finally { |
| make = savedMake; |
| pt = savedPt; |
| } |
| } finally { |
| env = oldEnv; |
| } |
| } |
| |
| /** Translate a toplevel class definition. |
| * @param cdef The definition to be translated. |
| */ |
| public JCTree translateTopLevelClass(JCTree cdef, TreeMaker make) { |
| // note that this method does NOT support recursion. |
| this.make = make; |
| pt = null; |
| return translate(cdef, null); |
| } |
| } |