ArrayCreationExpr

AST
node type ArrayCreationExpr

General Info

Production

ArrayCreationExpr : PrimaryExpr ::= TypeAccess:Access [ArrayInit];

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.PrimaryExpr
                  AST.ArrayCreationExpr

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

Description

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

Constructors

public ArrayCreationExpr()

public ArrayCreationExpr(Access p0,
                         Opt<ArrayInit> p1)

Attributes

syn boolean isDAafterCreation(Variable v)

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

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Expr

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

syn boolean isDUafterCreation(Variable v)

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

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Expr

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

syn TypeDecl type()

Specified by:type in class Expr

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

syn int numArrays()

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

Methods

public void flushCache()

Overrides:flushCache in class PrimaryExpr

public void flushCollectionCache()

Overrides:flushCollectionCache in class PrimaryExpr

public ArrayCreationExpr clone()
                        throws java.lang.CloneNotSupportedException

Overrides:clone in class PrimaryExpr

Throws:: java.lang.CloneNotSupportedException

public ArrayCreationExpr copy()

Overrides:copy in class ASTNode<ASTNode>

public ArrayCreationExpr 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 356
Aspect: PrettyPrint

public void init$Children()

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

Overrides:init$Children in class PrimaryExpr

protected int numChildren()

Overrides:numChildren in class PrimaryExpr

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class PrimaryExpr

public void setTypeAccess(Access node)

Replaces the TypeAccess child.

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

public Access getTypeAccess()

Retrieves the TypeAccess child.

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

public Access getTypeAccessNoTransform()

Retrieves the TypeAccess child.

This method does not invoke AST transformations.

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

public void setArrayInitOpt(Opt<ArrayInit> opt)

Replaces the optional node for the ArrayInit child. This is the Opt node containing the child ArrayInit, not the actual child!

Parameters:: opt - The new node to be used as the optional node for the ArrayInit child.

public boolean hasArrayInit()

Check whether the optional ArrayInit child exists.

Returns:: true if the optional ArrayInit child exists, false if it does not.

public ArrayInit getArrayInit()

Retrieves the (optional) ArrayInit child.

Returns:: The ArrayInit child, if it exists. Returns null otherwise.

public void setArrayInit(ArrayInit node)

Replaces the (optional) ArrayInit child.

Parameters:: node - The new node to be used as the ArrayInit child.

public Opt<ArrayInit> getArrayInitOpt()

public Opt<ArrayInit> getArrayInitOptNoTransform()

Retrieves the optional node for child ArrayInit. This is the Opt node containing the child ArrayInit, not the actual child!

This method does not invoke AST transformations.

Returns:: The optional node for child ArrayInit.

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

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

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDAbefore in class ASTNode<ASTNode>

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

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDUbefore in class ASTNode<ASTNode>

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

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 87

public TypeDecl Define_TypeDecl_declType(ASTNode caller,
                                         ASTNode child)

Overrides:Define_TypeDecl_declType in class ASTNode<ASTNode>

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

public TypeDecl Define_TypeDecl_expectedType(ASTNode caller,
                                             ASTNode child)

Overrides:Define_TypeDecl_expectedType in class ASTNode<ASTNode>

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

public ASTNode rewriteTo()

Overrides:rewriteTo in class PrimaryExpr

Fields

protected boolean type_computed

protected TypeDecl type_value

protected boolean numArrays_computed

protected int numArrays_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.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 ArrayCreationExpr