Modifier and Type | Method and Description |
---|---|
default Arbitrary<T> |
Gen.arbitrary()
Converts this Gen to an Arbitrary
|
default Arbitrary<T> |
Arbitrary.filter(Predicate<? super T> predicate)
Returns an Arbitrary based on this Arbitrary which produces values that fulfill the given predicate.
|
default <U> Arbitrary<U> |
Arbitrary.flatMap(Function<? super T,? extends Arbitrary<? extends U>> mapper)
Maps arbitrary objects T to arbitrary object U.
|
static Arbitrary<Integer> |
Arbitrary.integer()
Generates arbitrary integer values.
|
static <T> Arbitrary<List<T>> |
Arbitrary.list(Arbitrary<T> arbitraryT)
Generates arbitrary lists based on a given element generator arbitraryT.
|
default <U> Arbitrary<U> |
Arbitrary.map(Function<? super T,? extends U> mapper)
Maps arbitrary objects T to arbitrary object U.
|
default Arbitrary<T> |
Arbitrary.peek(Consumer<? super T> action) |
static <T> Arbitrary<Stream<T>> |
Arbitrary.stream(Arbitrary<T> arbitraryT)
Generates arbitrary streams based on a given element generator arbitraryT.
|
static Arbitrary<String> |
Arbitrary.string(Gen<Character> gen)
Generates arbitrary strings based on a given alphabet represented by gen.
|
Modifier and Type | Method and Description |
---|---|
<T1> Property.ForAll1<T1> |
Property.forAll(Arbitrary<T1> a1)
Returns a logical for all quantor of 1 given variables.
|
<T1,T2> Property.ForAll2<T1,T2> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2)
Returns a logical for all quantor of 2 given variables.
|
<T1,T2> Property.ForAll2<T1,T2> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2)
Returns a logical for all quantor of 2 given variables.
|
<T1,T2,T3> Property.ForAll3<T1,T2,T3> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3)
Returns a logical for all quantor of 3 given variables.
|
<T1,T2,T3> Property.ForAll3<T1,T2,T3> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3)
Returns a logical for all quantor of 3 given variables.
|
<T1,T2,T3> Property.ForAll3<T1,T2,T3> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3)
Returns a logical for all quantor of 3 given variables.
|
<T1,T2,T3,T4> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4)
Returns a logical for all quantor of 4 given variables.
|
<T1,T2,T3,T4> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4)
Returns a logical for all quantor of 4 given variables.
|
<T1,T2,T3,T4> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4)
Returns a logical for all quantor of 4 given variables.
|
<T1,T2,T3,T4> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4)
Returns a logical for all quantor of 4 given variables.
|
<T1,T2,T3,T4,T5> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5)
Returns a logical for all quantor of 5 given variables.
|
<T1,T2,T3,T4,T5> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5)
Returns a logical for all quantor of 5 given variables.
|
<T1,T2,T3,T4,T5> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5)
Returns a logical for all quantor of 5 given variables.
|
<T1,T2,T3,T4,T5> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5)
Returns a logical for all quantor of 5 given variables.
|
<T1,T2,T3,T4,T5> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5)
Returns a logical for all quantor of 5 given variables.
|
<T1,T2,T3,T4,T5,T6> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6)
Returns a logical for all quantor of 6 given variables.
|
<T1,T2,T3,T4,T5,T6> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6)
Returns a logical for all quantor of 6 given variables.
|
<T1,T2,T3,T4,T5,T6> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6)
Returns a logical for all quantor of 6 given variables.
|
<T1,T2,T3,T4,T5,T6> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6)
Returns a logical for all quantor of 6 given variables.
|
<T1,T2,T3,T4,T5,T6> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6)
Returns a logical for all quantor of 6 given variables.
|
<T1,T2,T3,T4,T5,T6> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6)
Returns a logical for all quantor of 6 given variables.
|
<T1,T2,T3,T4,T5,T6,T7> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7)
Returns a logical for all quantor of 7 given variables.
|
<T1,T2,T3,T4,T5,T6,T7> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7)
Returns a logical for all quantor of 7 given variables.
|
<T1,T2,T3,T4,T5,T6,T7> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7)
Returns a logical for all quantor of 7 given variables.
|
<T1,T2,T3,T4,T5,T6,T7> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7)
Returns a logical for all quantor of 7 given variables.
|
<T1,T2,T3,T4,T5,T6,T7> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7)
Returns a logical for all quantor of 7 given variables.
|
<T1,T2,T3,T4,T5,T6,T7> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7)
Returns a logical for all quantor of 7 given variables.
|
<T1,T2,T3,T4,T5,T6,T7> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7)
Returns a logical for all quantor of 7 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
static <T> Arbitrary<List<T>> |
Arbitrary.list(Arbitrary<T> arbitraryT)
Generates arbitrary lists based on a given element generator arbitraryT.
|
static <T> Arbitrary<Stream<T>> |
Arbitrary.stream(Arbitrary<T> arbitraryT)
Generates arbitrary streams based on a given element generator arbitraryT.
|
Modifier and Type | Method and Description |
---|---|
default <U> Arbitrary<U> |
Arbitrary.flatMap(Function<? super T,? extends Arbitrary<? extends U>> mapper)
Maps arbitrary objects T to arbitrary object U.
|
default <U> U |
Arbitrary.transform(Function<? super Arbitrary<T>,? extends U> f)
Transforms this
Arbitrary . |
Copyright © 2016. All Rights Reserved.