public interface EfsmVisitor
Efsm
,
EfsmWalker
Modifier and Type | Method and Description |
---|---|
void |
onAssignmentActionBegin(Action action)
Indicates that processing of the specified assignment action has been started.
|
void |
onAssignmentActionEnd(Action action)
Indicates that processing of the specified assignment action has been finished.
|
void |
onAssignmentBegin(Assignment statement)
Indicates that processing of the specified assign statement has been started.
|
void |
onAssignmentEnd(Assignment statement)
Indicates that processing of the specified assign statement has been finished.
|
void |
onEfsmBegin(Efsm efsm)
Indicates that processing of the specified EFSM has been started.
|
void |
onEfsmEnd(Efsm efsm)
Indicates that processing of the specified EFSM has been finished.
|
void |
onEvent(Event event)
Indicates encounter of the specified event.
|
void |
onExpression(ru.ispras.fortress.expression.Node expression)
Indicates that processing of the specified expression has been started.
|
void |
onGuardBegin(Guard guard)
Indicates that processing of the specified guard has been started.
|
void |
onGuardedActionBegin(GuardedAction guardedAction)
Indicates that processing of the specified guarded action has been started.
|
void |
onGuardedActionEnd(GuardedAction guardedAction)
Indicates that processing of the specified guarded action has been finished.
|
void |
onGuardEnd(Guard guard)
Indicates that processing of the specified guard has been finished.
|
void |
onStateBegin(EfsmState state)
Indicates that processing of the specified EFSM state has been started.
|
void |
onStateEnd(EfsmState state)
Indicates that processing of the specified EFSM state has been finished.
|
void |
onTransitionBegin(EfsmTransition transition)
Indicates that processing of the specified EFSM transition has been started.
|
void |
onTransitionEnd(EfsmTransition transition)
Indicates that processing of the specified EFSM transition has been finished.
|
void onEfsmBegin(Efsm efsm)
efsm
- the processed EFSMvoid onEfsmEnd(Efsm efsm)
efsm
- the processed EFSMvoid onStateBegin(EfsmState state)
state
- the processed EFSM statevoid onStateEnd(EfsmState state)
state
- the processed EFSM statevoid onTransitionBegin(EfsmTransition transition)
transition
- the processed EFSM transitionvoid onTransitionEnd(EfsmTransition transition)
transition
- the processed EFSM transitionvoid onGuardedActionBegin(GuardedAction guardedAction)
guardedAction
- the processed guarded actionvoid onGuardedActionEnd(GuardedAction guardedAction)
guardedAction
- the processed guarded actionvoid onEvent(Event event)
event
- the encountered eventvoid onGuardBegin(Guard guard)
guard
- the processed guardvoid onGuardEnd(Guard guard)
guard
- the processed guardvoid onAssignmentActionBegin(Action action)
action
- the processed assignment actionvoid onAssignmentActionEnd(Action action)
action
- the processed assignment actionvoid onAssignmentBegin(Assignment statement)
statement
- the processed assign statementvoid onAssignmentEnd(Assignment statement)
statement
- the processed assign statementvoid onExpression(ru.ispras.fortress.expression.Node expression)
expression
- the processed expression