Package net.jqwik.engine.properties.arbitraries.randomized

Class FilteredGenerator<T>

java.lang.Object
net.jqwik.engine.properties.arbitraries.randomized.FilteredGenerator<T>
All Implemented Interfaces:
net.jqwik.api.RandomGenerator<T>
public class FilteredGenerator<T> extends Object implements net.jqwik.api.RandomGenerator<T>

  • Nested Class Summary

    Nested classes/interfaces inherited from interface net.jqwik.api.RandomGenerator

    net.jqwik.api.RandomGenerator.RandomGeneratorFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    FilteredGenerator(net.jqwik.api.RandomGenerator<T> toFilter, Predicate<T> filterPredicate, int maxMisses)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.Shrinkable<T>
    next(Random random)
     
    String
    toString()
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    Methods inherited from interface net.jqwik.api.RandomGenerator

    collect, dontShrink, filter, flatMap, flatMap, ignoreExceptions, injectDuplicates, map, mapShrinkable, stream, withEdgeCases

  • Constructor Details

    • FilteredGenerator

      public FilteredGenerator(net.jqwik.api.RandomGenerator<T> toFilter, Predicate<T> filterPredicate, int maxMisses)

  • Method Details

    • next

      public net.jqwik.api.Shrinkable<T> next(Random random)
      Specified by:
      next in interface net.jqwik.api.RandomGenerator<T>

    • toString

      public String toString()
      Overrides:
      toString in class Object