public final class StateThrowsException extends PostfixFormula
precedence
operator
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 StateThrowsException |
construct(Term arg,
Name exception)
Construct the statement that a state throws a particular exception
|
Name |
getException()
Get the name of the exception.
|
getArgument, getPrecedence
getIdentifier
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
isLeftAssociative, isRightAssociative
getPosition, setPosition
print, printCore, toString, toStringCore
public static StateThrowsException construct(Term arg, Name exception)
arg
- the argument denoting the state.exception
- the name of the exception.public Name getException()
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class PostfixApplication
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class PostfixFormula
visitor
- the visitor who is accepted by this node.public void acceptChildren(ASTVisitor visitor)
acceptChildren
in interface AST
acceptChildren
in class PostfixApplication
visitor
- the visitor who is accepted by the children of this node.