summaryrefslogtreecommitdiff
path: root/src/main/java/au/id/zancanaro/javacheck/annotations
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@zancanaro.id.au>2015-06-01 11:41:16 +1000
committerCarlo Zancanaro <carlo@zancanaro.id.au>2015-06-01 11:41:16 +1000
commit8187f024bae57267af514c5dcb730de09e573e41 (patch)
treecba17e2e770de4972f57b60cdd443248fd68c458 /src/main/java/au/id/zancanaro/javacheck/annotations
parentedfce37bc21699042baf14ad6d172d3187fe530c (diff)
Move packages, make lists shrink in size, generate lists instead of arrays as the 'primitive' operation (issues with generics)
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();
+}