Check, Resolve, ConstFold, <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>
| Modifier and Type | Class and Description |
|---|---|
| private static class | |
| pack-priv static enum | Attr.
Mode controlling behavior of Attr.Check |
| pack-priv class | |
| pack-priv class | Attr.
Lambda/method reference have a special check context that ensures that i.e. a lambda return type is compatible with the expected type according to both the inherited context and the assignment context. |
| private class | |
| pack-priv static class | |
| pack-priv class | |
| pack-priv class | |
| pack-priv class | |
| pack-priv class | |
| pack-priv class | |
| private class |
| Modifier and Type | Field and Description |
|---|---|
| private final boolean | allowPatternSwitch
Are patterns in switch allowed |
| private final boolean | allowRecords
Are records allowed |
| pack-priv boolean | allowReifiableTypesInInstanceof
Switch: reifiable types in instanceof enabled? |
| private final boolean | allowUnconditionalPatternsInstanceOf
Are unconditional patterns in instanceof allowed |
| pack-priv final Analyzer | |
| pack-priv final Annotate | |
| pack-priv final ArgumentAttr | |
| protected static final Context. | |
| pack-priv final AttrRecover | |
| private JCTree | |
| pack-priv final boolean | |
| pack-priv final ConstFold | |
| pack-priv final Check | |
| pack-priv final DeferredAttr | |
| pack-priv final Dependencies | |
| pack-priv final JCDiagnostic. | |
| pack-priv final Enter | |
| pack-priv Env | env
Visitor argument: the current environment. |
| pack-priv final Flow | |
| private TreeVisitor | |
| pack-priv final Infer | |
| pack-priv final Type. | |
| pack-priv final LintMapper | |
| pack-priv final Log | |
| pack-priv final TreeMaker | |
| pack-priv MatchBindingsComputer. | |
| pack-priv final MatchBindingsComputer | |
| pack-priv final MemberEnter | |
| pack-priv final Attr. | |
| pack-priv final Names | |
| pack-priv final Operators | |
| pack-priv final Preview | |
| pack-priv static final TypeTag[] | |
| pack-priv final Attr. | |
| pack-priv TreeTranslator | |
| pack-priv Type | result
Visitor result: the computed type. |
| pack-priv Attr. | resultInfo
Visitor argument: the currently expected attribution result. |
| pack-priv final Resolve | |
| pack-priv String | sourceName
Switch: name of source level; used for error reporting. |
| pack-priv final Attr. | |
| pack-priv final Symtab | |
| pack-priv final Target | |
| pack-priv Types. | |
| pack-priv final TypeAnnotations | |
| pack-priv final TypeEnter | |
| pack-priv final TypeEnvs | |
| pack-priv final Types | |
| pack-priv final Attr. | |
| pack-priv final Attr. | |
| pack-priv final Attr. | |
| pack-priv boolean | useBeforeDeclarationWarning
Switch: warn about use of variable before declaration? |
| pack-priv final Attr. |
| Modifier and Type | Method and Description |
|---|---|
| private void | addBindings2Scope(JCTree.
Add given bindings to the current scope, unless there's a break to an immediately enclosing labeled statement. |
| private static void | addVars(List<JCTree.
Add any variables defined in stats to the switch scope. |
| pack-priv Type | |
| public void | attrib(Env<AttrContext> env)
Attribute an env for either a top level tree or class or module declaration. |
| pack-priv void | attribAnnotationTypes(List<JCTree.
Attribute the type references in a list of annotations. |
| pack-priv List | attribAnyTypes(List<JCTree.
Attribute a type argument list, returning a list of types. |
| pack-priv Kinds. | attribArgs(Kinds.
Attribute the arguments in a method call, returning the method kind. |
| pack-priv Type | attribBase(JCTree
The tree making up the type reference. tree, Env<AttrContext> The environment current at the reference. env, boolean true if only a class is expected here. classExpected, boolean true if only an interface is expected here. interfaceExpected, boolean checkExtensible)Attribute type reference in an `extends', `implements', or 'permits' clause. |
| public void | attribClass(JCDiagnostic.
The source position at which completion errors are to be
reported. pos,The class symbol whose definition will be attributed. cMain method: attribute class definition associated with given class symbol. |
| pack-priv void | attribClass(Symbol.
The class symbol whose definition will be attributed. cAttribute class definition associated with given class symbol. |
| private void | |
| public Type | attribExpr(JCTree tree, Env<AttrContext> env, Type pt)
Derived visitor method: attribute an expression tree. |
| public Type | attribExpr(JCTree tree, Env<AttrContext> env)
Derived visitor method: attribute an expression tree with no constraints on the computed type. |
| pack-priv List | attribExprs(List<JCTree.
Attribute a list of expressions, returning a list of types. |
| public Env | |
| public Symbol | attribIdent(JCTree
Parsed identifier name tree, JCTree.The toplevel to use topLevelAttribute a parsed identifier. |
| public Symbol | attribIdent(JCTree
Parsed identifier name tree, Env<AttrContext> The env to use env)Attribute a parsed identifier. |
| pack-priv Type | |
| public Type | |
| public Object | attribLazyConstantValue(Env<AttrContext>
The env for the const value env, Env<AttrContext> enclosingEnv, JCTree.The initializer for the const value variable,The expected type, or null type)Attribute a "lazy constant value". |
| public void | |
| pack-priv void | |
| public void | |
| pack-priv void | |
| public Type | attribStat(JCTree tree, Env<AttrContext> env)
Derived visitor method: attribute a statement or definition tree. |
| pack-priv <T extends JCTree> void | |
| public Env | |
| private Env | |
| pack-priv Type | attribTree(JCTree
The tree to be visited. tree, Env<AttrContext> The environment visitor argument. env, Attr.The result info visitor argument. resultInfoVisitor method: attribute a tree, catching any completion failure exceptions. |
| public Type | |
| public Type | |
| pack-priv Type | attribType(JCTree tree, Env<AttrContext> env, Type pt)
Derived visitor method: attribute a type tree. |
| pack-priv List | attribTypes(List<JCTree.
Attribute a type argument list, returning a list of types. |
| pack-priv void | attribTypeVariables(List<JCTree.
the type variables to enter typarams,the current environment env, boolean checkCyclic)Attribute type variables (of generic classes or methods). |
| private void | |
| pack-priv Env | |
| pack-priv Env | |
| private boolean | |
| protected void | |
| pack-priv JCDiagnostic. | |
| private Type | |
| private Attr. | |
| pack-priv Type | check(final JCTree
The tree whose kind and type is checked tree, final Type The computed type of the tree found, final Kinds.The computed kind of the tree ownkind,The expected result of the tree resultInfoCheck kind and type of given tree against protokind and prototype. |
| private void | checkAccessibleTypes(final JCDiagnostic.
|
| private void | checkAccessibleTypes(final JCDiagnostic.
|
| pack-priv void | checkAssignable(JCDiagnostic.
The current source code position. pos,The assigned variable v,If the variable is referred to in a Select, the part
to the left of the `.', null otherwise. base, Env<AttrContext> The current environment. env)Check that variable can be assigned to. |
| pack-priv void | |
| pack-priv Type | checkBase(Type t, JCTree tree, Env<AttrContext> env, boolean classExpected, boolean interfaceExpected, boolean checkExtensible)
|
| private void | |
| private boolean | |
| private void | checkEnumInitializer(JCTree
The tree making up the variable reference. tree, Env<AttrContext> The current environment. env, Symbol.The variable's symbol. vCheck for illegal references to static members of enum. |
| pack-priv boolean | checkExConstraints(List<Type> thrownByFuncExpr, List<Type> thrownAtFuncType, InferenceContext inferenceContext)
|
| pack-priv Type | checkId(JCTree
The syntax tree representing the identifier tree, Type If this is a select, the type of the selected
expression, otherwise the type of the current class. site, Symbol The symbol representing the identifier. sym, Env<AttrContext> The current environment. env, Attr.The expected result resultInfoDetermine type of identifier or select expression and check that
(1) the referenced symbol is not deprecated
(2) the symbol's type is safe (see ( |
| pack-priv Type | checkIdInternal(JCTree tree, Type site, Symbol sym, Type pt, Env<AttrContext> env, Attr.
|
| private void | |
| pack-priv Type | |
| pack-priv void | checkLambdaCompatible(JCTree.
Lambda compatibility. |
| public Type | checkMethod(Type site, final Symbol sym, Attr.
Check that method arguments conform to its instantiation. |
| pack-priv Type | checkMethodIdInternal(JCTree tree, Type site, Symbol sym, Env<AttrContext> env, Attr.
|
| pack-priv void | checkNewInnerClass(JCDiagnostic.
|
| pack-priv void | checkReferenceCompatible(JCTree.
|
| public Type | |
| pack-priv Check. | |
| pack-priv Type | condType(List<JCDiagnostic.
Compute the type of a conditional expression, after checking that it exists. |
| pack-priv Env | |
| pack-priv Scope. | |
| pack-priv Check. | |
| private void | |
| pack-priv Env | enclosingInitEnv(Env<AttrContext> env)
Returns the enclosing init environment associated with this env (if any). |
| private Symbol | |
| private Type | |
| private JCTree | findJumpTarget(JCDiagnostic.
The position to be used for error diagnostics pos,The tag of the jump statement. This is either
Tree.BREAK or Tree.CONTINUE. tag,The label of the jump statement, or null if no
label is given. label, Env<AttrContext> The environment current at the jump statement. env)Return the target of a break, continue or yield statement, if it exists, report an error if not. |
| private Pair | findJumpTargetNoError(JCTree.
The tag of the jump statement. This is either
Tree.BREAK or Tree.CONTINUE. tag,The label of the jump statement, or null if no
label is given. label, Env<AttrContext> The environment current at the jump statement. env)Return the target of a break or continue statement, if it exists, report an error if not. |
| private JCDiagnostic. | getDiagnosticPosition(JCTree.
get a diagnostic position for an attribute of Type t, or null if attribute missing |
| pack-priv Attr. | getTargetInfo(JCTree.
|
| private void | handleLoopConditionBindings(MatchBindingsComputer.
Include condition's bindings when false after the loop, if cannot get out of the loop |
| private void | handleSwitch(JCTree switchTree, JCTree.
|
| public static Attr | |
| pack-priv boolean | isAssignableAsBlankFinal(Symbol.
The blank final variable. v,The current environment. env)Is given blank final variable assignable, i.e. in a scope where it may be assigned to even though it is final? |
| private boolean | |
| private boolean | |
| private boolean | |
| pack-priv boolean | isStaticReference(JCTree
The candidate tree. tree)Does tree represent a static reference to an identifier? |
| pack-priv static boolean | |
| pack-priv Attr. | |
| public Env | |
| pack-priv Type | |
| public JCTree. | |
| pack-priv Attr. | |
| pack-priv Type | |
| pack-priv Kinds. | |
| public void | |
| pack-priv void | |
| pack-priv void | |
| pack-priv boolean | |
| pack-priv Type | |
| private void | |
| private Symbol | selectSym(JCTree.
The select tree. tree,The type of the selected expression, site, Env<AttrContext> The current environment. env, Attr.The current result. resultInfoDetermine symbol referenced by a Select expression, |
| private void | setFunctionalInfo(final Env<AttrContext> env, final JCTree.
Set functional type info on the underlying AST. |
| public void | |
| private void | |
| pack-priv Check. | |
| public void | |
| public void | |
| public void | |
| private void | visitAnonymousClassDefinition(JCTree.
|
| public void | |
| public void | visitApply(JCTree.
Overrides com. Visitor method for method invocations. |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | visitLambda(final JCTree.
Overrides com.
|
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | visitNewClass(final JCTree.
Overrides com.
|
| public void | |
| public void | |
| public void | visitReference(final JCTree.
Overrides com.
|
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | visitTree(JCTree tree)
Overrides com. Default visitor method for all other trees. |
| public void | |
| public void | visitTypeApply(JCTree.
Overrides com. Visitor method for parameterized types. |
| public void | |
| public void | visitTypeCast(final JCTree.
Overrides com.
|
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void | |
| public void |