Interface StateMachineModelVerifier<S,E>

Type Parameters:
S - the type of state
E - 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 Type
    Method
    Description
    void
    Verify a state machine model.
  • Method Details

    • verify

      void verify(StateMachineModel<S,E> model)
      Verify a state machine model.
      Parameters:
      model - the state machine model