ArrayAccess

AST
node type ArrayAccess

General Info

Production

ArrayAccess : Access ::= Expr;

Type Hierarchy:

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

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

Description

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

Constructors

public ArrayAccess()

public ArrayAccess(Expr p0)

Attributes

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Expr

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

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Expr

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

syn boolean isArrayAccess()

Overrides:isArrayAccess in class Expr

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 41
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 280
Aspect: TypeAnalysis

syn boolean isVariable()

Overrides:isVariable in class Expr

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

inh TypeDecl unknownType()

Overrides:unknownType in class Access

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

Methods

public void flushCache()

Overrides:flushCache in class Access

public void flushCollectionCache()

Overrides:flushCollectionCache in class Access

public ArrayAccess clone()
                  throws java.lang.CloneNotSupportedException

Overrides:clone in class Access

Throws:: java.lang.CloneNotSupportedException

public ArrayAccess copy()

Overrides:copy in class ASTNode<ASTNode>

public ArrayAccess 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 toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

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

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

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

public void emitStore(CodeGeneration gen)

Overrides:emitStore in class Expr

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

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 379
Aspect: CreateBCode

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 setExpr(Expr node)

Replaces the Expr child.

Parameters:: node - The new node to replace the Expr child.

public Expr getExpr()

Retrieves the Expr child.

Returns:: The current node used as the Expr child.

public Expr getExprNoTransform()

Retrieves the Expr child.

This method does not invoke AST transformations.

Returns:: The current node used as the Expr child.

public void createAssignSimpleLoadDest(CodeGeneration gen)

Overrides:createAssignSimpleLoadDest in class Expr

Source: Declared in Java1.5Backend/AutoBoxingCodegen.jrag at line 370
Aspect: AutoBoxingCodegen

public void createAssignLoadDest(CodeGeneration gen)

Overrides:createAssignLoadDest in class Expr

Source: Declared in Java1.5Backend/AutoBoxingCodegen.jrag at line 376
Aspect: AutoBoxingCodegen

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source: Declared in Java1.5Backend/AutoBoxingCodegen.jrag at line 363
Aspect: AutoBoxingCodegen

public boolean Define_boolean_isDest(ASTNode caller,
                                     ASTNode child)

Overrides:Define_boolean_isDest in class ASTNode<ASTNode>

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

public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)

Overrides:Define_boolean_isSource in class ASTNode<ASTNode>

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

public java.util.Collection Define_Collection_lookupMethod(ASTNode caller,
                                                           ASTNode child,
                                                           java.lang.String name)

Overrides:Define_Collection_lookupMethod in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 30

public boolean Define_boolean_hasPackage(ASTNode caller,
                                         ASTNode child,
                                         java.lang.String packageName)

Overrides:Define_boolean_hasPackage in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupType.jrag at line 90

public SimpleSet Define_SimpleSet_lookupType(ASTNode caller,
                                             ASTNode child,
                                             java.lang.String name)

Overrides:Define_SimpleSet_lookupType in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupType.jrag at line 255

public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 java.lang.String name)

Overrides:Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupVariable.jrag at line 135

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:Define_NameType_nameType in class ASTNode<ASTNode>

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

public ASTNode rewriteTo()

Overrides:rewriteTo in class Access

Fields

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 ArrayAccess

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