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.- Author:
- Janne Valkealahti
-
Method Summary
Modifier and TypeMethodDescriptionvoidverify(StateMachineModel<S, E> model) Verify a state machine model.
-
Method Details
-
verify
Verify a state machine model.- Parameters:
model- the state machine model
-