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

public Class TransPatterns

extends TreeTranslator
Class Inheritance
Imports
com.sun.source.tree.CaseTree, .CaseTree.CaseKind, com.sun.tools.javac.code.BoundKind, .Flags, .Kinds, .Kinds.Kind, .Preview, .Symbol, .Symbol.BindingSymbol, .Symbol.ClassSymbol, .Symbol.DynamicMethodSymbol, .Symbol.DynamicVarSymbol, .Symbol.MethodHandleSymbol, .Symbol.VarSymbol, .Symtab, .Type.ClassType, .Type.MethodType, .Type.WildcardType, .Types, .Symbol.MethodSymbol, .Symbol.RecordComponent, .Type, com.sun.tools.javac.tree.JCTree.JCAssign, .JCTree.JCAnyPattern, .JCTree.JCBinary, .JCTree.JCConditional, .JCTree.JCExpression, .JCTree.JCForLoop, .JCTree.JCIdent, .JCTree.JCIf, .JCTree.JCInstanceOf, .JCTree.JCMethodDecl, .JCTree.JCSwitch, .JCTree.JCVariableDecl, .JCTree.JCBindingPattern, .JCTree.JCWhileLoop, .JCTree.Tag, .TreeMaker, .TreeTranslator, .JCTree, .JCTree.JCBlock, .JCTree.JCBlock.PatternMatchingCatch, .JCTree.JCBreak, .JCTree.JCCase, .JCTree.JCCaseLabel, .JCTree.JCCatch, .JCTree.JCClassDecl, .JCTree.JCContinue, .JCTree.JCDoWhileLoop, .JCTree.JCConstantCaseLabel, .JCTree.JCExpressionStatement, .JCTree.JCFieldAccess, .JCTree.JCLambda, .JCTree.JCMethodInvocation, .JCTree.JCNewClass, .JCTree.JCPattern, .JCTree.JCPatternCaseLabel, .JCTree.JCRecordPattern, .JCTree.JCStatement, .JCTree.JCSwitchExpression, .JCTree.JCTry, .JCTree.LetExpr, .TreeInfo, .TreeScanner, com.sun.tools.javac.util.Context, .ListBuffer, .Name, .Names, .Assert, .JCDiagnostic.DiagnosticPosition, .List, java.util.Collections, .Map, .Map.Entry, .HashMap, .IdentityHashMap, .LinkedHashMap, .Set, com.sun.tools.javac.jvm.PoolConstant.LoadableConstant, .Target
This pass translates pattern-matching constructs, such as instanceof <pattern>.

Nested and Inner Type Summary

Modifier and TypeClass and Description
pack-priv class
TransPatterns.BasicBindingContext

pack-priv abstract class
TransPatterns.BindingContext

private class
TransPatterns.BindingDeclarationFenceBindingContext

private class
TransPatterns.PrimitiveGenerator

private class
TransPatterns.ReplaceVar

pack-priv static record
TransPatterns.UnrolledRecordPattern

Field Summary

Modifier and TypeField and Description
private final Attr
attr

pack-priv TransPatterns.BindingContext
bindingContext

private Map<Symbol.RecordComponent, Symbol.MethodSymbol>
component2Proxy

private Symbol.ClassSymbol
currentClass

private JCTree.JCClassDecl
currentClassTree

private Symbol.MethodSymbol
currentMethodSym

private Symbol.VarSymbol
currentValue

private Set<JCTree.JCMethodInvocation>
deconstructorCalls

private Env<AttrContext>
env

private TreeMaker
make

private final Names
names

private final Operators
operators

private ListBuffer<JCTree>
pendingMethods

private final Preview
preview

private final Resolve
rs

private final Symtab
syms

private final Target
target

protected static final Context.Key<TransPatterns>
transPatternsKey

private final Types
types

private int
variableIndex

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

Constructor Summary

AccessConstructor and Description
protected
TransPatterns(Context context)

Method Summary

Modifier and TypeMethod and Description
pack-priv void
appendBreakIfNeeded(JCTree switchTree, List<JCTree.JCCase> cases, JCTree.JCCase c)

pack-priv JCTree.JCExpression
convert(JCTree.JCExpression expr, Type target)

private PoolConstant.LoadableConstant
createEnumDesc(JCDiagnostic.DiagnosticPosition pos, Symbol.ClassSymbol enumClass, Name constant)

private void
fixupContinue(JCTree switchTree, JCTree.JCCase c, Symbol.VarSymbol indexVariable, int currentCaseIndex)

private Symbol.VarSymbol
generateTempOrReuse(Symbol exprSym, Type tempType)

private void
handleSwitch(JCTree tree, JCTree.JCExpression selector, List<JCTree.JCCase> cases, boolean hasUnconditionalPattern, boolean patternSwitch)

public static TransPatterns
instance(Context context)

private PoolConstant.LoadableConstant
invokeMethodWrapper(JCDiagnostic.DiagnosticPosition pos, Symbol.MethodHandleSymbol toCall, PoolConstant.LoadableConstant... params)

pack-priv JCTree.JCMethodInvocation
makeApply(JCTree.JCExpression selector, Name name, List<JCTree.JCExpression> args)

pack-priv JCTree.JCBinary
makeBinary(JCTree.Tag
The operators tree tag.
optag, JCTree.JCExpression
The operator's left argument.
lhs, JCTree.JCExpression
The operator's right argument.
rhs)

Make an attributed binary expression (copied from Lower).

private Symbol.DynamicVarSymbol
makeBooleanConstant(JCDiagnostic.DiagnosticPosition pos, int constant)

pack-priv JCTree.JCExpression
makeLit(Type
The literal's type.
type, Object
The literal's value.
value)

Make an attributed tree representing a literal.

pack-priv JCTree.JCNewClass
makeNewClass(Type ctype, List<JCTree.JCExpression> args)

pack-priv JCTree.JCExpression
makeNull()

Make an attributed tree representing null.

private Symbol.DynamicVarSymbol
makePrimitive(JCDiagnostic.DiagnosticPosition pos, Type primitiveType)

pack-priv JCTree.JCInstanceOf
makeTypeTest(JCTree.JCExpression
The expression.
lhs, JCTree.JCExpression
The type to be tested.
type)

Make an instanceof expression.

pack-priv JCTree.JCUnary
makeUnary(JCTree.Tag
The operators tree tag.
optag, JCTree.JCExpression
The operator's argument.
arg)

Make an attributed unary expression.

pack-priv JCTree.JCExpression
mergeConditions(JCTree.JCExpression left, JCTree.JCExpression right)

private static void
patchCompletingNormallyCases(List<JCTree.JCCase> cases)

private void
preparePatternMatchingCatchIfNeeded(JCTree.JCBlock tree)

private Type
principalType(JCTree p)

private List<JCTree.JCCase>
processCases(JCTree currentSwitch, List<JCTree.JCCase> inputCases)

Considering a list of cases, find consecutive cases with the same binding pattern as their label, and type tests with binding patterns as the first element in the guard.

private PoolConstant.LoadableConstant
toLoadableConstant(JCTree.JCCaseLabel l, Type selector)

public JCTree
translateTopLevelClass(Env<AttrContext> env, JCTree cdef, TreeMaker make)

private TransPatterns.UnrolledRecordPattern
unrollRecordPattern(JCTree.JCRecordPattern recordPattern)

public void
visitAnyPattern(JCTree.JCAnyPattern that)

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

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
visitBlock(JCTree.JCBlock tree)

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

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
visitDoLoop(JCTree.JCDoWhileLoop tree)

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

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
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
visitRecordPattern(JCTree.JCRecordPattern tree)

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

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
visitTry(JCTree.JCTry tree)

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

public void
visitTypeTest(JCTree.JCInstanceOf tree)

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

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.

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