Uses of Interface
io.vavr.test.CheckResult
Packages that use CheckResult
Package
Description
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 CheckResultModifier and TypeClassDescriptionstatic class
Represents an erroneous property check.static class
Represents a falsified property check.static class
Represents a satisfied property check.Methods in io.vavr.test that return CheckResultModifier and TypeMethodDescriptiondefault 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
.Checks this property.