Package net.jqwik.engine.properties.arbitraries

Class ArbitraryFilter<T>

java.lang.Object
net.jqwik.api.arbitraries.ArbitraryDecorator<T>
net.jqwik.engine.ArbitraryDelegator<T>
net.jqwik.engine.properties.arbitraries.ArbitraryFilter<T>
All Implemented Interfaces:
Cloneable, net.jqwik.api.Arbitrary<T>
public class ArbitraryFilter<T> extends ArbitraryDelegator<T>

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    ArbitraryFilter(net.jqwik.api.Arbitrary<T> self, Predicate<T> filterPredicate, int maxMisses)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.EdgeCases<T>
    edgeCases(int maxEdgeCases)
     
    boolean
    equals(Object o)
     
    Optional<net.jqwik.api.ExhaustiveGenerator<T>>
    exhaustive(long maxNumberOfSamples)
     
    net.jqwik.api.RandomGenerator<T>
    generator(int genSize)
     
    net.jqwik.api.RandomGenerator<T>
    generatorWithEmbeddedEdgeCases(int genSize)
     
    int
    hashCode()
     

    Methods inherited from class net.jqwik.engine.ArbitraryDelegator

    arbitrary

    Methods inherited from class net.jqwik.api.arbitraries.ArbitraryDecorator

    isGeneratorMemoizable, toString, typedClone

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    Methods inherited from interface net.jqwik.api.Arbitrary

    allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, ignoreException, injectDuplicates, injectNull, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

  • Constructor Details

    • ArbitraryFilter

      public ArbitraryFilter(net.jqwik.api.Arbitrary<T> self, Predicate<T> filterPredicate, int maxMisses)

  • Method Details

    • generator

      public net.jqwik.api.RandomGenerator<T> generator(int genSize)
      Specified by:
      generator in interface net.jqwik.api.Arbitrary<T>
      Overrides:
      generator in class net.jqwik.api.arbitraries.ArbitraryDecorator<T>

    • generatorWithEmbeddedEdgeCases

      public net.jqwik.api.RandomGenerator<T> generatorWithEmbeddedEdgeCases(int genSize)
      Specified by:
      generatorWithEmbeddedEdgeCases in interface net.jqwik.api.Arbitrary<T>
      Overrides:
      generatorWithEmbeddedEdgeCases in class net.jqwik.api.arbitraries.ArbitraryDecorator<T>

    • exhaustive

      public Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustive(long maxNumberOfSamples)
      Specified by:
      exhaustive in interface net.jqwik.api.Arbitrary<T>
      Overrides:
      exhaustive in class net.jqwik.api.arbitraries.ArbitraryDecorator<T>

    • edgeCases

      public net.jqwik.api.EdgeCases<T> edgeCases(int maxEdgeCases)
      Specified by:
      edgeCases in interface net.jqwik.api.Arbitrary<T>
      Overrides:
      edgeCases in class net.jqwik.api.arbitraries.ArbitraryDecorator<T>

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class ArbitraryDelegator<T>

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class ArbitraryDelegator<T>