Uses of Interface
io.vavr.test.CheckResult
-
Packages that use CheckResult Package Description io.vavr.test A property check framework built around Property which integrates well with unit test frameworks like junit. -
-
Uses of CheckResult in io.vavr.test
Classes in io.vavr.test that implement CheckResult Modifier and Type Class Description static class
CheckResult.Erroneous
Represents an erroneous property check.static class
CheckResult.Falsified
Represents a falsified property check.static class
CheckResult.Satisfied
Represents a satisfied property check.Methods in io.vavr.test that return CheckResult Modifier and Type Method Description default CheckResult
Checkable. check()
Checks this property using the default random number generatorCheckable.RNG
by callingCheckable.check(int, int)
, where size isCheckable.DEFAULT_SIZE
and tries isCheckable.DEFAULT_TRIES
.default CheckResult
Checkable. check(int size, int tries)
Checks this property using the default random number generatorCheckable.RNG
.CheckResult
Checkable. check(java.util.Random randomNumberGenerator, int size, int tries)
Checks this property.CheckResult
Property.Property1. check(java.util.Random random, int size, int tries)
CheckResult
Property.Property2. check(java.util.Random random, int size, int tries)
CheckResult
Property.Property3. check(java.util.Random random, int size, int tries)
CheckResult
Property.Property4. check(java.util.Random random, int size, int tries)
CheckResult
Property.Property5. check(java.util.Random random, int size, int tries)
CheckResult
Property.Property6. check(java.util.Random random, int size, int tries)
CheckResult
Property.Property7. check(java.util.Random random, int size, int tries)
CheckResult
Property.Property8. check(java.util.Random random, int size, int tries)
-