Package net.jqwik.api

Class Arbitraries.ArbitrariesFacade

  • Enclosing class:
    Arbitraries

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

      • ArbitrariesFacade

        public ArbitrariesFacade()
    • Method Detail

      • edgeCasesChoose

        public abstract <T> EdgeCases<T> edgeCasesChoose​(java.util.List<T> values,
                                                         int maxEdgeCases)
      • edgeCasesChoose

        public abstract <T> EdgeCases<T> edgeCasesChoose​(char[] validChars,
                                                         int maxEdgeCases)
      • exhaustiveChoose

        public abstract <T> java.util.Optional<ExhaustiveGenerator<T>> exhaustiveChoose​(java.util.List<T> values,
                                                                                        long maxNumberOfSamples)
      • exhaustiveCreate

        public abstract <T> java.util.Optional<ExhaustiveGenerator<T>> exhaustiveCreate​(java.util.function.Supplier<T> supplier,
                                                                                        long maxNumberOfSamples)
      • exhaustiveChoose

        public abstract java.util.Optional<ExhaustiveGenerator<java.lang.Character>> exhaustiveChoose​(char[] values,
                                                                                                      long maxNumberOfSamples)
      • exhaustiveShuffle

        public abstract <T> java.util.Optional<ExhaustiveGenerator<java.util.List<T>>> exhaustiveShuffle​(java.util.List<T> values,
                                                                                                         long maxNumberOfSamples)
      • randomChoose

        public abstract <T> RandomGenerator<T> randomChoose​(java.util.List<T> values)
      • randomChoose

        public abstract RandomGenerator<java.lang.Character> randomChoose​(char[] values)
      • randomFrequency

        public abstract <T> RandomGenerator<T> randomFrequency​(java.util.List<Tuple.Tuple2<java.lang.Integer,​T>> frequencies)
      • randomSamples

        public abstract <T> RandomGenerator<T> randomSamples​(T[] samples)
      • randomShuffle

        public abstract <T> RandomGenerator<java.util.List<T>> randomShuffle​(java.util.List<T> values)
      • defaultFor

        public abstract <T> Arbitrary<T> defaultFor​(java.lang.Class<T> type,
                                                    java.lang.Class<?>[] typeParameters)
      • lazy

        public abstract <T> Arbitrary<T> lazy​(java.util.function.Supplier<Arbitrary<T>> arbitrarySupplier)
      • forType

        public abstract <T> TypeArbitrary<T> forType​(java.lang.Class<T> targetType)
      • entries

        public abstract <K,​V> Arbitrary<java.util.Map.Entry<K,​V>> entries​(Arbitrary<K> keysArbitrary,
                                                                                      Arbitrary<V> valuesArbitrary)
      • recursive

        public abstract <T> Arbitrary<T> recursive​(java.util.function.Supplier<Arbitrary<T>> base,
                                                   java.util.function.Function<Arbitrary<T>,​Arbitrary<T>> recur,
                                                   int depth)
      • lazyOf

        public abstract <T> Arbitrary<T> lazyOf​(java.util.List<java.util.function.Supplier<Arbitrary<T>>> suppliers)