public interface EfsmVisitor extends ModelVisitor
Efsm
,
EfsmDfsWalker
ModelVisitor.Status
Modifier and Type | Method and Description |
---|---|
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 |
setStatus(ModelVisitor.Status status)
Sets internal status field to the specified value.
|
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
void 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 setStatus(ModelVisitor.Status status)
status
- The status value to be set.