public class EfsmGraphMlVisitor extends EfsmModelDefaultVisitor
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 |
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 |
onEfsmModuleBegin(EfsmModule efsmContainer)
Indicates that a walker has started walking across the specified EFSM module.
|
void |
onEfsmModuleEnd(EfsmModule efsmContainer)
Indicates that a walker has finished walking across the specified EFSM module.
|
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.
|
onAssignmentActionBegin, onAssignmentActionEnd, onAssignmentBegin, onAssignmentEnd, onEvent, onExpression, onGuardBegin, onGuardedActionBegin, onGuardedActionEnd, onGuardEnd, onTransitionEnd
public void initFile(java.lang.String fileName)
fileName
- file namepublic void onEfsmBegin(Efsm efsm)
EfsmVisitor
onEfsmBegin
in interface EfsmVisitor
onEfsmBegin
in class EfsmModelDefaultVisitor
efsm
- the processed EFSMpublic void onEfsmEnd(Efsm efsm)
EfsmVisitor
onEfsmEnd
in interface EfsmVisitor
onEfsmEnd
in class EfsmModelDefaultVisitor
efsm
- the processed EFSMpublic void onStateBegin(EfsmState state)
EfsmVisitor
onStateBegin
in interface EfsmVisitor
onStateBegin
in class EfsmModelDefaultVisitor
state
- the processed EFSM statepublic void onStateEnd(EfsmState state)
EfsmVisitor
onStateEnd
in interface EfsmVisitor
onStateEnd
in class EfsmModelDefaultVisitor
state
- the processed EFSM statepublic void onTransitionBegin(EfsmTransition transition)
EfsmVisitor
onTransitionBegin
in interface EfsmVisitor
onTransitionBegin
in class EfsmModelDefaultVisitor
transition
- the processed EFSM transitionpublic void onEfsmModelBegin(EfsmModel efsmModel)
EfsmModelVisitor
onEfsmModelBegin
in interface EfsmModelVisitor
onEfsmModelBegin
in class EfsmModelDefaultVisitor
efsmModel
- the visited EFSM modelpublic void onEfsmModelEnd(EfsmModel efsmModel)
EfsmModelVisitor
onEfsmModelEnd
in interface EfsmModelVisitor
onEfsmModelEnd
in class EfsmModelDefaultVisitor
efsmModel
- the visited EFSM modelpublic void onEfsmModuleBegin(EfsmModule efsmContainer)
EfsmModuleVisitor
onEfsmModuleBegin
in interface EfsmModuleVisitor
onEfsmModuleBegin
in class EfsmModelDefaultVisitor
efsmContainer
- the visited EFSM modulepublic void onEfsmModuleEnd(EfsmModule efsmContainer)
EfsmModuleVisitor
onEfsmModuleEnd
in interface EfsmModuleVisitor
onEfsmModuleEnd
in class EfsmModelDefaultVisitor
efsmContainer
- the visited EFSM module