Package net.jqwik.engine.facades

Class RandomGeneratorFacadeImpl

java.lang.Object
net.jqwik.api.RandomGenerator.RandomGeneratorFacade
net.jqwik.engine.facades.RandomGeneratorFacadeImpl
public class RandomGeneratorFacadeImpl extends net.jqwik.api.RandomGenerator.RandomGeneratorFacade
Is loaded through reflection in api module

  • Constructor Summary

    Constructors
    Constructor
    Description
    RandomGeneratorFacadeImpl()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    <T> net.jqwik.api.RandomGenerator<List<T>>
    collect(net.jqwik.api.RandomGenerator<T> self, Predicate<List<T>> until)
     
    <T> net.jqwik.api.RandomGenerator<T>
    filter(net.jqwik.api.RandomGenerator<T> self, Predicate<T> filterPredicate, int maxMisses)
     
    <T, U> net.jqwik.api.Shrinkable<U>
    flatMap(net.jqwik.api.Shrinkable<T> self, Function<T,net.jqwik.api.Arbitrary<U>> mapper, int genSize, long nextLong, boolean withEmbeddedEdgeCases)
     
    <T, U> net.jqwik.api.Shrinkable<U>
    flatMap(net.jqwik.api.Shrinkable<T> self, Function<T,net.jqwik.api.RandomGenerator<U>> mapper, long nextLong)
     
    <T> net.jqwik.api.RandomGenerator<T>
    ignoreException(net.jqwik.api.RandomGenerator<T> self, Class<? extends Throwable> exceptionType)
     
    <T> net.jqwik.api.RandomGenerator<T>
    injectDuplicates(net.jqwik.api.RandomGenerator<T> self, double duplicateProbability)
     
    <T> net.jqwik.api.RandomGenerator<T>
    withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, net.jqwik.api.EdgeCases<T> edgeCases)
     

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • RandomGeneratorFacadeImpl

      public RandomGeneratorFacadeImpl()

  • Method Details

    • flatMap

      public <T, U> net.jqwik.api.Shrinkable<U> flatMap(net.jqwik.api.Shrinkable<T> self, Function<T,net.jqwik.api.RandomGenerator<U>> mapper, long nextLong)
      Specified by:
      flatMap in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • flatMap

      public <T, U> net.jqwik.api.Shrinkable<U> flatMap(net.jqwik.api.Shrinkable<T> self, Function<T,net.jqwik.api.Arbitrary<U>> mapper, int genSize, long nextLong, boolean withEmbeddedEdgeCases)
      Specified by:
      flatMap in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • filter

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

    • withEdgeCases

      public <T> net.jqwik.api.RandomGenerator<T> withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, net.jqwik.api.EdgeCases<T> edgeCases)
      Specified by:
      withEdgeCases in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • collect

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

    • injectDuplicates

      public <T> net.jqwik.api.RandomGenerator<T> injectDuplicates(net.jqwik.api.RandomGenerator<T> self, double duplicateProbability)
      Specified by:
      injectDuplicates in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • ignoreException

      public <T> net.jqwik.api.RandomGenerator<T> ignoreException(net.jqwik.api.RandomGenerator<T> self, Class<? extends Throwable> exceptionType)
      Specified by:
      ignoreException in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade