public interface TransitionChecker<N extends Node,M extends Message>
| Modifier and Type | Method and Description |
|---|---|
Status |
validateArrival(Envelope<N,M> envelope)
Validates the arrival to a given target state upon reception
of a given message using the specified transition index to ensure
transitions are accepted.
|
Status |
validateDeparture(Envelope<N,M> envelope)
Validates the departure from the current state upon reception
of a given message using the specified transition index to ensure
transitions are accepted.
|
Status validateDeparture(Envelope<N,M> envelope)
envelope - the envelope with the received messageStatus validateArrival(Envelope<N,M> envelope)
envelope - the envelope with the received messageCopyright © 2019 state-machine. All rights reserved.