0
|
1 package fj.test.reflect;
|
|
2
|
|
3 import fj.P1;
|
|
4 import fj.test.Property;
|
|
5
|
|
6 import java.lang.annotation.Documented;
|
|
7 import java.lang.annotation.ElementType;
|
|
8 import java.lang.annotation.Inherited;
|
|
9 import java.lang.annotation.Retention;
|
|
10 import java.lang.annotation.RetentionPolicy;
|
|
11 import java.lang.annotation.Target;
|
|
12
|
|
13 /**
|
|
14 * Specifies the check parameters on a {@link Property} property with typical defaults.
|
|
15 *
|
|
16 * @version %build.number%
|
|
17 */
|
|
18 @Documented
|
|
19 @Target({ElementType.TYPE, ElementType.FIELD, ElementType.METHOD})
|
|
20 @Retention(RetentionPolicy.RUNTIME)
|
|
21 @Inherited
|
|
22 public @interface CheckParams {
|
|
23 /**
|
|
24 * The minimum number of successful tests before a result is reached.
|
|
25 *
|
|
26 * @return The minimum number of successful tests before a result is reached.
|
|
27 */
|
|
28 int minSuccessful() default 100;
|
|
29
|
|
30 /**
|
|
31 * The maximum number of tests discarded because they did not satisfy pre-conditions
|
|
32 * (i.e. {@link Property#implies(boolean, P1)}).
|
|
33 *
|
|
34 * @return The maximum number of tests discarded because they did not satisfy pre-conditions
|
|
35 * (i.e. {@link Property#implies(boolean, P1)}).
|
|
36 */
|
|
37 int maxDiscarded() default 500;
|
|
38
|
|
39 /**
|
|
40 * The minimum size to use for checking.
|
|
41 *
|
|
42 * @return The minimum size to use for checking.
|
|
43 */
|
|
44 int minSize() default 0;
|
|
45
|
|
46 /**
|
|
47 * The maximum size to use for checking.
|
|
48 *
|
|
49 * @return The maximum size to use for checking.
|
|
50 */
|
|
51 int maxSize() default 100;
|
|
52 }
|