Uses of Interface
at.jku.ssw.fp.sect11_3.check4j.Gen
-
Packages that use Gen Package Description at.jku.ssw.fp.sect11_3.check4j -
-
Uses of Gen in at.jku.ssw.fp.sect11_3.check4j
Fields in at.jku.ssw.fp.sect11_3.check4j declared as Gen Modifier and Type Field Description static Gen<Integer>
Gens. allInts
A generator for in values int values in the full range of int.static Gen<Boolean>
Gens. bools
A generator for Boolean value with equal probability.private Gen<A>
Property. generator
The generator for generating test values.static Gen<FList<Integer>>
Gens. intLists
A generator for list of integers from 0 to 9static Gen<Integer>
Gens. intRands
A generator for integer values (in full range of integer)static Gen<Character>
Gens. letters
A generator for creating letters from 'a' to 'z' with same probability.static Gen<Double>
Gens. percents
Creates a generator for percentage values.static Gen<Integer>
Gens. posInts
A generator of positive int values(package private) Gen<Integer>
Gens. primes100
A generator for prime numbers from2
to100
.static Gen<Double>
Gens. rands
A generator for double values (in full range of double)Methods in at.jku.ssw.fp.sect11_3.check4j that return Gen Modifier and Type Method Description default Gen<A>
Gen. filter(Predicate<? super A> pred)
Filters the value of this generator.default <B> Gen<B>
Gen. flatMap(Function<? super A,Gen<? extends B>> fn)
Creates a generator which generates values which are created by mapping the values from this generator using the mapping function.static Gen<Integer>
Gens. intsFromTo(int from, int to)
Creates a generator for int values betweenfrom
andto
.static Gen<Integer>
Gens. intsTo(int to)
Creates a generator for int values between0
andto
.static <A> Gen<List<A>>
Gens. lists(int maxLength, A... elems)
Creates a generator for generating lists from given elements of given maximum length.static <A> Gen<FList<A>>
Gens. lists(int maxLength, Gen<A> elemGen)
Creates a generator for generating lists of given maximum length.default <B> Gen<B>
Gen. map(Function<? super A,? extends B> fn)
Creates a generator which generates values which are created by mapping the values from this generator using the mapping function.static <A> Gen<A>
Gen. of(A a)
Creates a generator returning the provided value.static <A> Gen<A>
Gens. oneOf(A... as)
Creates a generator which creates values from the given set of values with equal probability.static <A> Gen<A>
Gens. oneOf(List<A> as)
Creates a generator which creates values from the given set of values with equal probability.static <A,B>
Gen<Pair<A,B>>Gens. pair(Gen<A> aGen, Gen<B> bGen)
A generator of pairs of values.static Gen<Double>
Gens. randsFromTo(double from, double to)
Creates a generator for double values betweenfrom
andto
static <A> Gen<A>
Gens. single(A a)
Creates a generator which is capable to create a single value.static <A,B>
Gen<Tuple2<A,B>>Gens. tuple2(Gen<A> aGen, Gen<B> bGen)
A generator of tuples of two values.static <A,B,C>
Gen<Tuple3<A,B,C>>Gens. tuple3(Gen<A> aGen, Gen<B> bGen, Gen<C> cGen)
A generator of tuples of three values.static Gen<Boolean>
Gens. withProb(double prob)
Creates generator for Boolean values wheretrue
values are created with the given probability.static Gen<String>
Gens. words(int maxLength)
Creates a generator for generating words from random letters of given maximum length.Methods in at.jku.ssw.fp.sect11_3.check4j with parameters of type Gen Modifier and Type Method Description static <A> Property<A>
Property. forAll(Gen<A> generator, Predicate<? super A> predicate)
Creates a property object from a generator and predicate.static <A> Property<A>
Property. forAll(Gen<A> generator, Predicate<? super A> predicate, Shrinker<A> shrinker)
Creates a property object from a generator, predicate and shrinker.static <A> Gen<FList<A>>
Gens. lists(int maxLength, Gen<A> elemGen)
Creates a generator for generating lists of given maximum length.static <A,B>
Gen<Pair<A,B>>Gens. pair(Gen<A> aGen, Gen<B> bGen)
A generator of pairs of values.static <A,B>
Gen<Tuple2<A,B>>Gens. tuple2(Gen<A> aGen, Gen<B> bGen)
A generator of tuples of two values.static <A,B,C>
Gen<Tuple3<A,B,C>>Gens. tuple3(Gen<A> aGen, Gen<B> bGen, Gen<C> cGen)
A generator of tuples of three values.Method parameters in at.jku.ssw.fp.sect11_3.check4j with type arguments of type Gen Modifier and Type Method Description default <B> Gen<B>
Gen. flatMap(Function<? super A,Gen<? extends B>> fn)
Creates a generator which generates values which are created by mapping the values from this generator using the mapping function.Constructors in at.jku.ssw.fp.sect11_3.check4j with parameters of type Gen Constructor Description Property(Gen<A> generator, Predicate<? super A> predicate)
Constructor setting generator and predicate.Property(Gen<A> generator, Predicate<? super A> predicate, Shrinker<A> shrinker)
Constructor setting generator, predicate and shrinker.
-