ArrayInit

AST
node type ArrayInit

General Info

Production

ArrayInit : Expr ::= Init:Expr*;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.ArrayInit

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

Description

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

Constructors

public ArrayInit()

public ArrayInit(List<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 computeDABefore(int childIndex,
                        Variable v)

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 502
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 computeDUbefore(int childIndex,
                        Variable v)

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

syn TypeDecl type()

Specified by:type in class Expr

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

inh TypeDecl declType()

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

inh TypeDecl expectedType()

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

Methods

public void flushCache()

Overrides:flushCache in class Expr

public void flushCollectionCache()

Overrides:flushCollectionCache in class Expr

public ArrayInit clone()
                throws java.lang.CloneNotSupportedException

Overrides:clone in class Expr

Throws:: java.lang.CloneNotSupportedException

public ArrayInit copy()

Overrides:copy in class ASTNode<ASTNode>

public ArrayInit 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 221
Aspect: PrettyPrint

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

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

public void init$Children()

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

Overrides:init$Children in class Expr

protected int numChildren()

Overrides:numChildren in class Expr

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Expr

public void setInitList(List<Expr> list)

Replaces the Init list.

Parameters:: list - The new list node to be used as the Init list.

public int getNumInit()

Retrieves the number of children in the Init list.

Returns:: Number of children in the Init list.

public int getNumInitNoTransform()

Retrieves the number of children in the Init list. Calling this method will not trigger rewrites..

Returns:: Number of children in the Init list.

public Expr getInit(int i)

Retrieves the element at index i in the Init list..

Parameters:: i - Index of the element to return.
Returns:: The element at position i in the Init list.

public void addInit(Expr node)

Append an element to the Init list.

Parameters:: node - The element to append to the Init list.

public void addInitNoTransform(Expr node)

public void setInit(Expr node,
                    int i)

Replaces the Init list element at index i with the new node node.

Parameters:: node - The new node to replace the old list element.; i - The list index of the node to be replaced.

public List<Expr> getInits()

Retrieves the Init list.

Returns:: The node representing the Init list.

public List<Expr> getInitsNoTransform()

Retrieves the Init list.

This method does not invoke AST transformations.

Returns:: The node representing the Init list.

public List<Expr> getInitList()

Retrieves the Init list.

Returns:: The node representing the Init list.

public List<Expr> getInitListNoTransform()

Retrieves the Init list.

This method does not invoke AST transformations.

Returns:: The node representing the Init list.

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

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

public boolean representableIn(TypeDecl t)

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 42

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 500

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 883

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 263

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 70

public TypeDecl Define_TypeDecl_assignConvertedType(ASTNode caller,
                                                    ASTNode child)

Overrides:Define_TypeDecl_assignConvertedType in class ASTNode<ASTNode>

Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 37

public ASTNode rewriteTo()

Overrides:rewriteTo in class Expr

Fields

protected java.util.Map computeDABefore_int_Variable_values

protected java.util.Map computeDUbefore_int_Variable_values

protected boolean type_computed

protected TypeDecl type_value

protected boolean declType_computed

protected TypeDecl declType_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 ArrayInit

General Info

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from AST.Expr

Attributes inherited from AST.ASTNode

Methods inherited from class AST.Expr

Methods inherited from class AST.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Fields inherited from AST.Expr

Fields inherited from AST.ASTNode

Fields inherited from beaver.Symbol

AST
node type ArrayInit