public abstract class JavaStatement extends JavaNonTerminalProgramElement implements Statement
Constructor and Description |
---|
JavaStatement()
Java statement.
|
JavaStatement(ExtList children)
Java statement.
|
JavaStatement(ExtList children,
PositionInfo pos) |
JavaStatement(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
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
getChildAt, getChildCount
public JavaStatement()
public JavaStatement(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Commentspublic JavaStatement(ExtList children, PositionInfo pos)
public JavaStatement(PositionInfo pos)