Package net.jqwik.api.arbitraries


@NullMarked package net.jqwik.api.arbitraries
  • Class
    Description
    Use this superclass if you want to provide a specialized type of arbitrary, e.g. with additional methods for configuration or defaults, but don't want to implement the whole Arbitrary interface yourself.
    ArrayArbitrary<T extends @Nullable Object,A>
    Fluent interface to add functionality to arbitraries that generate instances of Arrays
    Fluent interface to configure the generation of BigDecimal values.
    Fluent interface to configure the generation of BigInteger values.
    Fluent interface to configure the generation of Byte and byte values.
    Fluent interface to configure the generation of Character and char values.
    Fluent interface to configure the generation of Double and double values.
    Fluent interface to configure the generation of Float and float values.
    FunctionArbitrary<F,R extends @Nullable Object>
    Fluent interface to configure arbitraries that represent functional types
    Fluent interface to configure the generation of Integer and int values.
    IteratorArbitrary<T extends @Nullable Object>
    Fluent interface to add functionality to arbitraries that generate instances of type Iterator
    ListArbitrary<T extends @Nullable Object>
    Fluent interface to add functionality to arbitraries that generate instances of type List
    Fluent interface to configure the generation of Long and long values.
    MapArbitrary<K extends @Nullable Object,V extends @Nullable Object>
    Fluent interface to add functionality to arbitraries that generate instances of type Map
     
    SetArbitrary<T extends @Nullable Object>
    Fluent interface to add functionality to arbitraries that generate instances of type Set
    Fluent interface to configure the generation of Short and short values.
    SizableArbitrary<U extends @Nullable Object>
    Fluent interface to configure arbitraries that have size constraints for generated values, e.g. collections and arrays.
    StreamableArbitrary<T extends @Nullable Object,U>
    Fluent interface to add functionality to arbitraries whose generation artefacts can be streamed, e.g.
    StreamArbitrary<T extends @Nullable Object>
    Fluent interface to add functionality to arbitraries that generate instances of type Stream
    Fluent interface to configure arbitraries that generate String values.
    TraverseArbitrary<T extends @Nullable Object>
    Fluent interface to configure arbitraries that try to generate instances of a given type T from the type's available constructors and factory methods.
    A traverser describes how to travers a given type by providing a hook to resolve a parameter into an arbitrary and a means to find all relevant creators (constructors or factory methods) for a type that does not have a suitable default arbitrary.
    TypeArbitrary<T extends @Nullable Object>
    Fluent interface to configure arbitraries that try to generate instances of a given type T from the type's available constructors and factory methods.