public class EfsmTransitionAssertVisitor extends EfsmModelDefaultVisitor
EfsmTransitionAssertExtractor
Constructor and Description |
---|
EfsmTransitionAssertVisitor() |
Modifier and Type | Method and Description |
---|---|
AssertionEntity |
getOutput()
Returns object's output.
|
void |
onEfsmBegin(Efsm efsm)
Indicates that processing of the specified EFSM has been started.
|
void |
onEfsmModelBegin(EfsmModel efsmModel)
Indicates that a walker has started walking across the specified EFSM model.
|
void |
onEfsmModuleBegin(EfsmModule efsmModule)
Indicates that a walker has started walking across the specified EFSM module.
|
void |
onEfsmModuleEnd(EfsmModule efsmModule)
Indicates that a walker has finished walking across the specified EFSM module.
|
void |
onTransitionBegin(EfsmTransition transition)
Indicates that processing of the specified EFSM transition has been started.
|
onAssignmentActionBegin, onAssignmentActionEnd, onAssignmentBegin, onAssignmentEnd, onEfsmEnd, onEfsmModelEnd, onEvent, onExpression, onGuardBegin, onGuardedActionBegin, onGuardedActionEnd, onGuardEnd, onStateBegin, onStateEnd, onTransitionEnd
public AssertionEntity getOutput()
public void onEfsmModelBegin(EfsmModel efsmModel)
EfsmModelVisitor
onEfsmModelBegin
in interface EfsmModelVisitor
onEfsmModelBegin
in class EfsmModelDefaultVisitor
efsmModel
- the visited EFSM modelpublic void onEfsmModuleBegin(EfsmModule efsmModule)
EfsmModuleVisitor
onEfsmModuleBegin
in interface EfsmModuleVisitor
onEfsmModuleBegin
in class EfsmModelDefaultVisitor
efsmModule
- the visited EFSM modulepublic void onEfsmModuleEnd(EfsmModule efsmModule)
EfsmModuleVisitor
onEfsmModuleEnd
in interface EfsmModuleVisitor
onEfsmModuleEnd
in class EfsmModelDefaultVisitor
efsmModule
- the visited EFSM modulepublic void onEfsmBegin(Efsm efsm)
EfsmVisitor
onEfsmBegin
in interface EfsmVisitor
onEfsmBegin
in class EfsmModelDefaultVisitor
efsm
- the processed EFSMpublic void onTransitionBegin(EfsmTransition transition)
EfsmVisitor
onTransitionBegin
in interface EfsmVisitor
onTransitionBegin
in class EfsmModelDefaultVisitor
transition
- the processed EFSM transition