test: initial commit adding hypothesis property testing library

Adding the Hypothesis cache dir to .gitignore
Grammar fixes in geometry.py
Hypothesis dep in pyproject.toml without version peg
Initial strategies in conftest.py. This is the only file name I could use that didn't cause an issue with the name-tests-test pre-commit hook. 'strategies.py' would be better because strictly speaking these aren't fixtures.
An example test for encode/decode invariance.

.gitignore

@@ -24,3 +24,4 @@ venv/
 __pycache__/
 *.stderr*
 docs/_*
+.hypothesis/

pygeoif/geometry.py

@@ -117,7 +117,7 @@ def convex_hull(self) -> Optional[Union["Point", "LineString", "Polygon"]]:
 
         Returns a representation of the smallest convex Polygon containing
         all the points in the object unless the number of points in the object
-        is less than three.
+        is fewer than three.
         For two points, the convex hull collapses to a LineString;
         for 1, to a Point.
         """
@@ -271,7 +271,7 @@ def is_empty(self) -> bool:
         """
         Return if this geometry is empty.
 
-        A Point is considered empty when it has less than 2 coordinates.
+        A Point is considered empty when it has fewer than 2 coordinates.
         """
         return len(self._geoms) < 2  # noqa: PLR2004
 
@@ -382,7 +382,7 @@ def is_empty(self) -> bool:
         """
         Return if this geometry is empty.
 
-        A Linestring is considered empty when it has less than 2 points.
+        A Linestring is considered empty when it has fewer than 2 points.
         """
         return len(self._geoms) < 2  # noqa: PLR2004
 

pyproject.toml

@@ -79,6 +79,7 @@ linting = [
     "yamllint",
 ]
 tests = [
+    "hypothesis",
     "pytest",
     "pytest-cov",
 ]

tests/conftest.py

@@ -0,0 +1,52 @@
+"""Data-generating strategies for property-based testing."""
+import hypothesis.strategies as st
+
+# Incomplete list of allowed spatial reference systems to generate data
+# - EPSG 4326
+# - EPSG 3857
+# ...?
+
+
+# EPSG:4326 primitives
+latitudes = st.floats(
+    min_value=-90.0,
+    max_value=90.0,
+    allow_nan=False,
+    allow_infinity=False,
+)
+longitudes = st.floats(
+    min_value=-180.0,
+    max_value=180.0,
+    allow_nan=False,
+    allow_infinity=False,
+)
+elevations = st.floats(allow_nan=False, allow_infinity=False)
+
+
+# Point2D
+@st.composite
+def points_2d(draw, srs="EPSG:4326"):
+    if srs == "EPSG:4326":
+        return draw(st.tuples(latitudes, longitudes))
+    raise NotImplementedError
+
+
+# Point3D
+@st.composite
+def points_3d(draw, srs="EPSG:4326"):
+    if srs == "EPSG:4326":
+        return draw(st.tuples(latitudes, longitudes, elevations))
+    raise NotImplementedError
+
+
+# PointType
+@st.composite
+def points(draw, srs="EPSG:4326"):
+    if srs == "EPSG:4326":
+        return draw(st.one_of(points_2d(), points_3d()))
+    raise NotImplementedError
+
+
+# LineType
+
+# Geometries

tests/test_point.py

@@ -3,9 +3,11 @@
 from unittest import mock
 
 import pytest
+from hypothesis import given
 
 from pygeoif import geometry
 from pygeoif.exceptions import DimensionError
+from tests.conftest import points
 
 
 def test_empty() -> None:
@@ -250,3 +252,10 @@ def test_hash_empty() -> None:
     point = geometry.Point(None, None)
 
     assert hash(point) == hash(())
+
+
+@given(points("EPSG:4326"))
+def test_repr_eval_hypothesis_epsg_4326(point) -> None:
+    point = geometry.Point(*point)
+
+    assert eval(repr(point), {}, {"Point": geometry.Point}) == point