Uses of Class
io.vavr.test.Property.CheckError
Packages that use Property.CheckError
Package
Description
A property check framework built around Property which integrates well with unit test frameworks like junit.
-
Uses of Property.CheckError in io.vavr.test
Methods in io.vavr.test that return Property.CheckErrorModifier and TypeMethodDescriptionprivate static Property.CheckError
Property.arbitraryError
(int position, int size, Throwable cause) Creates a CheckError caused by an exception when obtaining a generator.private static Property.CheckError
Creates a CheckError caused by an exception when generating a value.private static Property.CheckError
Property.predicateError
(Throwable cause) Creates a CheckError caused by an exception when testing a Predicate.