summaryrefslogtreecommitdiff
path: root/src/main/java/au/id/zancanaro/javacheck/annotations
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/annotations')
-rw-r--r--src/main/java/au/id/zancanaro/javacheck/annotations/DataSource.java11
-rw-r--r--src/main/java/au/id/zancanaro/javacheck/annotations/Property.java13
-rw-r--r--src/main/java/au/id/zancanaro/javacheck/annotations/Seed.java12
3 files changed, 36 insertions, 0 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/annotations/DataSource.java b/src/main/java/au/id/zancanaro/javacheck/annotations/DataSource.java
new file mode 100644
index 0000000..a954c1b
--- /dev/null
+++ b/src/main/java/au/id/zancanaro/javacheck/annotations/DataSource.java
@@ -0,0 +1,11 @@
+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.FIELD})
+@Retention(RetentionPolicy.RUNTIME)
+public @interface DataSource {
+}
diff --git a/src/main/java/au/id/zancanaro/javacheck/annotations/Property.java b/src/main/java/au/id/zancanaro/javacheck/annotations/Property.java
new file mode 100644
index 0000000..aae4ccd
--- /dev/null
+++ b/src/main/java/au/id/zancanaro/javacheck/annotations/Property.java
@@ -0,0 +1,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;
+}
diff --git a/src/main/java/au/id/zancanaro/javacheck/annotations/Seed.java b/src/main/java/au/id/zancanaro/javacheck/annotations/Seed.java
new file mode 100644
index 0000000..ee8c739
--- /dev/null
+++ b/src/main/java/au/id/zancanaro/javacheck/annotations/Seed.java
@@ -0,0 +1,12 @@
+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 Seed {
+ long value();
+}