VarAccess

AST
node type VarAccess

General Info

Production

VarAccess : Access ::= <ID:String>;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.Access
                  AST.VarAccess

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Iterable<ASTNode>

Direct Known Subclasses:: BoundFieldAccess

Description

Source: Declared in Java1.4Frontend/java.ast at line 19

Constructors

public VarAccess(java.lang.String name,
                 int start,
                 int end)

Source: Declared in Java1.4Frontend/NodeConstructors.jrag at line 38
Aspect: NodeConstructors

public VarAccess()

public VarAccess(java.lang.String p0)

public VarAccess(beaver.Symbol p0)

Attributes

syn Constant constant()

Overrides:constant in class Expr

Source: Declared in Java7Frontend/ConstantExpression.jrag at line 91
Aspect: ConstantExpression

syn boolean isConstant()

Overrides:isConstant in class Expr

Source: Declared in Java7Frontend/ConstantExpression.jrag at line 354
Aspect: ConstantExpression

syn Variable varDecl()

Overrides:varDecl in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 58
Aspect: DefiniteAssignment

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 351
Aspect: DA

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 832
Aspect: DU

syn boolean unassignedEverywhere(Variable v,
                             TryStmt stmt)

Overrides:unassignedEverywhere in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1196
Aspect: DU

syn SimpleSet decls()

Source: Declared in Java1.4Frontend/LookupVariable.jrag at line 241
Aspect: VariableScopePropagation

syn Variable decl()

Source: Declared in Java1.4Frontend/LookupVariable.jrag at line 256
Aspect: VariableScopePropagation

syn boolean inSameInitializer()

Source: Declared in Java1.4Frontend/NameCheck.jrag at line 226
Aspect: NameCheck

syn boolean simpleAssignment()

Source: Declared in Java1.4Frontend/NameCheck.jrag at line 238
Aspect: NameCheck

syn boolean inDeclaringClass()

Source: Declared in Java1.4Frontend/NameCheck.jrag at line 240
Aspect: NameCheck

syn java.lang.String dumpString()

Overrides:dumpString in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/PrettyPrint.jadd at line 800
Aspect: PrettyPrint

syn java.lang.String name()

Source: Declared in Java1.4Frontend/QualifiedNames.jrag at line 17
Aspect: Names

syn boolean isFieldAccess()

Overrides:isFieldAccess in class Expr

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 23
Aspect: AccessTypes

syn NameType predNameType()

Overrides:predNameType in class Access

Source: Declared in Java1.4Frontend/SyntacticClassification.jrag at line 56
Aspect: SyntacticClassification

syn TypeDecl type()

Overrides:type in class Access

Source: Declared in Java1.4Frontend/TypeAnalysis.jrag at line 283
Aspect: TypeAnalysis

syn boolean isVariable()

Overrides:isVariable in class Expr

Source: Declared in Java1.4Frontend/TypeCheck.jrag at line 15
Aspect: TypeCheck

syn boolean isVarAccessWithAccessor()

Overrides:isVarAccessWithAccessor in class Expr

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 231
Aspect: CreateBCode

syn boolean requiresAccessor()

Source: Declared in Java1.4Backend/InnerClasses.jrag at line 373
Aspect: InnerClasses

syn boolean isEnumConstant()

Overrides:isEnumConstant in class Expr

Source: Declared in Java1.5Frontend/Enums.jrag at line 500
Aspect: Enums

syn java.util.Collection<TypeDecl> throwTypes()

Overrides:throwTypes in class Expr

Source: Declared in Java7Frontend/PreciseRethrow.jrag at line 11
Aspect: PreciseRethrow

syn boolean isVariable(Variable var)

Overrides:isVariable in class Expr

Source: Declared in Java7Frontend/PreciseRethrow.jrag at line 115
Aspect: PreciseRethrow

inh boolean inExplicitConstructorInvocation()

Overrides:inExplicitConstructorInvocation in class Access

Source: Declared in Java1.4Frontend/TypeHierarchyCheck.jrag at line 122
Aspect: TypeHierarchyCheck

Methods

public void flushCache()

Overrides:flushCache in class Access

public void flushCollectionCache()

Overrides:flushCollectionCache in class Access

public VarAccess clone()
                throws java.lang.CloneNotSupportedException

Overrides:clone in class Access

Throws:: java.lang.CloneNotSupportedException

public VarAccess copy()

Overrides:copy in class ASTNode<ASTNode>

public VarAccess fullCopy()

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Overrides:fullCopy in class ASTNode<ASTNode>

Returns:: dangling copy of the subtree at this node

public void definiteAssignment()

Overrides:definiteAssignment in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 94
Aspect: DefiniteAssignment

protected boolean checkDUeverywhere(Variable v)

Overrides:checkDUeverywhere in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 457
Aspect: DA

public void nameCheck()

Overrides:nameCheck in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/NameCheck.jrag at line 182
Aspect: NameCheck

public BodyDecl closestBodyDecl(TypeDecl t)

Source: Declared in Java1.4Frontend/NameCheck.jrag at line 216
Aspect: NameCheck

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/PrettyPrint.jadd at line 453
Aspect: PrettyPrint

public void refined_CodeGeneration_VarAccess_emitStore(CodeGeneration gen)

Source: Declared in Java1.4Backend/CodeGeneration.jrag at line 699
Aspect: CodeGeneration

public void createAssignSimpleLoadDest(CodeGeneration gen)

Overrides:createAssignSimpleLoadDest in class Expr

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 355
Aspect: CreateBCode

public void createPushAssignmentResult(CodeGeneration gen)

Description copied from class: Exprduplicate top value on stack and store below destination element

Overrides:createPushAssignmentResult in class Expr

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 371
Aspect: CreateBCode

public void refined_CreateBCode_VarAccess_createAssignLoadDest(CodeGeneration gen)

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 389
Aspect: CreateBCode

public void refined_CreateBCode_VarAccess_createBCode(CodeGeneration gen)

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 438
Aspect: CreateBCode

protected void createLoadQualifier(CodeGeneration gen)

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 494
Aspect: CreateBCode

public void collectEnclosingVariables(java.util.HashSet set,
                                      TypeDecl typeDecl)

Overrides:collectEnclosingVariables in class ASTNode<ASTNode>

Source: Declared in Java1.4Backend/InnerClasses.jrag at line 162
Aspect: InnerClasses

public void transformation()

Overrides:transformation in class ASTNode<ASTNode>

Source: Declared in Java1.4Backend/Transformations.jrag at line 103
Aspect: Transformations

public void checkModifiers()

Source: Declared in Java1.5Frontend/Annotations.jrag at line 344
Aspect: Annotations

protected void checkEnum(EnumDecl enumDecl)

Overrides:checkEnum in class ASTNode<ASTNode>

Source: Declared in Java1.5Frontend/Enums.jrag at line 461
Aspect: Enums

public void init$Children()

Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:init$Children in class Access

protected int numChildren()

Overrides:numChildren in class Access

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Access

public void setID(java.lang.String value)

Replaces the lexeme ID.

Parameters:: value - The new value for the lexeme ID.

public void setID(beaver.Symbol symbol)

JastAdd-internal setter for lexeme ID using the Beaver parser.

public java.lang.String getID()

Retrieves the value for the lexeme ID.

Returns:: The value for the lexeme ID.

public void emitStore(CodeGeneration gen)

Overrides:emitStore in class Expr

Source: Declared in Java1.5Backend/GenericsCodegen.jrag at line 60
Aspect: GenericsCodegen

public void refined_GenericsCodegen_VarAccess_createAssignLoadDest(CodeGeneration gen)

Source: Declared in Java1.5Backend/GenericsCodegen.jrag at line 73
Aspect: GenericsCodegen

public void refined_GenericsCodegen_VarAccess_createBCode(CodeGeneration gen)

Source: Declared in Java1.5Backend/GenericsCodegen.jrag at line 90
Aspect: GenericsCodegen

protected TypeDecl refined_GenericsCodegen_VarAccess_fieldQualifierType()

Source: Declared in Java1.5Backend/GenericsCodegen.jrag at line 160
Aspect: GenericsCodegen

public void createAssignLoadDest(CodeGeneration gen)

Overrides:createAssignLoadDest in class Expr

Source: Declared in Java7Backend/MultiCatch.jrag at line 49
Aspect: MultiCatch

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source: Declared in Java7Backend/MultiCatch.jrag at line 62
Aspect: MultiCatch

protected TypeDecl fieldQualifierType()

Source: Declared in Java1.5Backend/StaticImportsCodegen.jrag at line 11
Aspect: StaticImportsCodegen

public ASTNode rewriteTo()

Overrides:rewriteTo in class Access

Fields

protected java.lang.String tokenString_ID

public int IDstart

public int IDend

protected int isConstant_visited

protected boolean isConstant_computed

protected boolean isConstant_initialized

protected boolean isConstant_value

protected java.util.Map isDAafter_Variable_values

protected boolean decls_computed

protected SimpleSet decls_value

protected boolean decl_computed

protected Variable decl_value

protected boolean isFieldAccess_computed

protected boolean isFieldAccess_value

protected boolean type_computed

protected TypeDecl type_value

Inherited Members

Methods inherited from class beaver.Symbol

getColumn

getEnd

getId

getLine

getStart

makePosition

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

wait

Fields inherited from AST.Access

Fields inherited from AST.Expr

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

start

value

AST node type VarAccess

General Info

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from AST.Access

Attributes inherited from AST.Expr

Attributes inherited from AST.ASTNode

Methods inherited from class AST.Access

Methods inherited from class AST.Expr

Methods inherited from class AST.ASTNode