3 files changed, 123 insertions, 0 deletions
diff --git a/src/test/java/au/id/zancanaro/javacheck/object/MyObject.java b/src/test/java/au/id/zancanaro/javacheck/object/MyObject.java
new file mode 100644
index 0000000..ac0c370
--- /dev/null
+++ b/src/test/java/au/id/zancanaro/javacheck/object/MyObject.java
@@ -0,0 +1,50 @@
+package au.id.zancanaro.javacheck.object;
+
+public class MyObject {
+    public final String string;
+    public final int value;
+    public final SubObject<Integer> subObject;
+
+    public MyObject(String string, int value, SubObject<Integer> subObject) {
+        this.string = string;
+        this.value = value;
+        this.subObject = subObject;
+    }
+
+    @UseForGeneration
+    public MyObject(String string, SubObject<Integer> subObject) {
+        this(string, string.length(), subObject);
+    }
+
+    public MyObject add(MyObject other) {
+        return new MyObject(
+                this.string + other.string,
+                this.value + other.value,
+                this.subObject.add(other.subObject));
+    }
+
+    @Override
+    public String toString() {
+        return "{" + string + ", " + value + ", " + subObject + "}";
+    }
+
+    @Override
+    public boolean equals(Object o) {
+        if (this == o) return true;
+        if (o == null || getClass() != o.getClass()) return false;
+
+        MyObject myObject = (MyObject) o;
+
+        return value == myObject.value
+                && string.equals(myObject.string)
+                && subObject.equals(myObject.subObject);
+    }
+
+    @Override
+    public int hashCode() {
+        int result = string.hashCode();
+        result = 31 * result + value;
+        result = 31 * result + subObject.hashCode();
+        return result;
+    }
+}
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));
+    }
+
+}
diff --git a/src/test/java/au/id/zancanaro/javacheck/object/SubObject.java b/src/test/java/au/id/zancanaro/javacheck/object/SubObject.java
new file mode 100644
index 0000000..bdf2ce8
--- /dev/null
+++ b/src/test/java/au/id/zancanaro/javacheck/object/SubObject.java
@@ -0,0 +1,44 @@
+package au.id.zancanaro.javacheck.object;
+
+import java.util.*;
+
+public class SubObject<T> {
+    public final Map<String, List<T>> obj;
+
+    public SubObject(Map<String, List<T>> obj) {
+        this.obj = obj;
+    }
+
+    public SubObject<T> add(SubObject<T> other) {
+        Map<String, List<T>> values = new HashMap<>(obj);
+        for (Map.Entry<String, List<T>> entry : other.obj.entrySet()) {
+            String key = entry.getKey();
+            if (values.containsKey(key)) {
+                List<T> result = new ArrayList<>(values.get(key));
+                result.addAll(entry.getValue());
+                values.put(key, Collections.unmodifiableList(result));
+            } else {
+                values.put(key, entry.getValue());
+            }
+        }
+        return new SubObject<>(Collections.unmodifiableMap(values));
+    }
+
+    @Override
+    public String toString() {
+        return obj.toString();
+    }
+
+    @Override
+    public boolean equals(Object o) {
+        if (this == o) return true;
+        if (o == null || getClass() != o.getClass()) return false;
+        SubObject subObject = (SubObject) o;
+        return obj.equals(subObject.obj);
+    }
+
+    @Override
+    public int hashCode() {
+        return obj.hashCode();
+    }
+}