public class EfsmTransitionPropertyVisitor extends EfsmEmptyVisitor
EfsmTransitionPropertyExtractor
ModelVisitor.Status
Constructor and Description |
---|
EfsmTransitionPropertyVisitor() |
Modifier and Type | Method and Description |
---|---|
PropertyEntity |
getOutput()
Returns object's output.
|
void |
onModelBegin(Model efsmModel)
Starts visiting
Model object. |
void |
onModuleBegin(Module efsmModule)
Starts visiting
Module node. |
void |
onModuleEnd(Module efsmModule)
Finishes visiting
Module node. |
void |
onProcessBegin(ModuleProcess process)
Starts visiting
ModuleProcess node. |
void |
onProcessEnd(ModuleProcess process)
Finishes visiting
ModuleProcess node. |
void |
onTransitionBegin(EfsmTransition transition)
Indicates that processing of the specified EFSM transition has been started.
|
onStateBegin, onStateEnd, onTransitionEnd, setStatus
getStatus, onModelEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public PropertyEntity getOutput()
public void onModelBegin(Model efsmModel)
ModelVisitor
Model
object.onModelBegin
in interface ModelVisitor
onModelBegin
in class ModelEmptyVisitor
efsmModel
- The model to be visited.public void onModuleBegin(Module efsmModule)
ModelVisitor
Module
node.onModuleBegin
in interface ModelVisitor
onModuleBegin
in class ModelEmptyVisitor
efsmModule
- Module node to be visited.public void onModuleEnd(Module efsmModule)
ModelVisitor
Module
node.onModuleEnd
in interface ModelVisitor
onModuleEnd
in class ModelEmptyVisitor
efsmModule
- Module node to be visited.public void onProcessBegin(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessBegin
in interface ModelVisitor
onProcessBegin
in class ModelEmptyVisitor
process
- Process node to be visited.public void onProcessEnd(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessEnd
in interface ModelVisitor
onProcessEnd
in class ModelEmptyVisitor
process
- Process node to be visited.public void onTransitionBegin(EfsmTransition transition)
EfsmVisitor
onTransitionBegin
in interface EfsmVisitor
onTransitionBegin
in class EfsmEmptyVisitor
transition
- the processed EFSM transition