public abstract class LabelJumpStatement extends JumpStatement implements NameReference
Constructor and Description |
---|
LabelJumpStatement()
Label jump statement.
|
LabelJumpStatement(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
LabelJumpStatement(Label label)
Label jump statement.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Label |
getLabel()
Get Label.
|
java.lang.String |
getName()
Get name.
|
ProgramElementName |
getProgramElementName()
Get identifier.
|
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrint, 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, prettyPrint, visit
protected final Label name
public LabelJumpStatement()
public LabelJumpStatement(Label label)
label
- the Label of this jump statementpublic LabelJumpStatement(ExtList children)
children
- the children of this AST element as KeY classes.public final java.lang.String getName()
getName
in interface NamedModelElement
public Label getLabel()
public ProgramElementName getProgramElementName()
getProgramElementName
in interface NamedProgramElement
public int getChildCount()
getChildCount
in interface NonTerminalProgramElement
public ProgramElement getChildAt(int index)
getChildAt
in interface NonTerminalProgramElement
index
- an index into this node's "virtual" child arrayjava.lang.ArrayIndexOutOfBoundsException
- if index is out
of bounds