adapt to non-optional range in query checks

1 files changed, 5 insertions, 9 deletions

diff --git a/bsfs/query/validator.py b/bsfs/query/validator.py
index 6bf1b72..b04a9bf 100644
--- a/bsfs/query/validator.py
+++ b/bsfs/query/validator.py
@@ -98,10 +98,9 @@ class Filter():
             raise errors.ConsistencyError(f'predicate {node.predicate} is not in the schema')
         # determine domain and range
         pred = self.schema.predicate(node.predicate)
+        if not isinstance(pred.range, (bsc.Node, bsc.Literal)):
+            raise errors.BackendError(f'the range of predicate {pred} is undefined')
         dom, rng = pred.domain, pred.range
-        if rng is None:
-            # FIXME: It is a design error that Predicates can have a None range...
-            raise errors.BackendError(f'predicate {pred} has no range')
         if node.reverse:
             dom, rng = rng, dom # type: ignore [assignment] # variable re-use confuses mypy
         # return domain and range
@@ -133,12 +132,9 @@ class Filter():
                     raise errors.ConsistencyError(f'ranges {subrng} and {rng} are not related')
             except TypeError as err: # compared literal vs. node
                 raise errors.ConsistencyError(f'ranges {subrng} and {rng} are not of the same type') from err
-        # check domain and range
-        if dom is None or rng is None:
-            # OneOf guarantees at least one expression, these two cases cannot happen
-            raise errors.UnreachableError()
-        # return domain and range
-        return dom, rng
+        # OneOf guarantees at least one expression, dom and rng are always bsc.Vertex.
+        # mypy does not realize this, hence we ignore the warning.
+        return dom, rng # type: ignore [return-value]
 
 
     ## intermediates