@traqula/rules-sparql-1-1 0.0.1-alpha.176 → 0.0.1

package/lib/validation/validators.js

@@ -0,0 +1,235 @@
+import { Transformer } from '@traqula/core';
+import { Factory } from '../factory';
+const F = new Factory();
+const transformer = new Transformer();
+/**
+ * Get all 'aggregate' rules from an expression
+ */
+function getAggregatesOfExpression(expression) {
+    if (F.isExpressionAggregate(expression)) {
+        return [expression];
+    }
+    if (F.isExpressionOperator(expression)) {
+        const aggregates = [];
+        for (const arg of expression.args) {
+            aggregates.push(...getAggregatesOfExpression(arg));
+        }
+        return aggregates;
+    }
+    return [];
+}
+/**
+ * Return the variable value id of an expression if bounded
+ */
+function getExpressionId(expression) {
+    // Check if grouping
+    if (F.isTerm(expression) && F.isTermVariable(expression)) {
+        return expression.value;
+    }
+    if (F.isExpression(expression)) {
+        if (F.isExpressionAggregate(expression) && F.isTermVariable(expression.expression[0])) {
+            return expression.expression[0].value;
+        }
+        return undefined;
+    }
+    return expression.variable.value;
+}
+/**
+ * Get all variables used in an expression
+ */
+function getVariablesFromExpression(expression, variables) {
+    if (F.isExpressionOperator(expression)) {
+        for (const expr of expression.args) {
+            getVariablesFromExpression(expr, variables);
+        }
+    }
+    else if (F.isTerm(expression) && F.isTermVariable(expression)) {
+        variables.add(expression.value);
+    }
+}
+export function queryIsGood(query) {
+    // NoGroupByOnWildcardSelect
+    if (query.variables.length === 1 && F.isWildcard(query.variables[0])) {
+        if (query.solutionModifiers.group !== undefined) {
+            throw new Error('GROUP BY not allowed with wildcard');
+        }
+        return;
+    }
+    // CannotProjectUngroupedVars - can be skipped if `SELECT *`
+    // Check for projection of ungrouped variable
+    // Check can be skipped in case of wildcard select.
+    const variables = query.variables;
+    const hasCountAggregate = variables.flatMap(varVal => F.isTerm(varVal) ? [] : getAggregatesOfExpression(varVal.expression)).some(agg => agg.aggregation === 'count' && !agg.expression.some(arg => F.isWildcard(arg)));
+    const groupBy = query.solutionModifiers.group;
+    if (hasCountAggregate || groupBy) {
+        // We have to check whether
+        //  1. Variables used in projection are usable given the group by clause
+        //  2. A selectCount will create an implicit group by clause.
+        for (const selectVar of variables) {
+            if (F.isTerm(selectVar)) {
+                if (!groupBy || !groupBy.groupings.map(groupvar => getExpressionId(groupvar))
+                    .includes((getExpressionId(selectVar)))) {
+                    throw new Error('Variable not allowed in projection');
+                }
+            }
+            else if (getAggregatesOfExpression(selectVar.expression).length === 0) {
+                // Current value binding does not use aggregates
+                const usedvars = new Set();
+                getVariablesFromExpression(selectVar.expression, usedvars);
+                for (const usedvar of usedvars) {
+                    if (!groupBy || !groupBy.groupings.map(groupVar => getExpressionId(groupVar))
+                        .includes(usedvar)) {
+                        throw new Error(`Use of ungrouped variable in projection of operation (?${usedvar})`);
+                    }
+                }
+            }
+        }
+    }
+    // NOTE 12: Check if id of each AS-selected column is not yet bound by subquery
+    const subqueries = query.where.patterns.filter(pattern => pattern.type === 'query');
+    if (subqueries.length > 0) {
+        const selectBoundedVars = new Set();
+        for (const variable of variables) {
+            if ('variable' in variable) {
+                selectBoundedVars.add(variable.variable.value);
+            }
+        }
+        // Look at in scope variables
+        const vars = subqueries.flatMap(sub => sub.variables)
+            .map(v => F.isTerm(v) ? v.value : (F.isWildcard(v) ? '*' : v.variable.value));
+        const subqueryIds = new Set(vars);
+        for (const selectedVarId of selectBoundedVars) {
+            if (subqueryIds.has(selectedVarId)) {
+                throw new Error(`Target id of 'AS' (?${selectedVarId}) already used in subquery`);
+            }
+        }
+    }
+}
+export function findPatternBoundedVars(iter, boundedVars) {
+    if (F.isQuery(iter) || F.isUpdate(iter)) {
+        if (F.isQuerySelect(iter) || F.isQueryDescribe(iter)) {
+            if (iter.where && iter.variables.some(x => F.isWildcard(x))) {
+                findPatternBoundedVars(iter.where, boundedVars);
+            }
+            else {
+                for (const v of iter.variables) {
+                    findPatternBoundedVars(v, boundedVars);
+                }
+            }
+            if (iter.solutionModifiers.group) {
+                const grouping = iter.solutionModifiers.group;
+                for (const g of grouping.groupings) {
+                    if ('variable' in g) {
+                        findPatternBoundedVars(g.variable, boundedVars);
+                    }
+                }
+            }
+            if (iter.values?.values && iter.values.values.length > 0) {
+                const values = iter.values.values;
+                for (const v of Object.keys(values[0])) {
+                    boundedVars.add(v);
+                }
+            }
+        }
+    }
+    else if (F.isTerm(iter)) {
+        if (F.isTermVariable(iter)) {
+            boundedVars.add(iter.value);
+        }
+    }
+    else if (F.isTriple(iter)) {
+        findPatternBoundedVars(iter.subject, boundedVars);
+        findPatternBoundedVars(iter.predicate, boundedVars);
+        findPatternBoundedVars(iter.object, boundedVars);
+    }
+    else if (F.isPath(iter)) {
+        if (!F.isTerm(iter)) {
+            for (const item of iter.items) {
+                findPatternBoundedVars(item, boundedVars);
+            }
+        }
+    }
+    else if (F.isTripleCollection(iter) || F.isPatternBgp(iter)) {
+        for (const triple of iter.triples) {
+            findPatternBoundedVars(triple, boundedVars);
+        }
+    }
+    else if (F.isPatternGroup(iter) || F.isPatternUnion(iter) || F.isPatternOptional(iter) || F.isPatternService(iter)) {
+        for (const pattern of iter.patterns) {
+            findPatternBoundedVars(pattern, boundedVars);
+        }
+        if (F.isPatternService(iter)) {
+            findPatternBoundedVars(iter.name, boundedVars);
+        }
+    }
+    else if (F.isPatternBind(iter)) {
+        findPatternBoundedVars(iter.variable, boundedVars);
+    }
+    else if (F.isPatternValues(iter)) {
+        for (const variable of Object.keys(iter.values.at(0) ?? {})) {
+            boundedVars.add(variable);
+        }
+    }
+    else if (F.isPatternGraph(iter)) {
+        findPatternBoundedVars(iter.name, boundedVars);
+        for (const pattern of iter.patterns) {
+            findPatternBoundedVars(pattern, boundedVars);
+        }
+    }
+}
+/**
+ * NOTE 13 and https://www.w3.org/TR/sparql11-query/#variableScope
+ * > In BIND (expr AS v) requires that the variable v is not in-scope from the preceeding elements in the
+ *    group graph pattern in which it is used.
+ */
+export function checkNote13(patterns) {
+    for (const [index, pattern] of patterns.entries()) {
+        if (F.isPatternBind(pattern) && index > 0 && F.isPatternBgp(patterns[index - 1])) {
+            const bgp = patterns[index - 1];
+            // Find variables used.
+            const variables = [];
+            transformer.visitNodeSpecific(bgp, 'term', 'variable', var_ => variables.push(var_));
+            if (variables.some(var_ => var_.value === pattern.variable.value)) {
+                throw new Error(`Variable used to bind is already bound (?${pattern.variable.value})`);
+            }
+        }
+    }
+    const boundedVars = new Set();
+    for (const pattern of patterns) {
+        // Element can be bind, in that case, check note 13. If it is not, buildup set of bounded variables.
+        if (F.isPatternBind(pattern)) {
+            if (boundedVars.has(pattern.variable.value)) {
+                throw new Error(`Variable used to bind is already bound (?${pattern.variable.value})`);
+            }
+        }
+        else {
+            findPatternBoundedVars(pattern, boundedVars);
+        }
+    }
+}
+/**
+ * https://www.w3.org/TR/sparql11-query/#grammarBNodes
+ * > two INSERT DATA operations within a single SPARQL Update request
+ */
+export function updateNoReuseBlankNodeLabels(updateQuery) {
+    const blankLabelsUsedInInsertData = new Set();
+    for (const update of updateQuery.updates) {
+        if (!update.operation) {
+            continue;
+        }
+        const operation = update.operation;
+        if (operation.subType === 'insertdata') {
+            const blankNodesHere = new Set();
+            transformer.visitNodeSpecific(operation, 'term', 'blankNode', (blankNode) => {
+                blankNodesHere.add(blankNode.label);
+                if (blankLabelsUsedInInsertData.has(blankNode.label)) {
+                    throw new Error('Detected reuse blank node across different INSERT DATA clauses');
+                }
+            });
+            for (const blankNode of blankNodesHere) {
+                blankLabelsUsedInInsertData.add(blankNode);
+            }
+        }
+    }
+}
+//# sourceMappingURL=validators.js.map

package/lib/validation/validators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validators.js","sourceRoot":"","sources":["validators.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAoBrC,MAAM,CAAC,GAAG,IAAI,OAAO,EAAE,CAAC;AACxB,MAAM,WAAW,GAAG,IAAI,WAAW,EAAiB,CAAC;AAErD;;GAEG;AACH,SAAS,yBAAyB,CAAC,UAAsB;IACvD,IAAI,CAAC,CAAC,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,OAAO,CAAE,UAAU,CAAE,CAAC;IACxB,CAAC;IACD,IAAI,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,MAAM,UAAU,GAA0B,EAAE,CAAC;QAC7C,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClC,UAAU,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,UAAiE;IACxF,oBAAoB;IACpB,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC;QACzD,OAAO,UAAU,CAAC,KAAK,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,qBAAqB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACxC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,0BAA0B,CAAC,UAAsB,EAAE,SAAsB;IAChF,IAAI,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACnC,0BAA0B,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC;QAChE,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAqE;IAC/F,4BAA4B;IAC5B,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,IAAI,KAAK,CAAC,iBAAiB,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;QACD,OAAO;IACT,CAAC;IAED,4DAA4D;IAC5D,6CAA6C;IAC7C,mDAAmD;IACnD,MAAM,SAAS,GAAiD,KAAK,CAAC,SAAS,CAAC;IAChF,MAAM,iBAAiB,GAAG,SAAS,CAAC,OAAO,CACzC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,UAAU,CAAC,CAC/E,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,OAAO,GAAG,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;IAC9C,IAAI,iBAAiB,IAAI,OAAO,EAAE,CAAC;QACjC,2BAA2B;QAC3B,wEAAwE;QACxE,6DAA6D;QAC7D,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;qBAC1E,QAAQ,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBACxD,CAAC;YACH,CAAC;iBAAM,IAAI,yBAAyB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxE,gDAAgD;gBAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;gBACnC,0BAA0B,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;gBAC3D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAC/B,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;yBAC1E,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;wBACrB,MAAM,IAAI,KAAK,CAAC,0DAA0D,OAAO,GAAG,CAAC,CAAC;oBACxF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IACpF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC5C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;gBAC3B,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAwC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC;aACzF,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,aAAa,IAAI,iBAAiB,EAAE,CAAC;YAC9C,IAAI,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,uBAAuB,aAAa,4BAA4B,CAAC,CAAC;YACpF,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAuF,EACvF,WAAwB;IAExB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBAC/B,sBAAsB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;gBACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;gBAC9C,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;oBACnC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;wBACpB,sBAAsB,CAAC,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;oBAClD,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAClC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,sBAAsB,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAClD,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACpD,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;SAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,sBAAsB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;SAAM,IACL,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5G,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,sBAAsB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACrD,CAAC;SAAM,IAAI,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC5D,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC/C,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,sBAAsB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,QAAmB;IAC7C,KAAK,MAAM,CAAE,KAAK,EAAE,OAAO,CAAE,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,IAAI,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,MAAM,GAAG,GAAgB,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC7C,uBAAuB;YACvB,MAAM,SAAS,GAAmB,EAAE,CAAC;YACrC,WAAW,CAAC,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACrF,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClE,MAAM,IAAI,KAAK,CAAC,4CAA4C,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,oGAAoG;QACpG,IAAI,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,4CAA4C,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,sBAAsB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAAC,WAAmB;IAC9D,MAAM,2BAA2B,GAAG,IAAI,GAAG,EAAU,CAAC;IACtD,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QACnC,IAAI,SAAS,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;YACzC,WAAW,CAAC,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,SAAS,EAAE,EAAE;gBAC1E,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,2BAA2B,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC,CAAC,CAAC;YACH,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;gBACvC,2BAA2B,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["import { Transformer } from '@traqula/core';\nimport { Factory } from '../factory';\nimport type {\n  Wildcard,\n  Expression,\n  ExpressionAggregate,\n  Pattern,\n  QuerySelect,\n  TermVariable,\n  SolutionModifierGroupBind,\n  PatternBgp,\n  Sparql11Nodes,\n  Update,\n  PatternBind,\n  TripleCollection,\n  Path,\n  TripleNesting,\n  Term,\n  SparqlQuery,\n} from '../RoundTripTypes';\n\nconst F = new Factory();\nconst transformer = new Transformer<Sparql11Nodes>();\n\n/**\n * Get all 'aggregate' rules from an expression\n */\nfunction getAggregatesOfExpression(expression: Expression): ExpressionAggregate[] {\n  if (F.isExpressionAggregate(expression)) {\n    return [ expression ];\n  }\n  if (F.isExpressionOperator(expression)) {\n    const aggregates: ExpressionAggregate[] = [];\n    for (const arg of expression.args) {\n      aggregates.push(...getAggregatesOfExpression(arg));\n    }\n    return aggregates;\n  }\n  return [];\n}\n\n/**\n * Return the variable value id of an expression if bounded\n */\nfunction getExpressionId(expression: SolutionModifierGroupBind | Expression | TermVariable): string | undefined {\n  // Check if grouping\n  if (F.isTerm(expression) && F.isTermVariable(expression)) {\n    return expression.value;\n  }\n  if (F.isExpression(expression)) {\n    if (F.isExpressionAggregate(expression) && F.isTermVariable(expression.expression[0])) {\n      return expression.expression[0].value;\n    }\n    return undefined;\n  }\n  return expression.variable.value;\n}\n\n/**\n * Get all variables used in an expression\n */\nfunction getVariablesFromExpression(expression: Expression, variables: Set<string>): void {\n  if (F.isExpressionOperator(expression)) {\n    for (const expr of expression.args) {\n      getVariablesFromExpression(expr, variables);\n    }\n  } else if (F.isTerm(expression) && F.isTermVariable(expression)) {\n    variables.add(expression.value);\n  }\n}\n\nexport function queryIsGood(query: Pick<QuerySelect, 'variables' | 'solutionModifiers' | 'where'>): void {\n  // NoGroupByOnWildcardSelect\n  if (query.variables.length === 1 && F.isWildcard(query.variables[0])) {\n    if (query.solutionModifiers.group !== undefined) {\n      throw new Error('GROUP BY not allowed with wildcard');\n    }\n    return;\n  }\n\n  // CannotProjectUngroupedVars - can be skipped if `SELECT *`\n  // Check for projection of ungrouped variable\n  // Check can be skipped in case of wildcard select.\n  const variables = <Exclude<typeof query.variables, [Wildcard]>> query.variables;\n  const hasCountAggregate = variables.flatMap(\n    varVal => F.isTerm(varVal) ? [] : getAggregatesOfExpression(varVal.expression),\n  ).some(agg => agg.aggregation === 'count' && !agg.expression.some(arg => F.isWildcard(arg)));\n  const groupBy = query.solutionModifiers.group;\n  if (hasCountAggregate || groupBy) {\n    // We have to check whether\n    //  1. Variables used in projection are usable given the group by clause\n    //  2. A selectCount will create an implicit group by clause.\n    for (const selectVar of variables) {\n      if (F.isTerm(selectVar)) {\n        if (!groupBy || !groupBy.groupings.map(groupvar => getExpressionId(groupvar))\n          .includes((getExpressionId(selectVar)))) {\n          throw new Error('Variable not allowed in projection');\n        }\n      } else if (getAggregatesOfExpression(selectVar.expression).length === 0) {\n        // Current value binding does not use aggregates\n        const usedvars = new Set<string>();\n        getVariablesFromExpression(selectVar.expression, usedvars);\n        for (const usedvar of usedvars) {\n          if (!groupBy || !groupBy.groupings.map(groupVar => getExpressionId(groupVar))\n            .includes(usedvar)) {\n            throw new Error(`Use of ungrouped variable in projection of operation (?${usedvar})`);\n          }\n        }\n      }\n    }\n  }\n\n  // NOTE 12: Check if id of each AS-selected column is not yet bound by subquery\n  const subqueries = query.where.patterns.filter(pattern => pattern.type === 'query');\n  if (subqueries.length > 0) {\n    const selectBoundedVars = new Set<string>();\n    for (const variable of variables) {\n      if ('variable' in variable) {\n        selectBoundedVars.add(variable.variable.value);\n      }\n    }\n\n    // Look at in scope variables\n    const vars = subqueries.flatMap<TermVariable | PatternBind | Wildcard>(sub => sub.variables)\n      .map(v => F.isTerm(v) ? v.value : (F.isWildcard(v) ? '*' : v.variable.value));\n    const subqueryIds = new Set(vars);\n    for (const selectedVarId of selectBoundedVars) {\n      if (subqueryIds.has(selectedVarId)) {\n        throw new Error(`Target id of 'AS' (?${selectedVarId}) already used in subquery`);\n      }\n    }\n  }\n}\n\nexport function findPatternBoundedVars(\n  iter: SparqlQuery | Pattern | TripleNesting | TripleCollection | Path | Term | Wildcard,\n  boundedVars: Set<string>,\n): void {\n  if (F.isQuery(iter) || F.isUpdate(iter)) {\n    if (F.isQuerySelect(iter) || F.isQueryDescribe(iter)) {\n      if (iter.where && iter.variables.some(x => F.isWildcard(x))) {\n        findPatternBoundedVars(iter.where, boundedVars);\n      } else {\n        for (const v of iter.variables) {\n          findPatternBoundedVars(v, boundedVars);\n        }\n      }\n      if (iter.solutionModifiers.group) {\n        const grouping = iter.solutionModifiers.group;\n        for (const g of grouping.groupings) {\n          if ('variable' in g) {\n            findPatternBoundedVars(g.variable, boundedVars);\n          }\n        }\n      }\n      if (iter.values?.values && iter.values.values.length > 0) {\n        const values = iter.values.values;\n        for (const v of Object.keys(values[0])) {\n          boundedVars.add(v);\n        }\n      }\n    }\n  } else if (F.isTerm(iter)) {\n    if (F.isTermVariable(iter)) {\n      boundedVars.add(iter.value);\n    }\n  } else if (F.isTriple(iter)) {\n    findPatternBoundedVars(iter.subject, boundedVars);\n    findPatternBoundedVars(iter.predicate, boundedVars);\n    findPatternBoundedVars(iter.object, boundedVars);\n  } else if (F.isPath(iter)) {\n    if (!F.isTerm(iter)) {\n      for (const item of iter.items) {\n        findPatternBoundedVars(item, boundedVars);\n      }\n    }\n  } else if (F.isTripleCollection(iter) || F.isPatternBgp(iter)) {\n    for (const triple of iter.triples) {\n      findPatternBoundedVars(triple, boundedVars);\n    }\n  } else if (\n    F.isPatternGroup(iter) || F.isPatternUnion(iter) || F.isPatternOptional(iter) || F.isPatternService(iter)) {\n    for (const pattern of iter.patterns) {\n      findPatternBoundedVars(pattern, boundedVars);\n    }\n    if (F.isPatternService(iter)) {\n      findPatternBoundedVars(iter.name, boundedVars);\n    }\n  } else if (F.isPatternBind(iter)) {\n    findPatternBoundedVars(iter.variable, boundedVars);\n  } else if (F.isPatternValues(iter)) {\n    for (const variable of Object.keys(iter.values.at(0) ?? {})) {\n      boundedVars.add(variable);\n    }\n  } else if (F.isPatternGraph(iter)) {\n    findPatternBoundedVars(iter.name, boundedVars);\n    for (const pattern of iter.patterns) {\n      findPatternBoundedVars(pattern, boundedVars);\n    }\n  }\n}\n\n/**\n * NOTE 13 and https://www.w3.org/TR/sparql11-query/#variableScope\n * > In BIND (expr AS v) requires that the variable v is not in-scope from the preceeding elements in the\n *    group graph pattern in which it is used.\n */\nexport function checkNote13(patterns: Pattern[]): void {\n  for (const [ index, pattern ] of patterns.entries()) {\n    if (F.isPatternBind(pattern) && index > 0 && F.isPatternBgp(patterns[index - 1])) {\n      const bgp = <PatternBgp> patterns[index - 1];\n      // Find variables used.\n      const variables: TermVariable[] = [];\n      transformer.visitNodeSpecific(bgp, 'term', 'variable', var_ => variables.push(var_));\n      if (variables.some(var_ => var_.value === pattern.variable.value)) {\n        throw new Error(`Variable used to bind is already bound (?${pattern.variable.value})`);\n      }\n    }\n  }\n\n  const boundedVars = new Set<string>();\n  for (const pattern of patterns) {\n    // Element can be bind, in that case, check note 13. If it is not, buildup set of bounded variables.\n    if (F.isPatternBind(pattern)) {\n      if (boundedVars.has(pattern.variable.value)) {\n        throw new Error(`Variable used to bind is already bound (?${pattern.variable.value})`);\n      }\n    } else {\n      findPatternBoundedVars(pattern, boundedVars);\n    }\n  }\n}\n\n/**\n * https://www.w3.org/TR/sparql11-query/#grammarBNodes\n * > two INSERT DATA operations within a single SPARQL Update request\n */\nexport function updateNoReuseBlankNodeLabels(updateQuery: Update): void {\n  const blankLabelsUsedInInsertData = new Set<string>();\n  for (const update of updateQuery.updates) {\n    if (!update.operation) {\n      continue;\n    }\n    const operation = update.operation;\n    if (operation.subType === 'insertdata') {\n      const blankNodesHere = new Set<string>();\n      transformer.visitNodeSpecific(operation, 'term', 'blankNode', (blankNode) => {\n        blankNodesHere.add(blankNode.label);\n        if (blankLabelsUsedInInsertData.has(blankNode.label)) {\n          throw new Error('Detected reuse blank node across different INSERT DATA clauses');\n        }\n      });\n      for (const blankNode of blankNodesHere) {\n        blankLabelsUsedInInsertData.add(blankNode);\n      }\n    }\n  }\n}\n"]}

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "@traqula/rules-sparql-1-1",
   "type": "module",
-  "version": "0.0.1-alpha.176+9400dc5",
-  "description": "Traqula Lexer and Grammar Rules for sparql 1.1",
+  "version": "0.0.1",
+  "description": "TRAQULA Lexer and Grammar Rules for sparql 1.1",
   "lsd:module": true,
   "license": "MIT",
   "repository": {
@@ -38,13 +38,11 @@
     "build:transpile": " node \"../../node_modules/esbuild/bin/esbuild\" --format=cjs --bundle --log-level=error --outfile=lib/index.cjs lib/index.ts"
   },
   "dependencies": {
-    "@traqula/core": "^0.0.1-alpha.176+9400dc5",
-    "chevrotain": "^11.0.3",
-    "rdf-data-factory": "^2.0.1"
+    "@traqula/core": "^0.0.1",
+    "chevrotain": "^11.0.3"
   },
   "devDependencies": {
-    "@chevrotain/types": "^11.0.3",
-    "@rdfjs/types": "^2.0.0"
+    "@chevrotain/types": "^11.0.3"
   },
-  "gitHead": "9400dc5f8bda1d8c2b3d1f4cf56b308995744ba0"
+  "gitHead": "2bfa8222d972fda2ca6f0adc80a5362e0d583871"
 }

package/lib/Wildcard.d.ts

@@ -1,9 +0,0 @@
-export declare class Wildcard {
-    value: "*";
-    termType: "Wildcard";
-    constructor();
-    equals(other: {
-        termType: unknown;
-    } | undefined | null): boolean;
-    toJSON(): object;
-}

package/lib/Wildcard.js

@@ -1,19 +0,0 @@
-export class Wildcard {
-    constructor() {
-        this.value = '*';
-        this.termType = 'Wildcard';
-        // eslint-disable-next-line no-constructor-return
-        return WILDCARD ?? this;
-    }
-    equals(other) {
-        return Boolean(other && (this.termType === other.termType));
-    }
-    toJSON() {
-        // eslint-disable-next-line unused-imports/no-unused-vars
-        const { value, ...rest } = this;
-        return rest;
-    }
-}
-let WILDCARD;
-WILDCARD = new Wildcard();
-//# sourceMappingURL=Wildcard.js.map

package/lib/Wildcard.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Wildcard.js","sourceRoot":"","sources":["Wildcard.ts"],"names":[],"mappings":"AAAA,MAAM,OAAO,QAAQ;IAGnB;QAFO,UAAK,GAAW,GAAG,CAAC;QACpB,aAAQ,GAAW,UAAU,CAAC;QAEnC,iDAAiD;QACjD,OAAO,QAAQ,IAAI,IAAI,CAAC;IAC1B,CAAC;IAEM,MAAM,CAAC,KAA+C;QAC3D,OAAO,OAAO,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9D,CAAC;IAEM,MAAM;QACX,yDAAyD;QACzD,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,IAAI,QAA8B,CAAC;AACnC,QAAQ,GAAG,IAAI,QAAQ,EAAE,CAAC","sourcesContent":["export class Wildcard {\n  public value = <const> '*';\n  public termType = <const> 'Wildcard';\n  public constructor() {\n    // eslint-disable-next-line no-constructor-return\n    return WILDCARD ?? this;\n  }\n\n  public equals(other: { termType: unknown } | undefined | null): boolean {\n    return Boolean(other && (this.termType === other.termType));\n  }\n\n  public toJSON(): object {\n    // eslint-disable-next-line unused-imports/no-unused-vars\n    const { value, ...rest } = this;\n    return rest;\n  }\n}\n\nlet WILDCARD: Wildcard | undefined;\nWILDCARD = new Wildcard();\n"]}