public abstract class JumpStatement extends JavaStatement
Constructor and Description |
---|
JumpStatement()
Jump statement.
|
JumpStatement(ExtList children)
Jump statement.
|
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
getChildAt, getChildCount
public JumpStatement(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Commentspublic JumpStatement()