Package com.sun.tools.javac.comp

Class Attr

java.lang.Object

com.sun.tools.javac.tree.JCTree.Visitor

com.sun.tools.javac.comp.Attr

public class Attr
extends JCTree.Visitor

This is the main context-dependent analysis phase in GJC. It encompasses name resolution, type checking and constant folding as subtasks. Some subtasks involve auxiliary classes.

See Also:

Check, Resolve, ConstFold,

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.

Field Summary

Fields

Modifier and Type	Field and Description
static Filter<Symbol>	anyNonAbstractOrDefaultMethod
protected static Context.Key<Attr>	attrKey

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Attr(Context context)

Method Summary

Modifier and Type	Method and Description
void	annotateType(JCTree tree, List<JCTree.JCAnnotation> annotations) Apply the annotations to the particular type.
void	attrib(Env<AttrContext> env) Attribute an env for either a top level tree or class declaration.
void	attribClass(JCDiagnostic.DiagnosticPosition pos, Symbol.ClassSymbol c) Main method: attribute class definition associated with given class symbol.
Type	attribExpr(JCTree tree, Env<AttrContext> env) Derived visitor method: attribute an expression tree with no constraints on the computed type.
Type	attribExpr(JCTree tree, Env<AttrContext> env, Type pt) Derived visitor method: attribute an expression tree.
Env<AttrContext>	attribExprToTree(JCTree expr, Env<AttrContext> env, JCTree tree)
Symbol	attribIdent(JCTree tree, JCTree.JCCompilationUnit topLevel) Attribute a parsed identifier.
Type	attribImportQualifier(JCTree.JCImport tree, Env<AttrContext> env)
Object	attribLazyConstantValue(Env<AttrContext> env, JCTree.JCVariableDecl variable, Type type) Attribute a "lazy constant value".
Type	attribStat(JCTree tree, Env<AttrContext> env) Derived visitor method: attribute a statement or definition tree.
Env<AttrContext>	attribStatToTree(JCTree stmt, Env<AttrContext> env, JCTree tree)
void	attribTopLevel(Env<AttrContext> env) Attribute a top level tree.
Type	attribType(JCTree tree, Env<AttrContext> env) Derived visitor method: attribute a type tree.
Type	attribType(JCTree node, Symbol.TypeSymbol sym)
Type	checkMethod(Type site, Symbol sym, com.sun.tools.javac.comp.Attr.ResultInfo resultInfo, Env<AttrContext> env, List<JCTree.JCExpression> argtrees, List<Type> argtypes, List<Type> typeargtypes) Check that method arguments conform to its instantiation.
Type	coerce(Type etype, Type ttype)
static Attr	instance(Context context)
JCTree.JCExpression	makeNullCheck(JCTree.JCExpression arg) Make an attributed null check tree.
void	postAttr(JCTree tree) Handle missing types/symbols in an AST.
Symbol.MethodSymbol	removeClinit(Symbol.ClassSymbol sym)
void	validateTypeAnnotations(JCTree tree, boolean sigOnly)
void	visitAnnotatedType(JCTree.JCAnnotatedType tree)
void	visitAnnotation(JCTree.JCAnnotation tree)
void	visitApply(JCTree.JCMethodInvocation tree) Visitor method for method invocations.
void	visitAssert(JCTree.JCAssert tree)
void	visitAssign(JCTree.JCAssign tree)
void	visitAssignop(JCTree.JCAssignOp tree)
void	visitBinary(JCTree.JCBinary tree)
void	visitBlock(JCTree.JCBlock tree)
void	visitBreak(JCTree.JCBreak tree)
void	visitClassDef(JCTree.JCClassDecl tree)
void	visitConditional(JCTree.JCConditional tree)
void	visitContinue(JCTree.JCContinue tree)
void	visitDoLoop(JCTree.JCDoWhileLoop tree)
void	visitErroneous(JCTree.JCErroneous tree)
void	visitExec(JCTree.JCExpressionStatement tree)
void	visitForeachLoop(JCTree.JCEnhancedForLoop tree)
void	visitForLoop(JCTree.JCForLoop tree)
void	visitIdent(JCTree.JCIdent tree)
void	visitIf(JCTree.JCIf tree)
void	visitImport(JCTree.JCImport tree)
void	visitIndexed(JCTree.JCArrayAccess tree)
void	visitLabelled(JCTree.JCLabeledStatement tree)
void	visitLambda(JCTree.JCLambda that)
void	visitLiteral(JCTree.JCLiteral tree)
void	visitMethodDef(JCTree.JCMethodDecl tree)
void	visitNewArray(JCTree.JCNewArray tree)
void	visitNewClass(JCTree.JCNewClass tree)
void	visitParens(JCTree.JCParens tree)
void	visitReference(JCTree.JCMemberReference that)
void	visitReturn(JCTree.JCReturn tree)
void	visitSelect(JCTree.JCFieldAccess tree)
void	visitSkip(JCTree.JCSkip tree)
void	visitSwitch(JCTree.JCSwitch tree)
void	visitSynchronized(JCTree.JCSynchronized tree)
void	visitThrow(JCTree.JCThrow tree)
void	visitTree(JCTree tree) Default visitor method for all other trees.
void	visitTry(JCTree.JCTry tree)
void	visitTypeApply(JCTree.JCTypeApply tree) Visitor method for parameterized types.
void	visitTypeArray(JCTree.JCArrayTypeTree tree)
void	visitTypeCast(JCTree.JCTypeCast tree)
void	visitTypeIdent(JCTree.JCPrimitiveTypeTree tree)
void	visitTypeIntersection(JCTree.JCTypeIntersection tree)
void	visitTypeParameter(JCTree.JCTypeParameter tree)
void	visitTypeTest(JCTree.JCInstanceOf tree)
void	visitTypeUnion(JCTree.JCTypeUnion tree)
void	visitUnary(JCTree.JCUnary tree)
void	visitVarDef(JCTree.JCVariableDecl tree)
void	visitWhileLoop(JCTree.JCWhileLoop tree)
void	visitWildcard(JCTree.JCWildcard tree)

Methods inherited from class com.sun.tools.javac.tree.JCTree.Visitor

visitCase, visitCatch, visitLetExpr, visitModifiers, visitTopLevel, visitTypeBoundKind

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

attrKey

protected static final Context.Key<Attr> attrKey

anyNonAbstractOrDefaultMethod

public static final Filter<Symbol> anyNonAbstractOrDefaultMethod

Constructor Detail

Attr

protected Attr(Context context)

Method Detail

instance

public static Attr instance(Context context)

attribIdent

public Symbol attribIdent(JCTree tree,
                          JCTree.JCCompilationUnit topLevel)

Attribute a parsed identifier.

Parameters:

tree - Parsed identifier name

topLevel - The toplevel to use

coerce

public Type coerce(Type etype,
                   Type ttype)

attribType

public Type attribType(JCTree node,
                       Symbol.TypeSymbol sym)

attribImportQualifier

public Type attribImportQualifier(JCTree.JCImport tree,
                                  Env<AttrContext> env)

attribExprToTree

public Env<AttrContext> attribExprToTree(JCTree expr,
                                         Env<AttrContext> env,
                                         JCTree tree)

attribStatToTree

public Env<AttrContext> attribStatToTree(JCTree stmt,
                                         Env<AttrContext> env,
                                         JCTree tree)

attribExpr

public Type attribExpr(JCTree tree,
                       Env<AttrContext> env,
                       Type pt)

Derived visitor method: attribute an expression tree.

attribExpr

public Type attribExpr(JCTree tree,
                       Env<AttrContext> env)

Derived visitor method: attribute an expression tree with no constraints on the computed type.

attribType

public Type attribType(JCTree tree,
                       Env<AttrContext> env)

Derived visitor method: attribute a type tree.

attribStat

public Type attribStat(JCTree tree,
                       Env<AttrContext> env)

Derived visitor method: attribute a statement or definition tree.

attribLazyConstantValue

public Object attribLazyConstantValue(Env<AttrContext> env,
                                      JCTree.JCVariableDecl variable,
                                      Type type)

Attribute a "lazy constant value".

Parameters:

env - The env for the const value

initializer - The initializer for the const value

type - The expected type, or null

See Also:

Symbol.VarSymbol.setLazyConstValue(com.sun.tools.javac.comp.Env<com.sun.tools.javac.comp.AttrContext>, com.sun.tools.javac.comp.Attr, com.sun.tools.javac.tree.JCTree.JCVariableDecl)

visitClassDef

public void visitClassDef(JCTree.JCClassDecl tree)

Overrides:

visitClassDef in class JCTree.Visitor

visitMethodDef

public void visitMethodDef(JCTree.JCMethodDecl tree)

Overrides:

visitMethodDef in class JCTree.Visitor

visitVarDef

public void visitVarDef(JCTree.JCVariableDecl tree)

Overrides:

visitVarDef in class JCTree.Visitor

visitSkip

public void visitSkip(JCTree.JCSkip tree)

Overrides:

visitSkip in class JCTree.Visitor

visitBlock

public void visitBlock(JCTree.JCBlock tree)

Overrides:

visitBlock in class JCTree.Visitor

visitDoLoop

public void visitDoLoop(JCTree.JCDoWhileLoop tree)

Overrides:

visitDoLoop in class JCTree.Visitor

visitWhileLoop

public void visitWhileLoop(JCTree.JCWhileLoop tree)

Overrides:

visitWhileLoop in class JCTree.Visitor

visitForLoop

public void visitForLoop(JCTree.JCForLoop tree)

Overrides:

visitForLoop in class JCTree.Visitor

visitForeachLoop

public void visitForeachLoop(JCTree.JCEnhancedForLoop tree)

Overrides:

visitForeachLoop in class JCTree.Visitor

visitLabelled

public void visitLabelled(JCTree.JCLabeledStatement tree)

Overrides:

visitLabelled in class JCTree.Visitor

visitSwitch

public void visitSwitch(JCTree.JCSwitch tree)

Overrides:

visitSwitch in class JCTree.Visitor

visitSynchronized

public void visitSynchronized(JCTree.JCSynchronized tree)

Overrides:

visitSynchronized in class JCTree.Visitor

visitTry

public void visitTry(JCTree.JCTry tree)

Overrides:

visitTry in class JCTree.Visitor

visitConditional

public void visitConditional(JCTree.JCConditional tree)

Overrides:

visitConditional in class JCTree.Visitor

visitIf

public void visitIf(JCTree.JCIf tree)

Overrides:

visitIf in class JCTree.Visitor

visitExec

public void visitExec(JCTree.JCExpressionStatement tree)

Overrides:

visitExec in class JCTree.Visitor

visitBreak

public void visitBreak(JCTree.JCBreak tree)

Overrides:

visitBreak in class JCTree.Visitor

visitContinue

public void visitContinue(JCTree.JCContinue tree)

Overrides:

visitContinue in class JCTree.Visitor

visitReturn

public void visitReturn(JCTree.JCReturn tree)

Overrides:

visitReturn in class JCTree.Visitor

visitThrow

public void visitThrow(JCTree.JCThrow tree)

Overrides:

visitThrow in class JCTree.Visitor

visitAssert

public void visitAssert(JCTree.JCAssert tree)

Overrides:

visitAssert in class JCTree.Visitor

visitApply

public void visitApply(JCTree.JCMethodInvocation tree)

Visitor method for method invocations. NOTE: The method part of an application will have in its type field the return type of the method, not the method's type itself!

Overrides:

visitApply in class JCTree.Visitor

visitNewClass

public void visitNewClass(JCTree.JCNewClass tree)

Overrides:

visitNewClass in class JCTree.Visitor

makeNullCheck

public JCTree.JCExpression makeNullCheck(JCTree.JCExpression arg)

Make an attributed null check tree.

visitNewArray

public void visitNewArray(JCTree.JCNewArray tree)

Overrides:

visitNewArray in class JCTree.Visitor

visitLambda

public void visitLambda(JCTree.JCLambda that)

Overrides:

visitLambda in class JCTree.Visitor

removeClinit

public Symbol.MethodSymbol removeClinit(Symbol.ClassSymbol sym)

visitReference

public void visitReference(JCTree.JCMemberReference that)

Overrides:

visitReference in class JCTree.Visitor

visitParens

public void visitParens(JCTree.JCParens tree)

Overrides:

visitParens in class JCTree.Visitor

visitAssign

public void visitAssign(JCTree.JCAssign tree)

Overrides:

visitAssign in class JCTree.Visitor

visitAssignop

public void visitAssignop(JCTree.JCAssignOp tree)

Overrides:

visitAssignop in class JCTree.Visitor

visitUnary

public void visitUnary(JCTree.JCUnary tree)

Overrides:

visitUnary in class JCTree.Visitor

visitBinary

public void visitBinary(JCTree.JCBinary tree)

Overrides:

visitBinary in class JCTree.Visitor

visitTypeCast

public void visitTypeCast(JCTree.JCTypeCast tree)

Overrides:

visitTypeCast in class JCTree.Visitor

visitTypeTest

public void visitTypeTest(JCTree.JCInstanceOf tree)

Overrides:

visitTypeTest in class JCTree.Visitor

visitIndexed

public void visitIndexed(JCTree.JCArrayAccess tree)

Overrides:

visitIndexed in class JCTree.Visitor

visitIdent

public void visitIdent(JCTree.JCIdent tree)

Overrides:

visitIdent in class JCTree.Visitor

visitSelect

public void visitSelect(JCTree.JCFieldAccess tree)

Overrides:

visitSelect in class JCTree.Visitor

checkMethod

public Type checkMethod(Type site,
                        Symbol sym,
                        com.sun.tools.javac.comp.Attr.ResultInfo resultInfo,
                        Env<AttrContext> env,
                        List<JCTree.JCExpression> argtrees,
                        List<Type> argtypes,
                        List<Type> typeargtypes)

Check that method arguments conform to its instantiation.

visitLiteral

public void visitLiteral(JCTree.JCLiteral tree)

Overrides:

visitLiteral in class JCTree.Visitor

visitTypeIdent

public void visitTypeIdent(JCTree.JCPrimitiveTypeTree tree)

Overrides:

visitTypeIdent in class JCTree.Visitor

visitTypeArray

public void visitTypeArray(JCTree.JCArrayTypeTree tree)

Overrides:

visitTypeArray in class JCTree.Visitor

visitTypeApply

public void visitTypeApply(JCTree.JCTypeApply tree)

Visitor method for parameterized types. Bound checking is left until later, since types are attributed before supertype structure is completely known

Overrides:

visitTypeApply in class JCTree.Visitor

visitTypeUnion

public void visitTypeUnion(JCTree.JCTypeUnion tree)

Overrides:

visitTypeUnion in class JCTree.Visitor

visitTypeIntersection

public void visitTypeIntersection(JCTree.JCTypeIntersection tree)

Overrides:

visitTypeIntersection in class JCTree.Visitor

visitTypeParameter

public void visitTypeParameter(JCTree.JCTypeParameter tree)

Overrides:

visitTypeParameter in class JCTree.Visitor

visitWildcard

public void visitWildcard(JCTree.JCWildcard tree)

Overrides:

visitWildcard in class JCTree.Visitor

visitAnnotation

public void visitAnnotation(JCTree.JCAnnotation tree)

Overrides:

visitAnnotation in class JCTree.Visitor

visitAnnotatedType

public void visitAnnotatedType(JCTree.JCAnnotatedType tree)

Overrides:

visitAnnotatedType in class JCTree.Visitor

annotateType

public void annotateType(JCTree tree,
                         List<JCTree.JCAnnotation> annotations)

Apply the annotations to the particular type.

visitErroneous

public void visitErroneous(JCTree.JCErroneous tree)

Overrides:

visitErroneous in class JCTree.Visitor

visitTree

public void visitTree(JCTree tree)

Default visitor method for all other trees.

Overrides:

visitTree in class JCTree.Visitor

attrib

public void attrib(Env<AttrContext> env)

Attribute an env for either a top level tree or class declaration.

attribTopLevel

public void attribTopLevel(Env<AttrContext> env)

Attribute a top level tree. These trees are encountered when the package declaration has annotations.

attribClass

public void attribClass(JCDiagnostic.DiagnosticPosition pos,
                        Symbol.ClassSymbol c)

Main method: attribute class definition associated with given class symbol. reporting completion failures at the given position.

Parameters:

pos - The source position at which completion errors are to be reported.

c - The class symbol whose definition will be attributed.

visitImport

public void visitImport(JCTree.JCImport tree)

Overrides:

visitImport in class JCTree.Visitor

validateTypeAnnotations

public void validateTypeAnnotations(JCTree tree,
                                    boolean sigOnly)

postAttr

public void postAttr(JCTree tree)

Handle missing types/symbols in an AST. This routine is useful when the compiler has encountered some errors (which might have ended up terminating attribution abruptly); if the compiler is used in fail-over mode (e.g. by an IDE) and the AST contains semantic errors, this routine prevents NPE to be progagated during subsequent compilation steps.