Package net.jqwik.api

Interface Falsifier<T>

  • Type Parameters:
    T - The type of
    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=STABLE,
         since="1.0")
    public interface Falsifier<T>
    This interface is no longer used anywhere in jqwik's public API and could therefore be deprecated and moved to engine implementation. But since it's declared to be stable it won't go away before version 2.0.
    • Method Detail

      • withFilter

        @API(status=INTERNAL)
        default Falsifier<T> withFilter​(java.util.function.Predicate<T> filter)