public class EfsmGraphMlVisitor extends java.lang.Object implements EfsmModelVisitor
Constructor and Description |
---|
EfsmGraphMlVisitor() |
Modifier and Type | Method and Description |
---|---|
void |
initialize(java.lang.String string) |
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 |
onEfsmModelBegin(EfsmModel efsmModel)
Indicates that a walker has started walking across the specified EFSM model.
|
void |
onEfsmModelEnd(EfsmModel efsmModel)
Indicates that a walker has finished walking across the specified EFSM model.
|
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.
|
public void onEfsmBegin(Efsm efsm)
EfsmVisitor
onEfsmBegin
in interface EfsmVisitor
efsm
- the processed EFSMpublic void onEfsmEnd(Efsm efsm)
EfsmVisitor
onEfsmEnd
in interface EfsmVisitor
efsm
- the processed EFSMpublic void onStateBegin(EfsmState state)
EfsmVisitor
onStateBegin
in interface EfsmVisitor
state
- the processed EFSM statepublic void onStateEnd(EfsmState state)
EfsmVisitor
onStateEnd
in interface EfsmVisitor
state
- the processed EFSM statepublic void onTransitionBegin(EfsmTransition transition)
EfsmVisitor
onTransitionBegin
in interface EfsmVisitor
transition
- the processed EFSM transitionpublic void onTransitionEnd(EfsmTransition transition)
EfsmVisitor
onTransitionEnd
in interface EfsmVisitor
transition
- the processed EFSM transitionpublic void onGuardedActionBegin(GuardedAction guardedAction)
EfsmVisitor
onGuardedActionBegin
in interface EfsmVisitor
guardedAction
- the processed guarded actionpublic void onGuardedActionEnd(GuardedAction guardedAction)
EfsmVisitor
onGuardedActionEnd
in interface EfsmVisitor
guardedAction
- the processed guarded actionpublic void onEvent(Event event)
EfsmVisitor
onEvent
in interface EfsmVisitor
event
- the encountered eventpublic void onGuardBegin(Guard guard)
EfsmVisitor
onGuardBegin
in interface EfsmVisitor
guard
- the processed guardpublic void onGuardEnd(Guard guard)
EfsmVisitor
onGuardEnd
in interface EfsmVisitor
guard
- the processed guardpublic void onAssignmentActionBegin(Action action)
EfsmVisitor
onAssignmentActionBegin
in interface EfsmVisitor
action
- the processed assignment actionpublic void onAssignmentActionEnd(Action action)
EfsmVisitor
onAssignmentActionEnd
in interface EfsmVisitor
action
- the processed assignment actionpublic void onAssignmentBegin(Assignment statement)
EfsmVisitor
onAssignmentBegin
in interface EfsmVisitor
statement
- the processed assign statementpublic void onAssignmentEnd(Assignment statement)
EfsmVisitor
onAssignmentEnd
in interface EfsmVisitor
statement
- the processed assign statementpublic void onExpression(ru.ispras.fortress.expression.Node expression)
EfsmVisitor
onExpression
in interface EfsmVisitor
expression
- the processed expressionpublic void initialize(java.lang.String string)
public void onEfsmModelBegin(EfsmModel efsmModel)
EfsmModelVisitor
onEfsmModelBegin
in interface EfsmModelVisitor
efsmModel
- the visited EFSM modelpublic void onEfsmModelEnd(EfsmModel efsmModel)
EfsmModelVisitor
onEfsmModelEnd
in interface EfsmModelVisitor
efsmModel
- the visited EFSM model