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

package/lib/grammar/whereClause.d.ts

@@ -0,0 +1,76 @@
+import type { RuleDef } from '@traqula/core';
+import type { BindPattern, BlankTerm, BlockPattern, Expression, FilterPattern, FunctionCallExpression, GraphPattern, GroupPattern, IriTerm, LiteralTerm, MinusPattern, OptionalPattern, Pattern, ServicePattern, UnionPattern, ValuePatternRow, ValuesPattern } from '../Sparql11types';
+/**
+ * [[17]](https://www.w3.org/TR/sparql11-query/#rWhereClause)
+ */
+export declare const whereClause: RuleDef<'whereClause', Pattern[]>;
+/**
+ * [[53]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPattern)
+ */
+export declare const groupGraphPattern: RuleDef<'groupGraphPattern', GroupPattern>;
+/**
+ * [[54]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPatternSub)
+ */
+export declare const groupGraphPatternSub: RuleDef<'groupGraphPatternSub', Pattern[]>;
+/**
+ * [[56]](https://www.w3.org/TR/sparql11-query/#rGraphPatternNotTriples)
+ */
+type GraphPatternNotTriplesReturn = ValuesPattern | BindPattern | FilterPattern | BlockPattern;
+export declare const graphPatternNotTriples: RuleDef<'graphPatternNotTriples', GraphPatternNotTriplesReturn>;
+/**
+ * [[57]](https://www.w3.org/TR/sparql11-query/#rOptionalGraphPattern)
+ */
+export declare const optionalGraphPattern: RuleDef<'optionalGraphPattern', OptionalPattern>;
+/**
+ * [[58]](https://www.w3.org/TR/sparql11-query/#rGraphGraphPattern)
+ */
+export declare const graphGraphPattern: RuleDef<'graphGraphPattern', GraphPattern>;
+/**
+ * [[59]](https://www.w3.org/TR/sparql11-query/#rServiceGraphPattern)
+ */
+export declare const serviceGraphPattern: RuleDef<'serviceGraphPattern', ServicePattern>;
+/**
+ * [[60]](https://www.w3.org/TR/sparql11-query/#rBind)
+ */
+export declare const bind: RuleDef<'bind', BindPattern>;
+/**
+ * [[61]](https://www.w3.org/TR/sparql11-query/#rInlineData)
+ */
+export declare const inlineData: RuleDef<'inlineData', ValuesPattern>;
+/**
+ * [[62]](https://www.w3.org/TR/sparql11-query/#rDataBlock)
+ */
+export declare const dataBlock: RuleDef<'dataBlock', ValuePatternRow[]>;
+/**
+ * [[63]](https://www.w3.org/TR/sparql11-query/#rInlineDataOneVar)
+ */
+export declare const inlineDataOneVar: RuleDef<'inlineDataOneVar', ValuePatternRow[]>;
+/**
+ * [[64]](https://www.w3.org/TR/sparql11-query/#rInlineDataFull)
+ */
+export declare const inlineDataFull: RuleDef<'inlineDataFull', ValuePatternRow[]>;
+/**
+ * [[65]](https://www.w3.org/TR/sparql11-query/#rDataBlockValue)
+ */
+export declare const dataBlockValue: RuleDef<'dataBlockValue', IriTerm | BlankTerm | LiteralTerm | undefined>;
+/**
+ * [[66]](https://www.w3.org/TR/sparql11-query/#rMinusGraphPattern)
+ */
+export declare const minusGraphPattern: RuleDef<'minusGraphPattern', MinusPattern>;
+/**
+ * [[67]](https://www.w3.org/TR/sparql11-query/#rGroupOrUnionGraphPattern)
+ */
+export declare const groupOrUnionGraphPattern: RuleDef<'groupOrUnionGraphPattern', GroupPattern | UnionPattern>;
+/**
+ * [[68]](https://www.w3.org/TR/sparql11-query/#rFilter)
+ */
+export declare const filter: RuleDef<'filter', FilterPattern>;
+/**
+ * [[69]](https://www.w3.org/TR/sparql11-query/#rConstraint)
+ */
+export declare const constraint: RuleDef<'constraint', Expression>;
+/**
+ * [[70]](https://www.w3.org/TR/sparql11-query/#rFunctionCall)
+ */
+export declare const functionCall: RuleDef<'functionCall', FunctionCallExpression>;
+export {};

package/lib/grammar/whereClause.js

@@ -0,0 +1,383 @@
+import * as l from '../lexer';
+import { deGroupSingle, isVariable } from '../utils';
+import { builtInCall } from './builtIn';
+import { argList, brackettedExpression, expression } from './expression';
+import { var_, varOrIri } from './general';
+import { booleanLiteral, iri, numericLiteral, rdfLiteral } from './literals';
+import { subSelect } from './queryUnit/queryUnit';
+import { triplesBlock } from './tripleBlock';
+/**
+ * [[17]](https://www.w3.org/TR/sparql11-query/#rWhereClause)
+ */
+export const whereClause = {
+    name: 'whereClause',
+    impl: ({ ACTION, SUBRULE, CONSUME, OPTION }) => () => {
+        OPTION(() => {
+            CONSUME(l.where);
+        });
+        const group = SUBRULE(groupGraphPattern);
+        return ACTION(() => group.patterns);
+    },
+};
+/**
+ * [[53]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPattern)
+ */
+export const groupGraphPattern = {
+    name: 'groupGraphPattern',
+    impl: ({ SUBRULE, CONSUME, OR }) => () => {
+        CONSUME(l.symbols.LCurly);
+        const patterns = OR([
+            { ALT: () => [SUBRULE(subSelect)] },
+            { ALT: () => SUBRULE(groupGraphPatternSub) },
+        ]);
+        CONSUME(l.symbols.RCurly);
+        return {
+            type: 'group',
+            patterns,
+        };
+    },
+};
+function findBoundVarsFromGroupGraphPattern(pattern, boundedVars) {
+    if ('triples' in pattern) {
+        for (const triple of pattern.triples) {
+            if (isVariable(triple.subject)) {
+                boundedVars.add(triple.subject.value);
+            }
+            if (isVariable(triple.predicate)) {
+                boundedVars.add(triple.predicate.value);
+            }
+            if (isVariable(triple.object)) {
+                boundedVars.add(triple.object.value);
+            }
+        }
+    }
+    else if ('patterns' in pattern) {
+        for (const pat of pattern.patterns) {
+            findBoundVarsFromGroupGraphPattern(pat, boundedVars);
+        }
+    }
+}
+/**
+ * [[54]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPatternSub)
+ */
+export const groupGraphPatternSub = {
+    name: 'groupGraphPatternSub',
+    impl: ({ ACTION, SUBRULE, CONSUME, MANY, SUBRULE1, SUBRULE2, OPTION1, OPTION2, OPTION3 }) => () => {
+        const patterns = [];
+        const bgpPattern = OPTION1(() => SUBRULE1(triplesBlock));
+        ACTION(() => {
+            if (bgpPattern) {
+                patterns.push(bgpPattern);
+            }
+        });
+        MANY(() => {
+            const notTriples = SUBRULE(graphPatternNotTriples);
+            patterns.push(notTriples);
+            OPTION2(() => CONSUME(l.symbols.dot));
+            const moreTriples = OPTION3(() => SUBRULE2(triplesBlock));
+            ACTION(() => {
+                if (moreTriples) {
+                    patterns.push(moreTriples);
+                }
+            });
+        });
+        // Check note 13 of the spec.
+        // TODO: currently optimized for case bind is present.
+        //  Since every iteration, even when no bind is present, we walk the tree collecting variables.
+        //  optimize either by: checking whether bind is present, or by keeping track of variables and passing them through
+        ACTION(() => {
+            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 (pattern.type === 'bind') {
+                    if (boundedVars.has(pattern.variable.value)) {
+                        throw new Error(`Variable used to bind is already bound (?${pattern.variable.value})`);
+                    }
+                }
+                else if (pattern.type === 'group' || pattern.type === 'bgp') {
+                    findBoundVarsFromGroupGraphPattern(pattern, boundedVars);
+                }
+            }
+        });
+        return patterns;
+    },
+};
+export const graphPatternNotTriples = {
+    name: 'graphPatternNotTriples',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(groupOrUnionGraphPattern) },
+        { ALT: () => SUBRULE(optionalGraphPattern) },
+        { ALT: () => SUBRULE(minusGraphPattern) },
+        { ALT: () => SUBRULE(graphGraphPattern) },
+        { ALT: () => SUBRULE(serviceGraphPattern) },
+        { ALT: () => SUBRULE(filter) },
+        { ALT: () => SUBRULE(bind) },
+        { ALT: () => SUBRULE(inlineData) },
+    ]),
+};
+/**
+ * [[57]](https://www.w3.org/TR/sparql11-query/#rOptionalGraphPattern)
+ */
+export const optionalGraphPattern = {
+    name: 'optionalGraphPattern',
+    impl: ({ ACTION, SUBRULE, CONSUME }) => () => {
+        CONSUME(l.optional);
+        const group = SUBRULE(groupGraphPattern);
+        return ACTION(() => ({
+            type: 'optional',
+            patterns: group.patterns,
+        }));
+    },
+};
+/**
+ * [[58]](https://www.w3.org/TR/sparql11-query/#rGraphGraphPattern)
+ */
+export const graphGraphPattern = {
+    name: 'graphGraphPattern',
+    impl: ({ ACTION, SUBRULE, CONSUME }) => () => {
+        CONSUME(l.graph.graph);
+        const name = SUBRULE(varOrIri);
+        const group = SUBRULE(groupGraphPattern);
+        return ACTION(() => ({
+            type: 'graph',
+            name,
+            patterns: group.patterns,
+        }));
+    },
+};
+/**
+ * [[59]](https://www.w3.org/TR/sparql11-query/#rServiceGraphPattern)
+ */
+export const serviceGraphPattern = {
+    name: 'serviceGraphPattern',
+    impl: ({ SUBRULE, CONSUME, OPTION }) => () => {
+        CONSUME(l.service);
+        const silent = Boolean(OPTION(() => CONSUME(l.silent)));
+        const name = SUBRULE(varOrIri);
+        const group = SUBRULE(groupGraphPattern);
+        return {
+            type: 'service',
+            name,
+            silent,
+            patterns: group.patterns,
+        };
+    },
+};
+/**
+ * [[60]](https://www.w3.org/TR/sparql11-query/#rBind)
+ */
+export const bind = {
+    name: 'bind',
+    impl: ({ SUBRULE, CONSUME }) => () => {
+        CONSUME(l.bind);
+        CONSUME(l.symbols.LParen);
+        const expressionVal = SUBRULE(expression);
+        CONSUME(l.as);
+        const variable = SUBRULE(var_);
+        CONSUME(l.symbols.RParen);
+        return {
+            type: 'bind',
+            variable,
+            expression: expressionVal,
+        };
+    },
+};
+/**
+ * [[61]](https://www.w3.org/TR/sparql11-query/#rInlineData)
+ */
+export const inlineData = {
+    name: 'inlineData',
+    impl: ({ SUBRULE, CONSUME }) => () => {
+        CONSUME(l.values);
+        const values = SUBRULE(dataBlock);
+        return {
+            type: 'values',
+            values,
+        };
+    },
+};
+/**
+ * [[62]](https://www.w3.org/TR/sparql11-query/#rDataBlock)
+ */
+export const dataBlock = {
+    name: 'dataBlock',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(inlineDataOneVar) },
+        { ALT: () => SUBRULE(inlineDataFull) },
+    ]),
+};
+/**
+ * [[63]](https://www.w3.org/TR/sparql11-query/#rInlineDataOneVar)
+ */
+export const inlineDataOneVar = {
+    name: 'inlineDataOneVar',
+    impl: ({ ACTION, SUBRULE, CONSUME, MANY }) => () => {
+        const res = [];
+        const varVal = SUBRULE(var_);
+        CONSUME(l.symbols.LCurly);
+        MANY(() => {
+            const value = SUBRULE(dataBlockValue);
+            ACTION(() => res.push({
+                [`?${varVal.value}`]: value,
+            }));
+        });
+        CONSUME(l.symbols.RCurly);
+        return res;
+    },
+};
+/**
+ * [[64]](https://www.w3.org/TR/sparql11-query/#rInlineDataFull)
+ */
+export const inlineDataFull = {
+    name: 'inlineDataFull',
+    impl: ({ ACTION, OR, MANY1, MANY2, MANY3, MANY4, SUBRULE, CONSUME1, CONSUME2 }) => () => OR([
+        // Grammar rule 64 together with note 11 learns us that a nil should be followed by a nil in DataBlock.
+        {
+            ALT: () => {
+                const res = [];
+                CONSUME1(l.terminals.nil);
+                CONSUME1(l.symbols.LCurly);
+                MANY1(() => {
+                    CONSUME2(l.terminals.nil);
+                    res.push({});
+                });
+                CONSUME1(l.symbols.RCurly);
+                return res;
+            },
+        },
+        {
+            ALT: () => {
+                const res = [];
+                const vars = [];
+                CONSUME1(l.symbols.LParen);
+                MANY2(() => {
+                    vars.push(SUBRULE(var_));
+                });
+                CONSUME1(l.symbols.RParen);
+                CONSUME2(l.symbols.LCurly);
+                MANY3(() => {
+                    const varBinds = [];
+                    CONSUME2(l.symbols.LParen);
+                    MANY4({
+                        DEF: () => {
+                            ACTION(() => {
+                                if (vars.length <= varBinds.length) {
+                                    throw new Error('Number of dataBlockValues does not match number of variables. Too much values.');
+                                }
+                            });
+                            varBinds.push(SUBRULE(dataBlockValue));
+                        },
+                    });
+                    CONSUME2(l.symbols.RParen);
+                    ACTION(() => {
+                        if (varBinds.length !== vars.length) {
+                            throw new Error('Number of dataBlockValues does not match number of variables. Too few values.');
+                        }
+                        const row = {};
+                        for (const [index, varVal] of vars.entries()) {
+                            row[`?${varVal.value}`] = varBinds[index];
+                        }
+                        res.push(row);
+                    });
+                });
+                CONSUME2(l.symbols.RCurly);
+                return res;
+            },
+        },
+    ]),
+};
+/**
+ * [[65]](https://www.w3.org/TR/sparql11-query/#rDataBlockValue)
+ */
+export const dataBlockValue = {
+    name: 'dataBlockValue',
+    impl: ({ SUBRULE, CONSUME, OR }) => () => OR([
+        { ALT: () => SUBRULE(iri) },
+        { ALT: () => SUBRULE(rdfLiteral) },
+        { ALT: () => SUBRULE(numericLiteral) },
+        { ALT: () => SUBRULE(booleanLiteral) },
+        {
+            ALT: () => {
+                CONSUME(l.undef);
+                // eslint-disable-next-line unicorn/no-useless-undefined
+                return undefined;
+            },
+        },
+    ]),
+};
+/**
+ * [[66]](https://www.w3.org/TR/sparql11-query/#rMinusGraphPattern)
+ */
+export const minusGraphPattern = {
+    name: 'minusGraphPattern',
+    impl: ({ ACTION, SUBRULE, CONSUME }) => () => {
+        CONSUME(l.minus);
+        const group = SUBRULE(groupGraphPattern);
+        return ACTION(() => ({
+            type: 'minus',
+            patterns: group.patterns,
+        }));
+    },
+};
+/**
+ * [[67]](https://www.w3.org/TR/sparql11-query/#rGroupOrUnionGraphPattern)
+ */
+export const groupOrUnionGraphPattern = {
+    name: 'groupOrUnionGraphPattern',
+    impl: ({ AT_LEAST_ONE_SEP, SUBRULE }) => () => {
+        const groups = [];
+        AT_LEAST_ONE_SEP({
+            DEF: () => {
+                const group = SUBRULE(groupGraphPattern);
+                groups.push(group);
+            },
+            SEP: l.union,
+        });
+        return groups.length === 1 ?
+            groups[0] :
+            {
+                type: 'union',
+                patterns: groups.map(group => deGroupSingle(group)),
+            };
+    },
+};
+/**
+ * [[68]](https://www.w3.org/TR/sparql11-query/#rFilter)
+ */
+export const filter = {
+    name: 'filter',
+    impl: ({ SUBRULE, CONSUME }) => () => {
+        CONSUME(l.filter);
+        const expression = SUBRULE(constraint);
+        return {
+            type: 'filter',
+            expression,
+        };
+    },
+};
+/**
+ * [[69]](https://www.w3.org/TR/sparql11-query/#rConstraint)
+ */
+export const constraint = {
+    name: 'constraint',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(brackettedExpression) },
+        { ALT: () => SUBRULE(builtInCall) },
+        { ALT: () => SUBRULE(functionCall) },
+    ]),
+};
+/**
+ * [[70]](https://www.w3.org/TR/sparql11-query/#rFunctionCall)
+ */
+export const functionCall = {
+    name: 'functionCall',
+    impl: ({ ACTION, SUBRULE }) => () => {
+        const func = SUBRULE(iri);
+        const args = SUBRULE(argList);
+        return ACTION(() => ({
+            ...args,
+            function: func,
+        }));
+    },
+};
+//# sourceMappingURL=whereClause.js.map

package/lib/grammar/whereClause.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"whereClause.js","sourceRoot":"","sources":["whereClause.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAqBlD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAA8C;IACpE,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,EAAE;YACV,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACzC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAuD;IACnF,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACvC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,EAAE,CAAC;YAClB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAE,OAAO,CAAC,SAAS,CAAC,CAAE,EAAC;YACpC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE;SAC7C,CAAC,CAAC;QACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ;SACT,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,SAAS,kCAAkC,CAAC,OAAgB,EAAE,WAAwB;IACpF,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;QACzB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/B,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACxC,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC1C,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,UAAU,IAAI,OAAO,EAAE,CAAC;QACjC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACnC,kCAAkC,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAuD;IACtF,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAChG,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,EAAE;YACV,IAAI,UAAU,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,EAAE;YACR,MAAM,UAAU,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;YACnD,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC1B,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YACtC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;YAC1D,MAAM,CAAC,GAAG,EAAE;gBACV,IAAI,WAAW,EAAE,CAAC;oBAChB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,6BAA6B;QAC7B,sDAAsD;QACtD,+FAA+F;QAC/F,mHAAmH;QACnH,MAAM,CAAC,GAAG,EAAE;YACV,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;YACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,oGAAoG;gBACpG,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC5B,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC5C,MAAM,IAAI,KAAK,CAAC,4CAA4C,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC;oBACzF,CAAC;gBACH,CAAC;qBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBAC9D,kCAAkC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC;AAMF,MAAM,CAAC,MAAM,sBAAsB,GAC+B;IAChE,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAA+B;QAChE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,EAAE;QAChD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE;QAC5C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE;QACzC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE;QACzC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE;QAC3C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;QAC9B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QAC5B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;KACnC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA6D;IAC5F,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC3C,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAEzC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAuD;IACnF,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC3C,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAEzC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA2D;IACzF,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC3C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAEzC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI;YACJ,MAAM;YACN,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAAyC;IACxD,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACnC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChB,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACd,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAE1B,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,QAAQ;YACR,UAAU,EAAE,aAAa;SAC1B,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAiD;IACtE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACnC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAElC,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,MAAM;SACP,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAoD;IACxE,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE;QACxC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;KACvC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA2D;IACtF,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACjD,MAAM,GAAG,GAAsB,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,GAAG,EAAE;YACR,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;YAEtC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;gBACpB,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK;aAC5B,CAAC,CAAC,CAAC;QACN,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAyD;IAClF,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC1F,uGAAuG;QACvG;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,GAAG,GAAsB,EAAE,CAAC;gBAClC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAC1B,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC3B,KAAK,CAAC,GAAG,EAAE;oBACT,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;oBAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACf,CAAC,CAAC,CAAC;gBACH,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC3B,OAAO,GAAG,CAAC;YACb,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,GAAG,GAAsB,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAmB,EAAE,CAAC;gBAEhC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC3B,KAAK,CAAC,GAAG,EAAE;oBACT,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC3B,CAAC,CAAC,CAAC;gBACH,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAE3B,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC3B,KAAK,CAAC,GAAG,EAAE;oBACT,MAAM,QAAQ,GAA8B,EAAE,CAAC;oBAC/C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC3B,KAAK,CAAC;wBACJ,GAAG,EAAE,GAAG,EAAE;4BACR,MAAM,CAAC,GAAG,EAAE;gCACV,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;oCACnC,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;gCACpG,CAAC;4BACH,CAAC,CAAC,CAAC;4BACH,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;wBACzC,CAAC;qBACF,CAAC,CAAC;oBACH,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAE3B,MAAM,CAAC,GAAG,EAAE;wBACV,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;4BACpC,MAAM,IAAI,KAAK,CAAC,+EAA+E,CAAC,CAAC;wBACnG,CAAC;wBACD,MAAM,GAAG,GAAoB,EAAE,CAAC;wBAChC,KAAK,MAAM,CAAE,KAAK,EAAE,MAAM,CAAE,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;4BAC/C,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;wBAC5C,CAAC;wBACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAChB,CAAC,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;gBACH,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC3B,OAAO,GAAG,CAAC;YACb,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAqF;IAC9G,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAiD;QAC3F,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;QAC3B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;QACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;QACtC;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACjB,wDAAwD;gBACxD,OAAO,SAAS,CAAC;YACnB,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAuD;IACnF,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC3C,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjB,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAEzC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAA6E;IAChH,IAAI,EAAE,0BAA0B;IAChC,IAAI,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAmB,EAAE,CAAC;QAElC,gBAAgB,CAAC;YACf,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;YACD,GAAG,EAAE,CAAC,CAAC,KAAK;SACb,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACT;gBACE,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;aACpD,CAAC;IACR,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAA6C;IAC9D,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACnC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAEvC,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,UAAU;SACX,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAA8C;IACnE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE;QAC5C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;QACnC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;KACrC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAA4D;IACnF,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC9B,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,GAAG,IAAI;YACP,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC","sourcesContent":["import * as l from '../lexer';\nimport type { RuleDef } from '@traqula/core';\nimport { deGroupSingle, isVariable } from '../utils';\nimport { builtInCall } from './builtIn';\nimport { argList, brackettedExpression, expression } from './expression';\nimport { var_, varOrIri } from './general';\nimport { booleanLiteral, iri, numericLiteral, rdfLiteral } from './literals';\nimport { subSelect } from './queryUnit/queryUnit';\nimport type {\n  BindPattern,\n  BlankTerm,\n  BlockPattern,\n  Expression,\n  FilterPattern,\n  FunctionCallExpression,\n  GraphPattern,\n  GroupPattern,\n  IriTerm,\n  LiteralTerm,\n  MinusPattern,\n  OptionalPattern,\n  Pattern,\n  ServicePattern,\n  UnionPattern,\n  ValuePatternRow,\n  ValuesPattern,\n  VariableTerm,\n} from '../Sparql11types';\nimport { triplesBlock } from './tripleBlock';\n\n/**\n * [[17]](https://www.w3.org/TR/sparql11-query/#rWhereClause)\n */\nexport const whereClause: RuleDef<'whereClause', Pattern[]> = <const> {\n  name: 'whereClause',\n  impl: ({ ACTION, SUBRULE, CONSUME, OPTION }) => () => {\n    OPTION(() => {\n      CONSUME(l.where);\n    });\n    const group = SUBRULE(groupGraphPattern);\n    return ACTION(() => group.patterns);\n  },\n};\n\n/**\n * [[53]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPattern)\n */\nexport const groupGraphPattern: RuleDef<'groupGraphPattern', GroupPattern> = <const> {\n  name: 'groupGraphPattern',\n  impl: ({ SUBRULE, CONSUME, OR }) => () => {\n    CONSUME(l.symbols.LCurly);\n    const patterns = OR([\n      { ALT: () => [ SUBRULE(subSelect) ]},\n      { ALT: () => SUBRULE(groupGraphPatternSub) },\n    ]);\n    CONSUME(l.symbols.RCurly);\n    return {\n      type: 'group',\n      patterns,\n    };\n  },\n};\n\nfunction findBoundVarsFromGroupGraphPattern(pattern: Pattern, boundedVars: Set<string>): void {\n  if ('triples' in pattern) {\n    for (const triple of pattern.triples) {\n      if (isVariable(triple.subject)) {\n        boundedVars.add(triple.subject.value);\n      }\n      if (isVariable(triple.predicate)) {\n        boundedVars.add(triple.predicate.value);\n      }\n      if (isVariable(triple.object)) {\n        boundedVars.add(triple.object.value);\n      }\n    }\n  } else if ('patterns' in pattern) {\n    for (const pat of pattern.patterns) {\n      findBoundVarsFromGroupGraphPattern(pat, boundedVars);\n    }\n  }\n}\n\n/**\n * [[54]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPatternSub)\n */\nexport const groupGraphPatternSub: RuleDef<'groupGraphPatternSub', Pattern[]> = <const> {\n  name: 'groupGraphPatternSub',\n  impl: ({ ACTION, SUBRULE, CONSUME, MANY, SUBRULE1, SUBRULE2, OPTION1, OPTION2, OPTION3 }) => () => {\n    const patterns: Pattern[] = [];\n\n    const bgpPattern = OPTION1(() => SUBRULE1(triplesBlock));\n    ACTION(() => {\n      if (bgpPattern) {\n        patterns.push(bgpPattern);\n      }\n    });\n    MANY(() => {\n      const notTriples = SUBRULE(graphPatternNotTriples);\n      patterns.push(notTriples);\n      OPTION2(() => CONSUME(l.symbols.dot));\n      const moreTriples = OPTION3(() => SUBRULE2(triplesBlock));\n      ACTION(() => {\n        if (moreTriples) {\n          patterns.push(moreTriples);\n        }\n      });\n    });\n\n    // Check note 13 of the spec.\n    // TODO: currently optimized for case bind is present.\n    //  Since every iteration, even when no bind is present, we walk the tree collecting variables.\n    //  optimize either by: checking whether bind is present, or by keeping track of variables and passing them through\n    ACTION(() => {\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 (pattern.type === 'bind') {\n          if (boundedVars.has(pattern.variable.value)) {\n            throw new Error(`Variable used to bind is already bound (?${pattern.variable.value})`);\n          }\n        } else if (pattern.type === 'group' || pattern.type === 'bgp') {\n          findBoundVarsFromGroupGraphPattern(pattern, boundedVars);\n        }\n      }\n    });\n\n    return patterns;\n  },\n};\n\n/**\n * [[56]](https://www.w3.org/TR/sparql11-query/#rGraphPatternNotTriples)\n */\ntype GraphPatternNotTriplesReturn = ValuesPattern | BindPattern | FilterPattern | BlockPattern;\nexport const graphPatternNotTriples:\nRuleDef<'graphPatternNotTriples', GraphPatternNotTriplesReturn> = {\n  name: 'graphPatternNotTriples',\n  impl: ({ SUBRULE, OR }) => () => OR<GraphPatternNotTriplesReturn>([\n    { ALT: () => SUBRULE(groupOrUnionGraphPattern) },\n    { ALT: () => SUBRULE(optionalGraphPattern) },\n    { ALT: () => SUBRULE(minusGraphPattern) },\n    { ALT: () => SUBRULE(graphGraphPattern) },\n    { ALT: () => SUBRULE(serviceGraphPattern) },\n    { ALT: () => SUBRULE(filter) },\n    { ALT: () => SUBRULE(bind) },\n    { ALT: () => SUBRULE(inlineData) },\n  ]),\n};\n\n/**\n * [[57]](https://www.w3.org/TR/sparql11-query/#rOptionalGraphPattern)\n */\nexport const optionalGraphPattern: RuleDef<'optionalGraphPattern', OptionalPattern> = <const> {\n  name: 'optionalGraphPattern',\n  impl: ({ ACTION, SUBRULE, CONSUME }) => () => {\n    CONSUME(l.optional);\n    const group = SUBRULE(groupGraphPattern);\n\n    return ACTION(() => ({\n      type: 'optional',\n      patterns: group.patterns,\n    }));\n  },\n};\n\n/**\n * [[58]](https://www.w3.org/TR/sparql11-query/#rGraphGraphPattern)\n */\nexport const graphGraphPattern: RuleDef<'graphGraphPattern', GraphPattern> = <const> {\n  name: 'graphGraphPattern',\n  impl: ({ ACTION, SUBRULE, CONSUME }) => () => {\n    CONSUME(l.graph.graph);\n    const name = SUBRULE(varOrIri);\n    const group = SUBRULE(groupGraphPattern);\n\n    return ACTION(() => ({\n      type: 'graph',\n      name,\n      patterns: group.patterns,\n    }));\n  },\n};\n\n/**\n * [[59]](https://www.w3.org/TR/sparql11-query/#rServiceGraphPattern)\n */\nexport const serviceGraphPattern: RuleDef<'serviceGraphPattern', ServicePattern> = <const> {\n  name: 'serviceGraphPattern',\n  impl: ({ SUBRULE, CONSUME, OPTION }) => () => {\n    CONSUME(l.service);\n    const silent = Boolean(OPTION(() => CONSUME(l.silent)));\n    const name = SUBRULE(varOrIri);\n    const group = SUBRULE(groupGraphPattern);\n\n    return {\n      type: 'service',\n      name,\n      silent,\n      patterns: group.patterns,\n    };\n  },\n};\n\n/**\n * [[60]](https://www.w3.org/TR/sparql11-query/#rBind)\n */\nexport const bind: RuleDef<'bind', BindPattern> = <const> {\n  name: 'bind',\n  impl: ({ SUBRULE, CONSUME }) => () => {\n    CONSUME(l.bind);\n    CONSUME(l.symbols.LParen);\n    const expressionVal = SUBRULE(expression);\n    CONSUME(l.as);\n    const variable = SUBRULE(var_);\n    CONSUME(l.symbols.RParen);\n\n    return {\n      type: 'bind',\n      variable,\n      expression: expressionVal,\n    };\n  },\n};\n\n/**\n * [[61]](https://www.w3.org/TR/sparql11-query/#rInlineData)\n */\nexport const inlineData: RuleDef<'inlineData', ValuesPattern> = <const> {\n  name: 'inlineData',\n  impl: ({ SUBRULE, CONSUME }) => () => {\n    CONSUME(l.values);\n    const values = SUBRULE(dataBlock);\n\n    return {\n      type: 'values',\n      values,\n    };\n  },\n};\n\n/**\n * [[62]](https://www.w3.org/TR/sparql11-query/#rDataBlock)\n */\nexport const dataBlock: RuleDef<'dataBlock', ValuePatternRow[]> = <const> {\n  name: 'dataBlock',\n  impl: ({ SUBRULE, OR }) => () => OR([\n    { ALT: () => SUBRULE(inlineDataOneVar) },\n    { ALT: () => SUBRULE(inlineDataFull) },\n  ]),\n};\n\n/**\n * [[63]](https://www.w3.org/TR/sparql11-query/#rInlineDataOneVar)\n */\nexport const inlineDataOneVar: RuleDef<'inlineDataOneVar', ValuePatternRow[]> = <const> {\n  name: 'inlineDataOneVar',\n  impl: ({ ACTION, SUBRULE, CONSUME, MANY }) => () => {\n    const res: ValuePatternRow[] = [];\n    const varVal = SUBRULE(var_);\n    CONSUME(l.symbols.LCurly);\n    MANY(() => {\n      const value = SUBRULE(dataBlockValue);\n\n      ACTION(() => res.push({\n        [`?${varVal.value}`]: value,\n      }));\n    });\n    CONSUME(l.symbols.RCurly);\n    return res;\n  },\n};\n\n/**\n * [[64]](https://www.w3.org/TR/sparql11-query/#rInlineDataFull)\n */\nexport const inlineDataFull: RuleDef<'inlineDataFull', ValuePatternRow[]> = <const> {\n  name: 'inlineDataFull',\n  impl: ({ ACTION, OR, MANY1, MANY2, MANY3, MANY4, SUBRULE, CONSUME1, CONSUME2 }) => () => OR([\n    // Grammar rule 64 together with note 11 learns us that a nil should be followed by a nil in DataBlock.\n    {\n      ALT: () => {\n        const res: ValuePatternRow[] = [];\n        CONSUME1(l.terminals.nil);\n        CONSUME1(l.symbols.LCurly);\n        MANY1(() => {\n          CONSUME2(l.terminals.nil);\n          res.push({});\n        });\n        CONSUME1(l.symbols.RCurly);\n        return res;\n      },\n    },\n    {\n      ALT: () => {\n        const res: ValuePatternRow[] = [];\n        const vars: VariableTerm[] = [];\n\n        CONSUME1(l.symbols.LParen);\n        MANY2(() => {\n          vars.push(SUBRULE(var_));\n        });\n        CONSUME1(l.symbols.RParen);\n\n        CONSUME2(l.symbols.LCurly);\n        MANY3(() => {\n          const varBinds: ValuePatternRow[string][] = [];\n          CONSUME2(l.symbols.LParen);\n          MANY4({\n            DEF: () => {\n              ACTION(() => {\n                if (vars.length <= varBinds.length) {\n                  throw new Error('Number of dataBlockValues does not match number of variables. Too much values.');\n                }\n              });\n              varBinds.push(SUBRULE(dataBlockValue));\n            },\n          });\n          CONSUME2(l.symbols.RParen);\n\n          ACTION(() => {\n            if (varBinds.length !== vars.length) {\n              throw new Error('Number of dataBlockValues does not match number of variables. Too few values.');\n            }\n            const row: ValuePatternRow = {};\n            for (const [ index, varVal ] of vars.entries()) {\n              row[`?${varVal.value}`] = varBinds[index];\n            }\n            res.push(row);\n          });\n        });\n        CONSUME2(l.symbols.RCurly);\n        return res;\n      },\n    },\n  ]),\n};\n\n/**\n * [[65]](https://www.w3.org/TR/sparql11-query/#rDataBlockValue)\n */\nexport const dataBlockValue: RuleDef<'dataBlockValue', IriTerm | BlankTerm | LiteralTerm | undefined> = <const> {\n  name: 'dataBlockValue',\n  impl: ({ SUBRULE, CONSUME, OR }) => () => OR< IriTerm | BlankTerm | LiteralTerm | undefined>([\n    { ALT: () => SUBRULE(iri) },\n    { ALT: () => SUBRULE(rdfLiteral) },\n    { ALT: () => SUBRULE(numericLiteral) },\n    { ALT: () => SUBRULE(booleanLiteral) },\n    {\n      ALT: () => {\n        CONSUME(l.undef);\n        // eslint-disable-next-line unicorn/no-useless-undefined\n        return undefined;\n      },\n    },\n  ]),\n};\n\n/**\n * [[66]](https://www.w3.org/TR/sparql11-query/#rMinusGraphPattern)\n */\nexport const minusGraphPattern: RuleDef<'minusGraphPattern', MinusPattern> = <const> {\n  name: 'minusGraphPattern',\n  impl: ({ ACTION, SUBRULE, CONSUME }) => () => {\n    CONSUME(l.minus);\n    const group = SUBRULE(groupGraphPattern);\n\n    return ACTION(() => ({\n      type: 'minus',\n      patterns: group.patterns,\n    }));\n  },\n};\n\n/**\n * [[67]](https://www.w3.org/TR/sparql11-query/#rGroupOrUnionGraphPattern)\n */\nexport const groupOrUnionGraphPattern: RuleDef<'groupOrUnionGraphPattern', GroupPattern | UnionPattern> = <const> {\n  name: 'groupOrUnionGraphPattern',\n  impl: ({ AT_LEAST_ONE_SEP, SUBRULE }) => () => {\n    const groups: GroupPattern[] = [];\n\n    AT_LEAST_ONE_SEP({\n      DEF: () => {\n        const group = SUBRULE(groupGraphPattern);\n        groups.push(group);\n      },\n      SEP: l.union,\n    });\n\n    return groups.length === 1 ?\n      groups[0] :\n        {\n          type: 'union',\n          patterns: groups.map(group => deGroupSingle(group)),\n        };\n  },\n};\n\n/**\n * [[68]](https://www.w3.org/TR/sparql11-query/#rFilter)\n */\nexport const filter: RuleDef<'filter', FilterPattern> = <const> {\n  name: 'filter',\n  impl: ({ SUBRULE, CONSUME }) => () => {\n    CONSUME(l.filter);\n    const expression = SUBRULE(constraint);\n\n    return {\n      type: 'filter',\n      expression,\n    };\n  },\n};\n\n/**\n * [[69]](https://www.w3.org/TR/sparql11-query/#rConstraint)\n */\nexport const constraint: RuleDef<'constraint', Expression> = <const> {\n  name: 'constraint',\n  impl: ({ SUBRULE, OR }) => () => OR([\n    { ALT: () => SUBRULE(brackettedExpression) },\n    { ALT: () => SUBRULE(builtInCall) },\n    { ALT: () => SUBRULE(functionCall) },\n  ]),\n};\n\n/**\n * [[70]](https://www.w3.org/TR/sparql11-query/#rFunctionCall)\n */\nexport const functionCall: RuleDef<'functionCall', FunctionCallExpression> = <const> {\n  name: 'functionCall',\n  impl: ({ ACTION, SUBRULE }) => () => {\n    const func = SUBRULE(iri);\n    const args = SUBRULE(argList);\n    return ACTION(() => ({\n      ...args,\n      function: func,\n    }));\n  },\n};\n"]}