src/main/java/au/id/zancanaro/javacheck/annotations/Property.java


1
2
3
4
5
6
7
8
9
10
11
12
13

package au.id.zancanaro.javacheck.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

@Target(ElementType.METHOD)
@Retention(RetentionPolicy.RUNTIME)
public @interface Property {
    int maxSize() default 100;
    int runs() default 100;
}