public abstract class IfThenElseExpression extends ExpressionBase
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
elseKeyword |
static java.lang.String |
elsifKeyword |
static java.lang.String |
endifKeyword |
static java.lang.String |
ifKeyword |
static java.lang.String |
thenKeyword |
| 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.
|
Formula |
getCondition()
Get condition.
|
Expression |
getElseBranch()
Get "else" branch.
|
Expression |
getThenBranch()
Get "then" branch.
|
getPosition, getPrecedence, isLeftAssociative, isRightAssociative, setPositionaccept, accept, print, printCore, toString, toStringCoreequals, getClass, hashCode, notify, notifyAll, wait, wait, waitprint, printCore, toString, toStringCorepublic static final java.lang.String ifKeyword
public static final java.lang.String thenKeyword
public static final java.lang.String elsifKeyword
public static final java.lang.String elseKeyword
public static final java.lang.String endifKeyword
public Formula getCondition()
public Expression getThenBranch()
public Expression getElseBranch()
public void accept(ASTVisitorOld visitor)
accept in interface ASTaccept in class ExpressionBasevisitor - the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept in interface ASTaccept in class ExpressionBasevisitor - the visitor who is accepted by this node.public void acceptChildren(ASTVisitor visitor)
acceptChildren in interface ASTacceptChildren in class ASTBasevisitor - the visitor who is accepted by this node.