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

package/lib/grammar/propertyPaths.js

@@ -0,0 +1,182 @@
+import * as l from '../lexer';
+import { iri, verbA } from './literals';
+/**
+ * [[88]](https://www.w3.org/TR/sparql11-query/#rPath)
+ */
+export const path = {
+    name: 'path',
+    impl: ({ SUBRULE }) => () => SUBRULE(pathAlternative, undefined),
+};
+export const pathGenerator = {
+    name: 'path',
+    gImpl: ({ PRINT, SUBRULE }) => (ast, { factory: F }, braces = true) => {
+        if (F.isTerm(ast) && F.isTermNamed(ast)) {
+            SUBRULE(iri, ast, undefined);
+        }
+        else {
+            F.printFilter(ast, () => braces && PRINT('('));
+            switch (ast.subType) {
+                case '|':
+                case '/': {
+                    const [head, ...tail] = ast.items;
+                    SUBRULE(pathGenerator, head, braces);
+                    for (const val of tail) {
+                        F.printFilter(ast, () => PRINT(ast.subType));
+                        SUBRULE(pathGenerator, val, braces);
+                    }
+                    break;
+                }
+                case '^':
+                    F.printFilter(ast, () => PRINT('^'));
+                    SUBRULE(pathGenerator, ast.items[0], braces);
+                    break;
+                case '?':
+                case '*':
+                case '+':
+                    SUBRULE(pathGenerator, ast.items[0], braces);
+                    F.printFilter(ast, () => PRINT(ast.subType));
+                    break;
+                case '!':
+                    F.printFilter(ast, () => PRINT('!'));
+                    F.printFilter(ast, () => PRINT('('));
+                    SUBRULE(pathGenerator, ast.items[0], false);
+                    F.printFilter(ast, () => PRINT(')'));
+                    break;
+            }
+            F.printFilter(ast, () => braces && PRINT(')'));
+        }
+    },
+};
+export function pathChainHelper(name, SEP, subType, subRule) {
+    return {
+        name,
+        impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, MANY }) => (C) => {
+            const head = SUBRULE1(subRule, undefined);
+            let tailEnd = head;
+            const tail = [];
+            MANY(() => {
+                CONSUME(SEP);
+                tailEnd = SUBRULE2(subRule, undefined);
+                tail.push(tailEnd);
+            });
+            return ACTION(() => tail.length === 0 ?
+                head :
+                C.factory.path(subType, [head, ...tail], C.factory.sourceLocation(head, tailEnd)));
+        },
+    };
+}
+/**
+ * [[92]](https://www.w3.org/TR/sparql11-query/#rPathEltOrInverse)
+ */
+export const pathEltOrInverse = {
+    name: 'pathEltOrInverse',
+    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OR }) => C => OR([
+        { ALT: () => SUBRULE1(pathElt, undefined) },
+        { ALT: () => {
+                const hat = CONSUME(l.symbols.hat);
+                const item = SUBRULE2(pathElt, undefined);
+                return ACTION(() => C.factory.path('^', [item], C.factory.sourceLocation(hat, item)));
+            } },
+    ]),
+};
+/**
+ * [[90]](https://www.w3.org/TR/sparql11-query/#rPathSequence)
+ */
+export const pathSequence = pathChainHelper('pathSequence', l.symbols.slash, '/', pathEltOrInverse);
+/**
+ * [[89]](https://www.w3.org/TR/sparql11-query/#rPathAlternative)
+ */
+export const pathAlternative = pathChainHelper('pathAlternative', l.symbols.pipe, '|', pathSequence);
+/**
+ * [[91]](https://www.w3.org/TR/sparql11-query/#rPathElt)
+ */
+export const pathElt = {
+    name: 'pathElt',
+    impl: ({ ACTION, SUBRULE, OPTION }) => (C) => {
+        const item = SUBRULE(pathPrimary, undefined);
+        const modification = OPTION(() => SUBRULE(pathMod, undefined));
+        return ACTION(() => modification === undefined ?
+            item :
+            C.factory.path(modification.image, [item], C.factory.sourceLocation(item, modification)));
+    },
+};
+/**
+ * [[93]](https://www.w3.org/TR/sparql11-query/#rPathMod)
+ */
+export const pathMod = {
+    name: 'pathMod',
+    impl: ({ CONSUME, OR }) => () => OR([
+        { ALT: () => CONSUME(l.symbols.question) },
+        { ALT: () => CONSUME(l.symbols.star) },
+        { ALT: () => CONSUME(l.symbols.opPlus) },
+    ]),
+};
+/**
+ * [[94]](https://www.w3.org/TR/sparql11-query/#rPathPrimary)
+ */
+export const pathPrimary = {
+    name: 'pathPrimary',
+    impl: ({ SUBRULE, CONSUME, OR }) => () => OR([
+        { ALT: () => SUBRULE(iri, undefined) },
+        { ALT: () => SUBRULE(verbA, undefined) },
+        { ALT: () => SUBRULE(pathNegatedPropertySet, undefined) },
+        { ALT: () => {
+                CONSUME(l.symbols.LParen);
+                const resRecursive = SUBRULE(path, undefined);
+                CONSUME(l.symbols.RParen);
+                return resRecursive;
+            } },
+    ]),
+};
+/**
+ * [[95]](https://www.w3.org/TR/sparql11-query/#rPathNegatedPropertySet)
+ */
+export const pathNegatedPropertySet = {
+    name: 'pathNegatedPropertySet',
+    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, OR, MANY }) => (C) => {
+        const exclamation = CONSUME(l.symbols.exclamation);
+        return OR([
+            { ALT: () => {
+                    const noAlternative = SUBRULE1(pathOneInPropertySet, undefined);
+                    return ACTION(() => C.factory.path('!', [noAlternative], C.factory.sourceLocation(exclamation, noAlternative)));
+                } },
+            { ALT: () => {
+                    const open = CONSUME(l.symbols.LParen);
+                    const head = SUBRULE2(pathOneInPropertySet, undefined);
+                    const tail = [];
+                    MANY(() => {
+                        CONSUME(l.symbols.pipe);
+                        const item = SUBRULE3(pathOneInPropertySet, undefined);
+                        tail.push(item);
+                    });
+                    const close = CONSUME(l.symbols.RParen);
+                    return ACTION(() => {
+                        const F = C.factory;
+                        if (tail.length === 0) {
+                            return F.path('!', [head], F.sourceLocation(exclamation, close));
+                        }
+                        return F.path('!', [F.path('|', [head, ...tail], F.sourceLocation(open, close))], F.sourceLocation(exclamation, close));
+                    });
+                } },
+        ]);
+    },
+};
+/**
+ * [[96]](https://www.w3.org/TR/sparql11-query/#rPathOneInPropertySet)
+ */
+export const pathOneInPropertySet = {
+    name: 'pathOneInPropertySet',
+    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => C => OR1([
+        { ALT: () => SUBRULE1(iri, undefined) },
+        { ALT: () => SUBRULE1(verbA, undefined) },
+        { ALT: () => {
+                const hat = CONSUME(l.symbols.hat);
+                const item = OR2([
+                    { ALT: () => SUBRULE2(iri, undefined) },
+                    { ALT: () => SUBRULE2(verbA, undefined) },
+                ]);
+                return ACTION(() => C.factory.path('^', [item], C.factory.sourceLocation(hat, item)));
+            } },
+    ]),
+};
+//# sourceMappingURL=propertyPaths.js.map

package/lib/grammar/propertyPaths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propertyPaths.js","sourceRoot":"","sources":["propertyPaths.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAM9B,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAA4C;IAC3D,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,SAAS,CAAC;CACjE,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAA2D;IACnF,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,EAAE,EAAE;QACpE,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/C,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC;gBACpB,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,CAAE,IAAI,EAAE,GAAG,IAAI,CAAE,GAAG,GAAG,CAAC,KAAK,CAAC;oBACpC,OAAO,CAAC,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBACrC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;wBACvB,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;wBAC7C,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;oBACtC,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,GAAG;oBACN,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;oBACrC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;oBAC7C,MAAM;gBACR,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG;oBACN,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;oBAC7C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC7C,MAAM;gBACR,KAAK,GAAG;oBACN,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;oBACrC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;oBACrC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC5C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;oBACrC,MAAM;YACV,CAAC;YACD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;CACF,CAAC;AAEF,MAAM,UAAU,eAAe,CAC7B,IAAO,EACP,GAAc,EACd,OAAkB,EAClB,OAAwC;IAExC,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAC1C,IAAI,OAAO,GAAS,IAAI,CAAC;YACzB,MAAM,IAAI,GAAW,EAAE,CAAC;YAExB,IAAI,CAAC,GAAG,EAAE;gBACR,OAAO,CAAC,GAAG,CAAC,CAAC;gBACb,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACvC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACrB,CAAC,CAAC,CAAC;YAEH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;gBACrC,IAAI,CAAC,CAAC;gBACN,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAE,IAAI,EAAE,GAAG,IAAI,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACzF,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAuE;IAClG,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAiB;QAC7E,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE;QAC3C,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC1C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAE,IAAI,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1F,CAAC,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,eAAe,CAAC,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;AAEpG;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;AAErG;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAA8D;IAChF,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;QAC/D,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC;YAC9C,IAAI,CAAC,CAAC;YACN,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAE,IAAI,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAChG,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAA8E;IAChG,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAgC;QACjE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAiC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QAC1E,EAAE,GAAG,EAAE,GAAG,EAAE,CAAiC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACtE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAiC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;KACzE,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAmD;IACzE,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAO;QACjD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE;QACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE;QACxC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,EAAE;QACzD,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC9C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,OAAO,YAAY,CAAC;YACtB,CAAC,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAqE;IACtG,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACnD,OAAO,EAAE,CAAc;YACrB,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,aAAa,GAAG,QAAQ,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;oBAChE,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAE,aAAa,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;gBAClG,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAEvC,MAAM,IAAI,GAAG,QAAQ,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;oBACvD,MAAM,IAAI,GAAiC,EAAE,CAAC;oBAC9C,IAAI,CAAC,GAAG,EAAE;wBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;wBACvD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClB,CAAC,CAAC,CAAC;oBAEH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAExC,OAAO,MAAM,CAAC,GAAG,EAAE;wBACjB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;wBACpB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;4BACtB,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAE,IAAI,CAAE,EAAE,CAAC,CAAC,cAAc,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;wBACrE,CAAC;wBACD,OAAO,CAAC,CAAC,IAAI,CACX,GAAG,EACH,CAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAE,IAAI,EAAE,GAAG,IAAI,CAAE,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,EACjE,CAAC,CAAC,cAAc,CAAC,WAAW,EAAE,KAAK,CAAC,CACrC,CAAC;oBACJ,CAAC,CAAC,CAAC;gBACL,CAAC,EAAE;SACJ,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAgF;IAC/G,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/D,GAAG,CAA2B;QAC5B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE;QACvC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE;QACzC,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACnC,MAAM,IAAI,GAAG,GAAG,CAAU;oBACxB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE;oBACvC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE;iBAC1C,CAAC,CAAC;gBACH,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAE,IAAI,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACxE,CAAC,EAAE;KACJ,CAAC;CACL,CAAC","sourcesContent":["import type { RuleDefReturn } from '@traqula/core';\nimport type { IToken, TokenType } from 'chevrotain';\nimport * as l from '../lexer';\nimport type { TermIri, PathNegatedElt, Path, PathModified, PathNegated } from '../RoundTripTypes';\nimport type {\n  SparqlGeneratorRule,\n  SparqlGrammarRule,\n} from '../Sparql11types';\nimport { iri, verbA } from './literals';\n\n/**\n * [[88]](https://www.w3.org/TR/sparql11-query/#rPath)\n */\nexport const path: SparqlGrammarRule<'path', Path> = <const> {\n  name: 'path',\n  impl: ({ SUBRULE }) => () => SUBRULE(pathAlternative, undefined),\n};\n\nexport const pathGenerator: SparqlGeneratorRule<'path', Path, boolean | undefined> = {\n  name: 'path',\n  gImpl: ({ PRINT, SUBRULE }) => (ast, { factory: F }, braces = true) => {\n    if (F.isTerm(ast) && F.isTermNamed(ast)) {\n      SUBRULE(iri, ast, undefined);\n    } else {\n      F.printFilter(ast, () => braces && PRINT('('));\n      switch (ast.subType) {\n        case '|':\n        case '/': {\n          const [ head, ...tail ] = ast.items;\n          SUBRULE(pathGenerator, head, braces);\n          for (const val of tail) {\n            F.printFilter(ast, () => PRINT(ast.subType));\n            SUBRULE(pathGenerator, val, braces);\n          }\n          break;\n        }\n        case '^':\n          F.printFilter(ast, () => PRINT('^'));\n          SUBRULE(pathGenerator, ast.items[0], braces);\n          break;\n        case '?':\n        case '*':\n        case '+':\n          SUBRULE(pathGenerator, ast.items[0], braces);\n          F.printFilter(ast, () => PRINT(ast.subType));\n          break;\n        case '!':\n          F.printFilter(ast, () => PRINT('!'));\n          F.printFilter(ast, () => PRINT('('));\n          SUBRULE(pathGenerator, ast.items[0], false);\n          F.printFilter(ast, () => PRINT(')'));\n          break;\n      }\n      F.printFilter(ast, () => braces && PRINT(')'));\n    }\n  },\n};\n\nexport function pathChainHelper<T extends string>(\n  name: T,\n  SEP: TokenType,\n  subType: '|' | '/',\n  subRule: SparqlGrammarRule<string, Path>,\n): SparqlGrammarRule<T, Path | TermIri> {\n  return {\n    name,\n    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, MANY }) => (C) => {\n      const head = SUBRULE1(subRule, undefined);\n      let tailEnd: Path = head;\n      const tail: Path[] = [];\n\n      MANY(() => {\n        CONSUME(SEP);\n        tailEnd = SUBRULE2(subRule, undefined);\n        tail.push(tailEnd);\n      });\n\n      return ACTION(() => tail.length === 0 ?\n        head :\n        C.factory.path(subType, [ head, ...tail ], C.factory.sourceLocation(head, tailEnd)));\n    },\n  };\n}\n\n/**\n * [[92]](https://www.w3.org/TR/sparql11-query/#rPathEltOrInverse)\n */\nexport const pathEltOrInverse: SparqlGrammarRule<'pathEltOrInverse', PathModified | Path> = <const> {\n  name: 'pathEltOrInverse',\n  impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OR }) => C => OR<Path | TermIri>([\n    { ALT: () => SUBRULE1(pathElt, undefined) },\n    { ALT: () => {\n      const hat = CONSUME(l.symbols.hat);\n      const item = SUBRULE2(pathElt, undefined);\n      return ACTION(() => C.factory.path('^', [ item ], C.factory.sourceLocation(hat, item)));\n    } },\n  ]),\n};\n\n/**\n * [[90]](https://www.w3.org/TR/sparql11-query/#rPathSequence)\n */\nexport const pathSequence = pathChainHelper('pathSequence', l.symbols.slash, '/', pathEltOrInverse);\n\n/**\n * [[89]](https://www.w3.org/TR/sparql11-query/#rPathAlternative)\n */\nexport const pathAlternative = pathChainHelper('pathAlternative', l.symbols.pipe, '|', pathSequence);\n\n/**\n * [[91]](https://www.w3.org/TR/sparql11-query/#rPathElt)\n */\nexport const pathElt: SparqlGrammarRule<'pathElt', PathModified | Path> = <const> {\n  name: 'pathElt',\n  impl: ({ ACTION, SUBRULE, OPTION }) => (C) => {\n    const item = SUBRULE(pathPrimary, undefined);\n    const modification = OPTION(() => SUBRULE(pathMod, undefined));\n    return ACTION(() => modification === undefined ?\n      item :\n      C.factory.path(modification.image, [ item ], C.factory.sourceLocation(item, modification)));\n  },\n};\n\n/**\n * [[93]](https://www.w3.org/TR/sparql11-query/#rPathMod)\n */\nexport const pathMod: SparqlGrammarRule<'pathMod', IToken & { image: '*' | '+' | '?' }> = <const> {\n  name: 'pathMod',\n  impl: ({ CONSUME, OR }) => () => OR<RuleDefReturn<typeof pathMod>>([\n    { ALT: () => <RuleDefReturn<typeof pathMod>> CONSUME(l.symbols.question) },\n    { ALT: () => <RuleDefReturn<typeof pathMod>> CONSUME(l.symbols.star) },\n    { ALT: () => <RuleDefReturn<typeof pathMod>> CONSUME(l.symbols.opPlus) },\n  ]),\n};\n\n/**\n * [[94]](https://www.w3.org/TR/sparql11-query/#rPathPrimary)\n */\nexport const pathPrimary: SparqlGrammarRule<'pathPrimary', Path> = <const> {\n  name: 'pathPrimary',\n  impl: ({ SUBRULE, CONSUME, OR }) => () => OR<Path>([\n    { ALT: () => SUBRULE(iri, undefined) },\n    { ALT: () => SUBRULE(verbA, undefined) },\n    { ALT: () => SUBRULE(pathNegatedPropertySet, undefined) },\n    { ALT: () => {\n      CONSUME(l.symbols.LParen);\n      const resRecursive = SUBRULE(path, undefined);\n      CONSUME(l.symbols.RParen);\n      return resRecursive;\n    } },\n  ]),\n};\n\n/**\n * [[95]](https://www.w3.org/TR/sparql11-query/#rPathNegatedPropertySet)\n */\nexport const pathNegatedPropertySet: SparqlGrammarRule<'pathNegatedPropertySet', PathNegated> = <const> {\n  name: 'pathNegatedPropertySet',\n  impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, OR, MANY }) => (C) => {\n    const exclamation = CONSUME(l.symbols.exclamation);\n    return OR<PathNegated>([\n      { ALT: () => {\n        const noAlternative = SUBRULE1(pathOneInPropertySet, undefined);\n        return ACTION(() =>\n          C.factory.path('!', [ noAlternative ], C.factory.sourceLocation(exclamation, noAlternative)));\n      } },\n      { ALT: () => {\n        const open = CONSUME(l.symbols.LParen);\n\n        const head = SUBRULE2(pathOneInPropertySet, undefined);\n        const tail: (TermIri | PathNegatedElt)[] = [];\n        MANY(() => {\n          CONSUME(l.symbols.pipe);\n          const item = SUBRULE3(pathOneInPropertySet, undefined);\n          tail.push(item);\n        });\n\n        const close = CONSUME(l.symbols.RParen);\n\n        return ACTION(() => {\n          const F = C.factory;\n          if (tail.length === 0) {\n            return F.path('!', [ head ], F.sourceLocation(exclamation, close));\n          }\n          return F.path(\n            '!',\n            [ F.path('|', [ head, ...tail ], F.sourceLocation(open, close)) ],\n            F.sourceLocation(exclamation, close),\n          );\n        });\n      } },\n    ]);\n  },\n};\n\n/**\n * [[96]](https://www.w3.org/TR/sparql11-query/#rPathOneInPropertySet)\n */\nexport const pathOneInPropertySet: SparqlGrammarRule<'pathOneInPropertySet', TermIri | PathNegatedElt> = <const> {\n  name: 'pathOneInPropertySet',\n  impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => C =>\n    OR1<TermIri | PathNegatedElt>([\n      { ALT: () => SUBRULE1(iri, undefined) },\n      { ALT: () => SUBRULE1(verbA, undefined) },\n      { ALT: () => {\n        const hat = CONSUME(l.symbols.hat);\n        const item = OR2<TermIri>([\n          { ALT: () => SUBRULE2(iri, undefined) },\n          { ALT: () => SUBRULE2(verbA, undefined) },\n        ]);\n        return ACTION(() =>\n          C.factory.path('^', [ item ], C.factory.sourceLocation(hat, item)));\n      } },\n    ]),\n};\n"]}

package/lib/grammar/queryUnit/queryUnit.d.ts

@@ -0,0 +1,48 @@
+import type { Wrap } from '@traqula/core';
+import type { PatternBgp, PatternValues, Query, QueryAsk, QueryConstruct, QueryDescribe, QuerySelect, SubSelect } from '../../RoundTripTypes';
+import type { SparqlGrammarRule, SparqlRule } from '../../Sparql11types';
+/**
+ * [[1]](https://www.w3.org/TR/sparql11-query/#rQueryUnit)
+ */
+export declare const queryUnit: SparqlGrammarRule<'queryUnit', Query>;
+export type HandledByBase = 'type' | 'context' | 'values';
+/**
+ * [[2]](https://www.w3.org/TR/sparql11-query/#rQuery)
+ */
+export declare const query: SparqlRule<'query', Query>;
+/**
+ * [[7]](https://www.w3.org/TR/sparql11-query/#rSelectQuery)
+ */
+export declare const selectQuery: SparqlRule<'selectQuery', Omit<QuerySelect, HandledByBase>>;
+/**
+ * [[8]](https://www.w3.org/TR/sparql11-query/#rSubSelect)
+ */
+export declare const subSelect: SparqlGrammarRule<'subSelect', SubSelect>;
+/**
+ * [[9]](https://www.w3.org/TR/sparql11-query/#rSelectClause)
+ */
+export declare const selectClause: SparqlRule<'selectClause', Wrap<Pick<QuerySelect, 'variables' | 'distinct' | 'reduced'>>>;
+/**
+ * [[10]](https://www.w3.org/TR/sparql11-query/#rConstructQuery)
+ */
+export declare const constructQuery: SparqlRule<'constructQuery', Omit<QueryConstruct, HandledByBase>>;
+/**
+ * [[11]](https://www.w3.org/TR/sparql11-query/#rDescribeQuery)
+ */
+export declare const describeQuery: SparqlRule<'describeQuery', Omit<QueryDescribe, HandledByBase>>;
+/**
+ * [[12]](https://www.w3.org/TR/sparql11-query/#rAskQuery)
+ */
+export declare const askQuery: SparqlRule<'askQuery', Omit<QueryAsk, HandledByBase>>;
+/**
+ * [[28]](https://www.w3.org/TR/sparql11-query/#rValuesClause)
+ */
+export declare const valuesClause: SparqlGrammarRule<'valuesClause', PatternValues | undefined>;
+/**
+ * [[73]](https://www.w3.org/TR/sparql11-query/#ConstructTemplate)
+ */
+export declare const constructTemplate: SparqlGrammarRule<'constructTemplate', Wrap<PatternBgp>>;
+/**
+ * [[12]](https://www.w3.org/TR/sparql11-query/#rConstructTriples)
+ */
+export declare const constructTriples: SparqlGrammarRule<'constructTriples', PatternBgp>;

package/lib/grammar/queryUnit/queryUnit.js

@@ -0,0 +1,366 @@
+import * as l from '../../lexer';
+import { queryIsGood } from '../../validation/validators';
+import { datasetClauseStar } from '../dataSetClause';
+import { expression } from '../expression';
+import { prologue, var_, varOrIri, varOrTerm } from '../general';
+import { solutionModifier } from '../solutionModifier';
+import { triplesBlock, triplesTemplate } from '../tripleBlock';
+import { inlineData, whereClause } from '../whereClause';
+/**
+ * [[1]](https://www.w3.org/TR/sparql11-query/#rQueryUnit)
+ */
+export const queryUnit = {
+    name: 'queryUnit',
+    impl: ({ SUBRULE }) => () => SUBRULE(query, undefined),
+};
+/**
+ * [[2]](https://www.w3.org/TR/sparql11-query/#rQuery)
+ */
+export const query = {
+    name: 'query',
+    impl: ({ ACTION, SUBRULE, OR }) => (C) => {
+        const prologueValues = SUBRULE(prologue, undefined);
+        const subType = OR([
+            { ALT: () => SUBRULE(selectQuery, undefined) },
+            { ALT: () => SUBRULE(constructQuery, undefined) },
+            { ALT: () => SUBRULE(describeQuery, undefined) },
+            { ALT: () => SUBRULE(askQuery, undefined) },
+        ]);
+        const values = SUBRULE(valuesClause, undefined);
+        return ACTION(() => ({
+            context: prologueValues,
+            ...subType,
+            type: 'query',
+            ...(values && { values }),
+            loc: C.factory.sourceLocation(prologueValues.at(0), subType, values),
+        }));
+    },
+    gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {
+        SUBRULE(prologue, ast.context, undefined);
+        if (F.isQuerySelect(ast)) {
+            SUBRULE(selectQuery, ast, undefined);
+        }
+        else if (F.isQueryConstruct(ast)) {
+            SUBRULE(constructQuery, ast, undefined);
+        }
+        else if (F.isQueryDescribe(ast)) {
+            SUBRULE(describeQuery, ast, undefined);
+        }
+        else if (F.isQueryAsk(ast)) {
+            SUBRULE(askQuery, ast, undefined);
+        }
+        if (ast.values) {
+            SUBRULE(inlineData, ast.values, undefined);
+        }
+    },
+};
+/**
+ * [[7]](https://www.w3.org/TR/sparql11-query/#rSelectQuery)
+ */
+export const selectQuery = {
+    name: 'selectQuery',
+    impl: ({ ACTION, SUBRULE }) => (C) => {
+        const selectVal = SUBRULE(selectClause, undefined);
+        const from = SUBRULE(datasetClauseStar, undefined);
+        const where = SUBRULE(whereClause, undefined);
+        const modifiers = SUBRULE(solutionModifier, undefined);
+        return ACTION(() => {
+            const ret = {
+                subType: 'select',
+                where: where.val,
+                solutionModifiers: modifiers,
+                datasets: from,
+                ...selectVal.val,
+                loc: C.factory.sourceLocation(selectVal, where, modifiers.group, modifiers.having, modifiers.order, modifiers.limitOffset),
+            };
+            queryIsGood(ret);
+            return ret;
+        });
+    },
+    gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {
+        SUBRULE(selectClause, F.wrap({
+            variables: ast.variables,
+            distinct: ast.distinct,
+            reduced: ast.reduced,
+        }, F.sourceLocation(...ast.variables)), undefined);
+        SUBRULE(datasetClauseStar, ast.datasets, undefined);
+        SUBRULE(whereClause, F.wrap(ast.where, ast.where.loc), undefined);
+        SUBRULE(solutionModifier, ast.solutionModifiers, undefined);
+    },
+};
+/**
+ * [[8]](https://www.w3.org/TR/sparql11-query/#rSubSelect)
+ */
+export const subSelect = {
+    name: 'subSelect',
+    impl: ({ ACTION, SUBRULE }) => (C) => {
+        const selectVal = SUBRULE(selectClause, undefined);
+        const where = SUBRULE(whereClause, undefined);
+        const modifiers = SUBRULE(solutionModifier, undefined);
+        const values = SUBRULE(valuesClause, undefined);
+        return ACTION(() => C.factory.querySelect({
+            where: where.val,
+            datasets: C.factory.datasetClauses([], C.factory.sourceLocation()),
+            context: [],
+            solutionModifiers: modifiers,
+            ...selectVal.val,
+            ...(values && { values }),
+        }, C.factory.sourceLocation(selectVal, where, modifiers.group, modifiers.having, modifiers.order, modifiers.limitOffset, values)));
+    },
+};
+/**
+ * [[9]](https://www.w3.org/TR/sparql11-query/#rSelectClause)
+ */
+export const selectClause = {
+    name: 'selectClause',
+    impl: ({ ACTION, AT_LEAST_ONE, SUBRULE1, SUBRULE2, CONSUME, OPTION, OR1, OR2, OR3, }) => (C) => {
+        const select = CONSUME(l.select);
+        const couldParseAgg = ACTION(() => C.parseMode.has('canParseAggregate') || !C.parseMode.add('canParseAggregate'));
+        const distinctAndReduced = OPTION(() => OR1([
+            { ALT: () => {
+                    CONSUME(l.distinct);
+                    return [true, false];
+                } },
+            { ALT: () => {
+                    CONSUME(l.reduced);
+                    return [false, true];
+                } },
+        ])) ?? [false, false];
+        const distRed = ACTION(() => {
+            const [distinct, reduced] = distinctAndReduced;
+            return {
+                ...(distinct && { distinct }),
+                ...(reduced && { reduced }),
+            };
+        });
+        let last;
+        const val = OR2([
+            { ALT: () => {
+                    const star = CONSUME(l.symbols.star);
+                    return ACTION(() => {
+                        last = star;
+                        return { variables: [C.factory.wildcard(C.factory.sourceLocation(star))], ...distRed };
+                    });
+                } },
+            { ALT: () => {
+                    const usedVars = [];
+                    const variables = [];
+                    AT_LEAST_ONE(() => OR3([
+                        { ALT: () => {
+                                const raw = SUBRULE1(var_, undefined);
+                                ACTION(() => {
+                                    if (usedVars.some(v => v.value === raw.value)) {
+                                        throw new Error(`Variable ${raw.value} used more than once in SELECT clause`);
+                                    }
+                                    usedVars.push(raw);
+                                    variables.push(raw);
+                                    last = raw;
+                                });
+                            } },
+                        { ALT: () => {
+                                const open = CONSUME(l.symbols.LParen);
+                                const expr = SUBRULE1(expression, undefined);
+                                CONSUME(l.as);
+                                const variable = SUBRULE2(var_, undefined);
+                                const close = CONSUME(l.symbols.RParen);
+                                ACTION(() => {
+                                    last = close;
+                                    if (usedVars.some(v => v.value === variable.value)) {
+                                        throw new Error(`Variable ${variable.value} used more than once in SELECT clause`);
+                                    }
+                                    usedVars.push(variable);
+                                    variables.push(C.factory.patternBind(expr, variable, C.factory.sourceLocation(open, last)));
+                                });
+                            } },
+                    ]));
+                    return { variables, ...distRed };
+                } },
+        ]);
+        ACTION(() => !couldParseAgg && C.parseMode.delete('canParseAggregate'));
+        return ACTION(() => C.factory.wrap(val, C.factory.sourceLocation(select, last)));
+    },
+    gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
+        F.printFilter(ast, () => {
+            PRINT_WORD('SELECT');
+            if (ast.val.distinct) {
+                PRINT_WORD('DISTINCT');
+            }
+            else if (ast.val.reduced) {
+                PRINT_WORD('REDUCED');
+            }
+        });
+        for (const variable of ast.val.variables) {
+            if (F.isWildcard(variable)) {
+                F.printFilter(ast, () => PRINT_WORD('*'));
+            }
+            else if (F.isTerm(variable)) {
+                SUBRULE(var_, variable, undefined);
+            }
+            else {
+                F.printFilter(ast, () => PRINT_WORD('('));
+                SUBRULE(expression, variable.expression, undefined);
+                F.printFilter(ast, () => PRINT_WORD('AS'));
+                SUBRULE(var_, variable.variable, undefined);
+                F.printFilter(ast, () => PRINT_WORD(')'));
+            }
+        }
+    },
+};
+/**
+ * [[10]](https://www.w3.org/TR/sparql11-query/#rConstructQuery)
+ */
+export const constructQuery = {
+    name: 'constructQuery',
+    impl: ({ ACTION, SUBRULE1, SUBRULE2, CONSUME, OR }) => (C) => {
+        const construct = CONSUME(l.construct);
+        return OR([
+            { ALT: () => {
+                    const template = SUBRULE1(constructTemplate, undefined);
+                    const from = SUBRULE1(datasetClauseStar, undefined);
+                    const where = SUBRULE1(whereClause, undefined);
+                    const modifiers = SUBRULE1(solutionModifier, undefined);
+                    return ACTION(() => ({
+                        subType: 'construct',
+                        template: template.val,
+                        datasets: from,
+                        where: where.val,
+                        solutionModifiers: modifiers,
+                        loc: C.factory.sourceLocation(construct, where, modifiers.group, modifiers.having, modifiers.order, modifiers.limitOffset),
+                    }));
+                } },
+            { ALT: () => {
+                    const from = SUBRULE2(datasetClauseStar, undefined);
+                    CONSUME(l.where);
+                    // ConstructTemplate is same as '{' TriplesTemplate? '}'
+                    const template = SUBRULE2(constructTemplate, undefined);
+                    const modifiers = SUBRULE2(solutionModifier, undefined);
+                    return ACTION(() => ({
+                        subType: 'construct',
+                        template: template.val,
+                        datasets: from,
+                        where: C.factory.patternGroup([template.val], C.factory.sourceLocation()),
+                        solutionModifiers: modifiers,
+                        loc: C.factory.sourceLocation(construct, template, modifiers.group, modifiers.having, modifiers.order, modifiers.limitOffset),
+                    }));
+                } },
+        ]);
+    },
+    gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
+        F.printFilter(ast, () => PRINT_WORD('CONSTRUCT'));
+        if (!F.isSourceLocationNoMaterialize(ast.where.loc)) {
+            // You are NOT in second case construct
+            F.printFilter(ast, () => PRINT_WORD('{'));
+            SUBRULE(triplesBlock, ast.template, undefined);
+            F.printFilter(ast, () => PRINT_WORD('}'));
+        }
+        SUBRULE(datasetClauseStar, ast.datasets, undefined);
+        if (F.isSourceLocationNoMaterialize(ast.where.loc)) {
+            SUBRULE(whereClause, F.wrap(F.patternGroup([ast.template], ast.template.loc), ast.template.loc), undefined);
+        }
+        else {
+            SUBRULE(whereClause, F.wrap(ast.where, ast.where.loc), undefined);
+        }
+        SUBRULE(solutionModifier, ast.solutionModifiers, undefined);
+    },
+};
+/**
+ * [[11]](https://www.w3.org/TR/sparql11-query/#rDescribeQuery)
+ */
+export const describeQuery = {
+    name: 'describeQuery',
+    impl: ({ ACTION, AT_LEAST_ONE, SUBRULE1, CONSUME, OPTION, OR }) => (C) => {
+        const describe = CONSUME(l.describe);
+        const variables = OR([
+            { ALT: () => {
+                    const variables = [];
+                    AT_LEAST_ONE(() => {
+                        variables.push(SUBRULE1(varOrIri, undefined));
+                    });
+                    return variables;
+                } },
+            { ALT: () => {
+                    const star = CONSUME(l.symbols.star);
+                    return [ACTION(() => C.factory.wildcard(C.factory.sourceLocation(star)))];
+                } },
+        ]);
+        const from = SUBRULE1(datasetClauseStar, undefined);
+        const where = OPTION(() => SUBRULE1(whereClause, undefined));
+        const modifiers = SUBRULE1(solutionModifier, undefined);
+        return ACTION(() => ({
+            subType: 'describe',
+            variables,
+            datasets: from,
+            ...(where && { where: where.val }),
+            solutionModifiers: modifiers,
+            loc: C.factory.sourceLocation(describe, ...variables, from, where, modifiers.group, modifiers.having, modifiers.order, modifiers.limitOffset),
+        }));
+    },
+    gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
+        F.printFilter(ast, () => PRINT_WORD('DESCRIBE'));
+        if (F.isWildcard(ast.variables[0])) {
+            F.printFilter(ast, () => PRINT_WORD('*'));
+        }
+        else {
+            for (const variable of ast.variables) {
+                SUBRULE(varOrTerm, variable, undefined);
+            }
+        }
+        SUBRULE(datasetClauseStar, ast.datasets, undefined);
+        if (ast.where) {
+            SUBRULE(whereClause, F.wrap(ast.where, ast.loc), undefined);
+        }
+        SUBRULE(solutionModifier, ast.solutionModifiers, undefined);
+    },
+};
+/**
+ * [[12]](https://www.w3.org/TR/sparql11-query/#rAskQuery)
+ */
+export const askQuery = {
+    name: 'askQuery',
+    impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
+        const ask = CONSUME(l.ask);
+        const from = SUBRULE(datasetClauseStar, undefined);
+        const where = SUBRULE(whereClause, undefined);
+        const modifiers = SUBRULE(solutionModifier, undefined);
+        return ACTION(() => ({
+            subType: 'ask',
+            datasets: from,
+            where: where.val,
+            solutionModifiers: modifiers,
+            loc: C.factory.sourceLocation(ask, from, where, modifiers.group, modifiers.having, modifiers.order, modifiers.limitOffset),
+        }));
+    },
+    gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
+        F.printFilter(ast, () => PRINT_WORD('ASK'));
+        SUBRULE(datasetClauseStar, ast.datasets, undefined);
+        SUBRULE(whereClause, F.wrap(ast.where, ast.loc), undefined);
+        SUBRULE(solutionModifier, ast.solutionModifiers, undefined);
+    },
+};
+/**
+ * [[28]](https://www.w3.org/TR/sparql11-query/#rValuesClause)
+ */
+export const valuesClause = {
+    name: 'valuesClause',
+    impl: ({ OPTION, SUBRULE }) => () => OPTION(() => SUBRULE(inlineData, undefined)),
+};
+/**
+ * [[73]](https://www.w3.org/TR/sparql11-query/#ConstructTemplate)
+ */
+export const constructTemplate = {
+    name: 'constructTemplate',
+    impl: ({ ACTION, SUBRULE1, CONSUME, OPTION }) => (C) => {
+        const open = CONSUME(l.symbols.LCurly);
+        const triples = OPTION(() => SUBRULE1(constructTriples, undefined));
+        const close = CONSUME(l.symbols.RCurly);
+        return ACTION(() => C.factory.wrap(triples ?? C.factory.patternBgp([], C.factory.sourceLocation()), C.factory.sourceLocation(open, close)));
+    },
+};
+/**
+ * [[12]](https://www.w3.org/TR/sparql11-query/#rConstructTriples)
+ */
+export const constructTriples = {
+    name: 'constructTriples',
+    impl: triplesTemplate.impl,
+};
+//# sourceMappingURL=queryUnit.js.map