public class EfsmWalker
extends java.lang.Object
Constructor and Description |
---|
EfsmWalker(EfsmVisitor visitor)
Constructs an EFSM walker for the specified visitor.
|
Modifier and Type | Method and Description |
---|---|
void |
start(Efsm efsm)
Performs walking across the specified EFSM.
|
void |
visitAssignment(Assignment assignment)
Visits the specified assignment.
|
void |
visitAssignmentAction(Action action)
Visits the specified assignment action.
|
void |
visitEvent(Event event)
Visits the specified event.
|
void |
visitExpression(ru.ispras.fortress.expression.Node expression)
Visits the specified expression.
|
void |
visitGuard(Guard guard)
Visits the specified guard.
|
void |
visitGuardedAction(GuardedAction guardedAction)
Visits the specified guarded action.
|
void |
visitState(EfsmState state)
Visits the specified state.
|
void |
visitTransition(EfsmTransition transition)
Visits the specified transition.
|
public EfsmWalker(EfsmVisitor visitor)
visitor
- the visitorjava.lang.IllegalArgumentException
- if visitor
is null
public void start(Efsm efsm)
efsm
- the EFSM to be walked acrossjava.lang.IllegalArgumentException
- if efsm
is null
public void visitState(EfsmState state)
state
- the state to be visitedjava.lang.IllegalArgumentException
- if state
is null
public void visitExpression(ru.ispras.fortress.expression.Node expression)
expression
- the expression to be visitedpublic void visitTransition(EfsmTransition transition)
transition
- the transition to be visited.java.lang.IllegalArgumentException
- if transition
is null
.public void visitGuardedAction(GuardedAction guardedAction)
guardedAction
- the guarded action to be visitedjava.lang.IllegalArgumentException
- if guardedAction
is null
public void visitGuard(Guard guard)
guard
- the guard to be visitedjava.lang.IllegalArgumentException
- if guard
is null
public void visitEvent(Event event)
event
- the event to be visitedjava.lang.IllegalArgumentException
- if event
is null
public void visitAssignmentAction(Action action)
action
- the assignment action to be visitedjava.lang.IllegalArgumentException
- if action
is null
public void visitAssignment(Assignment assignment)
assignment
- the assignment to be visitedjava.lang.IllegalArgumentException
- if assignment
is null