public final class AssertionStatement extends StatementBase
Modifier and Type | Field and Description |
---|---|
ValueExpression |
cond |
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
void |
accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
acceptChildren(ASTVisitor visitor)
Accept visitor for a visit to the children of this node.
|
static AssertionStatement |
construct(ValueExpression cond)
Construct a assertion statement.
|
java.lang.String |
getKind()
Get type of statement.
|
getAnnotation, getJudgement, setAnnotation, setJudgement
getPosition, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPosition, setPosition
print, printCore, toString, toStringCore
public final ValueExpression cond
public static AssertionStatement construct(ValueExpression cond)
cond
- the assertion conditionpublic void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class StatementBase
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class StatementBase
visitor
- the visitor who is accepted by this node.public void acceptChildren(ASTVisitor visitor)
acceptChildren
in interface AST
acceptChildren
in class StatementBase
visitor
- the visitor who is accepted by the children of this node.public java.lang.String getKind()