Package net.jqwik.api.stateful

Interface Invariant<T extends @Nullable Object>

Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface @API(status=MAINTAINED, since="1.0") public interface Invariant<T extends @Nullable Object>

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    check(T model)
     

  • Method Details

    • check

      void check(T model)