public class EfsmEmptyVisitor extends ModelEmptyVisitor implements EfsmVisitor
Does nothing on every sub-component of EfsmModel.
EfsmVisitor
,
EfsmModel
ModelVisitor.Status
Constructor and Description |
---|
EfsmEmptyVisitor() |
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public 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 setStatus(ModelVisitor.Status status)
EfsmVisitor
setStatus
in interface EfsmVisitor
status
- The status value to be set.