Package net.jqwik.engine.properties.arbitraries.randomized

Klasse RandomGenerators

java.lang.Object
net.jqwik.engine.properties.arbitraries.randomized.RandomGenerators
public class RandomGenerators extends Object

  • Feldübersicht

    Felder
    Modifizierer und Typ
    Feld
    Beschreibung
    static final int
    DEFAULT_COLLECTION_SIZE
     

  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    RandomGenerators()
     

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    static net.jqwik.api.RandomGenerator<BigDecimal>
    bigDecimals(Range<BigDecimal> range, int scale, BigDecimal shrinkingTarget, net.jqwik.api.RandomDistribution distribution)
     
    static net.jqwik.api.RandomGenerator<BigInteger>
    bigIntegers(BigInteger min, BigInteger max, BigInteger shrinkingTarget, net.jqwik.api.RandomDistribution distribution)
     
    static net.jqwik.api.RandomGenerator<Character>
    chars(char min, char max)
     
    static net.jqwik.api.RandomGenerator<Character>
    choose(char[] characters)
     
    static <U extends @Nullable Object>
    net.jqwik.api.RandomGenerator<U>
    choose(List<? extends U> values)
     
    static <U extends @Nullable Object>
    net.jqwik.api.RandomGenerator<U>
    choose(U[] values)
     
    static <U extends @Nullable Object>
    U
    chooseValue(List<? extends U> values, Random random)
     
    static int
    collectionMaxSize(int minSize, Integer maxSize)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    fail(String message)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    frequency(List<? extends net.jqwik.api.Tuple.Tuple2<Integer,? extends T>> frequencies)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    frequencyOf(List<? extends net.jqwik.api.Tuple.Tuple2<Integer,? extends net.jqwik.api.Arbitrary<T>>> frequencies, int genSize, boolean withEmbeddedEdgeCases)
     
    static net.jqwik.api.RandomGenerator<Integer>
    integers(int min, int max)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<List<T>>
    list(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, long maxUniqueElements, int genSize, net.jqwik.api.RandomDistribution sizeDistribution, Set<? extends FeatureExtractor<T>> uniquenessExtractors, net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    oneOf(List<? extends net.jqwik.api.RandomGenerator<T>> all)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    samples(T[] samples)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    samplesFromShrinkables(List<? extends net.jqwik.api.Shrinkable<T>> samples)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<Set<T>>
    set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int genSize, net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<Set<T>>
    set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int genSize, net.jqwik.api.RandomDistribution sizeDistribution, Set<? extends FeatureExtractor<T>> uniquenessExtractors, net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<List<T>>
    shuffle(List<T> values)
     
    static net.jqwik.api.RandomGenerator<String>
    strings(net.jqwik.api.RandomGenerator<Character> elementGenerator, int minLength, int maxLength, long maxUniqueChars, int genSize, net.jqwik.api.RandomDistribution lengthDistribution, net.jqwik.api.Arbitrary<Character> characterArbitrary, boolean uniqueChars)
     
    static <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, net.jqwik.api.EdgeCases<T> edgeCases)
     

    Von Klasse geerbte Methoden java.lang.Object

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

  • Felddetails

    • DEFAULT_COLLECTION_SIZE

      public static final int DEFAULT_COLLECTION_SIZE
      Siehe auch:

  • Konstruktordetails

    • RandomGenerators

      public RandomGenerators()

  • Methodendetails

    • collectionMaxSize

      public static int collectionMaxSize(int minSize, Integer maxSize)

    • choose

      public static <U extends @Nullable Object> net.jqwik.api.RandomGenerator<U> choose(List<? extends U> values)

    • chooseValue

      public static <U extends @Nullable Object> U chooseValue(List<? extends U> values, Random random)

    • choose

      public static <U extends @Nullable Object> net.jqwik.api.RandomGenerator<U> choose(U[] values)

    • choose

      public static net.jqwik.api.RandomGenerator<Character> choose(char[] characters)

    • chars

      public static net.jqwik.api.RandomGenerator<Character> chars(char min, char max)

    • integers

      public static net.jqwik.api.RandomGenerator<Integer> integers(int min, int max)

    • bigIntegers

      public static net.jqwik.api.RandomGenerator<BigInteger> bigIntegers(BigInteger min, BigInteger max, BigInteger shrinkingTarget, net.jqwik.api.RandomDistribution distribution)

    • bigDecimals

      public static net.jqwik.api.RandomGenerator<BigDecimal> bigDecimals(Range<BigDecimal> range, int scale, BigDecimal shrinkingTarget, net.jqwik.api.RandomDistribution distribution)

    • oneOf

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> oneOf(List<? extends net.jqwik.api.RandomGenerator<T>> all)

    • shuffle

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<List<T>> shuffle(List<T> values)

    • strings

      public static net.jqwik.api.RandomGenerator<String> strings(net.jqwik.api.RandomGenerator<Character> elementGenerator, int minLength, int maxLength, long maxUniqueChars, int genSize, net.jqwik.api.RandomDistribution lengthDistribution, net.jqwik.api.Arbitrary<Character> characterArbitrary, boolean uniqueChars)

    • list

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<List<T>> list(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, long maxUniqueElements, int genSize, net.jqwik.api.RandomDistribution sizeDistribution, Set<? extends FeatureExtractor<T>> uniquenessExtractors, net.jqwik.api.Arbitrary<T> elementArbitrary)

    • set

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<Set<T>> set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int genSize, net.jqwik.api.Arbitrary<T> elementArbitrary)

    • set

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<Set<T>> set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int genSize, net.jqwik.api.RandomDistribution sizeDistribution, Set<? extends FeatureExtractor<T>> uniquenessExtractors, net.jqwik.api.Arbitrary<T> elementArbitrary)

    • samplesFromShrinkables

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> samplesFromShrinkables(List<? extends net.jqwik.api.Shrinkable<T>> samples)

    • samples

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> samples(T[] samples)

    • frequency

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> frequency(List<? extends net.jqwik.api.Tuple.Tuple2<Integer,? extends T>> frequencies)

    • frequencyOf

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> frequencyOf(List<? extends net.jqwik.api.Tuple.Tuple2<Integer,? extends net.jqwik.api.Arbitrary<T>>> frequencies, int genSize, boolean withEmbeddedEdgeCases)

    • withEdgeCases

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, net.jqwik.api.EdgeCases<T> edgeCases)

    • fail

      public static <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> fail(String message)