APIdia Launch Partner
Top Description Inners Fields Constructors Methods
com.sun.tools.javac.comp

public Class TransTypes

extends TreeTranslator
Class Inheritance
Imports
com.sun.source.tree.MemberReferenceTree.ReferenceMode, com.sun.tools.javac.code.*, .Attribute.TypeCompound, com.sun.tools.javac.code.Symbol.*, .Type.TypeVar, com.sun.tools.javac.jvm.Target, com.sun.tools.javac.tree.*, com.sun.tools.javac.tree.JCTree.*, .JCTree.JCMemberReference.ReferenceKind, .JCTree.JCBreak, com.sun.tools.javac.util.*, .JCDiagnostic.DiagnosticPosition, .List
This pass translates Generic Java to conventional Java.

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.

Nested and Inner Type Summary

Modifier and TypeClass and Description
private class
TransTypes.MemberReferenceToLambda

Converts a method reference which cannot be used directly into a lambda

Field Summary

Modifier and TypeField and Description
private Annotate
annotate

private Attr
attr

private final CompileStates
compileStates

private Enter
enter

private Env<AttrContext>
env

private Type
explicitCastTP

we use this type to indicate that "upstream" there is an explicit cast to this type, this way we can avoid generating redundant type casts.

private Log
log

private TreeMaker
make

private Names
names

private Type
pt

Visitor argument: proto-type.

private final Resolve
resolve

pack-priv Type
returnType

private static final String
statePreviousToFlowAssertMsg

private Symtab
syms

private final Target
target

protected static final Context.Key<TransTypes>
transTypesKey

The context key for the TransTypes phase.

private Types
types

Inherited from com.sun.tools.javac.tree.TreeTranslator:
result

Constructor Summary

AccessConstructor and Description
protected
TransTypes(Context context)

Method Summary

Modifier and TypeMethod and Description
pack-priv void
addBridge(JCDiagnostic.DiagnosticPosition
The source code position to be used for the definition.
pos, Symbol.MethodSymbol
The method for which a bridge needs to be added
meth, Symbol.MethodSymbol
That method's implementation (possibly the method itself)
impl, Symbol.ClassSymbol
The class to which the bridge will be added
origin, ListBuffer<JCTree>
The list buffer to which the bridge will be added
bridges)

Add a bridge definition and enter corresponding method symbol in local scope of origin.

pack-priv void
addBridgeIfNeeded(JCDiagnostic.DiagnosticPosition
The source code position to be used for the definition.
pos, Symbol
The symbol for which a bridge might have to be added.
sym, Symbol.ClassSymbol
The class in which the bridge would go.
origin, ListBuffer<JCTree>
The list buffer to which the bridge would be added.
bridges)

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.

pack-priv void
addBridges(JCDiagnostic.DiagnosticPosition pos, Symbol.TypeSymbol i, Symbol.ClassSymbol origin, ListBuffer<JCTree> bridges)

pack-priv void
addBridges(JCDiagnostic.DiagnosticPosition
The source code position to be used for the bridges.
pos, Symbol.ClassSymbol
The class in which the bridges go.
origin, ListBuffer<JCTree>
The list buffer to which the bridges are added.
bridges)

Add all necessary bridges to some class appending them to list buffer.

pack-priv JCTree.JCExpression
cast(JCTree.JCExpression
The expression tree.
tree, Type
The target type.
target)

Construct an attributed tree for a cast of expression to target type, unless it already has precisely that type.

public JCTree.JCExpression
coerce(Env<AttrContext> env, JCTree.JCExpression
The expression tree.
tree, Type
The target type.
target)

Construct an attributed tree to coerce an expression to some erased target type, unless the expression is already assignable to that type.

pack-priv JCTree.JCExpression
coerce(JCTree.JCExpression tree, Type target)

private List<Symbol.VarSymbol>
createBridgeParams(Symbol.MethodSymbol impl, Symbol.MethodSymbol bridge, Type bridgeType)

private Type
erasure(Type t)

public static TransTypes
instance(Context context)

Get the instance for this context.

pack-priv boolean
interfaceParameterIsIntersectionOrUnionType(JCTree.JCMemberReference tree)

Erasure destroys the implementation parameter subtype relationship for intersection types.

pack-priv boolean
isArrayOp(JCTree.JCMemberReference tree)

Returns: Is this an array operation like clone()

private boolean
isBridgeNeeded(Symbol.MethodSymbol
The symbol for which a bridge might have to be added
method, Symbol.MethodSymbol
The implementation of method
impl, Type
The type in which the bridge would go
dest)

pack-priv boolean
isIntersectionOrUnionType(Type t)

pack-priv boolean
isPrivateInOtherClass(JCTree.JCMemberReference tree)

This method should be called only when target release <= 14 where LambdaMetaFactory does not spin nestmate classes.

private boolean
isProtectedInSuperClassOfEnclosingClassInOtherPackage(Symbol targetReference, Symbol currentClass)

private boolean
isSameMemberWhenErased(Type
the class where to look for the method
type, Symbol.MethodSymbol
the method to look for in class
method, Type
the erasure of method
erasure)

Lookup the method as a member of the type.

pack-priv boolean
needsConversionToLambda(JCTree.JCMemberReference tree)

Does this reference need to be converted to a lambda (i.e. var args need to be expanded or "super" is used)

pack-priv boolean
needsVarArgsConversion(JCTree.JCMemberReference tree)

pack-priv boolean
receiverAccessible(JCTree.JCMemberReference tree)

pack-priv JCTree.JCExpression
retype(JCTree.JCExpression
The expression tree whose type might need adjustment.
tree, Type
The expression's type after erasure.
erasedType, Type
The target type, which is usually the erasure of the expression's original type.
target)

Given an erased reference type, assume this type as the tree's type.

public <T extends JCTree> T
translate(T tree, Type pt)

Visitor method: perform a type translation on tree.

public <T extends JCTree> T
translate(T tree, Type pt, Type castTP)

public <T extends JCTree> List<T>
translate(List<T> trees, Type pt)

Visitor method: perform a type translation on list of trees.

pack-priv <T extends JCTree> List<T>
translateArgs(List<T>
The method argument list.
_args, List<Type>
The list of target types.
parameters, Type
The erasure of the varargs element type, or null if translating a non-varargs invocation
varargsElement)

Translate method argument list, casting each argument to its corresponding type in a list of target types.

public <T extends JCTree> List<T>
translateArgs(List<T> _args, List<Type> parameters, Type varargsElement, Env<AttrContext> localEnv)

pack-priv void
translateClass(Symbol.ClassSymbol c)

public JCTree
translateTopLevelClass(JCTree
The definition to be translated.
cdef, TreeMaker make)

Translate a toplevel class definition.

public void
visitAnnotatedType(JCTree.JCAnnotatedType tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitAnnotatedType.

public void
visitAnnotation(JCTree.JCAnnotation tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitAnnotation.

public void
visitAnyPattern(JCTree.JCAnyPattern tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitAnyPattern.

public void
visitApply(JCTree.JCMethodInvocation tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitApply.

public void
visitAssert(JCTree.JCAssert tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitAssert.

public void
visitAssign(JCTree.JCAssign tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitAssign.

public void
visitAssignop(JCTree.JCAssignOp tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitAssignop.

public void
visitBinary(JCTree.JCBinary tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitBinary.

public void
visitBindingPattern(JCTree.JCBindingPattern tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitBindingPattern.

public void
visitBreak(JCTree.JCBreak tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitBreak.

public void
visitCase(JCTree.JCCase tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitCase.

public void
visitClassDef(JCTree.JCClassDecl tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitClassDef.

public void
visitConditional(JCTree.JCConditional tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitConditional.

public void
visitConstantCaseLabel(JCTree.JCConstantCaseLabel tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitConstantCaseLabel.

public void
visitDoLoop(JCTree.JCDoWhileLoop tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitDoLoop.

public void
visitExec(JCTree.JCExpressionStatement tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitExec.

public void
visitForeachLoop(JCTree.JCEnhancedForLoop tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitForeachLoop.

public void
visitForLoop(JCTree.JCForLoop tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitForLoop.

public void
visitIdent(JCTree.JCIdent tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitIdent.

public void
visitIf(JCTree.JCIf tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitIf.

public void
visitIndexed(JCTree.JCArrayAccess tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitIndexed.

public void
visitLambda(JCTree.JCLambda tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitLambda.

public void
visitMethodDef(JCTree.JCMethodDecl tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitMethodDef.

public void
visitNewArray(JCTree.JCNewArray tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitNewArray.

public void
visitNewClass(JCTree.JCNewClass tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitNewClass.

public void
visitParens(JCTree.JCParens tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitParens.

public void
visitPatternCaseLabel(JCTree.JCPatternCaseLabel tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitPatternCaseLabel.

public void
visitRecordPattern(JCTree.JCRecordPattern tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitRecordPattern.

public void
visitReference(JCTree.JCMemberReference tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitReference.

public void
visitReturn(JCTree.JCReturn tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitReturn.

public void
visitSelect(JCTree.JCFieldAccess tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitSelect.

public void
visitSwitch(JCTree.JCSwitch tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitSwitch.

public void
visitSwitchExpression(JCTree.JCSwitchExpression tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitSwitchExpression.

public void
visitSynchronized(JCTree.JCSynchronized tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitSynchronized.

public void
visitThrow(JCTree.JCThrow tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitThrow.

public void
visitTry(JCTree.JCTry tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitTry.

public void
visitTypeApply(JCTree.JCTypeApply tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitTypeApply.

Visitor method for parameterized types.

public void
visitTypeArray(JCTree.JCArrayTypeTree tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitTypeArray.

public void
visitTypeCast(JCTree.JCTypeCast tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitTypeCast.

public void
visitTypeIntersection(JCTree.JCTypeIntersection tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitTypeIntersection.

public void
visitTypeTest(JCTree.JCInstanceOf tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitTypeTest.

public void
visitUnary(JCTree.JCUnary tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitUnary.

public void
visitVarDef(JCTree.JCVariableDecl tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitVarDef.

public void
visitWhileLoop(JCTree.JCWhileLoop tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitWhileLoop.

public void
visitYield(JCTree.JCYield tree)

Overrides com.sun.tools.javac.tree.TreeTranslator.visitYield.

Inherited from com.sun.tools.javac.tree.TreeTranslator:
translatetranslatetranslateAnnotationstranslateCasestranslateCatcherstranslateTypeParamstranslateVarDefsvisitBlockvisitCatchvisitContinuevisitDefaultCaseLabelvisitErroneousvisitImportvisitLabelledvisitLetExprvisitLiteralvisitModifiersvisitModuleImportvisitPackageDefvisitSkipvisitTopLevelvisitTreevisitTypeBoundKindvisitTypeIdentvisitTypeParametervisitTypeUnionvisitVarTypevisitWildcard