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

package/lib/grammar/solutionModifier.js

@@ -0,0 +1,203 @@
+import * as l from '../lexer';
+import { builtInCall, canParseAggregate } from './builtIn';
+import { brackettedExpression, expression } from './expression';
+import { var_ } from './general';
+import { constraint, functionCall } from './whereClause';
+export const solutionModifier = {
+    name: 'solutionModifier',
+    impl: ({ ACTION, SUBRULE, OPTION1, OPTION2, OPTION3, OPTION4 }) => () => {
+        const group = OPTION1(() => SUBRULE(groupClause));
+        const having = OPTION2(() => SUBRULE(havingClause));
+        const order = OPTION3(() => SUBRULE(orderClause));
+        const limitAndOffset = OPTION4(() => SUBRULE(limitOffsetClauses));
+        return ACTION(() => ({
+            ...limitAndOffset,
+            ...(group && { group }),
+            ...(having && { having }),
+            ...(order && { order }),
+        }));
+    },
+};
+/**
+ * [[19]](https://www.w3.org/TR/sparql11-query/#rGroupClause)
+ */
+export const groupClause = {
+    name: 'groupClause',
+    impl: ({ AT_LEAST_ONE, SUBRULE, CONSUME }) => () => {
+        const groupings = [];
+        CONSUME(l.groupBy);
+        AT_LEAST_ONE(() => {
+            groupings.push(SUBRULE(groupCondition));
+        });
+        return groupings;
+    },
+};
+/**
+ * [[20]](https://www.w3.org/TR/sparql11-query/#rGroupCondition)
+ */
+export const groupCondition = {
+    name: 'groupCondition',
+    impl: ({ SUBRULE, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR }) => () => OR([
+        { ALT: () => {
+                const expression = SUBRULE(builtInCall);
+                return {
+                    expression,
+                };
+            } },
+        { ALT: () => {
+                const expression = SUBRULE(functionCall);
+                return {
+                    expression,
+                };
+            } },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.LParen);
+                const expressionValue = SUBRULE(expression);
+                const variable = OPTION(() => {
+                    CONSUME(l.as);
+                    return SUBRULE1(var_);
+                });
+                CONSUME(l.symbols.RParen);
+                return {
+                    expression: expressionValue,
+                    variable,
+                };
+            },
+        },
+        { ALT: () => {
+                const expression = SUBRULE2(var_);
+                return {
+                    expression,
+                };
+            } },
+    ]),
+};
+/**
+ * [[21]](https://www.w3.org/TR/sparql11-query/#rHavingClause)
+ */
+export const havingClause = {
+    name: 'havingClause',
+    impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, context }) => () => {
+        const expressions = [];
+        CONSUME(l.having);
+        const couldParseAgg = ACTION(() => context.parseMode.has(canParseAggregate) || !context.parseMode.add(canParseAggregate));
+        AT_LEAST_ONE(() => {
+            expressions.push(SUBRULE(havingCondition));
+        });
+        ACTION(() => !couldParseAgg && context.parseMode.delete(canParseAggregate));
+        return expressions;
+    },
+};
+/**
+ * [[22]](https://www.w3.org/TR/sparql11-query/#rHavingCondition)
+ */
+export const havingCondition = {
+    name: 'havingCondition',
+    impl: ({ SUBRULE }) => () => SUBRULE(constraint),
+};
+/**
+ * [[23]](https://www.w3.org/TR/sparql11-query/#rOrderClause)
+ */
+export const orderClause = {
+    name: 'orderClause',
+    impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, context }) => () => {
+        const orderings = [];
+        CONSUME(l.order);
+        const couldParseAgg = ACTION(() => context.parseMode.has(canParseAggregate) || !context.parseMode.add(canParseAggregate));
+        AT_LEAST_ONE(() => {
+            orderings.push(SUBRULE(orderCondition));
+        });
+        ACTION(() => !couldParseAgg && context.parseMode.delete(canParseAggregate));
+        return orderings;
+    },
+};
+/**
+ * [[24]](https://www.w3.org/TR/sparql11-query/#rOrderCondition)
+ */
+export const orderCondition = {
+    name: 'orderCondition',
+    impl: ({ SUBRULE, CONSUME, OR1, OR2 }) => () => OR1([
+        {
+            ALT: () => {
+                const descending = OR2([
+                    { ALT: () => {
+                            CONSUME(l.orderAsc);
+                            return false;
+                        } },
+                    { ALT: () => {
+                            CONSUME(l.orderDesc);
+                            return true;
+                        } },
+                ]);
+                const expr = SUBRULE(brackettedExpression);
+                return {
+                    expression: expr,
+                    descending,
+                };
+            },
+        },
+        { ALT: () => {
+                const expr = SUBRULE(constraint);
+                return {
+                    expression: expr,
+                };
+            } },
+        { ALT: () => {
+                const expr = SUBRULE(var_);
+                return {
+                    expression: expr,
+                };
+            } },
+    ]),
+};
+/**
+ * Parses limit and or offset in any order.
+ * [[25]](https://www.w3.org/TR/sparql11-query/#rLimitOffsetClauses)
+ */
+export const limitOffsetClauses = {
+    name: 'limitOffsetClauses',
+    impl: ({ SUBRULE1, SUBRULE2, OPTION1, OPTION2, OR }) => () => OR([
+        {
+            ALT: () => {
+                const limit = SUBRULE1(limitClause);
+                const offset = OPTION1(() => SUBRULE1(offsetClause));
+                return {
+                    limit,
+                    offset,
+                };
+            },
+        },
+        {
+            ALT: () => {
+                const offset = SUBRULE2(offsetClause);
+                const limit = OPTION2(() => SUBRULE2(limitClause));
+                return {
+                    limit,
+                    offset,
+                };
+            },
+        },
+    ]),
+};
+/**
+ * [[26]](https://www.w3.org/TR/sparql11-query/#rLimitClause)
+ */
+export const limitClause = {
+    name: 'limitClause',
+    impl: ({ CONSUME }) => () => {
+        CONSUME(l.limit);
+        return Number.parseInt(CONSUME(l.terminals.integer).image, 10);
+    },
+};
+/**
+ * [[27]](https://www.w3.org/TR/sparql11-query/#rWhereClause)
+ */
+export const offsetClause = {
+    name: 'offsetClause',
+    impl: ({ CONSUME }) => () => {
+        CONSUME(l.offset);
+        return Number.parseInt(CONSUME(l.terminals.integer).image, 10);
+    },
+};
+//# sourceMappingURL=solutionModifier.js.map

package/lib/grammar/solutionModifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solutionModifier.js","sourceRoot":"","sources":["solutionModifier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAE9B,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAMzD,MAAM,CAAC,MAAM,gBAAgB,GAA2D;IACtF,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;QAClD,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAElE,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,GAAG,cAAc;YACjB,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC;YACvB,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC;YACzB,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC;SACxB,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAA+C;IACrE,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACjD,MAAM,SAAS,GAAe,EAAE,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACnB,YAAY,CAAC,GAAG,EAAE;YAChB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAgD;IACzE,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAW;QACjF,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;gBACxC,OAAO;oBACL,UAAU;iBACX,CAAC;YACJ,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;gBACzC,OAAO;oBACL,UAAU;iBACX,CAAC;YACJ,CAAC,EAAE;QACH;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,MAAM,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;gBAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE;oBAC3B,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACd,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACxB,CAAC,CAAC,CAAC;gBACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAE1B,OAAO;oBACL,UAAU,EAAE,eAAe;oBAC3B,QAAQ;iBACT,CAAC;YACJ,CAAC;SACF;QACD,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAClC,OAAO;oBACL,UAAU;iBACX,CAAC;YACJ,CAAC,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAkD;IACzE,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAClE,MAAM,WAAW,GAAiB,EAAE,CAAC;QAErC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,EAAE,CAChC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACzF,YAAY,CAAC,GAAG,EAAE;YAChB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,aAAa,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAE5E,OAAO,WAAW,CAAC;IACrB,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAmD;IAC7E,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;CACjD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAA+C;IACrE,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAClE,MAAM,SAAS,GAAe,EAAE,CAAC;QAEjC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjB,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,EAAE,CAChC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACzF,YAAY,CAAC,GAAG,EAAE;YAChB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,aAAa,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAE5E,OAAO,SAAS,CAAC;IACnB,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAgD;IACzE,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;QAClD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,UAAU,GAAG,GAAG,CAAC;oBACrB,EAAE,GAAG,EAAE,GAAG,EAAE;4BACV,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;4BACpB,OAAO,KAAK,CAAC;wBACf,CAAC,EAAE;oBACH,EAAE,GAAG,EAAE,GAAG,EAAE;4BACV,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;4BACrB,OAAO,IAAI,CAAC;wBACd,CAAC,EAAE;iBACJ,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;gBAE3C,OAAO;oBACL,UAAU,EAAE,IAAI;oBAChB,UAAU;iBACX,CAAC;YACJ,CAAC;SACF;QACD,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;gBACjC,OAAO;oBACL,UAAU,EAAE,IAAI;iBACjB,CAAC;YACJ,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC3B,OAAO;oBACL,UAAU,EAAE,IAAI;iBACjB,CAAC;YACJ,CAAC,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAiF;IAC9G,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAwC;QACtG;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;gBACpC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;gBACrD,OAAO;oBACL,KAAK;oBACL,MAAM;iBACP,CAAC;YACJ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;gBACtC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;gBACnD,OAAO;oBACL,KAAK;oBACL,MAAM;iBACP,CAAC;YACJ,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAA2C;IACjE,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC1B,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjB,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACjE,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAA4C;IACnE,IAAI,EAAU,cAAc;IAC5B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC1B,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClB,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACjE,CAAC;CACF,CAAC","sourcesContent":["import * as l from '../lexer';\nimport type { RuleDef } from '@traqula/core';\nimport { builtInCall, canParseAggregate } from './builtIn';\nimport { brackettedExpression, expression } from './expression';\nimport { var_ } from './general';\nimport type { Expression, Grouping, Ordering, SelectQuery } from '../Sparql11types';\nimport { constraint, functionCall } from './whereClause';\n\n/**\n * [[18]](https://www.w3.org/TR/sparql11-query/#rSolutionModifier)\n */\nexport type ISolutionModifier = Pick<SelectQuery, 'group' | 'having' | 'order' | 'limit' | 'offset'>;\nexport const solutionModifier: RuleDef<'solutionModifier', ISolutionModifier> = <const> {\n  name: 'solutionModifier',\n  impl: ({ ACTION, SUBRULE, OPTION1, OPTION2, OPTION3, OPTION4 }) => () => {\n    const group = OPTION1(() => SUBRULE(groupClause));\n    const having = OPTION2(() => SUBRULE(havingClause));\n    const order = OPTION3(() => SUBRULE(orderClause));\n    const limitAndOffset = OPTION4(() => SUBRULE(limitOffsetClauses));\n\n    return ACTION(() => ({\n      ...limitAndOffset,\n      ...(group && { group }),\n      ...(having && { having }),\n      ...(order && { order }),\n    }));\n  },\n};\n\n/**\n * [[19]](https://www.w3.org/TR/sparql11-query/#rGroupClause)\n */\nexport const groupClause: RuleDef<'groupClause', Grouping[]> = <const> {\n  name: 'groupClause',\n  impl: ({ AT_LEAST_ONE, SUBRULE, CONSUME }) => () => {\n    const groupings: Grouping[] = [];\n    CONSUME(l.groupBy);\n    AT_LEAST_ONE(() => {\n      groupings.push(SUBRULE(groupCondition));\n    });\n\n    return groupings;\n  },\n};\n\n/**\n * [[20]](https://www.w3.org/TR/sparql11-query/#rGroupCondition)\n */\nexport const groupCondition: RuleDef<'groupCondition', Grouping> = <const> {\n  name: 'groupCondition',\n  impl: ({ SUBRULE, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR }) => () => OR<Grouping>([\n    { ALT: () => {\n      const expression = SUBRULE(builtInCall);\n      return {\n        expression,\n      };\n    } },\n    { ALT: () => {\n      const expression = SUBRULE(functionCall);\n      return {\n        expression,\n      };\n    } },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.LParen);\n        const expressionValue = SUBRULE(expression);\n        const variable = OPTION(() => {\n          CONSUME(l.as);\n          return SUBRULE1(var_);\n        });\n        CONSUME(l.symbols.RParen);\n\n        return {\n          expression: expressionValue,\n          variable,\n        };\n      },\n    },\n    { ALT: () => {\n      const expression = SUBRULE2(var_);\n      return {\n        expression,\n      };\n    } },\n  ]),\n};\n\n/**\n * [[21]](https://www.w3.org/TR/sparql11-query/#rHavingClause)\n */\nexport const havingClause: RuleDef<'havingClause', Expression[]> = <const> {\n  name: 'havingClause',\n  impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, context }) => () => {\n    const expressions: Expression[] = [];\n\n    CONSUME(l.having);\n    const couldParseAgg = ACTION(() =>\n      context.parseMode.has(canParseAggregate) || !context.parseMode.add(canParseAggregate));\n    AT_LEAST_ONE(() => {\n      expressions.push(SUBRULE(havingCondition));\n    });\n    ACTION(() => !couldParseAgg && context.parseMode.delete(canParseAggregate));\n\n    return expressions;\n  },\n};\n\n/**\n * [[22]](https://www.w3.org/TR/sparql11-query/#rHavingCondition)\n */\nexport const havingCondition: RuleDef<'havingCondition', Expression> = <const> {\n  name: 'havingCondition',\n  impl: ({ SUBRULE }) => () => SUBRULE(constraint),\n};\n\n/**\n * [[23]](https://www.w3.org/TR/sparql11-query/#rOrderClause)\n */\nexport const orderClause: RuleDef<'orderClause', Ordering[]> = <const> {\n  name: 'orderClause',\n  impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, context }) => () => {\n    const orderings: Ordering[] = [];\n\n    CONSUME(l.order);\n    const couldParseAgg = ACTION(() =>\n      context.parseMode.has(canParseAggregate) || !context.parseMode.add(canParseAggregate));\n    AT_LEAST_ONE(() => {\n      orderings.push(SUBRULE(orderCondition));\n    });\n    ACTION(() => !couldParseAgg && context.parseMode.delete(canParseAggregate));\n\n    return orderings;\n  },\n};\n\n/**\n * [[24]](https://www.w3.org/TR/sparql11-query/#rOrderCondition)\n */\nexport const orderCondition: RuleDef<'orderCondition', Ordering> = <const> {\n  name: 'orderCondition',\n  impl: ({ SUBRULE, CONSUME, OR1, OR2 }) => () => OR1([\n    {\n      ALT: () => {\n        const descending = OR2([\n          { ALT: () => {\n            CONSUME(l.orderAsc);\n            return false;\n          } },\n          { ALT: () => {\n            CONSUME(l.orderDesc);\n            return true;\n          } },\n        ]);\n        const expr = SUBRULE(brackettedExpression);\n\n        return {\n          expression: expr,\n          descending,\n        };\n      },\n    },\n    { ALT: () => {\n      const expr = SUBRULE(constraint);\n      return {\n        expression: expr,\n      };\n    } },\n    { ALT: () => {\n      const expr = SUBRULE(var_);\n      return {\n        expression: expr,\n      };\n    } },\n  ]),\n};\n\n/**\n * Parses limit and or offset in any order.\n * [[25]](https://www.w3.org/TR/sparql11-query/#rLimitOffsetClauses)\n */\nexport const limitOffsetClauses: RuleDef<'limitOffsetClauses', Pick<SelectQuery, 'limit' | 'offset'>> = <const> {\n  name: 'limitOffsetClauses',\n  impl: ({ SUBRULE1, SUBRULE2, OPTION1, OPTION2, OR }) => () => OR<Pick<SelectQuery, 'limit' | 'offset'>>([\n    {\n      ALT: () => {\n        const limit = SUBRULE1(limitClause);\n        const offset = OPTION1(() => SUBRULE1(offsetClause));\n        return {\n          limit,\n          offset,\n        };\n      },\n    },\n    {\n      ALT: () => {\n        const offset = SUBRULE2(offsetClause);\n        const limit = OPTION2(() => SUBRULE2(limitClause));\n        return {\n          limit,\n          offset,\n        };\n      },\n    },\n  ]),\n};\n\n/**\n * [[26]](https://www.w3.org/TR/sparql11-query/#rLimitClause)\n */\nexport const limitClause: RuleDef<'limitClause', number> = <const> {\n  name: 'limitClause',\n  impl: ({ CONSUME }) => () => {\n    CONSUME(l.limit);\n    return Number.parseInt(CONSUME(l.terminals.integer).image, 10);\n  },\n};\n\n/**\n * [[27]](https://www.w3.org/TR/sparql11-query/#rWhereClause)\n */\nexport const offsetClause: RuleDef<'offsetClause', number> = <const> {\n  name: <const> 'offsetClause',\n  impl: ({ CONSUME }) => () => {\n    CONSUME(l.offset);\n    return Number.parseInt(CONSUME(l.terminals.integer).image, 10);\n  },\n};\n"]}

package/lib/grammar/tripleBlock.d.ts

@@ -0,0 +1,42 @@
+import type { RuleDef } from '@traqula/core';
+import type { BgpPattern, IGraphNode, IriTerm, ITriplesNode, PropertyPath, Triple, TripleCreatorS, TripleCreatorSP, VariableTerm } from '../Sparql11types';
+/**
+ * [[55]](https://www.w3.org/TR/sparql11-query/#rTriplesBlock)
+ */
+export declare const triplesBlock: RuleDef<'triplesBlock', BgpPattern>;
+export declare const triplesSameSubject: RuleDef<"triplesSameSubject", Triple[]>;
+export declare const triplesSameSubjectPath: RuleDef<"triplesSameSubjectPath", Triple[]>;
+export declare const propertyList: RuleDef<"propertyList", TripleCreatorS[]>;
+export declare const propertyListPath: RuleDef<"propertyListPath", TripleCreatorS[]>;
+export declare const propertyListNotEmpty: RuleDef<"propertyListNotEmpty", TripleCreatorS[]>;
+export declare const propertyListPathNotEmpty: RuleDef<"propertyListPathNotEmpty", TripleCreatorS[]>;
+/**
+ * [[84]](https://www.w3.org/TR/sparql11-query/#rVerbPath)
+ */
+export declare const verbPath: RuleDef<'verbPath', PropertyPath | IriTerm>;
+/**
+ * [[85]](https://www.w3.org/TR/sparql11-query/#rVerbSimple)
+ */
+export declare const verbSimple: RuleDef<'verbSimple', VariableTerm>;
+export declare const objectList: RuleDef<"objectList", TripleCreatorSP[]>;
+export declare const objectListPath: RuleDef<"objectListPath", TripleCreatorSP[]>;
+/**
+ * [[80]](https://www.w3.org/TR/sparql11-query/#rObject)
+ */
+export declare const object: RuleDef<"object", TripleCreatorSP[]>;
+/**
+ * [[87]](https://www.w3.org/TR/sparql11-query/#rObjectPath)
+ */
+export declare const objectPath: RuleDef<"objectPath", TripleCreatorSP[]>;
+/**
+ * [[98]](https://www.w3.org/TR/sparql11-query/#rTriplesNode)
+ * [[100]](https://www.w3.org/TR/sparql11-query/#rTriplesNodePath)
+ */
+export declare const triplesNode: RuleDef<'triplesNode', ITriplesNode>;
+export declare const triplesNodePath: RuleDef<'triplesNodePath', ITriplesNode>;
+export declare const blankNodePropertyList: RuleDef<"blankNodePropertyList", ITriplesNode>;
+export declare const blankNodePropertyListPath: RuleDef<"blankNodePropertyListPath", ITriplesNode>;
+export declare const collection: RuleDef<"collection", ITriplesNode>;
+export declare const collectionPath: RuleDef<"collectionPath", ITriplesNode>;
+export declare const graphNode: RuleDef<"graphNode", IGraphNode>;
+export declare const graphNodePath: RuleDef<"graphNodePath", IGraphNode>;

package/lib/grammar/tripleBlock.js

@@ -0,0 +1,309 @@
+import * as l from '../lexer';
+import { CommonIRIs } from '@traqula/core';
+import { var_, varOrTerm, verb } from './general';
+import { canCreateBlankNodes } from './literals';
+import { path } from './propertyPaths';
+/**
+ * [[55]](https://www.w3.org/TR/sparql11-query/#rTriplesBlock)
+ */
+export const triplesBlock = {
+    name: 'triplesBlock',
+    impl: ({ ACTION, SUBRULE, CONSUME, OPTION1, OPTION2 }) => () => {
+        const triples = SUBRULE(triplesSameSubjectPath);
+        const pattern = OPTION1(() => {
+            CONSUME(l.symbols.dot);
+            return OPTION2(() => SUBRULE(triplesBlock));
+        });
+        return ACTION(() => ({
+            type: 'bgp',
+            triples: [...triples, ...(pattern?.triples ?? [])],
+        }));
+    },
+};
+/**
+ * [[75]](https://www.w3.org/TR/sparql11-query/#rTriplesSameSubject)
+ * [[81]](https://www.w3.org/TR/sparql11-query/#rTriplesSameSubjectPath)
+ */
+function triplesSameSubjectImpl(name, allowPaths) {
+    return {
+        name,
+        impl: ({ ACTION, SUBRULE, OR }) => () => OR([
+            {
+                ALT: () => {
+                    const subject = SUBRULE(varOrTerm);
+                    const propNotEmpty = SUBRULE(allowPaths ? propertyListPathNotEmpty : propertyListNotEmpty);
+                    return ACTION(() => propNotEmpty.map(partial => partial({ subject })));
+                },
+            },
+            {
+                ALT: () => {
+                    const subjectNode = SUBRULE(allowPaths ? triplesNodePath : triplesNode);
+                    const restNode = SUBRULE(allowPaths ? propertyListPath : propertyList);
+                    return ACTION(() => [
+                        ...restNode.map(partial => partial({ subject: subjectNode.node })),
+                        ...subjectNode.triples,
+                    ]);
+                },
+            },
+        ]),
+    };
+}
+export const triplesSameSubject = triplesSameSubjectImpl('triplesSameSubject', false);
+export const triplesSameSubjectPath = triplesSameSubjectImpl('triplesSameSubjectPath', true);
+/**
+ * [[76]](https://www.w3.org/TR/sparql11-query/#rPropertyList)
+ * [[82]](https://www.w3.org/TR/sparql11-query/#rPropertyListPath)
+ */
+function propertyListImpl(name, allowPaths) {
+    return {
+        name,
+        impl: ({ SUBRULE, OPTION }) => () => OPTION(() => SUBRULE(allowPaths ? propertyListPathNotEmpty : propertyListNotEmpty)) ?? [],
+    };
+}
+export const propertyList = propertyListImpl('propertyList', false);
+export const propertyListPath = propertyListImpl('propertyListPath', true);
+// We could use gates for this, but in that case,
+// a grammar not in need of paths would still have to include the path rules
+/**
+ * [[77]](https://www.w3.org/TR/sparql11-query/#rPropertyListNotEmpty)
+ * [[83]](https://www.w3.org/TR/sparql11-query/#rPropertyListPathNotEmpty)
+ */
+function propertyListNotEmptyImplementation(name, allowPaths) {
+    return {
+        name,
+        impl: ({ ACTION, CONSUME, MANY, SUBRULE1, SUBRULE2, OPTION, OR1, OR2, context }) => () => {
+            const result = [];
+            const resultAppendage = [];
+            // Generates predicate and objectList
+            const firstProperty = allowPaths ?
+                OR1([
+                    { ALT: () => SUBRULE1(verbPath) },
+                    { ALT: () => SUBRULE1(verbSimple) },
+                ]) :
+                SUBRULE1(verb);
+            const firstObjects = SUBRULE1(allowPaths ? objectListPath : objectList);
+            ACTION(() => {
+                // TODO: this filter is only here to be compliant with sparqlJS and is quite arbitrary.
+                //   For the first predicate,
+                //   additionally generated triples (like from collections) are shoved to the back of the result.
+                const filterSubject = context.dataFactory.namedNode('internal:filterSubject');
+                for (const cObject of firstObjects) {
+                    const triple = cObject({ subject: filterSubject, predicate: firstProperty });
+                    const generator = rest => cObject({ ...rest, predicate: firstProperty });
+                    if (triple.subject === filterSubject) {
+                        result.push(generator);
+                    }
+                    else {
+                        resultAppendage.push(generator);
+                    }
+                }
+            });
+            MANY(() => {
+                CONSUME(l.symbols.semi);
+                OPTION(() => {
+                    const predicate = allowPaths ?
+                        OR2([
+                            { ALT: () => SUBRULE2(verbPath) },
+                            { ALT: () => SUBRULE2(verbSimple) },
+                        ]) :
+                        SUBRULE2(verb);
+                    // https://www.w3.org/2013/sparql-errata#errata-query-3
+                    const objects = SUBRULE2(allowPaths ? objectListPath : objectList);
+                    ACTION(() => {
+                        result.push(...objects
+                            .map(object => (partS) => object({ ...partS, predicate })));
+                    });
+                });
+            });
+            return [...result, ...resultAppendage];
+        },
+    };
+}
+export const propertyListNotEmpty = propertyListNotEmptyImplementation('propertyListNotEmpty', false);
+export const propertyListPathNotEmpty = propertyListNotEmptyImplementation('propertyListPathNotEmpty', true);
+/**
+ * [[84]](https://www.w3.org/TR/sparql11-query/#rVerbPath)
+ */
+export const verbPath = {
+    name: 'verbPath',
+    impl: ({ SUBRULE }) => () => SUBRULE(path),
+};
+/**
+ * [[85]](https://www.w3.org/TR/sparql11-query/#rVerbSimple)
+ */
+export const verbSimple = {
+    name: 'verbSimple',
+    impl: ({ SUBRULE }) => () => SUBRULE(var_),
+};
+/**
+ * [[79]](https://www.w3.org/TR/sparql11-query/#rObjectList)
+ * [[86]](https://www.w3.org/TR/sparql11-query/#rObjectListPath)
+ */
+function objectListImpl(name, allowPaths) {
+    return {
+        name,
+        impl: ({ ACTION, SUBRULE, AT_LEAST_ONE_SEP }) => () => {
+            const objects = [];
+            AT_LEAST_ONE_SEP({
+                DEF: () => {
+                    const objectTriples = SUBRULE(allowPaths ? objectPath : object);
+                    ACTION(() => objects.push(...objectTriples));
+                },
+                SEP: l.symbols.comma,
+            });
+            return objects;
+        },
+    };
+}
+export const objectList = objectListImpl('objectList', false);
+export const objectListPath = objectListImpl('objectListPath', true);
+function objectImpl(name, allowPaths) {
+    return {
+        name,
+        impl: ({ ACTION, SUBRULE }) => () => {
+            const node = SUBRULE(allowPaths ? graphNodePath : graphNode);
+            return ACTION(() => [
+                part => ({ ...part, object: node.node }),
+                ...node.triples.map(val => () => val),
+            ]);
+        },
+    };
+}
+/**
+ * [[80]](https://www.w3.org/TR/sparql11-query/#rObject)
+ */
+export const object = objectImpl('object', false);
+/**
+ * [[87]](https://www.w3.org/TR/sparql11-query/#rObjectPath)
+ */
+export const objectPath = objectImpl('objectPath', true);
+/**
+ * [[98]](https://www.w3.org/TR/sparql11-query/#rTriplesNode)
+ * [[100]](https://www.w3.org/TR/sparql11-query/#rTriplesNodePath)
+ */
+export const triplesNode = {
+    name: 'triplesNode',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(collection) },
+        { ALT: () => SUBRULE(blankNodePropertyList) },
+    ]),
+};
+export const triplesNodePath = {
+    name: 'triplesNodePath',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(collectionPath) },
+        { ALT: () => SUBRULE(blankNodePropertyListPath) },
+    ]),
+};
+/**
+ * [[99]](https://www.w3.org/TR/sparql11-query/#rBlankNodePropertyList)
+ * [[101]](https://www.w3.org/TR/sparql11-query/#rBlankNodePropertyListPath)
+ */
+function blankNodePropertyListImpl(name, allowPaths) {
+    return {
+        name,
+        impl: ({ ACTION, SUBRULE, CONSUME, context }) => () => {
+            CONSUME(l.symbols.LSquare);
+            const propList = SUBRULE(allowPaths ? propertyListPathNotEmpty : propertyListNotEmpty);
+            CONSUME(l.symbols.RSquare);
+            return ACTION(() => {
+                const subject = context.dataFactory.blankNode();
+                return {
+                    node: subject,
+                    triples: propList.map(part => part({ subject })),
+                };
+            });
+        },
+    };
+}
+export const blankNodePropertyList = blankNodePropertyListImpl('blankNodePropertyList', false);
+export const blankNodePropertyListPath = blankNodePropertyListImpl('blankNodePropertyListPath', true);
+/**
+ * [[102]](https://www.w3.org/TR/sparql11-query/#rCollection)
+ * [[103]](https://www.w3.org/TR/sparql11-query/#rCollectionPath)
+ */
+function collectionImpl(name, allowPaths) {
+    return {
+        name,
+        impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, context }) => () => {
+            // Construct a [cons list](https://en.wikipedia.org/wiki/Cons#Lists),
+            // here called a [RDF collection](https://www.w3.org/TR/sparql11-query/#collections).
+            const terms = [];
+            const dataFactory = context.dataFactory;
+            CONSUME(l.symbols.LParen);
+            AT_LEAST_ONE(() => {
+                terms.push(SUBRULE(allowPaths ? graphNodePath : graphNode));
+            });
+            CONSUME(l.symbols.RParen);
+            return ACTION(() => {
+                const triples = [];
+                const appendTriples = [];
+                const listHead = dataFactory.blankNode();
+                let iterHead = listHead;
+                const predFirst = dataFactory.namedNode(CommonIRIs.FIRST);
+                const predRest = dataFactory.namedNode(CommonIRIs.REST);
+                for (const [index, term] of terms.entries()) {
+                    const headTriple = {
+                        subject: iterHead,
+                        predicate: predFirst,
+                        object: term.node,
+                    };
+                    triples.push(headTriple);
+                    appendTriples.push(...term.triples);
+                    // If not the last, create new iterHead, otherwise, close list
+                    if (index === terms.length - 1) {
+                        const nilTriple = {
+                            subject: iterHead,
+                            predicate: predRest,
+                            object: dataFactory.namedNode(CommonIRIs.NIL),
+                        };
+                        triples.push(nilTriple);
+                    }
+                    else {
+                        const tail = dataFactory.blankNode();
+                        const linkTriple = {
+                            subject: iterHead,
+                            predicate: predRest,
+                            object: tail,
+                        };
+                        triples.push(linkTriple);
+                        iterHead = tail;
+                    }
+                }
+                return {
+                    node: listHead,
+                    triples: [...triples, ...appendTriples],
+                };
+            });
+        },
+    };
+}
+export const collection = collectionImpl('collection', false);
+export const collectionPath = collectionImpl('collectionPath', true);
+/**
+ * [[103]](https://www.w3.org/TR/sparql11-query/#rGraphNode)
+ * [[105]](https://www.w3.org/TR/sparql11-query/#rGraphNodePath)
+ */
+function graphNodeImpl(name, allowPaths) {
+    return {
+        name,
+        impl: ({ SUBRULE, OR, context }) => () => OR([
+            {
+                ALT: () => {
+                    const val = SUBRULE(varOrTerm);
+                    return {
+                        node: val,
+                        triples: [],
+                    };
+                },
+            },
+            {
+                GATE: () => context.parseMode.has(canCreateBlankNodes),
+                ALT: () => SUBRULE(allowPaths ? triplesNodePath : triplesNode),
+            },
+        ]),
+    };
+}
+export const graphNode = graphNodeImpl('graphNode', false);
+export const graphNodePath = graphNodeImpl('graphNodePath', true);
+//# sourceMappingURL=tripleBlock.js.map

package/lib/grammar/tripleBlock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tripleBlock.js","sourceRoot":"","sources":["tripleBlock.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAE9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAavC;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgD;IACvE,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE;YAC3B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAE,GAAG,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC,CAAE;SACrD,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,SAAS,sBAAsB,CAAmB,IAAO,EAAE,UAAmB;IAC5E,OAAe;QACb,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAW;YACpD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;oBACnC,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;oBAE3F,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvD,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;oBACxE,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;oBACvE,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC;wBAClB,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;wBAClE,GAAG,WAAW,CAAC,OAAO;qBACvB,CAAC,CAAC;gBACL,CAAC;aACF;SACF,CAAC;KACH,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC;AACtF,MAAM,CAAC,MAAM,sBAAsB,GAAG,sBAAsB,CAAC,wBAAwB,EAAE,IAAI,CAAC,CAAC;AAE7F;;;GAGG;AACH,SAAS,gBAAgB,CAAmB,IAAO,EAAE,UAAmB;IACtE,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAClC,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE;KAC5F,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,YAAY,GAAG,gBAAgB,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;AAE3E,iDAAiD;AACjD,4EAA4E;AAC5E;;;GAGG;AACH,SAAS,kCAAkC,CACzC,IAAO,EACP,UAAmB;IAEnB,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACvF,MAAM,MAAM,GAAqB,EAAE,CAAC;YACpC,MAAM,eAAe,GAAkB,EAAE,CAAC;YAE1C,qCAAqC;YACrC,MAAM,aAAa,GAAG,UAAU,CAAC,CAAC;gBAChC,GAAG,CAAwC;oBACzC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;oBACjC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;iBACpC,CAAC,CAAC,CAAC;gBACJ,QAAQ,CAAC,IAAI,CAAC,CAAC;YACjB,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACxE,MAAM,CAAC,GAAG,EAAE;gBACV,uFAAuF;gBACvF,6BAA6B;gBAC7B,iGAAiG;gBACjG,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;gBAC9E,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,CAAC;oBAC7E,MAAM,SAAS,GAAmB,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,CAAC;oBACzF,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;wBACrC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACzB,CAAC;yBAAM,CAAC;wBACN,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,IAAI,CAAC,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,CAAC,GAAG,EAAE;oBACV,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC;wBAC5B,GAAG,CAAwC;4BACzC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;4BACjC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;yBACpC,CAAC,CAAC,CAAC;wBACJ,QAAQ,CAAC,IAAI,CAAC,CAAC;oBACjB,uDAAuD;oBACvD,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBAEnE,MAAM,CAAC,GAAG,EAAE;wBACV,MAAM,CAAC,IAAI,CACT,GAAG,OAAO;6BACP,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,KAA8B,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CACtF,CAAC;oBACJ,CAAC,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YACH,OAAO,CAAE,GAAG,MAAM,EAAE,GAAG,eAAe,CAAE,CAAC;QAC3C,CAAC;KACF,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,oBAAoB,GAAG,kCAAkC,CAAC,sBAAsB,EAAE,KAAK,CAAC,CAAC;AACtG,MAAM,CAAC,MAAM,wBAAwB,GAAG,kCAAkC,CAAC,0BAA0B,EAAE,IAAI,CAAC,CAAC;AAE7G;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAwD;IAC3E,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;CAC3C,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAgD;IACrE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;CAC3C,CAAC;AAEF;;;GAGG;AACH,SAAS,cAAc,CAAmB,IAAO,EAAE,UAAmB;IACpE,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACpD,MAAM,OAAO,GAAsB,EAAE,CAAC;YACtC,gBAAgB,CAAC;gBACf,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBAChE,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC;gBAC/C,CAAC;gBACD,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;YACH,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,UAAU,GAAG,cAAc,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;AAC9D,MAAM,CAAC,MAAM,cAAc,GAAG,cAAc,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;AAErE,SAAS,UAAU,CAAmB,IAAO,EAAE,UAAmB;IAChE,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAClC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC7D,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC;gBAClB,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;aACV,CAAC,CAAC;QACjC,CAAC;KACF,CAAC;AACJ,CAAC;AACD;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAClD;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACzD;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAiD;IACvE,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAe;QAChD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE;KAC9C,CAAC;CACH,CAAC;AACF,MAAM,CAAC,MAAM,eAAe,GAAqD;IAC/E,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAe;QAChD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;QACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE;KAClD,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,SAAS,yBAAyB,CAAmB,IAAO,EAAE,UAAmB;IAC/E,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACpD,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YACvF,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAE3B,OAAO,MAAM,CAAC,GAAG,EAAE;gBACjB,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAChD,OAAO;oBACL,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;iBACjD,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,qBAAqB,GAAG,yBAAyB,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAC;AAC/F,MAAM,CAAC,MAAM,yBAAyB,GAAG,yBAAyB,CAAC,2BAA2B,EAAE,IAAI,CAAC,CAAC;AAEtG;;;GAGG;AACH,SAAS,cAAc,CAAmB,IAAO,EAAE,UAAmB;IACpE,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAClE,qEAAqE;YACrE,qFAAqF;YACrF,MAAM,KAAK,GAAiB,EAAE,CAAC;YAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;YACxC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,YAAY,CAAC,GAAG,EAAE;gBAChB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9D,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAE1B,OAAO,MAAM,CAAC,GAAG,EAAE;gBACjB,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,MAAM,aAAa,GAAa,EAAE,CAAC;gBAEnC,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,EAAE,CAAC;gBACzC,IAAI,QAAQ,GAAG,QAAQ,CAAC;gBACxB,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBAC1D,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACxD,KAAK,MAAM,CAAE,KAAK,EAAE,IAAI,CAAE,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC9C,MAAM,UAAU,GAAW;wBACzB,OAAO,EAAE,QAAQ;wBACjB,SAAS,EAAE,SAAS;wBACpB,MAAM,EAAE,IAAI,CAAC,IAAI;qBAClB,CAAC;oBACF,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACzB,aAAa,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;oBAEpC,8DAA8D;oBAC9D,IAAI,KAAK,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC/B,MAAM,SAAS,GAAW;4BACxB,OAAO,EAAE,QAAQ;4BACjB,SAAS,EAAE,QAAQ;4BACnB,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;yBAC9C,CAAC;wBACF,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC1B,CAAC;yBAAM,CAAC;wBACN,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,EAAE,CAAC;wBACrC,MAAM,UAAU,GAAW;4BACzB,OAAO,EAAE,QAAQ;4BACjB,SAAS,EAAE,QAAQ;4BACnB,MAAM,EAAE,IAAI;yBACb,CAAC;wBACF,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;wBACzB,QAAQ,GAAG,IAAI,CAAC;oBAClB,CAAC;gBACH,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,CAAE,GAAG,OAAO,EAAE,GAAG,aAAa,CAAE;iBAC1C,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,UAAU,GAAG,cAAc,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;AAC9D,MAAM,CAAC,MAAM,cAAc,GAAG,cAAc,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;AAErE;;;GAGG;AACH,SAAS,aAAa,CAAmB,IAAO,EAAE,UAAmB;IACnE,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAa;YACvD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;oBAC/B,OAAO;wBACL,IAAI,EAAE,GAAG;wBACT,OAAO,EAAE,EAAE;qBACZ,CAAC;gBACJ,CAAC;aACF;YACD;gBACE,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC;gBACtD,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC;aAC/D;SACF,CAAC;KACH,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;AAC3D,MAAM,CAAC,MAAM,aAAa,GAAG,aAAa,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC","sourcesContent":["import * as l from '../lexer';\nimport type { RuleDef } from '@traqula/core';\nimport { CommonIRIs } from '@traqula/core';\nimport { var_, varOrTerm, verb } from './general';\nimport { canCreateBlankNodes } from './literals';\nimport { path } from './propertyPaths';\nimport type {\n  BgpPattern,\n  IGraphNode,\n  IriTerm,\n  ITriplesNode,\n  PropertyPath,\n  Triple,\n  TripleCreatorS,\n  TripleCreatorSP,\n  VariableTerm,\n} from '../Sparql11types';\n\n/**\n * [[55]](https://www.w3.org/TR/sparql11-query/#rTriplesBlock)\n */\nexport const triplesBlock: RuleDef<'triplesBlock', BgpPattern> = <const> {\n  name: 'triplesBlock',\n  impl: ({ ACTION, SUBRULE, CONSUME, OPTION1, OPTION2 }) => () => {\n    const triples = SUBRULE(triplesSameSubjectPath);\n    const pattern = OPTION1(() => {\n      CONSUME(l.symbols.dot);\n      return OPTION2(() => SUBRULE(triplesBlock));\n    });\n    return ACTION(() => ({\n      type: 'bgp',\n      triples: [ ...triples, ...(pattern?.triples ?? []) ],\n    }));\n  },\n};\n\n/**\n * [[75]](https://www.w3.org/TR/sparql11-query/#rTriplesSameSubject)\n * [[81]](https://www.w3.org/TR/sparql11-query/#rTriplesSameSubjectPath)\n */\nfunction triplesSameSubjectImpl<T extends string>(name: T, allowPaths: boolean): RuleDef<T, Triple[]> {\n  return <const> {\n    name,\n    impl: ({ ACTION, SUBRULE, OR }) => () => OR<Triple[]>([\n      {\n        ALT: () => {\n          const subject = SUBRULE(varOrTerm);\n          const propNotEmpty = SUBRULE(allowPaths ? propertyListPathNotEmpty : propertyListNotEmpty);\n\n          return ACTION(() =>\n            propNotEmpty.map(partial => partial({ subject })));\n        },\n      },\n      {\n        ALT: () => {\n          const subjectNode = SUBRULE(allowPaths ? triplesNodePath : triplesNode);\n          const restNode = SUBRULE(allowPaths ? propertyListPath : propertyList);\n          return ACTION(() => [\n            ...restNode.map(partial => partial({ subject: subjectNode.node })),\n            ...subjectNode.triples,\n          ]);\n        },\n      },\n    ]),\n  };\n}\nexport const triplesSameSubject = triplesSameSubjectImpl('triplesSameSubject', false);\nexport const triplesSameSubjectPath = triplesSameSubjectImpl('triplesSameSubjectPath', true);\n\n/**\n * [[76]](https://www.w3.org/TR/sparql11-query/#rPropertyList)\n * [[82]](https://www.w3.org/TR/sparql11-query/#rPropertyListPath)\n */\nfunction propertyListImpl<T extends string>(name: T, allowPaths: boolean): RuleDef<T, TripleCreatorS[]> {\n  return {\n    name,\n    impl: ({ SUBRULE, OPTION }) => () =>\n      OPTION(() => SUBRULE(allowPaths ? propertyListPathNotEmpty : propertyListNotEmpty)) ?? [],\n  };\n}\nexport const propertyList = propertyListImpl('propertyList', false);\nexport const propertyListPath = propertyListImpl('propertyListPath', true);\n\n// We could use gates for this, but in that case,\n// a grammar not in need of paths would still have to include the path rules\n/**\n * [[77]](https://www.w3.org/TR/sparql11-query/#rPropertyListNotEmpty)\n * [[83]](https://www.w3.org/TR/sparql11-query/#rPropertyListPathNotEmpty)\n */\nfunction propertyListNotEmptyImplementation<T extends string>(\n  name: T,\n  allowPaths: boolean,\n): RuleDef<T, TripleCreatorS[]> {\n  return {\n    name,\n    impl: ({ ACTION, CONSUME, MANY, SUBRULE1, SUBRULE2, OPTION, OR1, OR2, context }) => () => {\n      const result: TripleCreatorS[] = [];\n      const resultAppendage: typeof result = [];\n\n      // Generates predicate and objectList\n      const firstProperty = allowPaths ?\n        OR1<IriTerm | VariableTerm | PropertyPath>([\n          { ALT: () => SUBRULE1(verbPath) },\n          { ALT: () => SUBRULE1(verbSimple) },\n        ]) :\n        SUBRULE1(verb);\n      const firstObjects = SUBRULE1(allowPaths ? objectListPath : objectList);\n      ACTION(() => {\n        // TODO: this filter is only here to be compliant with sparqlJS and is quite arbitrary.\n        //   For the first predicate,\n        //   additionally generated triples (like from collections) are shoved to the back of the result.\n        const filterSubject = context.dataFactory.namedNode('internal:filterSubject');\n        for (const cObject of firstObjects) {\n          const triple = cObject({ subject: filterSubject, predicate: firstProperty });\n          const generator: TripleCreatorS = rest => cObject({ ...rest, predicate: firstProperty });\n          if (triple.subject === filterSubject) {\n            result.push(generator);\n          } else {\n            resultAppendage.push(generator);\n          }\n        }\n      });\n\n      MANY(() => {\n        CONSUME(l.symbols.semi);\n        OPTION(() => {\n          const predicate = allowPaths ?\n            OR2<IriTerm | VariableTerm | PropertyPath>([\n              { ALT: () => SUBRULE2(verbPath) },\n              { ALT: () => SUBRULE2(verbSimple) },\n            ]) :\n            SUBRULE2(verb);\n          // https://www.w3.org/2013/sparql-errata#errata-query-3\n          const objects = SUBRULE2(allowPaths ? objectListPath : objectList);\n\n          ACTION(() => {\n            result.push(\n              ...objects\n                .map(object => (partS: Pick<Triple, 'subject'>) => object({ ...partS, predicate })),\n            );\n          });\n        });\n      });\n      return [ ...result, ...resultAppendage ];\n    },\n  };\n}\nexport const propertyListNotEmpty = propertyListNotEmptyImplementation('propertyListNotEmpty', false);\nexport const propertyListPathNotEmpty = propertyListNotEmptyImplementation('propertyListPathNotEmpty', true);\n\n/**\n * [[84]](https://www.w3.org/TR/sparql11-query/#rVerbPath)\n */\nexport const verbPath: RuleDef<'verbPath', PropertyPath | IriTerm> = <const> {\n  name: 'verbPath',\n  impl: ({ SUBRULE }) => () => SUBRULE(path),\n};\n\n/**\n * [[85]](https://www.w3.org/TR/sparql11-query/#rVerbSimple)\n */\nexport const verbSimple: RuleDef<'verbSimple', VariableTerm> = <const> {\n  name: 'verbSimple',\n  impl: ({ SUBRULE }) => () => SUBRULE(var_),\n};\n\n/**\n * [[79]](https://www.w3.org/TR/sparql11-query/#rObjectList)\n * [[86]](https://www.w3.org/TR/sparql11-query/#rObjectListPath)\n */\nfunction objectListImpl<T extends string>(name: T, allowPaths: boolean): RuleDef<T, TripleCreatorSP[]> {\n  return {\n    name,\n    impl: ({ ACTION, SUBRULE, AT_LEAST_ONE_SEP }) => () => {\n      const objects: TripleCreatorSP[] = [];\n      AT_LEAST_ONE_SEP({\n        DEF: () => {\n          const objectTriples = SUBRULE(allowPaths ? objectPath : object);\n          ACTION(() => objects.push(...objectTriples));\n        },\n        SEP: l.symbols.comma,\n      });\n      return objects;\n    },\n  };\n}\nexport const objectList = objectListImpl('objectList', false);\nexport const objectListPath = objectListImpl('objectListPath', true);\n\nfunction objectImpl<T extends string>(name: T, allowPaths: boolean): RuleDef<T, TripleCreatorSP[]> {\n  return {\n    name,\n    impl: ({ ACTION, SUBRULE }) => () => {\n      const node = SUBRULE(allowPaths ? graphNodePath : graphNode);\n      return ACTION(() => [\n        part => ({ ...part, object: node.node }),\n        ...node.triples.map(val => () => val),\n      ] satisfies TripleCreatorSP[]);\n    },\n  };\n}\n/**\n * [[80]](https://www.w3.org/TR/sparql11-query/#rObject)\n */\nexport const object = objectImpl('object', false);\n/**\n * [[87]](https://www.w3.org/TR/sparql11-query/#rObjectPath)\n */\nexport const objectPath = objectImpl('objectPath', true);\n/**\n * [[98]](https://www.w3.org/TR/sparql11-query/#rTriplesNode)\n * [[100]](https://www.w3.org/TR/sparql11-query/#rTriplesNodePath)\n */\nexport const triplesNode: RuleDef<'triplesNode', ITriplesNode> = <const> {\n  name: 'triplesNode',\n  impl: ({ SUBRULE, OR }) => () => OR<ITriplesNode>([\n    { ALT: () => SUBRULE(collection) },\n    { ALT: () => SUBRULE(blankNodePropertyList) },\n  ]),\n};\nexport const triplesNodePath: RuleDef<'triplesNodePath', ITriplesNode> = <const> {\n  name: 'triplesNodePath',\n  impl: ({ SUBRULE, OR }) => () => OR<ITriplesNode>([\n    { ALT: () => SUBRULE(collectionPath) },\n    { ALT: () => SUBRULE(blankNodePropertyListPath) },\n  ]),\n};\n\n/**\n * [[99]](https://www.w3.org/TR/sparql11-query/#rBlankNodePropertyList)\n * [[101]](https://www.w3.org/TR/sparql11-query/#rBlankNodePropertyListPath)\n */\nfunction blankNodePropertyListImpl<T extends string>(name: T, allowPaths: boolean): RuleDef<T, ITriplesNode> {\n  return {\n    name,\n    impl: ({ ACTION, SUBRULE, CONSUME, context }) => () => {\n      CONSUME(l.symbols.LSquare);\n      const propList = SUBRULE(allowPaths ? propertyListPathNotEmpty : propertyListNotEmpty);\n      CONSUME(l.symbols.RSquare);\n\n      return ACTION(() => {\n        const subject = context.dataFactory.blankNode();\n        return {\n          node: subject,\n          triples: propList.map(part => part({ subject })),\n        };\n      });\n    },\n  };\n}\nexport const blankNodePropertyList = blankNodePropertyListImpl('blankNodePropertyList', false);\nexport const blankNodePropertyListPath = blankNodePropertyListImpl('blankNodePropertyListPath', true);\n\n/**\n * [[102]](https://www.w3.org/TR/sparql11-query/#rCollection)\n * [[103]](https://www.w3.org/TR/sparql11-query/#rCollectionPath)\n */\nfunction collectionImpl<T extends string>(name: T, allowPaths: boolean): RuleDef<T, ITriplesNode> {\n  return {\n    name,\n    impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME, context }) => () => {\n      // Construct a [cons list](https://en.wikipedia.org/wiki/Cons#Lists),\n      // here called a [RDF collection](https://www.w3.org/TR/sparql11-query/#collections).\n      const terms: IGraphNode[] = [];\n      const dataFactory = context.dataFactory;\n      CONSUME(l.symbols.LParen);\n      AT_LEAST_ONE(() => {\n        terms.push(SUBRULE(allowPaths ? graphNodePath : graphNode));\n      });\n      CONSUME(l.symbols.RParen);\n\n      return ACTION(() => {\n        const triples: Triple[] = [];\n        const appendTriples: Triple[] = [];\n\n        const listHead = dataFactory.blankNode();\n        let iterHead = listHead;\n        const predFirst = dataFactory.namedNode(CommonIRIs.FIRST);\n        const predRest = dataFactory.namedNode(CommonIRIs.REST);\n        for (const [ index, term ] of terms.entries()) {\n          const headTriple: Triple = {\n            subject: iterHead,\n            predicate: predFirst,\n            object: term.node,\n          };\n          triples.push(headTriple);\n          appendTriples.push(...term.triples);\n\n          // If not the last, create new iterHead, otherwise, close list\n          if (index === terms.length - 1) {\n            const nilTriple: Triple = {\n              subject: iterHead,\n              predicate: predRest,\n              object: dataFactory.namedNode(CommonIRIs.NIL),\n            };\n            triples.push(nilTriple);\n          } else {\n            const tail = dataFactory.blankNode();\n            const linkTriple: Triple = {\n              subject: iterHead,\n              predicate: predRest,\n              object: tail,\n            };\n            triples.push(linkTriple);\n            iterHead = tail;\n          }\n        }\n        return {\n          node: listHead,\n          triples: [ ...triples, ...appendTriples ],\n        };\n      });\n    },\n  };\n}\nexport const collection = collectionImpl('collection', false);\nexport const collectionPath = collectionImpl('collectionPath', true);\n\n/**\n * [[103]](https://www.w3.org/TR/sparql11-query/#rGraphNode)\n * [[105]](https://www.w3.org/TR/sparql11-query/#rGraphNodePath)\n */\nfunction graphNodeImpl<T extends string>(name: T, allowPaths: boolean): RuleDef<T, IGraphNode> {\n  return {\n    name,\n    impl: ({ SUBRULE, OR, context }) => () => OR<IGraphNode>([\n      {\n        ALT: () => {\n          const val = SUBRULE(varOrTerm);\n          return {\n            node: val,\n            triples: [],\n          };\n        },\n      },\n      {\n        GATE: () => context.parseMode.has(canCreateBlankNodes),\n        ALT: () => SUBRULE(allowPaths ? triplesNodePath : triplesNode),\n      },\n    ]),\n  };\n}\nexport const graphNode = graphNodeImpl('graphNode', false);\nexport const graphNodePath = graphNodeImpl('graphNodePath', true);\n"]}