Move packages, make lists shrink in size, generate lists instead of arrays as the 'primitive' operation (issues with generics)

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();
+}