|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@Documented @Target(value={TYPE,FIELD,METHOD}) @Retention(value=RUNTIME) @Inherited public @interface CheckParams
Specifies the check parameters on a Property
property with typical defaults.
Optional Element Summary | |
---|---|
int |
maxDiscarded
The maximum number of tests discarded because they did not satisfy pre-conditions (i.e. |
int |
maxSize
The maximum size to use for checking. |
int |
minSize
The minimum size to use for checking. |
int |
minSuccessful
The minimum number of successful tests before a result is reached. |
public abstract int minSuccessful
public abstract int maxDiscarded
Property.implies(boolean, fj.P1)
).
Property.implies(boolean, fj.P1)
).public abstract int minSize
public abstract int maxSize
|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |