Uses of Class
at.jku.ssw.fp.sect11_3.check4j.Result
-
Packages that use Result Package Description at.jku.ssw.fp.sect11_3.check4j -
-
Uses of Result in at.jku.ssw.fp.sect11_3.check4j
Methods in at.jku.ssw.fp.sect11_3.check4j that return Result Modifier and Type Method Description Result<A>
Property. check()
Runs the property-based test represented by this property object.Result<A>
Property. checkAndShrink()
Runs the property-based test represented by this property object.static <A> Result<A>
Result. create()
Creates an empty result object.
-