Package net.jqwik.api.stateful

Schnittstelle Action<S extends @Nullable Object>

Typparameter:
S - Type of the state object
@API(status=MAINTAINED, since="1.0") public interface Action<S extends @Nullable Object>
An action class represents a state change that can be preformed on a stateful S. At runtime the execution of an action is regulated by a precondition.

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    default boolean
    precondition(S state)
    If this method returns false, the action will not be performed.
    S
    run(S state)
    Perform an action on state S and return the same state (if it has state) or a new one representing the new state.

  • Methodendetails

    • precondition

      default boolean precondition(S state)
      If this method returns false, the action will not be performed.
      Parameter:
      state - the current state
      Gibt zurück:
      true if the precondition holds

    • run

      S run(S state)
      Perform an action on state S and return the same state (if it has state) or a new one representing the new state.
      Parameter:
      state - the current state
      Gibt zurück:
      the new state, which may or may not be the same object