Package at.jku.ssw.fp.sect11_3.check4j
Class Checker<A>
- java.lang.Object
-
- at.jku.ssw.fp.sect11_3.check4j.Checker<A>
-
public class Checker<A> extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Result<A>
check()
void
checkVerbose()
void
checkVerbose(PrintStream printer)
static <A> Checker<A>
of(Property<A> property, Shrinker<A> shrinker)
-