Merge branch 'property-tests' of https://github.com/mithrandi/python-json-patch into mithrandi-property-tests

Author: stefankoegl

.gitignore

@@ -4,3 +4,4 @@ build
 dist
 *.egg-info/
 doc/_build
+.hypothesis/

.travis.yml

@@ -13,6 +13,7 @@ python:
 install:
 - travis_retry pip install -r requirements.txt
 - travis_retry pip install coveralls
+- if [ "$TRAVIS_PYTHON_VERSION" != "3.3" ]; then travis_retry pip install hypothesis; fi
 script:
 - coverage run --source=jsonpointer tests.py
 after_script:

requirements-dev.txt

@@ -1,2 +1,3 @@
 wheel
 pypandoc
+hypothesis >= 3

tests.py

@@ -9,6 +9,18 @@
 import jsonpatch
 import jsonpointer
 import sys
+import string
+
+try:
+    import hypothesis
+    from hypothesis import strategies as st
+except ImportError:
+    hypothesis = None
+
+try:
+    unicode
+except NameError:
+    unicode = str
 
 
 class ApplyPatchTestCase(unittest.TestCase):
@@ -608,6 +620,28 @@ def test_replace_missing(self):
         self.assertRaises(jsonpatch.JsonPatchConflict, jsonpatch.apply_patch, src, patch_obj)
 
 
+if hypothesis is not None:
+    json_st = st.recursive(
+        st.one_of([
+            st.none(),
+            st.booleans(),
+            st.floats(allow_nan=False),
+            st.text(string.printable)]),
+        lambda children:
+        st.lists(children)
+        | st.dictionaries(st.text(string.printable), children))
+
+    class RoundtripTests(unittest.TestCase):
+        @hypothesis.example({}, {unicode('%20'): None})
+        @hypothesis.example({unicode('%20'): None}, {})
+        @hypothesis.given(json_st, json_st)
+        def test_roundtrip(self, src, dst):
+            patch = jsonpatch.JsonPatch.from_diff(src, dst, False)
+            hypothesis.note('Patch: %s' % (patch,))
+            res = patch.apply(src)
+            self.assertEqual(res, dst)
+
+
 if __name__ == '__main__':
     modules = ['jsonpatch']
 
@@ -622,6 +656,8 @@ def get_suite():
         suite.addTest(unittest.makeSuite(InvalidInputTests))
         suite.addTest(unittest.makeSuite(ConflictTests))
         suite.addTest(unittest.makeSuite(OptimizationTests))
+        if hypothesis is not None:
+            suite.addTest(unittest.makeSuite(RoundtripTests))
         return suite