S
- the type of stateE
- the type of eventpublic interface StateMachineConfigurationConfigurer<S,E>
Modifier and Type | Method and Description |
---|---|
ConfigurationConfigurer<S,E> |
withConfiguration()
Gets a configurer for generic config.
|
DistributedStateMachineConfigurer<S,E> |
withDistributed()
Gets a configurer for distributed state machine config.
|
SecurityConfigurer<S,E> |
withSecurity()
Gets a configurer for securing state machine.
|
VerifierConfigurer<S,E> |
withVerifier()
Gets a configurer for state machine model verifier.
|
ConfigurationConfigurer<S,E> withConfiguration() throws java.lang.Exception
ConfigurationConfigurer
for chainingjava.lang.Exception
- if configuration error happensDistributedStateMachineConfigurer<S,E> withDistributed() throws java.lang.Exception
DistributedStateMachineConfigurer
for chainingjava.lang.Exception
- if configuration error happensSecurityConfigurer<S,E> withSecurity() throws java.lang.Exception
SecurityConfigurer
for chainingjava.lang.Exception
- if configuration error happensVerifierConfigurer<S,E> withVerifier() throws java.lang.Exception
VerifierConfigurer
for chainingjava.lang.Exception
- if configuration error happens