Add an ObjectGenerator<>, and related machinery (also a mapOf generator)

1 files changed, 29 insertions, 0 deletions

diff --git a/src/test/java/au/id/zancanaro/javacheck/object/MyObjectAddTest.java b/src/test/java/au/id/zancanaro/javacheck/object/MyObjectAddTest.java
new file mode 100644
index 0000000..7965449
--- /dev/null
+++ b/src/test/java/au/id/zancanaro/javacheck/object/MyObjectAddTest.java
@@ -0,0 +1,29 @@
+package au.id.zancanaro.javacheck.object;
+
+import au.id.zancanaro.javacheck.Generator;
+import au.id.zancanaro.javacheck.annotations.DataSource;
+import au.id.zancanaro.javacheck.annotations.Property;
+import au.id.zancanaro.javacheck.junit.Properties;
+import org.junit.runner.RunWith;
+
+import java.util.Collections;
+
+import static au.id.zancanaro.javacheck.Generators.ofType;
+import static org.junit.Assert.assertEquals;
+import static org.junit.Assert.assertTrue;
+
+@RunWith(Properties.class)
+public class MyObjectAddTest {
+
+    @DataSource
+    public static Generator<MyObject> source = ofType(MyObject.class);
+
+    @Property
+    public void testAdd(MyObject a, MyObject b) {
+        MyObject added = a.add(b);
+        assertTrue(added.string.length() == a.string.length() + b.string.length());
+        assertTrue(added.value == a.value + b.value);
+        assertEquals(added.subObject, a.subObject.add(b.subObject));
+    }
+
+}