Package net.jqwik.api.stateful

Schnittstelle Invariant<T extends @Nullable Object>

Funktionsschnittstelle:
Dies ist eine funktionale Schnittstelle, die somit als Zuweisungsziel für einen Lambdaausdruck oder eine Methodenreferenz verwendet werden kann.
@FunctionalInterface @API(status=MAINTAINED, since="1.0") public interface Invariant<T extends @Nullable Object>

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    void
    check(T model)
     

  • Methodendetails

    • check

      void check(T model)