public abstract class BranchStatement extends JavaStatement implements NonTerminalProgramElement
Constructor and Description |
---|
BranchStatement() |
BranchStatement(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
abstract Branch |
getBranchAt(int index) |
abstract int |
getBranchCount()
Get the number of branches in this container.
|
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
getChildAt, getChildCount
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
public BranchStatement()
public BranchStatement(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Commentspublic abstract int getBranchCount()
public abstract Branch getBranchAt(int index)