public class EfsmGraphMlVisitor extends EfsmEmptyVisitor
ModelVisitor.Status
Constructor and Description |
---|
EfsmGraphMlVisitor()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
initFile(java.lang.String fileName)
Create GraphML file with the specified name.
|
void |
onModelBegin(Model efsmModel)
Starts visiting
Model object. |
void |
onModelEnd(Model efsmModel)
Finishes visiting
Model object. |
void |
onModuleBegin(Module efsmContainer)
Starts visiting
Module node. |
void |
onModuleEnd(Module efsmContainer)
Finishes visiting
Module node. |
void |
onProcessBegin(ModuleProcess efsm)
Starts visiting
ModuleProcess node. |
void |
onProcessEnd(ModuleProcess efsm)
Finishes visiting
ModuleProcess node. |
void |
onStateBegin(EfsmState state)
Indicates that processing of the specified EFSM state has been started.
|
void |
onTransitionBegin(EfsmTransition transition)
Indicates that processing of the specified EFSM transition has been started.
|
onStateEnd, onTransitionEnd, setStatus
getStatus, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public void initFile(java.lang.String fileName)
fileName
- file namepublic void onProcessBegin(ModuleProcess efsm)
ModelVisitor
ModuleProcess
node.onProcessBegin
in interface ModelVisitor
onProcessBegin
in class ModelEmptyVisitor
efsm
- Process node to be visited.public void onProcessEnd(ModuleProcess efsm)
ModelVisitor
ModuleProcess
node.onProcessEnd
in interface ModelVisitor
onProcessEnd
in class ModelEmptyVisitor
efsm
- Process node to be visited.public void onStateBegin(EfsmState state)
EfsmVisitor
onStateBegin
in interface EfsmVisitor
onStateBegin
in class EfsmEmptyVisitor
state
- the processed EFSM statepublic void onTransitionBegin(EfsmTransition transition)
EfsmVisitor
onTransitionBegin
in interface EfsmVisitor
onTransitionBegin
in class EfsmEmptyVisitor
transition
- the processed EFSM transitionpublic void onModelBegin(Model efsmModel)
ModelVisitor
Model
object.onModelBegin
in interface ModelVisitor
onModelBegin
in class ModelEmptyVisitor
efsmModel
- The model to be visited.public void onModelEnd(Model efsmModel)
ModelVisitor
Model
object.onModelEnd
in interface ModelVisitor
onModelEnd
in class ModelEmptyVisitor
efsmModel
- The model to be visited.public void onModuleBegin(Module efsmContainer)
ModelVisitor
Module
node.onModuleBegin
in interface ModelVisitor
onModuleBegin
in class ModelEmptyVisitor
efsmContainer
- Module node to be visited.public void onModuleEnd(Module efsmContainer)
ModelVisitor
Module
node.onModuleEnd
in interface ModelVisitor
onModuleEnd
in class ModelEmptyVisitor
efsmContainer
- Module node to be visited.