public abstract class BranchImp extends JavaNonTerminalProgramElement implements Branch
Constructor and Description |
---|
BranchImp() |
BranchImp(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
BranchImp(ExtList children,
PositionInfo pos) |
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
getStatementAt, getStatementCount
getChildAt, getChildCount
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
public BranchImp(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Commentspublic BranchImp()
public BranchImp(ExtList children, PositionInfo pos)