public class ArrayInitializer extends JavaNonTerminalProgramElement implements Expression, ExpressionContainer
Modifier and Type | Field and Description |
---|---|
protected ImmutableArray<Expression> |
children |
protected KeYJavaType |
kjt |
Constructor and Description |
---|
ArrayInitializer(Expression[] expressions,
KeYJavaType kjt)
create a new array initializer with the given expressions as elements.
|
ArrayInitializer(ExtList list,
KeYJavaType kjt)
Array initializer.
|
Modifier and Type | Method and Description |
---|---|
ImmutableArray<Expression> |
getArguments()
Get arguments.
|
ProgramElement |
getChildAt(int index)
Returns the child at the specified index in this node's "virtual"
child array.
|
int |
getChildCount()
Returns the number of children of this node.
|
Expression |
getExpressionAt(int index) |
int |
getExpressionCount()
Get the number of expressions in this container.
|
KeYJavaType |
getKeYJavaType(Services javaServ,
ExecutionContext ec)
returns the
KeYJavaType of an expression |
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
protected final ImmutableArray<Expression> children
protected final KeYJavaType kjt
public ArrayInitializer(ExtList list, KeYJavaType kjt)
list
- with all children.
May contain:
several of Expression (as the initializing expression)
Commentspublic ArrayInitializer(Expression[] expressions, KeYJavaType kjt)
expressions
- a list of all contained elementspublic int getChildCount()
NonTerminalProgramElement
getChildCount
in interface NonTerminalProgramElement
public ProgramElement getChildAt(int index)
NonTerminalProgramElement
getChildAt
in interface NonTerminalProgramElement
index
- an index into this node's "virtual" child arraypublic int getExpressionCount()
ExpressionContainer
getExpressionCount
in interface ExpressionContainer
public Expression getExpressionAt(int index)
getExpressionAt
in interface ExpressionContainer
public void visit(Visitor v)
SourceElement
visit
in interface SourceElement
v
- the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.java.io.IOException
- occasionally thrown.public ImmutableArray<Expression> getArguments()
public KeYJavaType getKeYJavaType(Services javaServ, ExecutionContext ec)
Expression
KeYJavaType
of an expressiongetKeYJavaType
in interface Expression