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

package/lib/grammar/expression.js

@@ -0,0 +1,397 @@
+import * as l from '../lexer';
+import { builtInCall } from './builtIn';
+import { var_, } from './general';
+import { booleanLiteral, iri, numericLiteral, numericLiteralNegative, numericLiteralPositive, rdfLiteral, } from './literals';
+export const argList = {
+    name: 'argList',
+    impl: ({ CONSUME, SUBRULE1, OPTION, OR, MANY_SEP }) => () => OR([
+        {
+            ALT: () => {
+                CONSUME(l.terminals.nil);
+                return {
+                    type: 'functionCall',
+                    args: [],
+                    distinct: false,
+                };
+            },
+        },
+        {
+            ALT: () => {
+                const args = [];
+                CONSUME(l.symbols.LParen);
+                const distinct = OPTION(() => CONSUME(l.distinct)) && true;
+                MANY_SEP({
+                    DEF: () => args.push(SUBRULE1(expression)),
+                    SEP: l.symbols.comma,
+                });
+                CONSUME(l.symbols.RParen);
+                return {
+                    type: 'functionCall',
+                    args,
+                    distinct: Boolean(distinct),
+                };
+            },
+        },
+    ]),
+};
+export const expressionList = {
+    name: 'expressionList',
+    impl: ({ CONSUME, SUBRULE, MANY_SEP, OR }) => () => OR([
+        {
+            ALT: () => {
+                CONSUME(l.terminals.nil);
+                return [];
+            },
+        },
+        {
+            ALT: () => {
+                const args = [];
+                CONSUME(l.symbols.LParen);
+                MANY_SEP({
+                    SEP: l.symbols.comma,
+                    DEF: () => {
+                        args.push(SUBRULE(expression));
+                    },
+                });
+                CONSUME(l.symbols.RParen);
+                return args;
+            },
+        },
+    ]),
+};
+/**
+ * [[110]](https://www.w3.org/TR/sparql11-query/#rExpression)
+ */
+export const expression = {
+    name: 'expression',
+    impl: ({ SUBRULE }) => () => SUBRULE(conditionalOrExpression),
+};
+function constructLeftDeep(startGenerator, restGenerator, ACTION, MANY) {
+    // By using iterExpression, we avoid creating unnecessary arrays
+    let iterExpr = startGenerator();
+    MANY(() => {
+        const res = restGenerator();
+        ACTION(() => {
+            iterExpr = {
+                type: 'operation',
+                operator: res.operator,
+                args: [iterExpr, res.expr],
+            };
+        });
+    });
+    return iterExpr;
+}
+/**
+ * [[111]](https://www.w3.org/TR/sparql11-query/#rConditionalOrExpression)
+ */
+export const conditionalOrExpression = {
+    name: 'conditionalOrExpression',
+    impl: ({ ACTION, MANY, CONSUME, SUBRULE1, SUBRULE2 }) => () => constructLeftDeep(() => SUBRULE1(conditionalAndExpression), () => {
+        CONSUME(l.symbols.logicOr);
+        return {
+            expr: SUBRULE2(conditionalAndExpression),
+            operator: '||',
+        };
+    }, ACTION, MANY),
+};
+/**
+ * [[112]](https://www.w3.org/TR/sparql11-query/#rConditionalAndExpression)
+ */
+export const conditionalAndExpression = {
+    name: 'conditionalAndExpression',
+    impl: ({ ACTION, MANY, SUBRULE1, SUBRULE2, CONSUME }) => () => constructLeftDeep(() => SUBRULE1(valueLogical), () => {
+        CONSUME(l.symbols.logicAnd);
+        return {
+            expr: SUBRULE2(valueLogical),
+            operator: '&&',
+        };
+    }, ACTION, MANY),
+};
+/**
+ * [[113]](https://www.w3.org/TR/sparql11-query/#rValueLogical)
+ */
+export const valueLogical = {
+    name: 'valueLogical',
+    impl: ({ SUBRULE }) => () => SUBRULE(relationalExpression),
+};
+/**
+ * [[114]](https://www.w3.org/TR/sparql11-query/#rRelationalExpression)
+ */
+export const relationalExpression = {
+    name: 'relationalExpression',
+    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR, SUBRULE3, SUBRULE4, SUBRULE5, SUBRULE6, SUBRULE7 }) => () => {
+        const args1 = SUBRULE1(numericExpression);
+        const arg2 = OPTION(() => OR([
+            {
+                ALT: () => {
+                    CONSUME(l.symbols.equal);
+                    const expr = SUBRULE2(numericExpression);
+                    return { operator: '=', args: expr };
+                },
+            },
+            {
+                ALT: () => {
+                    CONSUME(l.symbols.notEqual);
+                    const expr = SUBRULE3(numericExpression);
+                    return { operator: '!=', args: expr };
+                },
+            },
+            {
+                ALT: () => {
+                    CONSUME(l.symbols.lessThan);
+                    const expr = SUBRULE4(numericExpression);
+                    return { operator: '<', args: expr };
+                },
+            },
+            {
+                ALT: () => {
+                    CONSUME(l.symbols.greaterThan);
+                    const expr = SUBRULE5(numericExpression);
+                    return { operator: '>', args: expr };
+                },
+            },
+            {
+                ALT: () => {
+                    CONSUME(l.symbols.lessThanEqual);
+                    const expr = SUBRULE6(numericExpression);
+                    return { operator: '<=', args: expr };
+                },
+            },
+            {
+                ALT: () => {
+                    CONSUME(l.symbols.greaterThanEqual);
+                    const expr = SUBRULE7(numericExpression);
+                    return { operator: '>=', args: expr };
+                },
+            },
+            {
+                ALT: () => {
+                    CONSUME(l.in_);
+                    const args = SUBRULE1(expressionList);
+                    return { operator: 'in', args };
+                },
+            },
+            {
+                ALT: () => {
+                    CONSUME(l.notIn);
+                    const args = SUBRULE2(expressionList);
+                    return { operator: 'notin', args };
+                },
+            },
+        ]));
+        if (!arg2) {
+            return args1;
+        }
+        return ACTION(() => ({
+            type: 'operation',
+            operator: arg2.operator,
+            args: [args1, arg2.args],
+        }));
+    },
+};
+/**
+ * [[115]](https://www.w3.org/TR/sparql11-query/#rNumericExpression)
+ */
+export const numericExpression = {
+    name: 'numericExpression',
+    impl: ({ SUBRULE }) => () => SUBRULE(additiveExpression),
+};
+/**
+ * [[116]](https://www.w3.org/TR/sparql11-query/#rAdditiveExpression)
+ */
+export const additiveExpression = {
+    name: 'additiveExpression',
+    impl: ({ ACTION, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, MANY1, MANY2, OR1, OR2, OR3 }) => () => constructLeftDeep(() => SUBRULE1(multiplicativeExpression), () => OR1([
+        {
+            ALT: () => {
+                CONSUME(l.symbols.opPlus);
+                return {
+                    operator: '+',
+                    expr: SUBRULE2(multiplicativeExpression),
+                };
+            },
+        },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.opMinus);
+                return {
+                    operator: '-',
+                    expr: SUBRULE3(multiplicativeExpression),
+                };
+            },
+        },
+        {
+            ALT: () => {
+                // The operator of this alternative is actually parsed as part of the signed numeric literal. (note #6)
+                const { operator, args } = OR2([
+                    {
+                        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);
+                            return ACTION(() => {
+                                integer.value = integer.value.replace(/^\+/u, '');
+                                return {
+                                    operator: '+',
+                                    args: [integer],
+                                };
+                            });
+                        },
+                    },
+                    {
+                        ALT: () => {
+                            const integer = SUBRULE(numericLiteralNegative);
+                            return ACTION(() => {
+                                integer.value = integer.value.replace(/^-/u, '');
+                                return {
+                                    operator: '-',
+                                    args: [integer],
+                                };
+                            });
+                        },
+                    },
+                ]);
+                const expr = constructLeftDeep(() => ACTION(() => args[0]), () => OR3([
+                    {
+                        ALT: () => {
+                            CONSUME(l.symbols.star);
+                            const expr = SUBRULE1(unaryExpression);
+                            return {
+                                operator: '*',
+                                expr,
+                            };
+                        },
+                    },
+                    {
+                        ALT: () => {
+                            CONSUME(l.symbols.slash);
+                            const expr = SUBRULE2(unaryExpression);
+                            return {
+                                operator: '/',
+                                expr,
+                            };
+                        },
+                    },
+                ]), ACTION, MANY2);
+                return {
+                    operator,
+                    expr,
+                };
+            },
+        },
+    ]), ACTION, MANY1),
+};
+/**
+ * [[117]](https://www.w3.org/TR/sparql11-query/#rMultiplicativeExpression)
+ */
+export const multiplicativeExpression = {
+    name: 'multiplicativeExpression',
+    impl: ({ ACTION, CONSUME, MANY, SUBRULE1, SUBRULE2, SUBRULE3, OR }) => () => constructLeftDeep(() => SUBRULE1(unaryExpression), () => OR([
+        {
+            ALT: () => {
+                CONSUME(l.symbols.star);
+                const expr = SUBRULE2(unaryExpression);
+                return {
+                    operator: '*',
+                    expr,
+                };
+            },
+        },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.slash);
+                const expr = SUBRULE3(unaryExpression);
+                return {
+                    operator: '/',
+                    expr,
+                };
+            },
+        },
+    ]), ACTION, MANY),
+};
+/**
+ * [[118]](https://www.w3.org/TR/sparql11-query/#rUnaryExpression)
+ */
+export const unaryExpression = {
+    name: 'unaryExpression',
+    impl: ({ CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, SUBRULE4, OR }) => () => OR([
+        {
+            ALT: () => {
+                CONSUME(l.symbols.exclamation);
+                const expr = SUBRULE1(primaryExpression);
+                return {
+                    type: 'operation',
+                    operator: '!',
+                    args: [expr],
+                };
+            },
+        },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.opPlus);
+                const expr = SUBRULE2(primaryExpression);
+                return {
+                    type: 'operation',
+                    operator: 'UPLUS',
+                    args: [expr],
+                };
+            },
+        },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.opMinus);
+                const expr = SUBRULE3(primaryExpression);
+                return {
+                    type: 'operation',
+                    operator: 'UMINUS',
+                    args: [expr],
+                };
+            },
+        },
+        { ALT: () => SUBRULE4(primaryExpression) },
+    ]),
+};
+/**
+ * [[119]](https://www.w3.org/TR/sparql11-query/#rPrimaryExpression)
+ */
+export const primaryExpression = {
+    name: 'primaryExpression',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(brackettedExpression) },
+        { ALT: () => SUBRULE(builtInCall) },
+        { ALT: () => SUBRULE(iriOrFunction) },
+        { ALT: () => SUBRULE(rdfLiteral) },
+        { ALT: () => SUBRULE(numericLiteral) },
+        { ALT: () => SUBRULE(booleanLiteral) },
+        { ALT: () => SUBRULE(var_) },
+    ]),
+};
+/**
+ * [[120]](https://www.w3.org/TR/sparql11-query/#rBrackettedExpression)
+ */
+export const brackettedExpression = {
+    name: 'brackettedExpression',
+    impl: ({ SUBRULE, CONSUME }) => () => {
+        CONSUME(l.symbols.LParen);
+        const expr = SUBRULE(expression);
+        CONSUME(l.symbols.RParen);
+        return expr;
+    },
+};
+/**
+ * [[128]](https://www.w3.org/TR/sparql11-query/#ririOrFunction)
+ */
+export const iriOrFunction = {
+    name: 'iriOrFunction',
+    impl: ({ SUBRULE, OPTION }) => () => {
+        const iriVal = SUBRULE(iri);
+        const args = OPTION(() => SUBRULE(argList));
+        return args ?
+            {
+                ...args,
+                function: iriVal,
+            } :
+            iriVal;
+    },
+};
+//# sourceMappingURL=expression.js.map

package/lib/grammar/expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression.js","sourceRoot":"","sources":["expression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAE9B,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EACL,IAAI,GACL,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,EACd,GAAG,EACH,cAAc,EACd,sBAAsB,EACtB,sBAAsB,EACtB,UAAU,GACX,MAAM,YAAY,CAAC;AAuBpB,MAAM,CAAC,MAAM,OAAO,GAAyC;IAC3D,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAW;QACxE;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACzB,OAAO;oBACL,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,EAAE;oBACR,QAAQ,EAAE,KAAK;iBAChB,CAAC;YACJ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAiB,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC;gBAE3D,QAAQ,CAAC;oBACP,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;oBAC1C,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;iBACrB,CAAC,CAAC;gBACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAE1B,OAAO;oBACL,IAAI,EAAE,cAAc;oBACpB,IAAI;oBACJ,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC;iBAC5B,CAAC;YACJ,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAoD;IAC7E,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QACrD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACzB,OAAO,EAAE,CAAC;YACZ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAiB,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,QAAQ,CAAC;oBACP,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;oBACpB,GAAG,EAAE,GAAG,EAAE;wBACR,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;oBACjC,CAAC;iBACF,CAAC,CAAC;gBACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,OAAO,IAAI,CAAC;YACd,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAA8C;IACnE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC;CAC9D,CAAC;AAOF,SAAS,iBAAiB,CACxB,cAAgC,EAChC,aAAyC,EACzC,MAA0B,EAC1B,IAAsB;IAExB,gEAAgE;IAC9D,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;gBACT,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,IAAI,EAAE,CAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAE;aAC7B,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA2D;IAC7F,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAC5D,iBAAiB,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EAAE,GAAG,EAAE;QAC/D,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3B,OAAO;YACL,IAAI,EAAE,QAAQ,CAAC,wBAAwB,CAAC;YACxC,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC;CAEnB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAA4D;IAC/F,IAAI,EAAE,0BAA0B;IAChC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAC9E,GAAG,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,EAC5B,GAAG,EAAE;QACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC;YAC5B,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC,EACD,MAAM,EACN,IAAI,CACL;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgD;IACvE,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC;CAC3D,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAwD;IACvF,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAC9G,GAAG,EAAE;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAqD;YAC/E;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;oBACzC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBACvC,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;oBAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;oBACzC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBACxC,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;oBAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;oBACzC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBACvC,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;oBAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;oBACzC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBACvC,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;oBACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;oBACzC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBACxC,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;oBACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;oBACzC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBACxC,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBACf,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC;oBACtC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAClC,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC;oBACtC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBACrC,CAAC;aACF;SACF,CAAC,CAAC,CAAC;QACJ,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,IAAI,EAAE,CAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAE;SAC3B,CAAC,CAAC,CAAC;IACN,CAAC;CACJ,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAqD;IACjF,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC;CACzD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAsD;IACnF,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CACtG,iBAAiB,CACf,GAAG,EAAE,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EACxC,GAAG,EAAE,CAAC,GAAG,CAAC;QACR;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,OAAO;oBACL,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,QAAQ,CAAC,wBAAwB,CAAC;iBACzC,CAAC;YACJ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBAC3B,OAAO;oBACL,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,QAAQ,CAAC,wBAAwB,CAAC;iBACzC,CAAC;YACJ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,uGAAuG;gBACvG,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;oBAC7B;wBACE,GAAG,EAAE,GAAG,EAAE;4BACR,gEAAgE;4BAChE,2DAA2D;4BAC3D,MAAM,OAAO,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;4BAChD,OAAO,MAAM,CAAC,GAAG,EAAE;gCACjB,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gCAClD,OAAO;oCACL,QAAQ,EAAE,GAAG;oCACb,IAAI,EAAE,CAAE,OAAO,CAAE;iCAClB,CAAC;4BACJ,CAAC,CAAC,CAAC;wBACL,CAAC;qBACF;oBACD;wBACE,GAAG,EAAE,GAAG,EAAE;4BACR,MAAM,OAAO,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;4BAChD,OAAO,MAAM,CAAC,GAAG,EAAE;gCACjB,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gCACjD,OAAO;oCACL,QAAQ,EAAE,GAAG;oCACb,IAAI,EAAE,CAAE,OAAO,CAAE;iCAClB,CAAC;4BACJ,CAAC,CAAC,CAAC;wBACL,CAAC;qBACF;iBACF,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,iBAAiB,CAC5B,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAC3B,GAAG,EAAE,CAAC,GAAG,CAAyC;oBAChD;wBACE,GAAG,EAAE,GAAG,EAAE;4BACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;4BACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;4BACvC,OAAO;gCACL,QAAQ,EAAE,GAAG;gCACb,IAAI;6BACL,CAAC;wBACJ,CAAC;qBACF;oBACD;wBACE,GAAG,EAAE,GAAG,EAAE;4BACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;4BACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;4BACvC,OAAO;gCACL,QAAQ,EAAE,GAAG;gCACb,IAAI;6BACL,CAAC;wBACJ,CAAC;qBACF;iBACF,CAAC,EACF,MAAM,EACN,KAAK,CACN,CAAC;gBACF,OAAO;oBACL,QAAQ;oBACR,IAAI;iBACL,CAAC;YACJ,CAAC;SACF;KACF,CAAC,EACF,MAAM,EACN,KAAK,CACN;CACJ,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAA4D;IAC/F,IAAI,EAAE,0BAA0B;IAChC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAC5F,GAAG,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC,EAC/B,GAAG,EAAE,CAAC,EAAE,CAAoB;QAC1B;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;gBACvC,OAAO;oBACL,QAAQ,EAAE,GAAG;oBACb,IAAI;iBACL,CAAC;YACJ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;gBACvC,OAAO;oBACL,QAAQ,EAAE,GAAG;oBACb,IAAI;iBACL,CAAC;YACJ,CAAC;SACF;KACF,CAAC,EACF,MAAM,EACN,IAAI,CACL;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAmD;IAC7E,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAa;QACtF;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;gBAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;gBACzC,OAAO;oBACL,IAAI,EAAE,WAAW;oBACjB,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,CAAE,IAAI,CAAE;iBACf,CAAC;YACJ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;gBACzC,OAAO;oBACL,IAAI,EAAE,WAAW;oBACjB,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,CAAE,IAAI,CAAE;iBACf,CAAC;YACJ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;gBACzC,OAAO;oBACL,IAAI,EAAE,WAAW;oBACjB,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,CAAE,IAAI,CAAE;iBACf,CAAC;YACJ,CAAC;SACF;QACD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE;KAC3C,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAqD;IACjF,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,CAAC,EAAE;QAC5C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;QACnC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE;QACrC,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,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;KAC7B,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAwD;IACvF,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACnC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAE1B,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAmF;IAC3G,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC,CAAC;YACT;gBACE,GAAG,IAAI;gBACP,QAAQ,EAAE,MAAM;aACjB,CAAC,CAAC;YACL,MAAM,CAAC;IACX,CAAC;CACF,CAAC","sourcesContent":["import * as l from '../lexer';\nimport type { RuleDef, ImplArgs } from '@traqula/core';\nimport { builtInCall } from './builtIn';\nimport {\n  var_,\n} from './general';\nimport {\n  booleanLiteral,\n  iri,\n  numericLiteral,\n  numericLiteralNegative,\n  numericLiteralPositive,\n  rdfLiteral,\n} from './literals';\nimport type { Expression, IriTerm } from '../Sparql11types';\n\nexport type Operation = '||' | '&&' | RelationalOperator | AdditiveOperator | aggregatorOperator | buildInOperator;\nexport type RelationalOperator = '=' | '!=' | '<' | '>' | '<=' | '>=' | 'in' | 'notin';\nexport type AdditiveOperator = '+' | '-' | '*' | '/';\nexport type unaryOperator = '!' | '+' | '-';\nexport type buildInOperator = 'STR' | 'LANG' | 'LANGMATCHES' | 'DATATYPE' | 'BOUND' | 'IRI' | 'URI' | 'BNODE' |\n  'RAND' | 'ABS' | 'CEIL' | 'FLOOR' | 'ROUND' | 'CONCAT' | 'STRLEN' | 'UCASE' | 'LCASE' | 'ENCODE_FOR_URI' |\n  'CONTAINS' | 'STRSTARTS' | 'STRENDS' | 'STRBEFORE' | 'STRAFTER' | 'YEAR' | 'MONTH' | 'DAY' | 'HOURS' | 'MINUTES' |\n  'SECONDS' | 'TIMEZONE' | 'TZ' | 'NOW' | 'UUID' | 'STRUUID' | 'MD5' | 'SHA1' | 'SHA256' | 'SHA384' | 'SHA512' |\n  'COALESCE' | 'IF' | 'STRLANG' | 'STRDT' | 'sameTerm' | 'isIRI' | 'isURI' | 'isBLANK' | 'isLITERAL' | 'isNUMERIC' |\n  'REGEX' | 'SUBSTR' | 'REPLACE' | 'EXISTS' | 'NOT EXISTS';\nexport type aggregatorOperator = 'COUNT' | 'SUM' | 'MIN' | 'MAX' | 'AVG' | 'SAMPLE' | 'GROUP_CONCAT';\n\n/**\n * [[71]](https://www.w3.org/TR/sparql11-query/#rArgList)\n */\nexport interface IArgList {\n  type: 'functionCall';\n  args: Expression[];\n  distinct: boolean;\n}\nexport const argList: RuleDef<'argList', IArgList> = <const> {\n  name: 'argList',\n  impl: ({ CONSUME, SUBRULE1, OPTION, OR, MANY_SEP }) => () => OR<IArgList>([\n    {\n      ALT: () => {\n        CONSUME(l.terminals.nil);\n        return {\n          type: 'functionCall',\n          args: [],\n          distinct: false,\n        };\n      },\n    },\n    {\n      ALT: () => {\n        const args: Expression[] = [];\n        CONSUME(l.symbols.LParen);\n        const distinct = OPTION(() => CONSUME(l.distinct)) && true;\n\n        MANY_SEP({\n          DEF: () => args.push(SUBRULE1(expression)),\n          SEP: l.symbols.comma,\n        });\n        CONSUME(l.symbols.RParen);\n\n        return {\n          type: 'functionCall',\n          args,\n          distinct: Boolean(distinct),\n        };\n      },\n    },\n  ]),\n};\n\nexport const expressionList: RuleDef<'expressionList', Expression[]> = <const> {\n  name: 'expressionList',\n  impl: ({ CONSUME, SUBRULE, MANY_SEP, OR }) => () => OR([\n    {\n      ALT: () => {\n        CONSUME(l.terminals.nil);\n        return [];\n      },\n    },\n    {\n      ALT: () => {\n        const args: Expression[] = [];\n        CONSUME(l.symbols.LParen);\n        MANY_SEP({\n          SEP: l.symbols.comma,\n          DEF: () => {\n            args.push(SUBRULE(expression));\n          },\n        });\n        CONSUME(l.symbols.RParen);\n        return args;\n      },\n    },\n  ]),\n};\n\n/**\n * [[110]](https://www.w3.org/TR/sparql11-query/#rExpression)\n */\nexport const expression: RuleDef<'expression', Expression> = <const> {\n  name: 'expression',\n  impl: ({ SUBRULE }) => () => SUBRULE(conditionalOrExpression),\n};\n\ninterface LeftDeepBuildArgs<T extends string = string> {\n  expr: Expression;\n  operator: T;\n}\n\nfunction constructLeftDeep<T extends string = string>(\n  startGenerator: () => Expression,\n  restGenerator: () => LeftDeepBuildArgs<T>,\n  ACTION: ImplArgs['ACTION'],\n  MANY: ImplArgs['MANY'],\n): Expression {\n// By using iterExpression, we avoid creating unnecessary arrays\n  let iterExpr = startGenerator();\n  MANY(() => {\n    const res = restGenerator();\n    ACTION(() => {\n      iterExpr = {\n        type: 'operation',\n        operator: res.operator,\n        args: [ iterExpr, res.expr ],\n      };\n    });\n  });\n  return iterExpr;\n}\n\n/**\n * [[111]](https://www.w3.org/TR/sparql11-query/#rConditionalOrExpression)\n */\nexport const conditionalOrExpression: RuleDef<'conditionalOrExpression', Expression> = <const> {\n  name: 'conditionalOrExpression',\n  impl: ({ ACTION, MANY, CONSUME, SUBRULE1, SUBRULE2 }) => () =>\n    constructLeftDeep(() => SUBRULE1(conditionalAndExpression), () => {\n      CONSUME(l.symbols.logicOr);\n      return {\n        expr: SUBRULE2(conditionalAndExpression),\n        operator: '||',\n      };\n    }, ACTION, MANY)\n  ,\n};\n\n/**\n * [[112]](https://www.w3.org/TR/sparql11-query/#rConditionalAndExpression)\n */\nexport const conditionalAndExpression: RuleDef<'conditionalAndExpression', Expression> = <const> {\n  name: 'conditionalAndExpression',\n  impl: ({ ACTION, MANY, SUBRULE1, SUBRULE2, CONSUME }) => () => constructLeftDeep(\n    () => SUBRULE1(valueLogical),\n    () => {\n      CONSUME(l.symbols.logicAnd);\n      return {\n        expr: SUBRULE2(valueLogical),\n        operator: '&&',\n      };\n    },\n    ACTION,\n    MANY,\n  ),\n};\n\n/**\n * [[113]](https://www.w3.org/TR/sparql11-query/#rValueLogical)\n */\nexport const valueLogical: RuleDef<'valueLogical', Expression> = <const> {\n  name: 'valueLogical',\n  impl: ({ SUBRULE }) => () => SUBRULE(relationalExpression),\n};\n\n/**\n * [[114]](https://www.w3.org/TR/sparql11-query/#rRelationalExpression)\n */\nexport const relationalExpression: RuleDef<'relationalExpression', Expression> = <const> {\n  name: 'relationalExpression',\n  impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR, SUBRULE3, SUBRULE4, SUBRULE5, SUBRULE6, SUBRULE7 }) =>\n    () => {\n      const args1 = SUBRULE1(numericExpression);\n      const arg2 = OPTION(() => OR<{ operator: RelationalOperator; args: Expression }>([\n        {\n          ALT: () => {\n            CONSUME(l.symbols.equal);\n            const expr = SUBRULE2(numericExpression);\n            return { operator: '=', args: expr };\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.symbols.notEqual);\n            const expr = SUBRULE3(numericExpression);\n            return { operator: '!=', args: expr };\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.symbols.lessThan);\n            const expr = SUBRULE4(numericExpression);\n            return { operator: '<', args: expr };\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.symbols.greaterThan);\n            const expr = SUBRULE5(numericExpression);\n            return { operator: '>', args: expr };\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.symbols.lessThanEqual);\n            const expr = SUBRULE6(numericExpression);\n            return { operator: '<=', args: expr };\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.symbols.greaterThanEqual);\n            const expr = SUBRULE7(numericExpression);\n            return { operator: '>=', args: expr };\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.in_);\n            const args = SUBRULE1(expressionList);\n            return { operator: 'in', args };\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.notIn);\n            const args = SUBRULE2(expressionList);\n            return { operator: 'notin', args };\n          },\n        },\n      ]));\n      if (!arg2) {\n        return args1;\n      }\n      return ACTION(() => ({\n        type: 'operation',\n        operator: arg2.operator,\n        args: [ args1, arg2.args ],\n      }));\n    },\n};\n\n/**\n * [[115]](https://www.w3.org/TR/sparql11-query/#rNumericExpression)\n */\nexport const numericExpression: RuleDef<'numericExpression', Expression> = <const> {\n  name: 'numericExpression',\n  impl: ({ SUBRULE }) => () => SUBRULE(additiveExpression),\n};\n\n/**\n * [[116]](https://www.w3.org/TR/sparql11-query/#rAdditiveExpression)\n */\nexport const additiveExpression: RuleDef<'additiveExpression', Expression> = <const> {\n  name: 'additiveExpression',\n  impl: ({ ACTION, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, MANY1, MANY2, OR1, OR2, OR3 }) => () =>\n    constructLeftDeep(\n      () => SUBRULE1(multiplicativeExpression),\n      () => OR1([\n        {\n          ALT: () => {\n            CONSUME(l.symbols.opPlus);\n            return {\n              operator: '+',\n              expr: SUBRULE2(multiplicativeExpression),\n            };\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.symbols.opMinus);\n            return {\n              operator: '-',\n              expr: SUBRULE3(multiplicativeExpression),\n            };\n          },\n        },\n        {\n          ALT: () => {\n            // The operator of this alternative is actually parsed as part of the signed numeric literal. (note #6)\n            const { operator, args } = OR2([\n              {\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);\n                  return ACTION(() => {\n                    integer.value = integer.value.replace(/^\\+/u, '');\n                    return {\n                      operator: '+',\n                      args: [ integer ],\n                    };\n                  });\n                },\n              },\n              {\n                ALT: () => {\n                  const integer = SUBRULE(numericLiteralNegative);\n                  return ACTION(() => {\n                    integer.value = integer.value.replace(/^-/u, '');\n                    return {\n                      operator: '-',\n                      args: [ integer ],\n                    };\n                  });\n                },\n              },\n            ]);\n            const expr = constructLeftDeep(\n              () => ACTION(() => args[0]),\n              () => OR3<{ expr: Expression; operator: string }>([\n                {\n                  ALT: () => {\n                    CONSUME(l.symbols.star);\n                    const expr = SUBRULE1(unaryExpression);\n                    return {\n                      operator: '*',\n                      expr,\n                    };\n                  },\n                },\n                {\n                  ALT: () => {\n                    CONSUME(l.symbols.slash);\n                    const expr = SUBRULE2(unaryExpression);\n                    return {\n                      operator: '/',\n                      expr,\n                    };\n                  },\n                },\n              ]),\n              ACTION,\n              MANY2,\n            );\n            return {\n              operator,\n              expr,\n            };\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: RuleDef<'multiplicativeExpression', Expression> = <const> {\n  name: 'multiplicativeExpression',\n  impl: ({ ACTION, CONSUME, MANY, SUBRULE1, SUBRULE2, SUBRULE3, OR }) => () => constructLeftDeep(\n    () => SUBRULE1(unaryExpression),\n    () => OR<LeftDeepBuildArgs>([\n      {\n        ALT: () => {\n          CONSUME(l.symbols.star);\n          const expr = SUBRULE2(unaryExpression);\n          return {\n            operator: '*',\n            expr,\n          };\n        },\n      },\n      {\n        ALT: () => {\n          CONSUME(l.symbols.slash);\n          const expr = SUBRULE3(unaryExpression);\n          return {\n            operator: '/',\n            expr,\n          };\n        },\n      },\n    ]),\n    ACTION,\n    MANY,\n  ),\n};\n\n/**\n * [[118]](https://www.w3.org/TR/sparql11-query/#rUnaryExpression)\n */\nexport const unaryExpression: RuleDef<'unaryExpression', Expression> = <const> {\n  name: 'unaryExpression',\n  impl: ({ CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, SUBRULE4, OR }) => () => OR<Expression>([\n    {\n      ALT: () => {\n        CONSUME(l.symbols.exclamation);\n        const expr = SUBRULE1(primaryExpression);\n        return {\n          type: 'operation',\n          operator: '!',\n          args: [ expr ],\n        };\n      },\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.opPlus);\n        const expr = SUBRULE2(primaryExpression);\n        return {\n          type: 'operation',\n          operator: 'UPLUS',\n          args: [ expr ],\n        };\n      },\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.opMinus);\n        const expr = SUBRULE3(primaryExpression);\n        return {\n          type: 'operation',\n          operator: 'UMINUS',\n          args: [ expr ],\n        };\n      },\n    },\n    { ALT: () => SUBRULE4(primaryExpression) },\n  ]),\n};\n\n/**\n * [[119]](https://www.w3.org/TR/sparql11-query/#rPrimaryExpression)\n */\nexport const primaryExpression: RuleDef<'primaryExpression', Expression> = <const> {\n  name: 'primaryExpression',\n  impl: ({ SUBRULE, OR }) => () => OR([\n    { ALT: () => SUBRULE(brackettedExpression) },\n    { ALT: () => SUBRULE(builtInCall) },\n    { ALT: () => SUBRULE(iriOrFunction) },\n    { ALT: () => SUBRULE(rdfLiteral) },\n    { ALT: () => SUBRULE(numericLiteral) },\n    { ALT: () => SUBRULE(booleanLiteral) },\n    { ALT: () => SUBRULE(var_) },\n  ]),\n};\n\n/**\n * [[120]](https://www.w3.org/TR/sparql11-query/#rBrackettedExpression)\n */\nexport const brackettedExpression: RuleDef<'brackettedExpression', Expression> = <const> {\n  name: 'brackettedExpression',\n  impl: ({ SUBRULE, CONSUME }) => () => {\n    CONSUME(l.symbols.LParen);\n    const expr = SUBRULE(expression);\n    CONSUME(l.symbols.RParen);\n\n    return expr;\n  },\n};\n\n/**\n * [[128]](https://www.w3.org/TR/sparql11-query/#ririOrFunction)\n */\nexport const iriOrFunction: RuleDef<'iriOrFunction', IriTerm | (IArgList & { function: IriTerm })> = <const> {\n  name: 'iriOrFunction',\n  impl: ({ SUBRULE, OPTION }) => () => {\n    const iriVal = SUBRULE(iri);\n    const args = OPTION(() => SUBRULE(argList));\n    return args ?\n        {\n          ...args,\n          function: iriVal,\n        } :\n      iriVal;\n  },\n};\n"]}

package/lib/grammar/general.d.ts

@@ -0,0 +1,42 @@
+import type { RuleDef } from '@traqula/core';
+import type { GraphTerm, Term, Triple, VerbA, IriTerm, VariableTerm, BaseQuery } from '../Sparql11types';
+/**
+ * [[4]](https://www.w3.org/TR/sparql11-query/#rPrologue)
+ */
+export declare const prologue: RuleDef<'prologue', Pick<BaseQuery, 'base' | 'prefixes'>>;
+/**
+ * Registers base IRI in the context and returns it.
+ * [[5]](https://www.w3.org/TR/sparql11-query/#rBaseDecl)
+ */
+export declare const baseDecl: RuleDef<'baseDecl', string>;
+/**
+ * Registers prefix in the context and returns registered key-value-pair.
+ * [[6]](https://www.w3.org/TR/sparql11-query/#rPrefixDecl)
+ */
+export declare const prefixDecl: RuleDef<'prefixDecl', [string, string]>;
+/**
+ * [[52]](https://www.w3.org/TR/sparql11-query/#rTriplesTemplate)
+ */
+export declare const triplesTemplate: RuleDef<'triplesTemplate', Triple[]>;
+/**
+ * [[78]](https://www.w3.org/TR/sparql11-query/#rVerb)
+ */
+export declare const verb: RuleDef<'verb', VariableTerm | IriTerm>;
+export declare const verbA: RuleDef<'VerbA', VerbA>;
+/**
+ * [[106]](https://www.w3.org/TR/sparql11-query/#rVarOrTerm)
+ */
+export declare const varOrTerm: RuleDef<'varOrTerm', Term>;
+/**
+ * [[107]](https://www.w3.org/TR/sparql11-query/#rVarOrIri)
+ */
+export declare const varOrIri: RuleDef<'varOrIri', IriTerm | VariableTerm>;
+export declare const canParseVars: unique symbol;
+/**
+ * [[108]](https://www.w3.org/TR/sparql11-query/#rVar)
+ */
+export declare const var_: RuleDef<'var', VariableTerm>;
+/**
+ * [[109]](https://www.w3.org/TR/sparql11-query/#rGraphTerm)
+ */
+export declare const graphTerm: RuleDef<'graphTerm', GraphTerm>;

package/lib/grammar/general.js

@@ -0,0 +1,161 @@
+import * as l from '../lexer';
+import { CommonIRIs, resolveIRI } from '@traqula/core';
+import { blankNode, booleanLiteral, canCreateBlankNodes, iri, numericLiteral, rdfLiteral } from './literals';
+import { triplesSameSubject } from './tripleBlock';
+/**
+ * [[4]](https://www.w3.org/TR/sparql11-query/#rPrologue)
+ */
+export const prologue = {
+    name: 'prologue',
+    impl: ({ ACTION, SUBRULE, MANY, OR }) => () => {
+        const result = {
+            prefixes: {},
+        };
+        MANY(() => {
+            OR([
+                {
+                    ALT: () => {
+                        result.base = SUBRULE(baseDecl);
+                    },
+                },
+                {
+                    ALT: () => {
+                        const pref = SUBRULE(prefixDecl);
+                        ACTION(() => {
+                            const [name, value] = pref;
+                            result.prefixes[name] = value;
+                        });
+                    },
+                },
+            ]);
+        });
+        return result;
+    },
+};
+/**
+ * Registers base IRI in the context and returns it.
+ * [[5]](https://www.w3.org/TR/sparql11-query/#rBaseDecl)
+ */
+export const baseDecl = {
+    name: 'baseDecl',
+    impl: ({ CONSUME, ACTION, context }) => () => {
+        CONSUME(l.baseDecl);
+        const base = CONSUME(l.terminals.iriRef).image.slice(1, -1);
+        return ACTION(() => {
+            context.baseIRI = base;
+            return base;
+        });
+    },
+};
+/**
+ * Registers prefix in the context and returns registered key-value-pair.
+ * [[6]](https://www.w3.org/TR/sparql11-query/#rPrefixDecl)
+ */
+export const prefixDecl = {
+    name: 'prefixDecl',
+    impl: ({ CONSUME, ACTION, context }) => () => {
+        CONSUME(l.prefixDecl);
+        const name = CONSUME(l.terminals.pNameNs).image.slice(0, -1);
+        const value = CONSUME(l.terminals.iriRef).image.slice(1, -1);
+        return ACTION(() => {
+            const fullIri = resolveIRI(value, context.baseIRI);
+            context.prefixes[name] = fullIri;
+            return [name, fullIri];
+        });
+    },
+};
+/**
+ * [[52]](https://www.w3.org/TR/sparql11-query/#rTriplesTemplate)
+ */
+export const triplesTemplate = {
+    name: 'triplesTemplate',
+    impl: ({ SUBRULE, CONSUME, OPTION1, OPTION2 }) => () => {
+        const triples = [];
+        triples.push(SUBRULE(triplesSameSubject));
+        OPTION1(() => {
+            CONSUME(l.symbols.dot);
+            OPTION2(() => {
+                triples.push(SUBRULE(triplesTemplate));
+            });
+        });
+        return triples.flat(1);
+    },
+};
+/**
+ * [[78]](https://www.w3.org/TR/sparql11-query/#rVerb)
+ */
+export const verb = {
+    name: 'verb',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(varOrIri) },
+        {
+            ALT: () => SUBRULE(verbA),
+        },
+    ]),
+};
+export const verbA = {
+    name: 'VerbA',
+    impl: ({ CONSUME, context }) => () => {
+        CONSUME(l.a);
+        return context.dataFactory.namedNode(CommonIRIs.TYPE);
+    },
+};
+/**
+ * [[106]](https://www.w3.org/TR/sparql11-query/#rVarOrTerm)
+ */
+export const varOrTerm = {
+    name: 'varOrTerm',
+    impl: ({ SUBRULE, OR, context }) => () => OR([
+        { GATE: () => context.parseMode.has(canParseVars), ALT: () => SUBRULE(var_) },
+        { ALT: () => SUBRULE(graphTerm) },
+    ]),
+};
+/**
+ * [[107]](https://www.w3.org/TR/sparql11-query/#rVarOrIri)
+ */
+export const varOrIri = {
+    name: 'varOrIri',
+    impl: ({ SUBRULE, OR, context }) => () => OR([
+        { GATE: () => context.parseMode.has(canParseVars), ALT: () => SUBRULE(var_) },
+        { ALT: () => SUBRULE(iri) },
+    ]),
+};
+export const canParseVars = Symbol('canParseVars');
+/**
+ * [[108]](https://www.w3.org/TR/sparql11-query/#rVar)
+ */
+export const var_ = {
+    name: 'var',
+    impl: ({ ACTION, CONSUME, OR, context }) => () => {
+        const result = OR([
+            { ALT: () => context.dataFactory.variable(CONSUME(l.terminals.var1).image.slice(1)) },
+            { ALT: () => context.dataFactory.variable(CONSUME(l.terminals.var2).image.slice(1)) },
+        ]);
+        ACTION(() => {
+            if (!context.parseMode.has(canParseVars)) {
+                throw new Error('Variables are not allowed here');
+            }
+        });
+        return result;
+    },
+};
+/**
+ * [[109]](https://www.w3.org/TR/sparql11-query/#rGraphTerm)
+ */
+export const graphTerm = {
+    name: 'graphTerm',
+    impl: ({ SUBRULE, CONSUME, OR, context }) => () => OR([
+        { ALT: () => SUBRULE(iri) },
+        { ALT: () => SUBRULE(rdfLiteral) },
+        { ALT: () => SUBRULE(numericLiteral) },
+        { ALT: () => SUBRULE(booleanLiteral) },
+        { GATE: () => context.parseMode.has(canCreateBlankNodes), ALT: () => SUBRULE(blankNode) },
+        {
+            ALT: () => {
+                CONSUME(l.terminals.nil);
+                return context.dataFactory.namedNode(CommonIRIs.NIL);
+            },
+        },
+    ]),
+};
+//# sourceMappingURL=general.js.map