public class Assert extends JavaStatement implements ExpressionContainer
| Modifier and Type | Field and Description |
|---|---|
private Expression |
condition |
private Expression |
message |
| Constructor and Description |
|---|
Assert(Expression condition,
Expression message,
PositionInfo pos) |
| 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.
|
Expression |
getCondition() |
Expression |
getExpressionAt(int index) |
int |
getExpressionCount()
Get the number of expressions in this container.
|
Expression |
getMessage() |
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildrengetComments, hashCode, prettyPrintMain, reuseSignaturegetEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetComments, matchequalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPositionprivate Expression condition
private Expression message
public Assert(Expression condition, Expression message, PositionInfo pos)
public Expression getExpressionAt(int index)
getExpressionAt in interface ExpressionContainerpublic int getExpressionCount()
ExpressionContainergetExpressionCount in interface ExpressionContainerpublic ProgramElement getChildAt(int index)
NonTerminalProgramElementgetChildAt in interface NonTerminalProgramElementindex - an index into this node's "virtual" child arraypublic int getChildCount()
NonTerminalProgramElementgetChildCount in interface NonTerminalProgramElementpublic void visit(Visitor v)
SourceElementvisit in interface SourceElementv - the Visitorpublic Expression getCondition()
public Expression getMessage()
public void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElementprettyPrint in interface SourceElementprettyPrint in class JavaProgramElementp - a pretty printer.java.io.IOException - occasionally thrown.