Uses of Interface
at.jku.ssw.fp.sect11_3.check4j.Shrinker
-
Packages that use Shrinker Package Description at.jku.ssw.fp.sect11_3.check4j -
-
Uses of Shrinker in at.jku.ssw.fp.sect11_3.check4j
Fields in at.jku.ssw.fp.sect11_3.check4j declared as Shrinker Modifier and Type Field Description static Shrinker<Character>
Shrinkers. charShrinker
A shrinker for char values.static Shrinker<Double>
Shrinkers. doubleShrinker
A shrinker for double values.static Shrinker<Integer>
Shrinkers. integerShrinkerRec
A shrinker forInteger
values.static Shrinker<FList<Integer>>
Shrinkers. intListShrinker
A shrinker for lists of integersstatic Shrinker<Integer>
Shrinkers. intShrinker
A shrinker for arbitrary int values.static Shrinker<Integer>
Shrinkers. posIntShrinker
A shrinker for positive int values.Fields in at.jku.ssw.fp.sect11_3.check4j with type parameters of type Shrinker Modifier and Type Field Description private Optional<Shrinker<A>>
Property. optShrinker
The optional shrinker for shrinking a failed test value.Methods in at.jku.ssw.fp.sect11_3.check4j that return Shrinker Modifier and Type Method Description static <E> Shrinker<E>
Shrinkers. empty()
An shrinker which does not provide values.static <E> Shrinker<FList<E>>
Shrinkers. fListShrinker()
A shrinker forFList
lists.static <E> Shrinker<FList<E>>
Shrinkers. fListShrinker(Shrinker<E> eShrinker)
A shrinker forFList
lists where a given shrinker is used for shrinking the elements.Methods in at.jku.ssw.fp.sect11_3.check4j with parameters of type Shrinker Modifier and Type Method Description static <E> Shrinker<FList<E>>
Shrinkers. fListShrinker(Shrinker<E> eShrinker)
A shrinker forFList
lists where a given shrinker is used for shrinking the elements.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.Constructors in at.jku.ssw.fp.sect11_3.check4j with parameters of type Shrinker Constructor Description Property(Gen<A> generator, Predicate<? super A> predicate, Shrinker<A> shrinker)
Constructor setting generator, predicate and shrinker.
-