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)
      • ignoreException

        public abstract <T> Arbitrary<T> ignoreException​(Arbitrary<T> self,
                                                         java.lang.Class<? extends java.lang.Throwable> exceptionType)
      • withoutEdgeCases

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

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