Add @DataSource, allow printing of RoseTrees, other small changes to generators

1 files changed, 3 insertions, 5 deletions

diff --git a/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java b/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java
index 2ff44e7..20f419a 100644
--- a/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java
+++ b/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java
@@ -1,5 +1,6 @@
 package au.id.zancanaro;
 
+import au.id.zancanaro.annotations.DataSource;
 import au.id.zancanaro.annotations.Property;
 import org.junit.runner.RunWith;
 
@@ -14,13 +15,10 @@ import static org.junit.Assert.assertEquals;
 @RunWith(Properties.class)
 public class SimpleListOperationsTest {
 
-    @SuppressWarnings("unused")
-    public static Generator<Integer> integers = integer();
-
-    @SuppressWarnings("unused")
+    @DataSource
     public static Generator<List<Integer>> listOfIntegers = listOf(integer());
 
-    @Property(maxSize = 10000, runs = 10000)
+    @Property
     public void sortingIsIdempotent(List<Integer> list) {
         List<Integer> left = new ArrayList<>(list);
         Collections.sort(left);