Interface StateMachineModelVerifier<S,E>
- Type Parameters:
S
- the type of stateE
- the type of event
- All Known Implementing Classes:
BaseStructureVerifier
,CompositeStateMachineModelVerifier
,DefaultStateMachineModelVerifier
public interface StateMachineModelVerifier<S,E>
Strategy interface for implementations verifying
StateMachineModel
structures.-
Method Summary
Modifier and TypeMethodDescriptionvoid
verify
(StateMachineModel<S, E> model) Verify a state machine model.
-
Method Details
-
verify
Verify a state machine model.- Parameters:
model
- the state machine model
-