Correctly convert FROM/CONSTRUCT algebra

joachimvh · Oct 30, 2023 · edfbb30 · edfbb30
1 parent 51242ca
commit edfbb30
Show file tree

Hide file tree

Showing 4 changed files with 139 additions and 1 deletion.
diff --git a/lib/sparql.ts b/lib/sparql.ts
@@ -279,8 +279,12 @@ function translateExtend(op: Algebra.Extend): any
 function translateFrom(op: Algebra.From): GroupPattern
 {
     const result = translateOperation(op.input);
+    // Can't type as CONSTRUCT queries do not have `from` field in their type
+    let obj = result;
     // project is nested in group object
-    const obj: SelectQuery = result.patterns[0];
+    if (result.type === 'group') {
+        obj = result.patterns[0];
+    }
     obj.from = {
         default: op.default,
         named: op.named

diff --git a/test/algebra-blank-to-var/sparql-1.1/construct/construct-from.json b/test/algebra-blank-to-var/sparql-1.1/construct/construct-from.json
@@ -0,0 +1,65 @@
+{
+    "default": [
+        {
+            "termType": "NamedNode",
+            "value": "http://example.com/data"
+        }
+    ],
+    "input": {
+        "input": {
+            "input": {
+                "patterns": [
+                    {
+                        "graph": {
+                            "termType": "DefaultGraph",
+                            "value": ""
+                        },
+                        "object": {
+                            "termType": "Variable",
+                            "value": "o"
+                        },
+                        "predicate": {
+                            "termType": "Variable",
+                            "value": "p"
+                        },
+                        "subject": {
+                            "termType": "Variable",
+                            "value": "s"
+                        },
+                        "termType": "Quad",
+                        "type": "pattern"
+                    }
+                ],
+                "type": "bgp"
+            },
+            "template": [
+                {
+                    "graph": {
+                        "termType": "DefaultGraph",
+                        "value": ""
+                    },
+                    "object": {
+                        "termType": "Variable",
+                        "value": "o"
+                    },
+                    "predicate": {
+                        "termType": "Variable",
+                        "value": "p"
+                    },
+                    "subject": {
+                        "termType": "Variable",
+                        "value": "s"
+                    },
+                    "termType": "Quad",
+                    "type": "pattern"
+                }
+            ],
+            "type": "construct"
+        },
+        "length": 100,
+        "start": 0,
+        "type": "slice"
+    },
+    "named": [],
+    "type": "from"
+}
diff --git a/test/algebra/sparql-1.1/construct/construct-from.json b/test/algebra/sparql-1.1/construct/construct-from.json
@@ -0,0 +1,65 @@
+{
+    "default": [
+        {
+            "termType": "NamedNode",
+            "value": "http://example.com/data"
+        }
+    ],
+    "input": {
+        "input": {
+            "input": {
+                "patterns": [
+                    {
+                        "graph": {
+                            "termType": "DefaultGraph",
+                            "value": ""
+                        },
+                        "object": {
+                            "termType": "Variable",
+                            "value": "o"
+                        },
+                        "predicate": {
+                            "termType": "Variable",
+                            "value": "p"
+                        },
+                        "subject": {
+                            "termType": "Variable",
+                            "value": "s"
+                        },
+                        "termType": "Quad",
+                        "type": "pattern"
+                    }
+                ],
+                "type": "bgp"
+            },
+            "template": [
+                {
+                    "graph": {
+                        "termType": "DefaultGraph",
+                        "value": ""
+                    },
+                    "object": {
+                        "termType": "Variable",
+                        "value": "o"
+                    },
+                    "predicate": {
+                        "termType": "Variable",
+                        "value": "p"
+                    },
+                    "subject": {
+                        "termType": "Variable",
+                        "value": "s"
+                    },
+                    "termType": "Quad",
+                    "type": "pattern"
+                }
+            ],
+            "type": "construct"
+        },
+        "length": 100,
+        "start": 0,
+        "type": "slice"
+    },
+    "named": [],
+    "type": "from"
+}
diff --git a/test/sparql/sparql-1.1/construct/construct-from.sparql b/test/sparql/sparql-1.1/construct/construct-from.sparql
@@ -0,0 +1,4 @@
+CONSTRUCT { ?s ?p ?o. }
+FROM <http://example.com/data>
+WHERE { ?s ?p ?o. }
+LIMIT 100