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, matchChildren
getComments, hashCode, 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
private Expression condition
private Expression message
public Assert(Expression condition, Expression message, PositionInfo pos)
public Expression getExpressionAt(int index)
getExpressionAt
in interface ExpressionContainer
public int getExpressionCount()
ExpressionContainer
getExpressionCount
in interface ExpressionContainer
public ProgramElement getChildAt(int index)
NonTerminalProgramElement
getChildAt
in interface NonTerminalProgramElement
index
- an index into this node's "virtual" child arraypublic int getChildCount()
NonTerminalProgramElement
getChildCount
in interface NonTerminalProgramElement
public void visit(Visitor v)
SourceElement
visit
in interface SourceElement
v
- the Visitorpublic Expression getCondition()
public Expression getMessage()
public void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.java.io.IOException
- occasionally thrown.