|
| |
|
| de.uka.ilkd.key.java.statement.BranchImp
 de.uka.ilkd.key.java.statement.Default
| Field Summary | |
| final protected ArrayOfStatement | body
Body. |
| body | | final protected ArrayOfStatement body(Code) | | Body.
|
| Default | | public Default()(Code) | | Default.
|
| Default | | public Default(Statement[] body)(Code) | | Default.
Parameters:
body - a statement array. |
| Default | | public Default(ExtList children)(Code) | | Constructor for the transformation of COMPOST ASTs to KeY.
Parameters:
children - the children of this AST element as KeY classes.May contain: Comments,several of Statement (as the statements for Default) |
| getBody | | public ArrayOfStatement getBody()(Code) | | The body may be empty (null), to define a fall-through.
Attaching an
EmptyStatement would create a single ";".
|
| 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 |
| getStatementCount | | public int getStatementCount()(Code) | | Get the number of statements in this container.
the number of statements. |
| 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 |
|
|
|