Package net.jqwik.api

Interface ExhaustiveGenerator<T>

  • All Superinterfaces:
    java.lang.Iterable<T>

    @API(status=INTERNAL)
    public interface ExhaustiveGenerator<T>
    extends java.lang.Iterable<T>
    Used only internally to run and compute exhaustive generation of parameters
    • Field Detail

      • MAXIMUM_SAMPLES_TO_GENERATE

        static final long MAXIMUM_SAMPLES_TO_GENERATE
        See Also:
        Constant Field Values
    • Method Detail

      • maxCount

        long maxCount()
        Returns:
        the maximum number of values that will be generated
      • filter

        default ExhaustiveGenerator<T> filter​(java.util.function.Predicate<T> filterPredicate,
                                              int maxMisses)
      • ignoreException

        default ExhaustiveGenerator<T> ignoreException​(java.lang.Class<? extends java.lang.Throwable> exceptionType)