Mercurial > hg > Members > tatsuki > functionaljava-master > core

comparison src/main/java/fj/test/reflect/CheckParams.java @ 0:fe80c1edf1be

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add getLoop
author tatsuki
date Fri, 20 Mar 2015 21:04:03 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:fe80c1edf1be
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 }