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

package/lib/grammar/dataSetClause.js

@@ -0,0 +1,81 @@
+import * as l from '../lexer';
+import { iri } from './literals';
+export function datasetClauseUsing(name, token) {
+    return {
+        name,
+        impl: ({ ACTION, SUBRULE, CONSUME, OR }) => (C) => {
+            const start = CONSUME(token);
+            return OR([
+                { ALT: () => {
+                        const iri = SUBRULE(defaultGraphClause, undefined);
+                        return ACTION(() => C.factory.wrap({ clauseType: 'default', value: iri }, C.factory.sourceLocation(start, iri)));
+                    } },
+                { ALT: () => {
+                        const namedClause = SUBRULE(namedGraphClause, undefined);
+                        return ACTION(() => C.factory.wrap({
+                            clauseType: 'named',
+                            value: namedClause.val,
+                        }, C.factory.sourceLocation(start, namedClause)));
+                    } },
+            ]);
+        },
+    };
+}
+/**
+ * [[13]](https://www.w3.org/TR/sparql11-query/#rDatasetClause)
+ */
+export const datasetClause = datasetClauseUsing('datasetClause', l.from);
+/**
+ * [[14]](https://www.w3.org/TR/sparql11-query/#rDefaultGraphClause)
+ */
+export const defaultGraphClause = {
+    name: 'defaultGraphClause',
+    impl: ({ SUBRULE }) => () => SUBRULE(sourceSelector, undefined),
+};
+/**
+ * [[44]](https://www.w3.org/TR/sparql11-query/#rUsingClause)
+ */
+export const usingClause = datasetClauseUsing('usingClause', l.usingClause);
+export function datasetClauseUsingStar(name, subRule, fromUsing) {
+    return {
+        name,
+        impl: ({ ACTION, MANY, SUBRULE }) => (C) => {
+            const clauses = [];
+            MANY(() => {
+                const clause = SUBRULE(subRule, undefined);
+                clauses.push(clause);
+            });
+            return ACTION(() => C.factory.datasetClauses(clauses.map(clause => clause.val), C.factory.sourceLocation(...clauses)));
+        },
+        gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
+            for (const clause of ast.clauses) {
+                F.printFilter(ast, () => PRINT_WORD(fromUsing));
+                if (clause.clauseType === 'named') {
+                    F.printFilter(ast, () => PRINT_WORD('NAMED'));
+                }
+                SUBRULE(iri, clause.value, undefined);
+            }
+        },
+    };
+}
+export const datasetClauseStar = datasetClauseUsingStar('datasetClauses', datasetClause, 'FROM');
+export const usingClauseStar = datasetClauseUsingStar('usingClauses', usingClause, 'USING');
+/**
+ * [[15]](https://www.w3.org/TR/sparql11-query/#rNamedGraphClause)
+ */
+export const namedGraphClause = {
+    name: 'namedGraphClause',
+    impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
+        const named = CONSUME(l.graph.named);
+        const iri = SUBRULE(sourceSelector, undefined);
+        return ACTION(() => C.factory.wrap(iri, C.factory.sourceLocation(named, iri)));
+    },
+};
+/**
+ * [[16]](https://www.w3.org/TR/sparql11-query/#rSourceSelector)
+ */
+export const sourceSelector = {
+    name: 'sourceSelector',
+    impl: ({ SUBRULE }) => () => SUBRULE(iri, undefined),
+};
+//# sourceMappingURL=dataSetClause.js.map

package/lib/grammar/dataSetClause.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dataSetClause.js","sourceRoot":"","sources":["dataSetClause.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAG9B,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,UAAU,kBAAkB,CAChC,IAAc,EACd,KAAgB;IAEhB,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC7B,OAAO,EAAE,CAAsC;gBAC7C,EAAE,GAAG,EAAE,GAAG,EAAE;wBACV,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC;wBACnD,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;oBACjG,CAAC,EAAE;gBACH,EAAE,GAAG,EAAE,GAAG,EAAE;wBACV,MAAM,WAAW,GAAG,OAAO,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;wBACzD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;4BACjC,UAAU,EAAE,OAAO;4BACnB,KAAK,EAAE,WAAW,CAAC,GAAG;yBACvB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;oBACpD,CAAC,EAAE;aACJ,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,kBAAkB,CAAC,eAAe,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA6D;IAC1F,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC;CAChE,CAAC;AACF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,kBAAkB,CAAC,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;AAE5E,MAAM,UAAU,sBAAsB,CACpC,IAAc,EACd,OAAmD,EACnD,SAA2B;IAE3B,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YACzC,MAAM,OAAO,GAA0C,EAAE,CAAC;YAE1D,IAAI,CAAC,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC;YAEH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAC1C,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EACjC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,OAAO,CAAC,CACrC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;YAC1D,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBACjC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;gBAChD,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;oBAClC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;gBAChD,CAAC;gBACD,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,sBAAsB,CAAS,gBAAgB,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;AACzG,MAAM,CAAC,MAAM,eAAe,GAAG,sBAAsB,CAAS,cAAc,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AAEpG;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAiE;IAC5F,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QAC/C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAyD;IAClF,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC;CACrD,CAAC","sourcesContent":["import type { RuleDefReturn, Wrap } from '@traqula/core';\nimport type { TokenType } from 'chevrotain';\nimport * as l from '../lexer';\nimport type { DatasetClauses, TermIri } from '../RoundTripTypes';\nimport type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';\nimport { iri } from './literals';\n\nexport function datasetClauseUsing<RuleName extends 'usingClause' | 'datasetClause'>(\n  name: RuleName,\n  token: TokenType,\n): SparqlGrammarRule<RuleName, Wrap<DatasetClauses['clauses'][0]>> {\n  return {\n    name,\n    impl: ({ ACTION, SUBRULE, CONSUME, OR }) => (C) => {\n      const start = CONSUME(token);\n      return OR<RuleDefReturn<typeof datasetClause>>([\n        { ALT: () => {\n          const iri = SUBRULE(defaultGraphClause, undefined);\n          return ACTION(() =>\n            C.factory.wrap({ clauseType: 'default', value: iri }, C.factory.sourceLocation(start, iri)));\n        } },\n        { ALT: () => {\n          const namedClause = SUBRULE(namedGraphClause, undefined);\n          return ACTION(() => C.factory.wrap({\n            clauseType: 'named',\n            value: namedClause.val,\n          }, C.factory.sourceLocation(start, namedClause)));\n        } },\n      ]);\n    },\n  };\n}\n\n/**\n * [[13]](https://www.w3.org/TR/sparql11-query/#rDatasetClause)\n */\nexport const datasetClause = datasetClauseUsing('datasetClause', l.from);\n\n/**\n * [[14]](https://www.w3.org/TR/sparql11-query/#rDefaultGraphClause)\n */\nexport const defaultGraphClause: SparqlGrammarRule<'defaultGraphClause', TermIri> = <const> {\n  name: 'defaultGraphClause',\n  impl: ({ SUBRULE }) => () => SUBRULE(sourceSelector, undefined),\n};\n/**\n * [[44]](https://www.w3.org/TR/sparql11-query/#rUsingClause)\n */\nexport const usingClause = datasetClauseUsing('usingClause', l.usingClause);\n\nexport function datasetClauseUsingStar<RuleName extends string>(\n  name: RuleName,\n  subRule: ReturnType<typeof datasetClauseUsing<any>>,\n  fromUsing: 'FROM' | 'USING',\n): SparqlRule<RuleName, DatasetClauses> {\n  return {\n    name,\n    impl: ({ ACTION, MANY, SUBRULE }) => (C) => {\n      const clauses: RuleDefReturn<typeof datasetClause>[] = [];\n\n      MANY(() => {\n        const clause = SUBRULE(subRule, undefined);\n        clauses.push(clause);\n      });\n\n      return ACTION(() => C.factory.datasetClauses(\n        clauses.map(clause => clause.val),\n        C.factory.sourceLocation(...clauses),\n      ));\n    },\n    gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n      for (const clause of ast.clauses) {\n        F.printFilter(ast, () => PRINT_WORD(fromUsing));\n        if (clause.clauseType === 'named') {\n          F.printFilter(ast, () => PRINT_WORD('NAMED'));\n        }\n        SUBRULE(iri, clause.value, undefined);\n      }\n    },\n  };\n}\n\nexport const datasetClauseStar = datasetClauseUsingStar(<const> 'datasetClauses', datasetClause, 'FROM');\nexport const usingClauseStar = datasetClauseUsingStar(<const> 'usingClauses', usingClause, 'USING');\n\n/**\n * [[15]](https://www.w3.org/TR/sparql11-query/#rNamedGraphClause)\n */\nexport const namedGraphClause: SparqlGrammarRule<'namedGraphClause', Wrap<TermIri>> = <const> {\n  name: 'namedGraphClause',\n  impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n    const named = CONSUME(l.graph.named);\n    const iri = SUBRULE(sourceSelector, undefined);\n    return ACTION(() => C.factory.wrap(iri, C.factory.sourceLocation(named, iri)));\n  },\n};\n\n/**\n * [[16]](https://www.w3.org/TR/sparql11-query/#rSourceSelector)\n */\nexport const sourceSelector: SparqlGrammarRule<'sourceSelector', TermIri> = <const> {\n  name: 'sourceSelector',\n  impl: ({ SUBRULE }) => () => SUBRULE(iri, undefined),\n};\n"]}

package/lib/grammar/expression.d.ts

@@ -0,0 +1,63 @@
+import type { Wrap } from '@traqula/core';
+import type { Expression, ExpressionFunctionCall, ExpressionOperation, TermIri } from '../RoundTripTypes';
+import type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';
+/**
+ * [[71]](https://www.w3.org/TR/sparql11-query/#rArgList)
+ */
+export interface IArgList {
+    args: Expression[];
+    distinct: boolean;
+}
+export declare const argList: SparqlRule<'argList', Wrap<IArgList>>;
+/**
+ * [[72]](https://www.w3.org/TR/sparql11-query/#rConstructTemplate)
+ */
+export declare const expressionList: SparqlGrammarRule<'expressionList', Wrap<Expression[]>>;
+/**
+ * [[110]](https://www.w3.org/TR/sparql11-query/#rExpression)
+ */
+export declare const expression: SparqlRule<'expression', Expression>;
+/**
+ * [[111]](https://www.w3.org/TR/sparql11-query/#rConditionalOrExpression)
+ */
+export declare const conditionalOrExpression: SparqlGrammarRule<'conditionalOrExpression', ExpressionOperation | Expression>;
+/**
+ * [[112]](https://www.w3.org/TR/sparql11-query/#rConditionalAndExpression)
+ */
+export declare const conditionalAndExpression: SparqlGrammarRule<'conditionalAndExpression', Expression>;
+/**
+ * [[113]](https://www.w3.org/TR/sparql11-query/#rValueLogical)
+ */
+export declare const valueLogical: SparqlGrammarRule<'valueLogical', Expression>;
+/**
+ * [[114]](https://www.w3.org/TR/sparql11-query/#rRelationalExpression)
+ */
+export declare const relationalExpression: SparqlGrammarRule<'relationalExpression', ExpressionOperation | Expression>;
+/**
+ * [[115]](https://www.w3.org/TR/sparql11-query/#rNumericExpression)
+ */
+export declare const numericExpression: SparqlGrammarRule<'numericExpression', Expression>;
+/**
+ * [[116]](https://www.w3.org/TR/sparql11-query/#rAdditiveExpression)
+ */
+export declare const additiveExpression: SparqlGrammarRule<'additiveExpression', Expression>;
+/**
+ * [[117]](https://www.w3.org/TR/sparql11-query/#rMultiplicativeExpression)
+ */
+export declare const multiplicativeExpression: SparqlGrammarRule<'multiplicativeExpression', Expression>;
+/**
+ * [[118]](https://www.w3.org/TR/sparql11-query/#rUnaryExpression)
+ */
+export declare const unaryExpression: SparqlGrammarRule<'unaryExpression', Expression>;
+/**
+ * [[119]](https://www.w3.org/TR/sparql11-query/#rPrimaryExpression)
+ */
+export declare const primaryExpression: SparqlGrammarRule<'primaryExpression', Expression>;
+/**
+ * [[120]](https://www.w3.org/TR/sparql11-query/#rBrackettedExpression)
+ */
+export declare const brackettedExpression: SparqlGrammarRule<'brackettedExpression', Expression>;
+/**
+ * [[128]](https://www.w3.org/TR/sparql11-query/#ririOrFunction)
+ */
+export declare const iriOrFunction: SparqlRule<'iriOrFunction', TermIri | ExpressionFunctionCall>;

package/lib/grammar/expression.js

@@ -0,0 +1,383 @@
+import * as l from '../lexer';
+import { aggregate, builtInCall } from './builtIn';
+import { var_, varOrTerm, } from './general';
+import { booleanLiteral, iri, numericLiteral, numericLiteralNegative, numericLiteralPositive, rdfLiteral, } from './literals';
+import { groupGraphPattern } from './whereClause';
+export const argList = {
+    name: 'argList',
+    impl: ({ ACTION, CONSUME, SUBRULE1, OPTION, OR, AT_LEAST_ONE_SEP }) => C => OR([
+        { ALT: () => {
+                const nil = CONSUME(l.terminals.nil);
+                return ACTION(() => C.factory.wrap({ args: [], distinct: false }, C.factory.sourceLocation(nil)));
+            } },
+        { ALT: () => {
+                const args = [];
+                const open = CONSUME(l.symbols.LParen);
+                const distinct = OPTION(() => {
+                    CONSUME(l.distinct);
+                    return true;
+                }) ?? false;
+                AT_LEAST_ONE_SEP({
+                    SEP: l.symbols.comma,
+                    DEF: () => {
+                        const arg = SUBRULE1(expression, undefined);
+                        args.push(arg);
+                    },
+                });
+                const close = CONSUME(l.symbols.RParen);
+                return ACTION(() => C.factory.wrap({ args, distinct }, C.factory.sourceLocation(open, close)));
+            } },
+    ]),
+    gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
+        F.printFilter(ast, () => {
+            PRINT_WORD('(');
+            if (ast.val.distinct) {
+                PRINT_WORD('distinct');
+            }
+        });
+        const [head, ...tail] = ast.val.args;
+        if (head) {
+            SUBRULE(expression, head, undefined);
+        }
+        for (const expr of tail) {
+            F.printFilter(ast, () => PRINT_WORD(','));
+            SUBRULE(expression, expr, undefined);
+        }
+        F.printFilter(ast, () => PRINT_WORD(')'));
+    },
+};
+/**
+ * [[72]](https://www.w3.org/TR/sparql11-query/#rConstructTemplate)
+ */
+export const expressionList = {
+    name: 'expressionList',
+    impl: ({ ACTION, CONSUME, MANY, OR, SUBRULE1, SUBRULE2 }) => C => OR([
+        { ALT: () => {
+                const nil = CONSUME(l.terminals.nil);
+                return ACTION(() => C.factory.wrap([], C.factory.sourceLocation(nil)));
+            } },
+        { ALT: () => {
+                const open = CONSUME(l.symbols.LParen);
+                const expr1 = SUBRULE1(expression, undefined);
+                const args = [expr1];
+                MANY(() => {
+                    CONSUME(l.symbols.comma);
+                    const expr = SUBRULE2(expression, undefined);
+                    args.push(expr);
+                });
+                const close = CONSUME(l.symbols.RParen);
+                return ACTION(() => C.factory.wrap(args, C.factory.sourceLocation(open, close)));
+            } },
+    ]),
+};
+const infixOperators = new Set(['in', 'notin', '||', '&&', '=', '!=', '<', '>', '<=', '>=', '+', '-', '*', '/']);
+const prefixOperator = new Set(['!', 'UPLUS', 'UMINUS']);
+/**
+ * [[110]](https://www.w3.org/TR/sparql11-query/#rExpression)
+ */
+export const expression = {
+    name: 'expression',
+    impl: ({ SUBRULE }) => () => SUBRULE(conditionalOrExpression, undefined),
+    gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
+        if (F.isTerm(ast)) {
+            SUBRULE(varOrTerm, ast, undefined);
+        }
+        else if (F.isExpressionOperator(ast)) {
+            if (infixOperators.has(ast.operator)) {
+                const [left, ...right] = ast.args;
+                F.printFilter(ast, () => PRINT_WORD('('));
+                SUBRULE(expression, left, undefined);
+                F.printFilter(ast, () => {
+                    if (ast.operator === 'notin') {
+                        PRINT_WORD('NOT IN');
+                    }
+                    else if (ast.operator === 'in') {
+                        PRINT_WORD('IN');
+                    }
+                    else {
+                        PRINT_WORD(ast.operator);
+                    }
+                });
+                if (right.length === 1) {
+                    SUBRULE(expression, right[0], undefined);
+                }
+                else {
+                    SUBRULE(argList, F.wrap({ args: right, distinct: false }, ast.loc), undefined);
+                }
+                F.printFilter(ast, () => PRINT_WORD(')'));
+            }
+            else if (prefixOperator.has(ast.operator)) {
+                const [expr] = ast.args;
+                F.printFilter(ast, () => PRINT_WORD(ast.operator));
+                SUBRULE(expression, expr, undefined);
+            }
+            else {
+                F.printFilter(ast, () => PRINT_WORD(ast.operator, '('));
+                const [head, ...tail] = ast.args;
+                if (head) {
+                    SUBRULE(expression, head, undefined);
+                }
+                for (const arg of tail) {
+                    F.printFilter(ast, () => PRINT_WORD(','));
+                    SUBRULE(expression, arg, undefined);
+                }
+                F.printFilter(ast, () => PRINT_WORD(')'));
+            }
+        }
+        else if (F.isExpressionPatternOperation(ast)) {
+            const patterns = ast.args;
+            F.printFilter(ast, () => PRINT_WORD(ast.operator === 'exists' ? 'EXISTS' : 'NOT EXISTS'));
+            SUBRULE(groupGraphPattern, patterns, undefined);
+        }
+        else if (F.isExpressionFunctionCall(ast)) {
+            SUBRULE(iriOrFunction, ast, undefined);
+        }
+        else if (F.isExpressionAggregate(ast)) {
+            SUBRULE(aggregate, ast, undefined);
+        }
+    },
+};
+function constructLeftDeep(startGenerator, restGenerator, ACTION, MANY) {
+    // By using iterExpression, we avoid creating unnecessary arrays
+    let iterExpr = startGenerator();
+    MANY(() => {
+        const res = restGenerator();
+        ACTION(() => {
+            iterExpr = res(iterExpr);
+        });
+    });
+    return iterExpr;
+}
+/**
+ * [[111]](https://www.w3.org/TR/sparql11-query/#rConditionalOrExpression)
+ */
+export const conditionalOrExpression = {
+    name: 'conditionalOrExpression',
+    impl: ({ ACTION, MANY, CONSUME, SUBRULE1, SUBRULE2 }) => C => constructLeftDeep(() => SUBRULE1(conditionalAndExpression, undefined), () => {
+        CONSUME(l.symbols.logicOr);
+        const args = SUBRULE2(conditionalAndExpression, undefined);
+        return left => ACTION(() => C.factory.expressionOperation('||', [left, args], C.factory.sourceLocation(left, args)));
+    }, ACTION, MANY),
+};
+/**
+ * [[112]](https://www.w3.org/TR/sparql11-query/#rConditionalAndExpression)
+ */
+export const conditionalAndExpression = {
+    name: 'conditionalAndExpression',
+    impl: ({ ACTION, MANY, SUBRULE1, SUBRULE2, CONSUME }) => C => constructLeftDeep(() => SUBRULE1(valueLogical, undefined), () => {
+        CONSUME(l.symbols.logicAnd);
+        const arg = SUBRULE2(valueLogical, undefined);
+        return left => ACTION(() => C.factory.expressionOperation('&&', [left, arg], C.factory.sourceLocation(left, arg)));
+    }, ACTION, MANY),
+};
+/**
+ * [[113]](https://www.w3.org/TR/sparql11-query/#rValueLogical)
+ */
+export const valueLogical = {
+    name: 'valueLogical',
+    impl: ({ SUBRULE }) => () => SUBRULE(relationalExpression, undefined),
+};
+/**
+ * [[114]](https://www.w3.org/TR/sparql11-query/#rRelationalExpression)
+ */
+export const relationalExpression = {
+    name: 'relationalExpression',
+    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR1, OR2, OR3 }) => (C) => {
+        const args1 = SUBRULE1(numericExpression, undefined);
+        const expression = OPTION(() => OR1([
+            { ALT: () => {
+                    // Stay in numeric;
+                    const operator = OR2([
+                        { ALT: () => CONSUME(l.symbols.equal) },
+                        { ALT: () => CONSUME(l.symbols.notEqual) },
+                        { ALT: () => CONSUME(l.symbols.lessThan) },
+                        { ALT: () => CONSUME(l.symbols.greaterThan) },
+                        { ALT: () => CONSUME(l.symbols.lessThanEqual) },
+                        { ALT: () => CONSUME(l.symbols.greaterThanEqual) },
+                    ]);
+                    const expr = SUBRULE2(numericExpression, undefined);
+                    return ACTION(() => C.factory.expressionOperation(operator.image, [args1, expr], C.factory.sourceLocation(args1, expr)));
+                } },
+            { ALT: () => {
+                    const operator = OR3([
+                        { ALT: () => CONSUME(l.in_) },
+                        { ALT: () => CONSUME(l.notIn) },
+                    ]);
+                    const args = SUBRULE1(expressionList, undefined);
+                    return ACTION(() => C.factory.expressionOperation(operator.image, [args1, ...args.val], C.factory.sourceLocation(args1, args)));
+                } },
+        ]));
+        return expression ?? args1;
+    },
+};
+/**
+ * [[115]](https://www.w3.org/TR/sparql11-query/#rNumericExpression)
+ */
+export const numericExpression = {
+    name: 'numericExpression',
+    impl: ({ SUBRULE }) => () => SUBRULE(additiveExpression, undefined),
+};
+/**
+ * [[116]](https://www.w3.org/TR/sparql11-query/#rAdditiveExpression)
+ */
+export const additiveExpression = {
+    name: 'additiveExpression',
+    impl: ({ ACTION, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, MANY1, MANY2, OR1, OR2, OR3, OR4 }) => C => constructLeftDeep(() => SUBRULE1(multiplicativeExpression, undefined), () => OR1([
+        { ALT: () => {
+                // Multiplicative expression as 2nd argument
+                const operator = OR2([
+                    { ALT: () => CONSUME(l.symbols.opPlus) },
+                    { ALT: () => CONSUME(l.symbols.opMinus) },
+                ]);
+                const arg = SUBRULE2(multiplicativeExpression, undefined);
+                return ACTION(() => left => C.factory.expressionOperation(operator.image, [left, arg], C.factory.sourceLocation(left, arg)));
+            } },
+        { ALT: () => {
+                // The operator of this alternative is actually parsed as part of the signed numeric literal. (note #6)
+                const { operator, startInt } = OR3([
+                    { ALT: () => {
+                            // Note #6. No spaces are allowed between the sign and a number.
+                            // In this rule however, we do not want to care about this.
+                            const integer = SUBRULE(numericLiteralPositive, undefined);
+                            return ACTION(() => {
+                                integer.value = integer.value.replace(/^\+/u, '');
+                                return {
+                                    operator: '+',
+                                    startInt: integer,
+                                };
+                            });
+                        } },
+                    { ALT: () => {
+                            const integer = SUBRULE(numericLiteralNegative, undefined);
+                            return ACTION(() => {
+                                integer.value = integer.value.replace(/^-/u, '');
+                                return {
+                                    operator: '-',
+                                    startInt: integer,
+                                };
+                            });
+                        } },
+                ]);
+                const multiplicativeExpr = constructLeftDeep(() => ACTION(() => startInt), () => {
+                    const innerOperator = OR4([
+                        { ALT: () => CONSUME(l.symbols.star) },
+                        { ALT: () => CONSUME(l.symbols.slash) },
+                    ]);
+                    const innerExpr = SUBRULE1(unaryExpression, undefined);
+                    return ACTION(() => leftInner => C.factory.expressionOperation(innerOperator.image, [leftInner, innerExpr], C.factory.sourceLocation(leftInner, innerExpr)));
+                }, ACTION, MANY2);
+                return left => C.factory.expressionOperation(operator, [left, multiplicativeExpr], C.factory.sourceLocation(left, multiplicativeExpr));
+            } },
+    ]), ACTION, MANY1),
+};
+/**
+ * [[117]](https://www.w3.org/TR/sparql11-query/#rMultiplicativeExpression)
+ */
+export const multiplicativeExpression = {
+    name: 'multiplicativeExpression',
+    impl: ({ ACTION, CONSUME, MANY, SUBRULE1, SUBRULE2, OR }) => C => constructLeftDeep(() => SUBRULE1(unaryExpression, undefined), () => {
+        const operator = OR([
+            { ALT: () => CONSUME(l.symbols.star) },
+            { ALT: () => CONSUME(l.symbols.slash) },
+        ]);
+        const expr = SUBRULE2(unaryExpression, undefined);
+        return (left) => ({
+            type: 'expression',
+            subType: 'operation',
+            operator: operator.image,
+            args: [left, expr],
+            loc: C.factory.sourceLocation(left, expr),
+        });
+    }, ACTION, MANY),
+};
+/**
+ * [[118]](https://www.w3.org/TR/sparql11-query/#rUnaryExpression)
+ */
+export const unaryExpression = {
+    name: 'unaryExpression',
+    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => C => OR1([
+        { ALT: () => SUBRULE1(primaryExpression, undefined) },
+        { ALT: () => {
+                const operator = OR2([
+                    { ALT: () => CONSUME(l.symbols.exclamation) },
+                    { ALT: () => CONSUME(l.symbols.opPlus) },
+                    { ALT: () => CONSUME(l.symbols.opMinus) },
+                ]);
+                const expr = SUBRULE2(primaryExpression, undefined);
+                return ACTION(() => ({
+                    type: 'expression',
+                    subType: 'operation',
+                    operator: operator.image === '!' ? '!' : (operator.image === '+' ? 'UPLUS' : 'UMINUS'),
+                    args: [expr],
+                    loc: C.factory.sourceLocation(operator, expr),
+                }));
+            } },
+    ]),
+};
+/**
+ * [[119]](https://www.w3.org/TR/sparql11-query/#rPrimaryExpression)
+ */
+export const primaryExpression = {
+    name: 'primaryExpression',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(brackettedExpression, undefined) },
+        { ALT: () => SUBRULE(builtInCall, undefined) },
+        { ALT: () => SUBRULE(iriOrFunction, undefined) },
+        { ALT: () => SUBRULE(rdfLiteral, undefined) },
+        { ALT: () => SUBRULE(numericLiteral, undefined) },
+        { ALT: () => SUBRULE(booleanLiteral, undefined) },
+        { ALT: () => SUBRULE(var_, undefined) },
+    ]),
+};
+/**
+ * [[120]](https://www.w3.org/TR/sparql11-query/#rBrackettedExpression)
+ */
+export const brackettedExpression = {
+    name: 'brackettedExpression',
+    impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
+        const open = CONSUME(l.symbols.LParen);
+        const expr = SUBRULE(expression, undefined);
+        const close = CONSUME(l.symbols.RParen);
+        return ACTION(() => {
+            expr.loc = C.factory.sourceLocation(open, close);
+            return expr;
+        });
+    },
+};
+/**
+ * [[128]](https://www.w3.org/TR/sparql11-query/#ririOrFunction)
+ */
+export const iriOrFunction = {
+    name: 'iriOrFunction',
+    impl: ({ ACTION, SUBRULE, OPTION }) => (C) => {
+        const iriVal = SUBRULE(iri, undefined);
+        const functionCall = OPTION(() => {
+            const args = SUBRULE(argList, undefined);
+            return ACTION(() => {
+                const distinct = args.val.distinct;
+                if (!C.parseMode.has('canParseAggregate') && distinct) {
+                    throw new Error(`DISTINCT implies that this function is an aggregated function, which is not allowed in this context.`);
+                }
+                return {
+                    type: 'expression',
+                    subType: 'functionCall',
+                    function: iriVal,
+                    args: args.val.args,
+                    distinct,
+                    loc: C.factory.sourceLocation(iriVal, args),
+                };
+            });
+        });
+        return functionCall ?? iriVal;
+    },
+    gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {
+        if (F.isTermNamed(ast)) {
+            SUBRULE(iri, ast, undefined);
+        }
+        else {
+            SUBRULE(iri, ast.function, undefined);
+            SUBRULE(argList, F.wrap({ args: ast.args, distinct: ast.distinct }, ast.loc), undefined);
+        }
+    },
+};
+//# sourceMappingURL=expression.js.map

package/lib/grammar/expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression.js","sourceRoot":"","sources":["expression.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAY9B,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EACL,IAAI,EACJ,SAAS,GACV,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,EACd,GAAG,EACH,cAAc,EACd,sBAAsB,EACtB,sBAAsB,EACtB,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AASlD,MAAM,CAAC,MAAM,OAAO,GAAkD;IACpE,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CACzE,EAAE,CAAgC;QAChC,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACrC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClF,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,IAAI,GAAiB,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE;oBAC3B,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACpB,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC,IAAI,KAAK,CAAC;gBAEZ,gBAAgB,CAAC;oBACf,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;oBACpB,GAAG,EAAE,GAAG,EAAE;wBACR,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;wBAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACjB,CAAC;iBACF,CAAC,CAAC;gBACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAC/E,CAAC,EAAE;KACJ,CAAC;IACJ,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE;YACtB,UAAU,CAAC,GAAG,CAAC,CAAC;YAChB,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACrB,UAAU,CAAC,UAAU,CAAC,CAAC;YACzB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,MAAM,CAAE,IAAI,EAAE,GAAG,IAAI,CAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QACvC,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACvC,CAAC;QACD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAoE;IAC7F,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACnE,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACrC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzE,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBAC9C,MAAM,IAAI,GAAiB,CAAE,KAAK,CAAE,CAAC;gBACrC,IAAI,CAAC,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;oBAC7C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClB,CAAC,CAAC,CAAC;gBACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,EAAE;KACJ,CAAC;CACH,CAAC;AAEF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAE,CAAC,CAAC;AACnH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAE,CAAC,CAAC;AAE3D;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAiD;IACtE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,uBAAuB,EAAE,SAAS,CAAC;IACxE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAE,IAAI,EAAE,GAAG,KAAK,CAAE,GAAG,GAAG,CAAC,IAAI,CAAC;gBACpC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1C,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBACrC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE;oBACtB,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;wBAC7B,UAAU,CAAC,QAAQ,CAAC,CAAC;oBACvB,CAAC;yBAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;wBACjC,UAAU,CAAC,IAAI,CAAC,CAAC;oBACnB,CAAC;yBAAM,CAAC;wBACN,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAC3B,CAAC;gBACH,CAAC,CAAC,CAAC;gBACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvB,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC3C,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;gBACjF,CAAC;gBACD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;iBAAM,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5C,MAAM,CAAE,IAAI,CAAE,GAAiB,GAAG,CAAC,IAAI,CAAC;gBACxC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACnD,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YACvC,CAAC;iBAAM,CAAC;gBACN,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;gBACxD,MAAM,CAAE,IAAI,EAAE,GAAG,IAAI,CAAE,GAAG,GAAG,CAAC,IAAI,CAAC;gBACnC,IAAI,IAAI,EAAE,CAAC;oBACT,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBACvC,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC1C,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACtC,CAAC;gBACD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,4BAA4B,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC;YAC1B,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;YAC1F,OAAO,CAAC,iBAAiB,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClD,CAAC;aAAM,IAAI,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;CACF,CAAC;AAIF,SAAS,iBAAiB,CACxB,cAAgC,EAChC,aAAsC,EACtC,MAA0B,EAC1B,IAAsB;IAEtB,gEAAgE;IAChE,IAAI,QAAQ,GAAG,cAAc,EAAE,CAAC;IAChC,IAAI,CAAC,GAAG,EAAE;QACR,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,EAAE;YACV,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAC1B;IACN,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAC7E,GAAG,EAAE,CAAC,QAAQ,CAAC,wBAAwB,EAAE,SAAS,CAAC,EACnD,GAAG,EAAE;QACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,wBAAwB,EAAE,SAAS,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CACzB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAE,IAAI,EAAE,IAAI,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/F,CAAC,EACD,MAAM,EACN,IAAI,CACL;CACF,CAAC;AAEJ;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsE;IACzG,IAAI,EAAE,0BAA0B;IAChC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAC7E,GAAG,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,EACvC,GAAG,EAAE;QACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CACzB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAE,IAAI,EAAE,GAAG,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7F,CAAC,EACD,MAAM,EACN,IAAI,CACL;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAA0D;IACjF,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC;CACtE,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GACoD;IACnF,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9E,MAAM,KAAK,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAsB,GAAG,EAAE,CAClD,GAAG,CAAsB;YACvB,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,mBAAmB;oBACnB,MAAM,QAAQ,GAAG,GAAG,CAAC;wBACnB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;wBACvC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;wBAC1C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;wBAC1C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;wBAC7C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE;wBAC/C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE;qBACnD,CAAC,CAAC;oBACH,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;oBACpD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAC/C,QAAQ,CAAC,KAAK,EACd,CAAE,KAAK,EAAE,IAAI,CAAE,EACf,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CACtC,CAAC,CAAC;gBACL,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,QAAQ,GAAG,GAAG,CAAC;wBACnB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE;wBAC7B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;qBAChC,CAAC,CAAC;oBACH,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;oBACjD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAC/C,QAAQ,CAAC,KAAK,EACd,CAAE,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAE,EACtB,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CACtC,CAAC,CAAC;gBACL,CAAC,EAAE;SACJ,CAAC,CAAC,CAAC;QACN,OAAO,UAAU,IAAI,KAAK,CAAC;IAC7B,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA+D;IAC3F,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,kBAAkB,EAAE,SAAS,CAAC;CACpE,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgE;IAC7F,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAChG,iBAAiB,CACf,GAAG,EAAE,CAAC,QAAQ,CAAC,wBAAwB,EAAE,SAAS,CAAC,EACnD,GAAG,EAAE,CAAC,GAAG,CAA4C;QACnD,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,4CAA4C;gBAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC;oBACnB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBACxC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;iBAC1C,CAAC,CAAC;gBACH,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,EAAE,SAAS,CAAC,CAAC;gBAC1D,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CACzB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAE,IAAI,EAAE,GAAG,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACvG,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,uGAAuG;gBACvG,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,GAAG,CAAiD;oBACjF,EAAE,GAAG,EAAE,GAAG,EAAE;4BACV,gEAAgE;4BAChE,2DAA2D;4BAC3D,MAAM,OAAO,GAAG,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,CAAC;4BAC3D,OAAO,MAAM,CAAC,GAAG,EAAE;gCACjB,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gCAClD,OAAe;oCACb,QAAQ,EAAE,GAAG;oCACb,QAAQ,EAAE,OAAO;iCAClB,CAAC;4BACJ,CAAC,CAAC,CAAC;wBACL,CAAC,EAAE;oBACH,EAAE,GAAG,EAAE,GAAG,EAAE;4BACV,MAAM,OAAO,GAAG,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,CAAC;4BAC3D,OAAO,MAAM,CAAC,GAAG,EAAE;gCACjB,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gCACjD,OAAe;oCACb,QAAQ,EAAE,GAAG;oCACb,QAAQ,EAAE,OAAO;iCAClB,CAAC;4BACJ,CAAC,CAAC,CAAC;wBACL,CAAC,EAAE;iBACJ,CAAC,CAAC;gBACH,MAAM,kBAAkB,GAAG,iBAAiB,CAC1C,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAC5B,GAAG,EAAE;oBACH,MAAM,aAAa,GAAG,GAAG,CAAC;wBACxB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;wBACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;qBACxC,CAAC,CAAC;oBACH,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;oBACvD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAC5D,aAAa,CAAC,KAAK,EACnB,CAAE,SAAS,EAAE,SAAS,CAAE,EACxB,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAC/C,CAAC,CAAC;gBACL,CAAC,EACD,MAAM,EACN,KAAK,CACN,CAAC;gBACF,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAC1C,QAAQ,EACR,CAAE,IAAI,EAAE,kBAAkB,CAAE,EAC5B,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACnD,CAAC;YACJ,CAAC,EAAE;KACJ,CAAC,EACF,MAAM,EACN,KAAK,CACN;CACJ,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsE;IACzG,IAAI,EAAE,0BAA0B;IAChC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CACjF,GAAG,EAAE,CAAC,QAAQ,CAAC,eAAe,EAAE,SAAS,CAAC,EAC1C,GAAG,EAAE;QACH,MAAM,QAAQ,GAAG,EAAE,CAAC;YAClB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;SACxC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;QAClD,OAAO,CAAC,IAAgB,EAAE,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,WAAW;YACpB,QAAQ,EAAE,QAAQ,CAAC,KAAK;YACxB,IAAI,EAAE,CAAE,IAAI,EAAE,IAAI,CAAE;YACpB,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC;SAC1C,CAAC,CAAC;IACL,CAAC,EACD,MAAM,EACN,IAAI,CACL;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAA6D;IACvF,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAa;QAChF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,EAAE;QACrD,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,QAAQ,GAAG,GAAG,CAAC;oBACnB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;oBAC7C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBACxC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;iBAC1C,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;gBACpD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;oBACnB,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,WAAW;oBACpB,QAAQ,EAAE,QAAQ,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;oBACtF,IAAI,EAAE,CAAE,IAAI,CAAE;oBACd,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC;iBAC9C,CAAC,CAAC,CAAC;YACN,CAAC,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA+D;IAC3F,IAAI,EAAE,mBAAmB;IACzB,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,EAAE,SAAS,CAAC,EAAE;QACvD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE;QAC9C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,SAAS,CAAC,EAAE;QAChD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE;QAC7C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE;QACjD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE;QACjD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE;KACxC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAkE;IACjG,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACxC,OAAO,MAAM,CAAC,GAAG,EAAE;YACjB,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAA0E;IAClG,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACvC,MAAM,YAAY,GAAG,MAAM,CAAyB,GAAG,EAAE;YACvD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACzC,OAAO,MAAM,CAAC,GAAG,EAAE;gBACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACnC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,QAAQ,EAAE,CAAC;oBACtD,MAAM,IAAI,KAAK,CAAC,sGAAsG,CAAC,CAAC;gBAC1H,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,cAAc;oBACvB,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;oBACnB,QAAQ;oBACR,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC5C,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,YAAY,IAAI,MAAM,CAAC;IAChC,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9C,IAAI,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACtC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;CACF,CAAC","sourcesContent":["import type { ImplArgs, RuleDefReturn, Wrap } from '@traqula/core';\nimport * as l from '../lexer';\nimport type {\n  Expression,\n  ExpressionFunctionCall,\n  ExpressionOperation,\n  TermIri,\n  TermLiteral,\n} from '../RoundTripTypes';\nimport type {\n  SparqlGrammarRule,\n  SparqlRule,\n} from '../Sparql11types';\nimport { aggregate, builtInCall } from './builtIn';\nimport {\n  var_,\n  varOrTerm,\n} from './general';\nimport {\n  booleanLiteral,\n  iri,\n  numericLiteral,\n  numericLiteralNegative,\n  numericLiteralPositive,\n  rdfLiteral,\n} from './literals';\nimport { groupGraphPattern } from './whereClause';\n\n/**\n * [[71]](https://www.w3.org/TR/sparql11-query/#rArgList)\n */\nexport interface IArgList {\n  args: Expression[];\n  distinct: boolean;\n}\nexport const argList: SparqlRule<'argList', Wrap<IArgList>> = <const> {\n  name: 'argList',\n  impl: ({ ACTION, CONSUME, SUBRULE1, OPTION, OR, AT_LEAST_ONE_SEP }) => C =>\n    OR<RuleDefReturn<typeof argList>>([\n      { ALT: () => {\n        const nil = CONSUME(l.terminals.nil);\n        return ACTION(() =>\n          C.factory.wrap({ args: [], distinct: false }, C.factory.sourceLocation(nil)));\n      } },\n      { ALT: () => {\n        const args: Expression[] = [];\n        const open = CONSUME(l.symbols.LParen);\n        const distinct = OPTION(() => {\n          CONSUME(l.distinct);\n          return true;\n        }) ?? false;\n\n        AT_LEAST_ONE_SEP({\n          SEP: l.symbols.comma,\n          DEF: () => {\n            const arg = SUBRULE1(expression, undefined);\n            args.push(arg);\n          },\n        });\n        const close = CONSUME(l.symbols.RParen);\n        return ACTION(() =>\n          C.factory.wrap({ args, distinct }, C.factory.sourceLocation(open, close)));\n      } },\n    ]),\n  gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n    F.printFilter(ast, () => {\n      PRINT_WORD('(');\n      if (ast.val.distinct) {\n        PRINT_WORD('distinct');\n      }\n    });\n    const [ head, ...tail ] = ast.val.args;\n    if (head) {\n      SUBRULE(expression, head, undefined);\n    }\n    for (const expr of tail) {\n      F.printFilter(ast, () => PRINT_WORD(','));\n      SUBRULE(expression, expr, undefined);\n    }\n    F.printFilter(ast, () => PRINT_WORD(')'));\n  },\n};\n\n/**\n * [[72]](https://www.w3.org/TR/sparql11-query/#rConstructTemplate)\n */\nexport const expressionList: SparqlGrammarRule<'expressionList', Wrap<Expression[]>> = <const> {\n  name: 'expressionList',\n  impl: ({ ACTION, CONSUME, MANY, OR, SUBRULE1, SUBRULE2 }) => C => OR([\n    { ALT: () => {\n      const nil = CONSUME(l.terminals.nil);\n      return ACTION(() => C.factory.wrap([], C.factory.sourceLocation(nil)));\n    } },\n    { ALT: () => {\n      const open = CONSUME(l.symbols.LParen);\n      const expr1 = SUBRULE1(expression, undefined);\n      const args: Expression[] = [ expr1 ];\n      MANY(() => {\n        CONSUME(l.symbols.comma);\n        const expr = SUBRULE2(expression, undefined);\n        args.push(expr);\n      });\n      const close = CONSUME(l.symbols.RParen);\n      return ACTION(() => C.factory.wrap(args, C.factory.sourceLocation(open, close)));\n    } },\n  ]),\n};\n\nconst infixOperators = new Set([ 'in', 'notin', '||', '&&', '=', '!=', '<', '>', '<=', '>=', '+', '-', '*', '/' ]);\nconst prefixOperator = new Set([ '!', 'UPLUS', 'UMINUS' ]);\n\n/**\n * [[110]](https://www.w3.org/TR/sparql11-query/#rExpression)\n */\nexport const expression: SparqlRule<'expression', Expression> = <const> {\n  name: 'expression',\n  impl: ({ SUBRULE }) => () => SUBRULE(conditionalOrExpression, undefined),\n  gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n    if (F.isTerm(ast)) {\n      SUBRULE(varOrTerm, ast, undefined);\n    } else if (F.isExpressionOperator(ast)) {\n      if (infixOperators.has(ast.operator)) {\n        const [ left, ...right ] = ast.args;\n        F.printFilter(ast, () => PRINT_WORD('('));\n        SUBRULE(expression, left, undefined);\n        F.printFilter(ast, () => {\n          if (ast.operator === 'notin') {\n            PRINT_WORD('NOT IN');\n          } else if (ast.operator === 'in') {\n            PRINT_WORD('IN');\n          } else {\n            PRINT_WORD(ast.operator);\n          }\n        });\n        if (right.length === 1) {\n          SUBRULE(expression, right[0], undefined);\n        } else {\n          SUBRULE(argList, F.wrap({ args: right, distinct: false }, ast.loc), undefined);\n        }\n        F.printFilter(ast, () => PRINT_WORD(')'));\n      } else if (prefixOperator.has(ast.operator)) {\n        const [ expr ] = <[Expression]>ast.args;\n        F.printFilter(ast, () => PRINT_WORD(ast.operator));\n        SUBRULE(expression, expr, undefined);\n      } else {\n        F.printFilter(ast, () => PRINT_WORD(ast.operator, '('));\n        const [ head, ...tail ] = ast.args;\n        if (head) {\n          SUBRULE(expression, head, undefined);\n        }\n        for (const arg of tail) {\n          F.printFilter(ast, () => PRINT_WORD(','));\n          SUBRULE(expression, arg, undefined);\n        }\n        F.printFilter(ast, () => PRINT_WORD(')'));\n      }\n    } else if (F.isExpressionPatternOperation(ast)) {\n      const patterns = ast.args;\n      F.printFilter(ast, () => PRINT_WORD(ast.operator === 'exists' ? 'EXISTS' : 'NOT EXISTS'));\n      SUBRULE(groupGraphPattern, patterns, undefined);\n    } else if (F.isExpressionFunctionCall(ast)) {\n      SUBRULE(iriOrFunction, ast, undefined);\n    } else if (F.isExpressionAggregate(ast)) {\n      SUBRULE(aggregate, ast, undefined);\n    }\n  },\n};\n\ntype LeftDeepBuildArgs = (left: Expression) => ExpressionOperation;\n\nfunction constructLeftDeep(\n  startGenerator: () => Expression,\n  restGenerator: () => LeftDeepBuildArgs,\n  ACTION: ImplArgs['ACTION'],\n  MANY: ImplArgs['MANY'],\n): ExpressionOperation | Expression {\n  // By using iterExpression, we avoid creating unnecessary arrays\n  let iterExpr = startGenerator();\n  MANY(() => {\n    const res = restGenerator();\n    ACTION(() => {\n      iterExpr = res(iterExpr);\n    });\n  });\n  return iterExpr;\n}\n\n/**\n * [[111]](https://www.w3.org/TR/sparql11-query/#rConditionalOrExpression)\n */\nexport const conditionalOrExpression: SparqlGrammarRule<'conditionalOrExpression', ExpressionOperation | Expression> =\n  <const> {\n    name: 'conditionalOrExpression',\n    impl: ({ ACTION, MANY, CONSUME, SUBRULE1, SUBRULE2 }) => C => constructLeftDeep(\n      () => SUBRULE1(conditionalAndExpression, undefined),\n      () => {\n        CONSUME(l.symbols.logicOr);\n        const args = SUBRULE2(conditionalAndExpression, undefined);\n        return left => ACTION(() =>\n          C.factory.expressionOperation('||', [ left, args ], C.factory.sourceLocation(left, args)));\n      },\n      ACTION,\n      MANY,\n    ),\n  };\n\n/**\n * [[112]](https://www.w3.org/TR/sparql11-query/#rConditionalAndExpression)\n */\nexport const conditionalAndExpression: SparqlGrammarRule<'conditionalAndExpression', Expression> = <const> {\n  name: 'conditionalAndExpression',\n  impl: ({ ACTION, MANY, SUBRULE1, SUBRULE2, CONSUME }) => C => constructLeftDeep(\n    () => SUBRULE1(valueLogical, undefined),\n    () => {\n      CONSUME(l.symbols.logicAnd);\n      const arg = SUBRULE2(valueLogical, undefined);\n      return left => ACTION(() =>\n        C.factory.expressionOperation('&&', [ left, arg ], C.factory.sourceLocation(left, arg)));\n    },\n    ACTION,\n    MANY,\n  ),\n};\n\n/**\n * [[113]](https://www.w3.org/TR/sparql11-query/#rValueLogical)\n */\nexport const valueLogical: SparqlGrammarRule<'valueLogical', Expression> = <const> {\n  name: 'valueLogical',\n  impl: ({ SUBRULE }) => () => SUBRULE(relationalExpression, undefined),\n};\n\n/**\n * [[114]](https://www.w3.org/TR/sparql11-query/#rRelationalExpression)\n */\nexport const relationalExpression:\nSparqlGrammarRule<'relationalExpression', ExpressionOperation | Expression> = <const>{\n  name: 'relationalExpression',\n  impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR1, OR2, OR3 }) => (C) => {\n    const args1 = SUBRULE1(numericExpression, undefined);\n    const expression = OPTION<ExpressionOperation>(() =>\n      OR1<ExpressionOperation>([\n        { ALT: () => {\n          // Stay in numeric;\n          const operator = OR2([\n            { ALT: () => CONSUME(l.symbols.equal) },\n            { ALT: () => CONSUME(l.symbols.notEqual) },\n            { ALT: () => CONSUME(l.symbols.lessThan) },\n            { ALT: () => CONSUME(l.symbols.greaterThan) },\n            { ALT: () => CONSUME(l.symbols.lessThanEqual) },\n            { ALT: () => CONSUME(l.symbols.greaterThanEqual) },\n          ]);\n          const expr = SUBRULE2(numericExpression, undefined);\n          return ACTION(() => C.factory.expressionOperation(\n            operator.image,\n            [ args1, expr ],\n            C.factory.sourceLocation(args1, expr),\n          ));\n        } },\n        { ALT: () => {\n          const operator = OR3([\n            { ALT: () => CONSUME(l.in_) },\n            { ALT: () => CONSUME(l.notIn) },\n          ]);\n          const args = SUBRULE1(expressionList, undefined);\n          return ACTION(() => C.factory.expressionOperation(\n            operator.image,\n            [ args1, ...args.val ],\n            C.factory.sourceLocation(args1, args),\n          ));\n        } },\n      ]));\n    return expression ?? args1;\n  },\n};\n\n/**\n * [[115]](https://www.w3.org/TR/sparql11-query/#rNumericExpression)\n */\nexport const numericExpression: SparqlGrammarRule<'numericExpression', Expression> = <const> {\n  name: 'numericExpression',\n  impl: ({ SUBRULE }) => () => SUBRULE(additiveExpression, undefined),\n};\n\n/**\n * [[116]](https://www.w3.org/TR/sparql11-query/#rAdditiveExpression)\n */\nexport const additiveExpression: SparqlGrammarRule<'additiveExpression', Expression> = <const> {\n  name: 'additiveExpression',\n  impl: ({ ACTION, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, MANY1, MANY2, OR1, OR2, OR3, OR4 }) => C =>\n    constructLeftDeep(\n      () => SUBRULE1(multiplicativeExpression, undefined),\n      () => OR1<(left: Expression) => ExpressionOperation>([\n        { ALT: () => {\n          // Multiplicative expression as 2nd argument\n          const operator = OR2([\n            { ALT: () => CONSUME(l.symbols.opPlus) },\n            { ALT: () => CONSUME(l.symbols.opMinus) },\n          ]);\n          const arg = SUBRULE2(multiplicativeExpression, undefined);\n          return ACTION(() => left =>\n            C.factory.expressionOperation(operator.image, [ left, arg ], C.factory.sourceLocation(left, arg)));\n        } },\n        { ALT: () => {\n          // The operator of this alternative is actually parsed as part of the signed numeric literal. (note #6)\n          const { operator, startInt } = OR3<{ operator: '+' | '-'; startInt: TermLiteral }>([\n            { ALT: () => {\n              // Note #6. No spaces are allowed between the sign and a number.\n              // In this rule however, we do not want to care about this.\n              const integer = SUBRULE(numericLiteralPositive, undefined);\n              return ACTION(() => {\n                integer.value = integer.value.replace(/^\\+/u, '');\n                return <const> {\n                  operator: '+',\n                  startInt: integer,\n                };\n              });\n            } },\n            { ALT: () => {\n              const integer = SUBRULE(numericLiteralNegative, undefined);\n              return ACTION(() => {\n                integer.value = integer.value.replace(/^-/u, '');\n                return <const> {\n                  operator: '-',\n                  startInt: integer,\n                };\n              });\n            } },\n          ]);\n          const multiplicativeExpr = constructLeftDeep(\n            () => ACTION(() => startInt),\n            () => {\n              const innerOperator = OR4([\n                { ALT: () => CONSUME(l.symbols.star) },\n                { ALT: () => CONSUME(l.symbols.slash) },\n              ]);\n              const innerExpr = SUBRULE1(unaryExpression, undefined);\n              return ACTION(() => leftInner => C.factory.expressionOperation(\n                innerOperator.image,\n                [ leftInner, innerExpr ],\n                C.factory.sourceLocation(leftInner, innerExpr),\n              ));\n            },\n            ACTION,\n            MANY2,\n          );\n          return left => C.factory.expressionOperation(\n            operator,\n            [ left, multiplicativeExpr ],\n            C.factory.sourceLocation(left, multiplicativeExpr),\n          );\n        } },\n      ]),\n      ACTION,\n      MANY1,\n    ),\n};\n\n/**\n * [[117]](https://www.w3.org/TR/sparql11-query/#rMultiplicativeExpression)\n */\nexport const multiplicativeExpression: SparqlGrammarRule<'multiplicativeExpression', Expression> = <const> {\n  name: 'multiplicativeExpression',\n  impl: ({ ACTION, CONSUME, MANY, SUBRULE1, SUBRULE2, OR }) => C => constructLeftDeep(\n    () => SUBRULE1(unaryExpression, undefined),\n    () => {\n      const operator = OR([\n        { ALT: () => CONSUME(l.symbols.star) },\n        { ALT: () => CONSUME(l.symbols.slash) },\n      ]);\n      const expr = SUBRULE2(unaryExpression, undefined);\n      return (left: Expression) => ({\n        type: 'expression',\n        subType: 'operation',\n        operator: operator.image,\n        args: [ left, expr ],\n        loc: C.factory.sourceLocation(left, expr),\n      });\n    },\n    ACTION,\n    MANY,\n  ),\n};\n\n/**\n * [[118]](https://www.w3.org/TR/sparql11-query/#rUnaryExpression)\n */\nexport const unaryExpression: SparqlGrammarRule<'unaryExpression', Expression> = <const> {\n  name: 'unaryExpression',\n  impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => C => OR1<Expression>([\n    { ALT: () => SUBRULE1(primaryExpression, undefined) },\n    { ALT: () => {\n      const operator = OR2([\n        { ALT: () => CONSUME(l.symbols.exclamation) },\n        { ALT: () => CONSUME(l.symbols.opPlus) },\n        { ALT: () => CONSUME(l.symbols.opMinus) },\n      ]);\n      const expr = SUBRULE2(primaryExpression, undefined);\n      return ACTION(() => ({\n        type: 'expression',\n        subType: 'operation',\n        operator: operator.image === '!' ? '!' : (operator.image === '+' ? 'UPLUS' : 'UMINUS'),\n        args: [ expr ],\n        loc: C.factory.sourceLocation(operator, expr),\n      }));\n    } },\n  ]),\n};\n\n/**\n * [[119]](https://www.w3.org/TR/sparql11-query/#rPrimaryExpression)\n */\nexport const primaryExpression: SparqlGrammarRule<'primaryExpression', Expression> = <const> {\n  name: 'primaryExpression',\n  impl: ({ SUBRULE, OR }) => () => OR([\n    { ALT: () => SUBRULE(brackettedExpression, undefined) },\n    { ALT: () => SUBRULE(builtInCall, undefined) },\n    { ALT: () => SUBRULE(iriOrFunction, undefined) },\n    { ALT: () => SUBRULE(rdfLiteral, undefined) },\n    { ALT: () => SUBRULE(numericLiteral, undefined) },\n    { ALT: () => SUBRULE(booleanLiteral, undefined) },\n    { ALT: () => SUBRULE(var_, undefined) },\n  ]),\n};\n\n/**\n * [[120]](https://www.w3.org/TR/sparql11-query/#rBrackettedExpression)\n */\nexport const brackettedExpression: SparqlGrammarRule<'brackettedExpression', Expression> = <const> {\n  name: 'brackettedExpression',\n  impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n    const open = CONSUME(l.symbols.LParen);\n    const expr = SUBRULE(expression, undefined);\n    const close = CONSUME(l.symbols.RParen);\n    return ACTION(() => {\n      expr.loc = C.factory.sourceLocation(open, close);\n      return expr;\n    });\n  },\n};\n\n/**\n * [[128]](https://www.w3.org/TR/sparql11-query/#ririOrFunction)\n */\nexport const iriOrFunction: SparqlRule<'iriOrFunction', TermIri | ExpressionFunctionCall> = <const> {\n  name: 'iriOrFunction',\n  impl: ({ ACTION, SUBRULE, OPTION }) => (C) => {\n    const iriVal = SUBRULE(iri, undefined);\n    const functionCall = OPTION<ExpressionFunctionCall>(() => {\n      const args = SUBRULE(argList, undefined);\n      return ACTION(() => {\n        const distinct = args.val.distinct;\n        if (!C.parseMode.has('canParseAggregate') && distinct) {\n          throw new Error(`DISTINCT implies that this function is an aggregated function, which is not allowed in this context.`);\n        }\n        return {\n          type: 'expression',\n          subType: 'functionCall',\n          function: iriVal,\n          args: args.val.args,\n          distinct,\n          loc: C.factory.sourceLocation(iriVal, args),\n        };\n      });\n    });\n    return functionCall ?? iriVal;\n  },\n  gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {\n    if (F.isTermNamed(ast)) {\n      SUBRULE(iri, ast, undefined);\n    } else {\n      SUBRULE(iri, ast.function, undefined);\n      SUBRULE(argList, F.wrap({ args: ast.args, distinct: ast.distinct }, ast.loc), undefined);\n    }\n  },\n};\n"]}