Package net.jqwik.engine.facades

Class ArbitraryFacadeImpl

java.lang.Object
net.jqwik.api.Arbitrary.ArbitraryFacade
net.jqwik.engine.facades.ArbitraryFacadeImpl
public class ArbitraryFacadeImpl extends net.jqwik.api.Arbitrary.ArbitraryFacade
Is loaded through reflection in api module

  • Constructor Summary

    Constructors
    Constructor
    Description
    ArbitraryFacadeImpl()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    <T, A> net.jqwik.api.arbitraries.ArrayArbitrary<T,A>
    array(net.jqwik.api.Arbitrary<T> elementArbitrary, Class<A> arrayClass)
     
    <T> net.jqwik.api.Arbitrary<List<T>>
    collect(net.jqwik.api.Arbitrary<T> self, Predicate<List<T>> until)
     
    <T> net.jqwik.api.Arbitrary<T>
    configureEdgeCases(net.jqwik.api.Arbitrary<T> self, Consumer<net.jqwik.api.EdgeCases.Config<T>> configurator)
     
    <T> net.jqwik.api.Arbitrary<T>
    dontShrink(net.jqwik.api.Arbitrary<T> self)
     
    <T> net.jqwik.api.Arbitrary<T>
    filter(net.jqwik.api.Arbitrary<T> self, Predicate<T> filterPredicate, int maxMisses)
     
    <T> net.jqwik.api.Arbitrary<T>
    fixGenSize(net.jqwik.api.Arbitrary<T> self, int genSize)
     
    <T, U> net.jqwik.api.Arbitrary<U>
    flatMap(net.jqwik.api.Arbitrary<T> self, Function<T,net.jqwik.api.Arbitrary<U>> mapper)
     
    <T> net.jqwik.api.Arbitrary<T>
    ignoreExceptions(net.jqwik.api.Arbitrary<T> self, int maxThrows, Class<? extends Throwable>[] exceptionTypes)
     
    <T> net.jqwik.api.Arbitrary<T>
    injectNull(net.jqwik.api.Arbitrary<T> self, double nullProbability)
     
    <T> net.jqwik.api.arbitraries.IteratorArbitrary<T>
    iterator(net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    <T> net.jqwik.api.arbitraries.ListArbitrary<T>
    list(net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    <T, U> net.jqwik.api.Arbitrary<U>
    map(net.jqwik.api.Arbitrary<T> self, Function<T,U> mapper)
     
    <T> net.jqwik.api.RandomGenerator<T>
    memoizedGenerator(net.jqwik.api.Arbitrary<T> self, int genSize, boolean withEdgeCases)
     
    <T> Stream<T>
    sampleStream(net.jqwik.api.Arbitrary<T> arbitrary)
     
    <T> net.jqwik.api.arbitraries.SetArbitrary<T>
    set(net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    <T> net.jqwik.api.arbitraries.StreamArbitrary<T>
    stream(net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    <T> net.jqwik.api.Arbitrary<T>
    withoutEdgeCases(net.jqwik.api.Arbitrary<T> self)
     

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ArbitraryFacadeImpl

      public ArbitraryFacadeImpl()

  • Method Details

    • list

      public <T> net.jqwik.api.arbitraries.ListArbitrary<T> list(net.jqwik.api.Arbitrary<T> elementArbitrary)
      Specified by:
      list in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • set

      public <T> net.jqwik.api.arbitraries.SetArbitrary<T> set(net.jqwik.api.Arbitrary<T> elementArbitrary)
      Specified by:
      set in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • stream

      public <T> net.jqwik.api.arbitraries.StreamArbitrary<T> stream(net.jqwik.api.Arbitrary<T> elementArbitrary)
      Specified by:
      stream in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • iterator

      public <T> net.jqwik.api.arbitraries.IteratorArbitrary<T> iterator(net.jqwik.api.Arbitrary<T> elementArbitrary)
      Specified by:
      iterator in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • array

      public <T, A> net.jqwik.api.arbitraries.ArrayArbitrary<T,A> array(net.jqwik.api.Arbitrary<T> elementArbitrary, Class<A> arrayClass)
      Specified by:
      array in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • filter

      public <T> net.jqwik.api.Arbitrary<T> filter(net.jqwik.api.Arbitrary<T> self, Predicate<T> filterPredicate, int maxMisses)
      Specified by:
      filter in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • map

      public <T, U> net.jqwik.api.Arbitrary<U> map(net.jqwik.api.Arbitrary<T> self, Function<T,U> mapper)
      Specified by:
      map in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • flatMap

      public <T, U> net.jqwik.api.Arbitrary<U> flatMap(net.jqwik.api.Arbitrary<T> self, Function<T,net.jqwik.api.Arbitrary<U>> mapper)
      Specified by:
      flatMap in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • sampleStream

      public <T> Stream<T> sampleStream(net.jqwik.api.Arbitrary<T> arbitrary)
      Specified by:
      sampleStream in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • injectNull

      public <T> net.jqwik.api.Arbitrary<T> injectNull(net.jqwik.api.Arbitrary<T> self, double nullProbability)
      Specified by:
      injectNull in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • ignoreExceptions

      public <T> net.jqwik.api.Arbitrary<T> ignoreExceptions(net.jqwik.api.Arbitrary<T> self, int maxThrows, Class<? extends Throwable>[] exceptionTypes)
      Specified by:
      ignoreExceptions in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • dontShrink

      public <T> net.jqwik.api.Arbitrary<T> dontShrink(net.jqwik.api.Arbitrary<T> self)
      Specified by:
      dontShrink in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • configureEdgeCases

      public <T> net.jqwik.api.Arbitrary<T> configureEdgeCases(net.jqwik.api.Arbitrary<T> self, Consumer<net.jqwik.api.EdgeCases.Config<T>> configurator)
      Specified by:
      configureEdgeCases in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • withoutEdgeCases

      public <T> net.jqwik.api.Arbitrary<T> withoutEdgeCases(net.jqwik.api.Arbitrary<T> self)
      Specified by:
      withoutEdgeCases in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • fixGenSize

      public <T> net.jqwik.api.Arbitrary<T> fixGenSize(net.jqwik.api.Arbitrary<T> self, int genSize)
      Specified by:
      fixGenSize in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • collect

      public <T> net.jqwik.api.Arbitrary<List<T>> collect(net.jqwik.api.Arbitrary<T> self, Predicate<List<T>> until)
      Specified by:
      collect in class net.jqwik.api.Arbitrary.ArbitraryFacade

    • memoizedGenerator

      public <T> net.jqwik.api.RandomGenerator<T> memoizedGenerator(net.jqwik.api.Arbitrary<T> self, int genSize, boolean withEdgeCases)
      Specified by:
      memoizedGenerator in class net.jqwik.api.Arbitrary.ArbitraryFacade