diff options
author | Matthias Baumgartner <dev@igsor.net> | 2023-01-15 21:00:12 +0100 |
---|---|---|
committer | Matthias Baumgartner <dev@igsor.net> | 2023-01-15 21:00:12 +0100 |
commit | 80a97bfa9f22d0d6dd25928fe1754a3a0d1de78a (patch) | |
tree | 30d30fb669d7b43d7324ef8027306c24c1ec1ac2 /bsfs/query/validator.py | |
parent | ccaee71e2b6135d3b324fe551c8652940b67aab3 (diff) | |
download | bsfs-80a97bfa9f22d0d6dd25928fe1754a3a0d1de78a.tar.gz bsfs-80a97bfa9f22d0d6dd25928fe1754a3a0d1de78a.tar.bz2 bsfs-80a97bfa9f22d0d6dd25928fe1754a3a0d1de78a.zip |
Distance filter ast node
Diffstat (limited to 'bsfs/query/validator.py')
-rw-r--r-- | bsfs/query/validator.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bsfs/query/validator.py b/bsfs/query/validator.py index ecea951..1b7f688 100644 --- a/bsfs/query/validator.py +++ b/bsfs/query/validator.py @@ -69,6 +69,8 @@ class Filter(): return self._not(type_, node) if isinstance(node, ast.filter.Has): return self._has(type_, node) + if isinstance(node, ast.filter.Distance): + return self._distance(type_, node) if isinstance(node, (ast.filter.Any, ast.filter.All)): return self._branch(type_, node) if isinstance(node, (ast.filter.And, ast.filter.Or)): @@ -177,6 +179,20 @@ class Filter(): # node.count is a numerical expression self._parse_filter_expression(self.schema.literal(ns.bsfs.Number), node.count) + def _distance(self, type_: bsc.Vertex, node: ast.filter.Distance): + # type is a Literal + if not isinstance(type_, bsc.Feature): + raise errors.ConsistencyError(f'expected a Feature, found {type_}') + # type exists in the schema + if type_ not in self.schema.literals(): + raise errors.ConsistencyError(f'literal {type_} is not in the schema') + # reference matches type_ + if len(node.reference) != type_.dimension: + raise errors.ConsistencyError(f'reference has dimension {len(node.reference)}, expected {type_.dimension}') + # FIXME: + #if node.reference.dtype != type_.dtype: + # raise errors.ConsistencyError(f'') + ## conditions |