org.walkmod.javalang.ast.expr

Class ArrayCreationExpr

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.expr.Expression

org.walkmod.javalang.ast.expr.ArrayCreationExpr

All Implemented Interfaces:

Serializable, Cloneable, SymbolDataAware<SymbolData>, org.walkmod.modelchecker.ConstrainedElement

public final class ArrayCreationExpr
extends Expression

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ArrayCreationExpr()
ArrayCreationExpr(int beginLine, int beginColumn, int endLine, int endColumn, Type type, int arrayCount, ArrayInitializerExpr initializer)
ArrayCreationExpr(int beginLine, int beginColumn, int endLine, int endColumn, Type type, List<Expression> dimensions, int arrayCount)
ArrayCreationExpr(int beginLine, int beginColumn, int endLine, int endColumn, Type type, List<Expression> dimensions, int arrayCount, List<List<AnnotationExpr>> arraysAnnotations)
ArrayCreationExpr(Type type, int arrayCount, ArrayInitializerExpr initializer)
ArrayCreationExpr(Type type, int arrayCount, ArrayInitializerExpr initializer, List<List<AnnotationExpr>> arraysAnnotations)
ArrayCreationExpr(Type type, List<Expression> dimensions, int arrayCount)
ArrayCreationExpr(Type type, List<Expression> dimensions, int arrayCount, List<List<AnnotationExpr>> arraysAnnotations)

Method Summary

Modifier and Type	Method and Description
<R,A> R	accept(GenericVisitor<R,A> v, A arg) Accept method for visitor support.
<A> void	accept(VoidVisitor<A> v, A arg) Accept method for visitor support.
ArrayCreationExpr	clone()
int	getArrayCount()
List<List<AnnotationExpr>>	getArraysAnnotations()
List<Node>	getChildren()
List<Expression>	getDimensions()
ArrayInitializerExpr	getInitializer()
Type	getType()
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setArrayCount(int arrayCount)
void	setArraysAnnotations(List<List<AnnotationExpr>> arraysAnnotations)
void	setDimensions(List<Expression> dimensions)
void	setInitializer(ArrayInitializerExpr initializer)
void	setType(Type type)

Methods inherited from class org.walkmod.javalang.ast.expr.Expression

getSymbolData, setSymbolData

Methods inherited from class org.walkmod.javalang.ast.Node

check, clone, clone, contains, diableConstraints, enableConstraints, equals, getBeginColumn, getBeginLine, getCommonAncestor, getConstraints, getData, getEndColumn, getEndLine, getParentNode, getPrettySource, getPrettySource, hashCode, isAncestorOf, isInEqualLocation, isNewNode, isPreviousThan, remove, replaceChildNodeInList, setAsParentNodeOf, setAsParentNodeOf, setBeginColumn, setBeginLine, setConstraints, setData, setEndColumn, setEndLine, toString, updateReferences

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ArrayCreationExpr

public ArrayCreationExpr()

ArrayCreationExpr

public ArrayCreationExpr(Type type,
                         int arrayCount,
                         ArrayInitializerExpr initializer)

ArrayCreationExpr

public ArrayCreationExpr(Type type,
                         int arrayCount,
                         ArrayInitializerExpr initializer,
                         List<List<AnnotationExpr>> arraysAnnotations)

ArrayCreationExpr

public ArrayCreationExpr(int beginLine,
                         int beginColumn,
                         int endLine,
                         int endColumn,
                         Type type,
                         int arrayCount,
                         ArrayInitializerExpr initializer)

ArrayCreationExpr

public ArrayCreationExpr(Type type,
                         List<Expression> dimensions,
                         int arrayCount)

ArrayCreationExpr

public ArrayCreationExpr(Type type,
                         List<Expression> dimensions,
                         int arrayCount,
                         List<List<AnnotationExpr>> arraysAnnotations)

ArrayCreationExpr

public ArrayCreationExpr(int beginLine,
                         int beginColumn,
                         int endLine,
                         int endColumn,
                         Type type,
                         List<Expression> dimensions,
                         int arrayCount)

ArrayCreationExpr

public ArrayCreationExpr(int beginLine,
                         int beginColumn,
                         int endLine,
                         int endColumn,
                         Type type,
                         List<Expression> dimensions,
                         int arrayCount,
                         List<List<AnnotationExpr>> arraysAnnotations)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class Expression

accept

public <R,A> R accept(GenericVisitor<R,A> v,
                      A arg)

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

Type Parameters:

R - the type the return value of the visitor

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

Returns:

the result of the visit

accept

public <A> void accept(VoidVisitor<A> v,
                       A arg)

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

Type Parameters:

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

getArrayCount

public int getArrayCount()

getDimensions

public List<Expression> getDimensions()

getInitializer

public ArrayInitializerExpr getInitializer()

getType

public Type getType()

setArrayCount

public void setArrayCount(int arrayCount)

setDimensions

public void setDimensions(List<Expression> dimensions)

setInitializer

public void setInitializer(ArrayInitializerExpr initializer)

setType

public void setType(Type type)

getArraysAnnotations

public List<List<AnnotationExpr>> getArraysAnnotations()

setArraysAnnotations

public void setArraysAnnotations(List<List<AnnotationExpr>> arraysAnnotations)

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

clone

public ArrayCreationExpr clone()
                        throws CloneNotSupportedException

Specified by:

clone in class Expression

Throws:

CloneNotSupportedException