Package net.jqwik.api

Class Arbitrary.ArbitraryFacade

  • Enclosing interface:
    Arbitrary<T>

    @API(status=INTERNAL)
    public abstract static class Arbitrary.ArbitraryFacade
    extends java.lang.Object
    • Constructor Detail

      • ArbitraryFacade

        public ArbitraryFacade()
    • Method Detail

      • array

        public abstract <T,​A> ArrayArbitrary<T,​A> array​(Arbitrary<T> elementArbitrary,
                                                                    java.lang.Class<A> arrayClass)
      • sampleStream

        public abstract <T> java.util.stream.Stream<T> sampleStream​(Arbitrary<T> arbitrary)
      • injectNull

        public abstract <T> Arbitrary<T> injectNull​(Arbitrary<T> self,
                                                    double nullProbability)
      • filter

        public abstract <T> Arbitrary<T> filter​(Arbitrary<T> self,
                                                java.util.function.Predicate<T> filterPredicate,
                                                int maxMisses)
      • map

        public abstract <T,​U> Arbitrary<U> map​(Arbitrary<T> self,
                                                     java.util.function.Function<T,​U> mapper)
      • flatMap

        public abstract <T,​U> Arbitrary<U> flatMap​(Arbitrary<T> self,
                                                         java.util.function.Function<T,​Arbitrary<U>> mapper)
      • ignoreExceptions

        public abstract <T> Arbitrary<T> ignoreExceptions​(Arbitrary<T> self,
                                                          int maxThrows,
                                                          java.lang.Class<? extends java.lang.Throwable>[] exceptionTypes)
      • withoutEdgeCases

        public abstract <T> Arbitrary<T> withoutEdgeCases​(Arbitrary<T> self)
      • memoizedGenerator

        public abstract <T> RandomGenerator<T> memoizedGenerator​(Arbitrary<T> self,
                                                                 int genSize,
                                                                 boolean withEdgeCases)
      • fixGenSize

        public abstract <T> Arbitrary<T> fixGenSize​(Arbitrary<T> self,
                                                    int genSize)
      • collect

        public abstract <T> Arbitrary<java.util.List<T>> collect​(Arbitrary<T> self,
                                                                 java.util.function.Predicate<java.util.List<T>> until)