public class Default extends BranchImp
| Modifier and Type | Field and Description |
|---|---|
protected ImmutableArray<Statement> |
body
Body.
|
| Constructor and Description |
|---|
Default()
Default.
|
Default(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Default(Statement[] body)
Default.
|
| Modifier and Type | Method and Description |
|---|---|
ImmutableArray<Statement> |
getBody()
The body may be empty (null), to define a fall-through.
|
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.
|
Statement |
getStatementAt(int index) |
int |
getStatementCount()
Get the number of statements in this container.
|
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, matchChildrengetComments, hashCode, prettyPrintMain, reuseSignaturegetEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetComments, matchequalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPositionprotected final ImmutableArray<Statement> body
public Default()
public Default(Statement[] body)
body - a statement array.public Default(ExtList children)
children - the children of this AST element as KeY classes.
May contain: Comments,
several of Statement (as the statements for Default)public int getChildCount()
public ProgramElement getChildAt(int index)
index - an index into this node's "virtual" child arrayjava.lang.ArrayIndexOutOfBoundsException - if index is out
of boundspublic int getStatementCount()
public Statement getStatementAt(int index)
public ImmutableArray<Statement> getBody()
EmptyStatement would create a single ";".public void visit(Visitor v)
v - the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElementprettyPrint in interface SourceElementprettyPrint in class JavaProgramElementp - a pretty printer.java.io.IOException - occasionally thrown.