@traqula/rules-sparql-1-1 0.0.1-alpha.137

package/lib/grammar/queryUnit/queryUnit.js

@@ -0,0 +1,405 @@
+import * as l from '../../lexer';
+import { Wildcard } from '@traqula/core';
+import { canParseAggregate } from '../builtIn';
+import { datasetClause } from '../dataSetClause';
+import { expression } from '../expression';
+import { prologue, triplesTemplate, var_, varOrIri } from '../general';
+import { solutionModifier } from '../solutionModifier';
+import { triplesSameSubject } from '../tripleBlock';
+import { dataBlock, whereClause } from '../whereClause';
+/**
+ * [[1]](https://www.w3.org/TR/sparql11-query/#rQueryUnit)
+ */
+export const queryUnit = {
+    name: 'queryUnit',
+    impl: ({ SUBRULE }) => () => SUBRULE(query),
+};
+/**
+ * [[2]](https://www.w3.org/TR/sparql11-query/#rQuery)
+ */
+export const query = {
+    name: 'query',
+    impl: ({ ACTION, SUBRULE, OR }) => () => {
+        const prologueValues = SUBRULE(prologue);
+        const queryType = OR([
+            { ALT: () => SUBRULE(selectQuery) },
+            { ALT: () => SUBRULE(constructQuery) },
+            { ALT: () => SUBRULE(describeQuery) },
+            { ALT: () => SUBRULE(askQuery) },
+        ]);
+        const values = SUBRULE(valuesClause);
+        return ACTION(() => ({
+            ...prologueValues,
+            ...queryType,
+            type: 'query',
+            ...(values && { values }),
+        }));
+    },
+};
+function extractFromOfDataSetClauses(ACTION, MANY, SUBRULE) {
+    const datasetClauses = [];
+    MANY(() => {
+        datasetClauses.push(SUBRULE(datasetClause));
+    });
+    return ACTION(() => {
+        const from = {
+            default: [],
+            named: [],
+        };
+        for (const datasetClause of datasetClauses) {
+            if (datasetClause.type === 'default') {
+                from.default.push(datasetClause.value);
+            }
+            else {
+                from.named.push(datasetClause.value);
+            }
+        }
+        return (from.default.length === 0 && from.named.length === 0) ? undefined : from;
+    });
+}
+/**
+ * Get all 'aggregate' rules from an expression
+ */
+function getAggregatesOfExpression(expression) {
+    if ('type' in expression) {
+        if (expression.type === 'aggregate') {
+            return [expression];
+        }
+        if (expression.type === 'operation') {
+            const aggregates = [];
+            for (const arg of expression.args) {
+                aggregates.push(...getAggregatesOfExpression(arg));
+            }
+            return aggregates;
+        }
+    }
+    return [];
+}
+/**
+ * Return the id of an expression
+ */
+function getExpressionId(expression) {
+    // Check if grouping
+    if ('variable' in expression && expression.variable) {
+        return expression.variable.value;
+    }
+    if ('value' in expression) {
+        return expression.value;
+    }
+    return 'value' in expression.expression ? expression.expression.value : undefined;
+}
+/**
+ * Get all variables used in an expression
+ */
+function getVariablesFromExpression(expression) {
+    const variables = new Set();
+    const visitExpression = (expr) => {
+        if (!expr) {
+            return;
+        }
+        if ('termType' in expr && expr.termType === 'Variable') {
+            variables.add(expr);
+        }
+        else if ('type' in expr && expr.type === 'operation') {
+            for (const rec of expr.args) {
+                visitExpression(rec);
+            }
+        }
+    };
+    visitExpression(expression);
+    return variables;
+}
+/**
+ * [[7]](https://www.w3.org/TR/sparql11-query/#rSelectQuery)
+ */
+export const selectQuery = {
+    name: 'selectQuery',
+    impl: ({ ACTION, SUBRULE, MANY, context }) => () => {
+        const selectVal = SUBRULE(selectClause);
+        const from = extractFromOfDataSetClauses(ACTION, MANY, SUBRULE);
+        const where = SUBRULE(whereClause);
+        const modifier = SUBRULE(solutionModifier);
+        ACTION(() => {
+            if (selectVal.variables.length === 1 && selectVal.variables[0] instanceof Wildcard) {
+                if (modifier.group !== undefined) {
+                    throw new Error('GROUP BY not allowed with wildcard');
+                }
+                return;
+            }
+            const variables = selectVal.variables;
+            // Check for projection of ungrouped variable
+            // Check can be skipped in case of wildcard select.
+            if (!context.skipValidation) {
+                const hasCountAggregate = variables.flatMap(varVal => 'termType' in varVal ? [] : getAggregatesOfExpression(varVal.expression)).some(agg => agg.aggregation === 'count' && !(agg.expression instanceof Wildcard));
+                if (hasCountAggregate || modifier.group) {
+                    // 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 ('termType' in selectVar) {
+                            if (!modifier.group || !modifier.group.map(groupvar => getExpressionId(groupvar))
+                                .includes((getExpressionId(selectVar)))) {
+                                throw new Error('Variable not allowed in projection');
+                            }
+                        }
+                        else if (getAggregatesOfExpression(selectVar.expression).length === 0) {
+                            const usedvars = getVariablesFromExpression(selectVar.expression);
+                            for (const usedvar of usedvars) {
+                                if (!modifier.group || !modifier.group.map || !modifier.group.map(groupVar => getExpressionId(groupVar))
+                                    .includes(getExpressionId(usedvar))) {
+                                    throw new Error(`Use of ungrouped variable in projection of operation (?${getExpressionId(usedvar)})`);
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+            // Check if id of each AS-selected column is not yet bound by subquery
+            const subqueries = where.filter(pattern => pattern.type === 'query');
+            if (subqueries.length > 0) {
+                const selectedVarIds = [];
+                for (const selectedVar of variables) {
+                    if ('variable' in selectedVar) {
+                        selectedVarIds.push(selectedVar.variable.value);
+                    }
+                }
+                const vars = subqueries.flatMap(sub => sub.variables)
+                    .map(v => 'value' in v ? v.value : v.variable.value);
+                const subqueryIds = new Set(vars);
+                for (const selectedVarId of selectedVarIds) {
+                    if (subqueryIds.has(selectedVarId)) {
+                        throw new Error(`Target id of 'AS' (?${selectedVarId}) already used in subquery`);
+                    }
+                }
+            }
+        });
+        return {
+            ...selectVal,
+            queryType: 'SELECT',
+            ...(from && { from }),
+            where,
+            ...modifier,
+        };
+    },
+};
+/**
+ * [[8]](https://www.w3.org/TR/sparql11-query/#rSubSelect)
+ */
+export const subSelect = {
+    name: 'subSelect',
+    impl: ({ ACTION, SUBRULE }) => () => {
+        const clause = SUBRULE(selectClause);
+        const where = SUBRULE(whereClause);
+        const modifiers = SUBRULE(solutionModifier);
+        const values = SUBRULE(valuesClause);
+        return ACTION(() => ({
+            ...modifiers,
+            ...clause,
+            type: 'query',
+            queryType: 'SELECT',
+            where,
+            ...(values && { values }),
+        }));
+    },
+};
+export const selectClause = {
+    name: 'selectClause',
+    impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR1, OR2, OR3, context }) => () => {
+        CONSUME(l.select);
+        const couldParseAgg = ACTION(() => context.parseMode.has(canParseAggregate) || !context.parseMode.add(canParseAggregate));
+        const distinctOrReduced = OPTION(() => OR1([
+            { ALT: () => {
+                    CONSUME(l.distinct);
+                    return { distinct: true };
+                } },
+            { ALT: () => {
+                    CONSUME(l.reduced);
+                    return { reduced: true };
+                } },
+        ]));
+        const variables = OR2([
+            { ALT: () => {
+                    CONSUME(l.symbols.star);
+                    return [new Wildcard()];
+                } },
+            { ALT: () => {
+                    const usedVars = [];
+                    const result = [];
+                    AT_LEAST_ONE(() => OR3([
+                        { ALT: () => {
+                                const raw = SUBRULE1(var_);
+                                ACTION(() => {
+                                    if (usedVars.some(v => v.equals(raw))) {
+                                        throw new Error(`Variable ${raw.value} used more than once in SELECT clause`);
+                                    }
+                                    usedVars.push(raw);
+                                    result.push(raw);
+                                });
+                            } },
+                        { ALT: () => {
+                                CONSUME(l.symbols.LParen);
+                                const expr = SUBRULE(expression);
+                                CONSUME(l.as);
+                                const variable = SUBRULE2(var_);
+                                CONSUME(l.symbols.RParen);
+                                ACTION(() => {
+                                    if (usedVars.some(v => v.equals(variable))) {
+                                        throw new Error(`Variable ${variable.value} used more than once in SELECT clause`);
+                                    }
+                                    usedVars.push(variable);
+                                    result.push({
+                                        expression: expr,
+                                        variable,
+                                    });
+                                });
+                            } },
+                    ]));
+                    return result;
+                } },
+        ]);
+        ACTION(() => !couldParseAgg && context.parseMode.delete(canParseAggregate));
+        return ACTION(() => ({
+            ...distinctOrReduced,
+            variables,
+        }));
+    },
+};
+/**
+ * [[10]](https://www.w3.org/TR/sparql11-query/#rConstructQuery)
+ */
+export const constructQuery = {
+    name: 'constructQuery',
+    impl: ({ ACTION, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, MANY1, MANY2, OPTION, OR }) => () => {
+        CONSUME(l.construct);
+        return OR([
+            {
+                ALT: () => {
+                    const template = SUBRULE(constructTemplate);
+                    const from = extractFromOfDataSetClauses(ACTION, MANY1, SUBRULE1);
+                    const where = SUBRULE(whereClause);
+                    const modifiers = SUBRULE1(solutionModifier);
+                    return ACTION(() => ({
+                        ...modifiers,
+                        queryType: 'CONSTRUCT',
+                        template,
+                        from,
+                        where,
+                    }));
+                },
+            },
+            {
+                ALT: () => {
+                    const from = extractFromOfDataSetClauses(ACTION, MANY2, SUBRULE2);
+                    CONSUME(l.where);
+                    CONSUME(l.symbols.LCurly);
+                    const template = OPTION(() => SUBRULE(triplesTemplate));
+                    CONSUME(l.symbols.RCurly);
+                    const modifiers = SUBRULE2(solutionModifier);
+                    const where = template ?
+                        [{
+                                type: 'bgp',
+                                triples: template,
+                            }] :
+                        [];
+                    return ACTION(() => ({
+                        ...modifiers,
+                        queryType: 'CONSTRUCT',
+                        from,
+                        template,
+                        where,
+                    }));
+                },
+            },
+        ]);
+    },
+};
+/**
+ * [[11]](https://www.w3.org/TR/sparql11-query/#rDescribeQuery)
+ */
+export const describeQuery = {
+    name: 'describeQuery',
+    impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, MANY, OPTION, OR }) => () => {
+        CONSUME(l.describe);
+        const variables = OR([
+            { ALT: () => {
+                    const variables = [];
+                    AT_LEAST_ONE(() => {
+                        variables.push(SUBRULE(varOrIri));
+                    });
+                    return variables;
+                } },
+            { ALT: () => {
+                    CONSUME(l.symbols.star);
+                    return [new Wildcard()];
+                } },
+        ]);
+        const from = extractFromOfDataSetClauses(ACTION, MANY, SUBRULE);
+        const where = OPTION(() => SUBRULE(whereClause));
+        const modifiers = SUBRULE(solutionModifier);
+        return ACTION(() => ({
+            ...modifiers,
+            queryType: 'DESCRIBE',
+            variables,
+            from,
+            where,
+        }));
+    },
+};
+/**
+ * [[12]](https://www.w3.org/TR/sparql11-query/#rAskQuery)
+ */
+export const askQuery = {
+    name: 'askQuery',
+    impl: ({ ACTION, SUBRULE, CONSUME, MANY }) => () => {
+        CONSUME(l.ask);
+        const from = extractFromOfDataSetClauses(ACTION, MANY, SUBRULE);
+        const where = SUBRULE(whereClause);
+        const modifiers = SUBRULE(solutionModifier);
+        return ACTION(() => ({
+            ...modifiers,
+            queryType: 'ASK',
+            from,
+            where,
+        }));
+    },
+};
+/**
+ * [[28]](https://www.w3.org/TR/sparql11-query/#rValuesClause)
+ */
+export const valuesClause = {
+    name: 'valuesClause',
+    impl: ({ SUBRULE, CONSUME, OPTION }) => () => OPTION(() => {
+        CONSUME(l.values);
+        return SUBRULE(dataBlock);
+    }),
+};
+/**
+ * [[73]](https://www.w3.org/TR/sparql11-query/#ConstructTemplate)
+ */
+export const constructTemplate = {
+    name: 'constructTemplate',
+    impl: ({ SUBRULE, CONSUME, OPTION }) => () => {
+        CONSUME(l.symbols.LCurly);
+        const triples = OPTION(() => SUBRULE(constructTriples));
+        CONSUME(l.symbols.RCurly);
+        return triples;
+    },
+};
+/**
+ * [[12]](https://www.w3.org/TR/sparql11-query/#rConstructTriples)
+ */
+export const constructTriples = {
+    name: 'constructTriples',
+    impl: ({ SUBRULE, CONSUME, OPTION1, OPTION2 }) => () => {
+        const triples = [];
+        triples.push(SUBRULE(triplesSameSubject));
+        OPTION1(() => {
+            CONSUME(l.symbols.dot);
+            OPTION2(() => {
+                triples.push(SUBRULE(constructTriples));
+            });
+        });
+        return triples.flat(1);
+    },
+};
+//# sourceMappingURL=queryUnit.js.map

package/lib/grammar/queryUnit/queryUnit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queryUnit.js","sourceRoot":"","sources":["queryUnit.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAuB,MAAM,kBAAkB,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAkBvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAwC;IAC5D,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;CAC5C,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,KAAK,GAAoC;IACpD,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACtC,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,EAAE,CAA6B;YAC/C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;YACnC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;YACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE;YACrC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;SACjC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;QAErC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAQ;YAC1B,GAAG,cAAc;YACjB,GAAG,SAAS;YACZ,IAAI,EAAE,OAAO;YACb,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC;SACzB,CAAA,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAIF,SAAS,2BAA2B,CAAC,MAA0B,EAAE,IAAsB,EAAE,OAA4B;IAEnH,MAAM,cAAc,GAAqB,EAAE,CAAC;IAC5C,IAAI,CAAC,GAAG,EAAE;QACR,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,GAAG,EAAE;QACjB,MAAM,IAAI,GAA6C;YACrD,OAAO,EAAE,EAAE;YACX,KAAK,EAAE,EAAE;SACV,CAAC;QACF,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;YAC3C,IAAI,aAAa,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YACzC,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAAC,UAAgC;IACjE,IAAI,MAAM,IAAI,UAAU,EAAE,CAAC;QACzB,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,OAAO,CAAE,UAAU,CAAE,CAAC;QACxB,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;gBAClC,UAAU,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC;YACrD,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,UAAwD;IAC/E,oBAAoB;IACpB,IAAI,UAAU,IAAI,UAAU,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACpD,OAAO,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;IACnC,CAAC;IACD,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;QAC1B,OAAO,UAAU,CAAC,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACpF,CAAC;AACD;;GAEG;AACH,SAAS,0BAA0B,CAAC,UAAsB;IACxD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC1C,MAAM,eAAe,GAAG,CAAC,IAAsC,EAAQ,EAAE;QACvE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,IAAI,UAAU,IAAI,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACvD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACvD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,eAAe,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,eAAe,CAAC,UAAU,CAAC,CAAC;IAC5B,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAqE;IAC3F,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACjD,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAE3C,MAAM,CAAC,GAAG,EAAE;YACV,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,QAAQ,EAAE,CAAC;gBACnF,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBACjC,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBACxD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,MAAM,SAAS,GAAgB,SAAS,CAAC,SAAS,CAAC;YACnD,6CAA6C;YAC7C,mDAAmD;YACnD,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC5B,MAAM,iBAAiB,GAAG,SAAS,CAAC,OAAO,CACzC,MAAM,CAAC,EAAE,CAAC,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,UAAU,CAAC,CACnF,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,YAAY,QAAQ,CAAC,CAAC,CAAC;gBACpF,IAAI,iBAAiB,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;oBACxC,2BAA2B;oBAC3B,wEAAwE;oBACxE,6DAA6D;oBAC7D,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;wBAClC,IAAI,UAAU,IAAI,SAAS,EAAE,CAAC;4BAC5B,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;iCAC9E,QAAQ,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gCAC1C,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;4BACxD,CAAC;wBACH,CAAC;6BAAM,IAAI,yBAAyB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;4BACxE,MAAM,QAAQ,GAAG,0BAA0B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;4BAClE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gCAC/B,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;qCACrG,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;oCACtC,MAAM,IAAI,KAAK,CAAC,0DAA0D,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gCACzG,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,sEAAsE;YACtE,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACrE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,cAAc,GAAa,EAAE,CAAC;gBACpC,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE,CAAC;oBACpC,IAAI,UAAU,IAAI,WAAW,EAAE,CAAC;wBAC9B,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;oBAClD,CAAC;gBACH,CAAC;gBACD,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAA0B,GAAG,CAAC,SAAS,CAAC;qBAC3E,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACvD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClC,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;oBAC3C,IAAI,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;wBACnC,MAAM,IAAI,KAAK,CAAC,uBAAuB,aAAa,4BAA4B,CAAC,CAAC;oBACpF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,GAAG,SAAS;YACZ,SAAS,EAAE,QAAQ;YACnB,GAAG,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC;YACrB,KAAK;YACL,GAAG,QAAQ;SACZ,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgE;IACpF,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;QAErC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,GAAG,SAAS;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,QAAQ;YACnB,KAAK;YACL,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC;SAC1B,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAUF,MAAM,CAAC,MAAM,YAAY,GAAmD;IAC1E,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC7G,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,EAAE,CAChC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAEzF,MAAM,iBAAiB,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAA6C;YACrF,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACpB,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAC5B,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACnB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBAC3B,CAAC,EAAE;SACJ,CAAC,CAAC,CAAC;QACJ,MAAM,SAAS,GAAG,GAAG,CAA6B;YAChD,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACxB,OAAO,CAAE,IAAI,QAAQ,EAAE,CAAE,CAAC;gBAC5B,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,QAAQ,GAAmB,EAAE,CAAC;oBACpC,MAAM,MAAM,GAAe,EAAE,CAAC;oBAC9B,YAAY,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;wBACrB,EAAE,GAAG,EAAE,GAAG,EAAE;gCACV,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;gCAC3B,MAAM,CAAC,GAAG,EAAE;oCACV,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;wCACtC,MAAM,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,KAAK,uCAAuC,CAAC,CAAC;oCAChF,CAAC;oCACD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oCACnB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gCACnB,CAAC,CAAC,CAAC;4BACL,CAAC,EAAE;wBACH,EAAE,GAAG,EAAE,GAAG,EAAE;gCACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gCAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;gCACjC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gCACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;gCAChC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gCAC1B,MAAM,CAAC,GAAG,EAAE;oCACV,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;wCAC3C,MAAM,IAAI,KAAK,CAAC,YAAY,QAAQ,CAAC,KAAK,uCAAuC,CAAC,CAAC;oCACrF,CAAC;oCACD,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oCACxB,MAAM,CAAC,IAAI,CAAC;wCACV,UAAU,EAAE,IAAI;wCAChB,QAAQ;qCACoB,CAAC,CAAC;gCAClC,CAAC,CAAC,CAAC;4BACL,CAAC,EAAE;qBACJ,CAAC,CAAC,CAAC;oBACJ,OAAO,MAAM,CAAC;gBAChB,CAAC,EAAE;SACJ,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,aAAa,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC5E,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,GAAG,iBAAiB;YACpB,SAAS;SACV,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2E;IACpG,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACzF,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACrB,OAAO,EAAE,CAAsC;YAC7C;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;oBAC5C,MAAM,IAAI,GAAG,2BAA2B,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;oBAClE,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;oBACnC,MAAM,SAAS,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;oBAC7C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;wBACnB,GAAG,SAAS;wBACZ,SAAS,EAAE,WAAW;wBACtB,QAAQ;wBACR,IAAI;wBACJ,KAAK;qBACN,CAAC,CAAC,CAAC;gBACN,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,IAAI,GAAG,2BAA2B,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;oBAClE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACjB,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;oBACxD,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC1B,MAAM,SAAS,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;oBAC7C,MAAM,KAAK,GAAc,QAAQ,CAAC,CAAC;wBAC/B,CAAC;gCACC,IAAI,EAAE,KAAK;gCACX,OAAO,EAAE,QAAQ;6BAClB,CAAC,CAAC,CAAC;wBACJ,EAAE,CAAC;oBAEP,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;wBACnB,GAAG,SAAS;wBACZ,SAAS,EAAE,WAAW;wBACtB,IAAI;wBACJ,QAAQ;wBACR,KAAK;qBACN,CAAC,CAAC,CAAC;gBACN,CAAC;aACF;SACF,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAyE;IACjG,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC3E,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpB,MAAM,SAAS,GAAG,EAAE,CAA6B;YAC/C,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,SAAS,GAA+B,EAAE,CAAC;oBACjD,YAAY,CAAC,GAAG,EAAE;wBAChB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBACpC,CAAC,CAAC,CAAC;oBACH,OAAO,SAAS,CAAC;gBACnB,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACxB,OAAO,CAAE,IAAI,QAAQ,EAAE,CAAE,CAAC;gBAC5B,CAAC,EAAE;SACJ,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,GAAG,SAAS;YACZ,SAAS,EAAE,UAAU;YACrB,SAAS;YACT,IAAI;YACJ,KAAK;SACN,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAA+D;IAClF,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACjD,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,IAAI,GAAG,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,GAAG,SAAS;YACZ,SAAS,EAAE,KAAK;YAChB,IAAI;YACJ,KAAK;SACN,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAmE;IAC1F,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE;QACxD,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClB,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA+D;IAC3F,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC3C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACxD,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAkD;IAC7E,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACrD,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAC1C,OAAO,CAAC,GAAG,EAAE;YACX,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,CAAC,GAAG,EAAE;gBACX,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;YAC1C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;CACF,CAAC","sourcesContent":["import * as l from '../../lexer';\nimport { Wildcard } from '@traqula/core';\nimport type { RuleDef, ImplArgs } from '@traqula/core';\nimport { canParseAggregate } from '../builtIn';\nimport { datasetClause, type IDatasetClause } from '../dataSetClause';\nimport { expression } from '../expression';\nimport { prologue, triplesTemplate, var_, varOrIri } from '../general';\nimport { solutionModifier } from '../solutionModifier';\nimport type {\n  AggregateExpression,\n  AskQuery,\n  ConstructQuery,\n  DescribeQuery,\n  Expression,\n  Grouping,\n  IriTerm,\n  Pattern,\n  Query,\n  SelectQuery,\n  Triple,\n  ValuePatternRow,\n  Variable,\n  VariableExpression,\n  VariableTerm,\n} from '../../Sparql11types';\nimport { triplesSameSubject } from '../tripleBlock';\nimport { dataBlock, whereClause } from '../whereClause';\n\n/**\n * [[1]](https://www.w3.org/TR/sparql11-query/#rQueryUnit)\n */\nexport const queryUnit: RuleDef<'queryUnit', Query> = <const> {\n  name: 'queryUnit',\n  impl: ({ SUBRULE }) => () => SUBRULE(query),\n};\n\n/**\n * [[2]](https://www.w3.org/TR/sparql11-query/#rQuery)\n */\nexport const query: RuleDef<'query', Query> = <const> {\n  name: 'query',\n  impl: ({ ACTION, SUBRULE, OR }) => () => {\n    const prologueValues = SUBRULE(prologue);\n    const queryType = OR<Omit<Query, HandledByBase>>([\n      { ALT: () => SUBRULE(selectQuery) },\n      { ALT: () => SUBRULE(constructQuery) },\n      { ALT: () => SUBRULE(describeQuery) },\n      { ALT: () => SUBRULE(askQuery) },\n    ]);\n    const values = SUBRULE(valuesClause);\n\n    return ACTION(() => (<Query>{\n      ...prologueValues,\n      ...queryType,\n      type: 'query',\n      ...(values && { values }),\n    }));\n  },\n};\n\nexport type HandledByBase = 'values' | 'type' | 'base' | 'prefixes';\n\nfunction extractFromOfDataSetClauses(ACTION: ImplArgs['ACTION'], MANY: ImplArgs['MANY'], SUBRULE: ImplArgs['SUBRULE']):\n{ default: IriTerm[]; named: IriTerm[] } | undefined {\n  const datasetClauses: IDatasetClause[] = [];\n  MANY(() => {\n    datasetClauses.push(SUBRULE(datasetClause));\n  });\n  return ACTION(() => {\n    const from: { default: IriTerm[]; named: IriTerm[] } = {\n      default: [],\n      named: [],\n    };\n    for (const datasetClause of datasetClauses) {\n      if (datasetClause.type === 'default') {\n        from.default.push(datasetClause.value);\n      } else {\n        from.named.push(datasetClause.value);\n      }\n    }\n    return (from.default.length === 0 && from.named.length === 0) ? undefined : from;\n  });\n}\n\n/**\n * Get all 'aggregate' rules from an expression\n */\nfunction getAggregatesOfExpression(expression: Expression | Pattern): AggregateExpression[] {\n  if ('type' in expression) {\n    if (expression.type === 'aggregate') {\n      return [ expression ];\n    }\n    if (expression.type === 'operation') {\n      const aggregates: AggregateExpression[] = [];\n      for (const arg of expression.args) {\n        aggregates.push(...getAggregatesOfExpression(arg));\n      }\n      return aggregates;\n    }\n  }\n  return [];\n}\n\n/**\n * Return the id of an expression\n */\nfunction getExpressionId(expression: Grouping | VariableTerm | VariableExpression): string | undefined {\n  // Check if grouping\n  if ('variable' in expression && expression.variable) {\n    return expression.variable.value;\n  }\n  if ('value' in expression) {\n    return expression.value;\n  }\n  return 'value' in expression.expression ? expression.expression.value : undefined;\n}\n/**\n * Get all variables used in an expression\n */\nfunction getVariablesFromExpression(expression: Expression): Set<VariableTerm> {\n  const variables = new Set<VariableTerm>();\n  const visitExpression = (expr: Expression | Pattern | undefined): void => {\n    if (!expr) {\n      return;\n    }\n    if ('termType' in expr && expr.termType === 'Variable') {\n      variables.add(expr);\n    } else if ('type' in expr && expr.type === 'operation') {\n      for (const rec of expr.args) {\n        visitExpression(rec);\n      }\n    }\n  };\n  visitExpression(expression);\n  return variables;\n}\n\n/**\n * [[7]](https://www.w3.org/TR/sparql11-query/#rSelectQuery)\n */\nexport const selectQuery: RuleDef<'selectQuery', Omit<SelectQuery, HandledByBase>> = <const> {\n  name: 'selectQuery',\n  impl: ({ ACTION, SUBRULE, MANY, context }) => () => {\n    const selectVal = SUBRULE(selectClause);\n    const from = extractFromOfDataSetClauses(ACTION, MANY, SUBRULE);\n    const where = SUBRULE(whereClause);\n    const modifier = SUBRULE(solutionModifier);\n\n    ACTION(() => {\n      if (selectVal.variables.length === 1 && selectVal.variables[0] instanceof Wildcard) {\n        if (modifier.group !== undefined) {\n          throw new Error('GROUP BY not allowed with wildcard');\n        }\n        return;\n      }\n      const variables = <Variable[]> selectVal.variables;\n      // Check for projection of ungrouped variable\n      // Check can be skipped in case of wildcard select.\n      if (!context.skipValidation) {\n        const hasCountAggregate = variables.flatMap(\n          varVal => 'termType' in varVal ? [] : getAggregatesOfExpression(varVal.expression),\n        ).some(agg => agg.aggregation === 'count' && !(agg.expression instanceof Wildcard));\n        if (hasCountAggregate || modifier.group) {\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 ('termType' in selectVar) {\n              if (!modifier.group || !modifier.group.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              const usedvars = getVariablesFromExpression(selectVar.expression);\n              for (const usedvar of usedvars) {\n                if (!modifier.group || !modifier.group.map || !modifier.group.map(groupVar => getExpressionId(groupVar))\n                  .includes(getExpressionId(usedvar))) {\n                  throw new Error(`Use of ungrouped variable in projection of operation (?${getExpressionId(usedvar)})`);\n                }\n              }\n            }\n          }\n        }\n      }\n      // Check if id of each AS-selected column is not yet bound by subquery\n      const subqueries = where.filter(pattern => pattern.type === 'query');\n      if (subqueries.length > 0) {\n        const selectedVarIds: string[] = [];\n        for (const selectedVar of variables) {\n          if ('variable' in selectedVar) {\n            selectedVarIds.push(selectedVar.variable.value);\n          }\n        }\n        const vars = subqueries.flatMap(sub => <(Variable | Wildcard)[]>sub.variables)\n          .map(v => 'value' in v ? v.value : v.variable.value);\n        const subqueryIds = new Set(vars);\n        for (const selectedVarId of selectedVarIds) {\n          if (subqueryIds.has(selectedVarId)) {\n            throw new Error(`Target id of 'AS' (?${selectedVarId}) already used in subquery`);\n          }\n        }\n      }\n    });\n\n    return {\n      ...selectVal,\n      queryType: 'SELECT',\n      ...(from && { from }),\n      where,\n      ...modifier,\n    };\n  },\n};\n\n/**\n * [[8]](https://www.w3.org/TR/sparql11-query/#rSubSelect)\n */\nexport const subSelect: RuleDef<'subSelect', Omit<SelectQuery, 'prefixes'>> = <const> {\n  name: 'subSelect',\n  impl: ({ ACTION, SUBRULE }) => () => {\n    const clause = SUBRULE(selectClause);\n    const where = SUBRULE(whereClause);\n    const modifiers = SUBRULE(solutionModifier);\n    const values = SUBRULE(valuesClause);\n\n    return ACTION(() => ({\n      ...modifiers,\n      ...clause,\n      type: 'query',\n      queryType: 'SELECT',\n      where,\n      ...(values && { values }),\n    }));\n  },\n};\n\n/**\n * [[9]](https://www.w3.org/TR/sparql11-query/#rSelectClause)\n */\nexport interface ISelectClause {\n  variables: Variable[] | [Wildcard];\n  distinct?: true;\n  reduced?: true;\n}\nexport const selectClause: RuleDef<'selectClause', ISelectClause> = <const> {\n  name: 'selectClause',\n  impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR1, OR2, OR3, context }) => () => {\n    CONSUME(l.select);\n    const couldParseAgg = ACTION(() =>\n      context.parseMode.has(canParseAggregate) || !context.parseMode.add(canParseAggregate));\n\n    const distinctOrReduced = OPTION(() => OR1<Partial<{ distinct: true; reduced: true }>>([\n      { ALT: () => {\n        CONSUME(l.distinct);\n        return { distinct: true };\n      } },\n      { ALT: () => {\n        CONSUME(l.reduced);\n        return { reduced: true };\n      } },\n    ]));\n    const variables = OR2<ISelectClause['variables']>([\n      { ALT: () => {\n        CONSUME(l.symbols.star);\n        return [ new Wildcard() ];\n      } },\n      { ALT: () => {\n        const usedVars: VariableTerm[] = [];\n        const result: Variable[] = [];\n        AT_LEAST_ONE(() => OR3([\n          { ALT: () => {\n            const raw = SUBRULE1(var_);\n            ACTION(() => {\n              if (usedVars.some(v => v.equals(raw))) {\n                throw new Error(`Variable ${raw.value} used more than once in SELECT clause`);\n              }\n              usedVars.push(raw);\n              result.push(raw);\n            });\n          } },\n          { ALT: () => {\n            CONSUME(l.symbols.LParen);\n            const expr = SUBRULE(expression);\n            CONSUME(l.as);\n            const variable = SUBRULE2(var_);\n            CONSUME(l.symbols.RParen);\n            ACTION(() => {\n              if (usedVars.some(v => v.equals(variable))) {\n                throw new Error(`Variable ${variable.value} used more than once in SELECT clause`);\n              }\n              usedVars.push(variable);\n              result.push({\n                expression: expr,\n                variable,\n              } satisfies VariableExpression);\n            });\n          } },\n        ]));\n        return result;\n      } },\n    ]);\n    ACTION(() => !couldParseAgg && context.parseMode.delete(canParseAggregate));\n    return ACTION(() => ({\n      ...distinctOrReduced,\n      variables,\n    }));\n  },\n};\n\n/**\n * [[10]](https://www.w3.org/TR/sparql11-query/#rConstructQuery)\n */\nexport const constructQuery: RuleDef<'constructQuery', Omit<ConstructQuery, HandledByBase>> = <const> {\n  name: 'constructQuery',\n  impl: ({ ACTION, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, MANY1, MANY2, OPTION, OR }) => () => {\n    CONSUME(l.construct);\n    return OR<Omit<ConstructQuery, HandledByBase>>([\n      {\n        ALT: () => {\n          const template = SUBRULE(constructTemplate);\n          const from = extractFromOfDataSetClauses(ACTION, MANY1, SUBRULE1);\n          const where = SUBRULE(whereClause);\n          const modifiers = SUBRULE1(solutionModifier);\n          return ACTION(() => ({\n            ...modifiers,\n            queryType: 'CONSTRUCT',\n            template,\n            from,\n            where,\n          }));\n        },\n      },\n      {\n        ALT: () => {\n          const from = extractFromOfDataSetClauses(ACTION, MANY2, SUBRULE2);\n          CONSUME(l.where);\n          CONSUME(l.symbols.LCurly);\n          const template = OPTION(() => SUBRULE(triplesTemplate));\n          CONSUME(l.symbols.RCurly);\n          const modifiers = SUBRULE2(solutionModifier);\n          const where: Pattern[] = template ?\n              [{\n                type: 'bgp',\n                triples: template,\n              }] :\n              [];\n\n          return ACTION(() => ({\n            ...modifiers,\n            queryType: 'CONSTRUCT',\n            from,\n            template,\n            where,\n          }));\n        },\n      },\n    ]);\n  },\n};\n\n/**\n * [[11]](https://www.w3.org/TR/sparql11-query/#rDescribeQuery)\n */\nexport const describeQuery: RuleDef<'describeQuery', Omit<DescribeQuery, HandledByBase>> = <const> {\n  name: 'describeQuery',\n  impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, MANY, OPTION, OR }) => () => {\n    CONSUME(l.describe);\n    const variables = OR<DescribeQuery['variables']>([\n      { ALT: () => {\n        const variables: (VariableTerm | IriTerm)[] = [];\n        AT_LEAST_ONE(() => {\n          variables.push(SUBRULE(varOrIri));\n        });\n        return variables;\n      } },\n      { ALT: () => {\n        CONSUME(l.symbols.star);\n        return [ new Wildcard() ];\n      } },\n    ]);\n    const from = extractFromOfDataSetClauses(ACTION, MANY, SUBRULE);\n    const where = OPTION(() => SUBRULE(whereClause));\n    const modifiers = SUBRULE(solutionModifier);\n    return ACTION(() => ({\n      ...modifiers,\n      queryType: 'DESCRIBE',\n      variables,\n      from,\n      where,\n    }));\n  },\n};\n\n/**\n * [[12]](https://www.w3.org/TR/sparql11-query/#rAskQuery)\n */\nexport const askQuery: RuleDef<'askQuery', Omit<AskQuery, HandledByBase>> = <const> {\n  name: 'askQuery',\n  impl: ({ ACTION, SUBRULE, CONSUME, MANY }) => () => {\n    CONSUME(l.ask);\n    const from = extractFromOfDataSetClauses(ACTION, MANY, SUBRULE);\n    const where = SUBRULE(whereClause);\n    const modifiers = SUBRULE(solutionModifier);\n    return ACTION(() => ({\n      ...modifiers,\n      queryType: 'ASK',\n      from,\n      where,\n    }));\n  },\n};\n\n/**\n * [[28]](https://www.w3.org/TR/sparql11-query/#rValuesClause)\n */\nexport const valuesClause: RuleDef<'valuesClause', ValuePatternRow[] | undefined> = <const> {\n  name: 'valuesClause',\n  impl: ({ SUBRULE, CONSUME, OPTION }) => () => OPTION(() => {\n    CONSUME(l.values);\n    return SUBRULE(dataBlock);\n  }),\n};\n\n/**\n * [[73]](https://www.w3.org/TR/sparql11-query/#ConstructTemplate)\n */\nexport const constructTemplate: RuleDef<'constructTemplate', Triple[] | undefined> = <const> {\n  name: 'constructTemplate',\n  impl: ({ SUBRULE, CONSUME, OPTION }) => () => {\n    CONSUME(l.symbols.LCurly);\n    const triples = OPTION(() => SUBRULE(constructTriples));\n    CONSUME(l.symbols.RCurly);\n    return triples;\n  },\n};\n\n/**\n * [[12]](https://www.w3.org/TR/sparql11-query/#rConstructTriples)\n */\nexport const constructTriples: RuleDef<'constructTriples', Triple[]> = <const> {\n  name: 'constructTriples',\n  impl: ({ SUBRULE, CONSUME, OPTION1, OPTION2 }) => () => {\n    const triples: Triple[][] = [];\n    triples.push(SUBRULE(triplesSameSubject));\n    OPTION1(() => {\n      CONSUME(l.symbols.dot);\n      OPTION2(() => {\n        triples.push(SUBRULE(constructTriples));\n      });\n    });\n    return triples.flat(1);\n  },\n};\n"]}

package/lib/grammar/solutionModifier.d.ts

@@ -0,0 +1,44 @@
+import type { RuleDef } from '@traqula/core';
+import type { Expression, Grouping, Ordering, SelectQuery } from '../Sparql11types';
+/**
+ * [[18]](https://www.w3.org/TR/sparql11-query/#rSolutionModifier)
+ */
+export type ISolutionModifier = Pick<SelectQuery, 'group' | 'having' | 'order' | 'limit' | 'offset'>;
+export declare const solutionModifier: RuleDef<'solutionModifier', ISolutionModifier>;
+/**
+ * [[19]](https://www.w3.org/TR/sparql11-query/#rGroupClause)
+ */
+export declare const groupClause: RuleDef<'groupClause', Grouping[]>;
+/**
+ * [[20]](https://www.w3.org/TR/sparql11-query/#rGroupCondition)
+ */
+export declare const groupCondition: RuleDef<'groupCondition', Grouping>;
+/**
+ * [[21]](https://www.w3.org/TR/sparql11-query/#rHavingClause)
+ */
+export declare const havingClause: RuleDef<'havingClause', Expression[]>;
+/**
+ * [[22]](https://www.w3.org/TR/sparql11-query/#rHavingCondition)
+ */
+export declare const havingCondition: RuleDef<'havingCondition', Expression>;
+/**
+ * [[23]](https://www.w3.org/TR/sparql11-query/#rOrderClause)
+ */
+export declare const orderClause: RuleDef<'orderClause', Ordering[]>;
+/**
+ * [[24]](https://www.w3.org/TR/sparql11-query/#rOrderCondition)
+ */
+export declare const orderCondition: RuleDef<'orderCondition', Ordering>;
+/**
+ * Parses limit and or offset in any order.
+ * [[25]](https://www.w3.org/TR/sparql11-query/#rLimitOffsetClauses)
+ */
+export declare const limitOffsetClauses: RuleDef<'limitOffsetClauses', Pick<SelectQuery, 'limit' | 'offset'>>;
+/**
+ * [[26]](https://www.w3.org/TR/sparql11-query/#rLimitClause)
+ */
+export declare const limitClause: RuleDef<'limitClause', number>;
+/**
+ * [[27]](https://www.w3.org/TR/sparql11-query/#rWhereClause)
+ */
+export declare const offsetClause: RuleDef<'offsetClause', number>;