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
public void onModelEnd(Model efsmModel)
ModelVisitor
Model
object.onModelEnd
in interface ModelVisitor
onModelEnd
in class ModelEmptyVisitor
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.