Package net.jqwik.engine.facades

Class RandomGeneratorFacadeImpl

  • public class RandomGeneratorFacadeImpl
extends net.jqwik.api.RandomGenerator.RandomGeneratorFacade
    Is loaded through reflection in api module

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <T> net.jqwik.api.RandomGenerator<java.util.List<T>> collect​(net.jqwik.api.RandomGenerator<T> self, java.util.function.Predicate<java.util.List<T>> until)  
      <T> net.jqwik.api.RandomGenerator<T> filter​(net.jqwik.api.RandomGenerator<T> self, java.util.function.Predicate<T> filterPredicate)  
      <T,​U>
      net.jqwik.api.Shrinkable<U>      		 flatMap​(net.jqwik.api.Shrinkable<T> self, java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper, int genSize, long nextLong)  
      <T,​U>
      net.jqwik.api.Shrinkable<U>      		 flatMap​(net.jqwik.api.Shrinkable<T> self, java.util.function.Function<T,​net.jqwik.api.RandomGenerator<U>> mapper, long nextLong)  
      <T> net.jqwik.api.RandomGenerator<T> ignoreException​(net.jqwik.api.RandomGenerator<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)  
      <T> net.jqwik.api.RandomGenerator<T> injectDuplicates​(net.jqwik.api.RandomGenerator<T> self, double duplicateProbability)  
      <T> net.jqwik.api.RandomGenerator<T> unique​(net.jqwik.api.RandomGenerator<T> self)  
      <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 Detail

      • RandomGeneratorFacadeImpl

        public RandomGeneratorFacadeImpl()

    • Method Detail

      • flatMap

        public <T,​U> net.jqwik.api.Shrinkable<U> flatMap​(net.jqwik.api.Shrinkable<T> self,
                                                       java.util.function.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,
                                                       java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper,
                                                       int genSize,
                                                       long nextLong)
        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,
                                                   java.util.function.Predicate<T> filterPredicate)
        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

      • unique

        public <T> net.jqwik.api.RandomGenerator<T> unique​(net.jqwik.api.RandomGenerator<T> self)
        Specified by:
        unique in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

      • collect

        public <T> net.jqwik.api.RandomGenerator<java.util.List<T>> collect​(net.jqwik.api.RandomGenerator<T> self,
                                                                    java.util.function.Predicate<java.util.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,
                                                            java.lang.Class<? extends java.lang.Throwable> exceptionType)
        Specified by:
        ignoreException in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade