S - the type of stateE - the type of eventpublic interface VerifierConfigurer<S,E> extends AnnotationConfigurerBuilder<StateMachineConfigurationConfigurer<S,E>>
ConfigConfigurer interface for configuring state machine model verifier.| Modifier and Type | Method and Description |
|---|---|
VerifierConfigurer<S,E> |
enabled(boolean enabled)
Specify if verifier is enabled.
|
VerifierConfigurer<S,E> |
verifier(StateMachineModelVerifier<S,E> verifier)
Specify a custom model verifier.
|
andVerifierConfigurer<S,E> enabled(boolean enabled)
enabled - the enable flagVerifierConfigurer<S,E> verifier(StateMachineModelVerifier<S,E> verifier)
verifier - the state machine model verifier