| java.lang.Object
 de.uka.ilkd.key.java.JavaSourceElement
de.uka.ilkd.key.java.JavaProgramElement
de.uka.ilkd.key.java.JavaNonTerminalProgramElement
de.uka.ilkd.key.java.expression.ArrayInitializer
| ArrayInitializer | | public class ArrayInitializer extends JavaNonTerminalProgramElement implements Expression,ExpressionContainer(Code) | | An ArrayInitializer is a valid expression exclusively for initializing
ArrayTypes. Any other expressions are suited for any expression node.
These rules could have been expressed by appropriate types, but these
solutions would require a couple of new interfaces which did not seem
adequate.
The parent expression is either another ArrayInitializer (nested blocks)
or a VariableDeclaration.
|
| Field Summary | |
| final protected ArrayOfExpression | children
Children. |
| children | | final protected ArrayOfExpression children(Code) | | Children.
|
| ArrayInitializer | | public ArrayInitializer(ExtList list)(Code) | | Array initializer.
Parameters:
list - with all children.May contain: several of Expression (as the initializing expression)Comments |
| getArguments | | public ArrayOfExpression getArguments()(Code) | | Get arguments.
the wrapped argument array |
| getChildAt | | public ProgramElement getChildAt(int index)(Code) | | Returns the child at the specified index in this node's "virtual"
child array
Parameters:
index - an index into this node's "virtual" child array the program element at the given position
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds |
| getChildCount | | public int getChildCount()(Code) | | Returns the number of children of this node.
an int giving the number of children of this node |
| getExpressionCount | | public int getExpressionCount()(Code) | | Get the number of expressions in this container.
the number of expressions. |
| visit | | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters:
v - the Visitor |
|
|