@traqula/rules-sparql-1-1 0.0.1-alpha.176 → 0.0.1

package/lib/grammar/propertyPaths.js

@@ -1,48 +1,67 @@
 import * as l from '../lexer';
-import { verbA } from './general';
-import { iri } from './literals';
+import { iri, verbA } from './literals';
 /**
  * [[88]](https://www.w3.org/TR/sparql11-query/#rPath)
  */
 export const path = {
     name: 'path',
     impl: ({ SUBRULE }) => () => SUBRULE(pathAlternative, undefined),
-    gImpl: ({ SUBRULE }) => (ast) => {
-        if ('type' in ast) {
-            // Infix
-            if (ast.pathType === '/' || ast.pathType === '|') {
-                return `( ${ast.items.map(item => SUBRULE(path, item, undefined)).join(ast.pathType)} )`;
-            }
-            // Prefix
-            if (ast.pathType === '^' || ast.pathType === '!') {
-                return `${ast.pathType}${SUBRULE(path, ast.items[0], undefined)}`;
-            }
-            // Postfix
-            if (ast.pathType === '*' || ast.pathType === '+' || ast.pathType === '?') {
-                return `( ${SUBRULE(path, ast.items[0], undefined)} )${ast.pathType}`;
+};
+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(')'));
         }
-        return SUBRULE(iri, ast, undefined);
     },
 };
-export function pathHelper(name, SEP, pathType, subRule) {
+export function pathChainHelper(name, SEP, subType, subRule) {
     return {
         name,
-        impl: ({ SUBRULE, AT_LEAST_ONE_SEP }) => () => {
-            const alternatives = [];
-            AT_LEAST_ONE_SEP({
-                DEF: () => {
-                    alternatives.push(SUBRULE(subRule, undefined));
-                },
-                SEP,
+        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 alternatives.length === 1 ?
-                alternatives[0] :
-                {
-                    type: 'path',
-                    pathType,
-                    items: alternatives,
-                };
+            return ACTION(() => tail.length === 0 ?
+                head :
+                C.factory.path(subType, [head, ...tail], C.factory.sourceLocation(head, tailEnd)));
         },
     };
 }
@@ -51,48 +70,34 @@ export function pathHelper(name, SEP, pathType, subRule) {
  */
 export const pathEltOrInverse = {
     name: 'pathEltOrInverse',
-    impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR }) => () => OR([
-        {
-            ALT: () => SUBRULE1(pathElt, undefined),
-        },
-        {
-            ALT: () => {
-                CONSUME(l.symbols.hat);
+    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 {
-                    type: 'path',
-                    pathType: '^',
-                    items: [
-                        item,
-                    ],
-                };
-            },
-        },
+                return ACTION(() => C.factory.path('^', [item], C.factory.sourceLocation(hat, item)));
+            } },
     ]),
 };
 /**
  * [[90]](https://www.w3.org/TR/sparql11-query/#rPathSequence)
  */
-export const pathSequence = pathHelper('pathSequence', l.symbols.slash, '/', pathEltOrInverse);
+export const pathSequence = pathChainHelper('pathSequence', l.symbols.slash, '/', pathEltOrInverse);
 /**
  * [[89]](https://www.w3.org/TR/sparql11-query/#rPathAlternative)
  */
-export const pathAlternative = pathHelper('pathAlternative', l.symbols.pipe, '|', pathSequence);
+export const pathAlternative = pathChainHelper('pathAlternative', l.symbols.pipe, '|', pathSequence);
 /**
  * [[91]](https://www.w3.org/TR/sparql11-query/#rPathElt)
  */
 export const pathElt = {
     name: 'pathElt',
-    impl: ({ SUBRULE, OPTION }) => () => {
+    impl: ({ ACTION, SUBRULE, OPTION }) => (C) => {
         const item = SUBRULE(pathPrimary, undefined);
         const modification = OPTION(() => SUBRULE(pathMod, undefined));
-        return modification === undefined ?
+        return ACTION(() => modification === undefined ?
             item :
-            {
-                type: 'path',
-                pathType: modification,
-                items: [item],
-            };
+            C.factory.path(modification.image, [item], C.factory.sourceLocation(item, modification)));
     },
 };
 /**
@@ -101,24 +106,9 @@ export const pathElt = {
 export const pathMod = {
     name: 'pathMod',
     impl: ({ CONSUME, OR }) => () => OR([
-        {
-            ALT: () => {
-                CONSUME(l.symbols.question);
-                return '?';
-            },
-        },
-        {
-            ALT: () => {
-                CONSUME(l.symbols.star);
-                return '*';
-            },
-        },
-        {
-            ALT: () => {
-                CONSUME(l.symbols.opPlus);
-                return '+';
-            },
-        },
+        { ALT: () => CONSUME(l.symbols.question) },
+        { ALT: () => CONSUME(l.symbols.star) },
+        { ALT: () => CONSUME(l.symbols.opPlus) },
     ]),
 };
 /**
@@ -128,28 +118,14 @@ export const pathPrimary = {
     name: 'pathPrimary',
     impl: ({ SUBRULE, CONSUME, OR }) => () => OR([
         { ALT: () => SUBRULE(iri, undefined) },
-        {
-            ALT: () => SUBRULE(verbA, undefined),
-        },
-        {
-            ALT: () => {
-                CONSUME(l.symbols.exclamation);
-                const negatedPath = SUBRULE(pathNegatedPropertySet, undefined);
-                return {
-                    type: 'path',
-                    pathType: '!',
-                    items: negatedPath,
-                };
-            },
-        },
-        {
-            ALT: () => {
+        { ALT: () => SUBRULE(verbA, undefined) },
+        { ALT: () => SUBRULE(pathNegatedPropertySet, undefined) },
+        { ALT: () => {
                 CONSUME(l.symbols.LParen);
                 const resRecursive = SUBRULE(path, undefined);
                 CONSUME(l.symbols.RParen);
                 return resRecursive;
-            },
-        },
+            } },
     ]),
 };
 /**
@@ -157,55 +133,50 @@ export const pathPrimary = {
  */
 export const pathNegatedPropertySet = {
     name: 'pathNegatedPropertySet',
-    impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR, MANY_SEP }) => () => OR([
-        {
-            ALT: () => [SUBRULE1(pathOneInPropertySet, undefined)],
-        },
-        {
-            ALT: () => {
-                CONSUME(l.symbols.LParen);
-                const items = [];
-                MANY_SEP({
-                    DEF: () => {
-                        items.push(SUBRULE2(pathOneInPropertySet, undefined));
-                    },
-                    SEP: l.symbols.pipe,
-                });
-                CONSUME(l.symbols.RParen);
-                if (items.length === 1) {
-                    return items;
-                }
-                return [{
-                        type: 'path',
-                        pathType: '|',
-                        items,
-                    }];
-            },
-        },
-    ]),
+    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: ({ CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => () => OR1([
+    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => C => OR1([
         { ALT: () => SUBRULE1(iri, undefined) },
         { ALT: () => SUBRULE1(verbA, undefined) },
-        {
-            ALT: () => {
-                CONSUME(l.symbols.hat);
+        { ALT: () => {
+                const hat = CONSUME(l.symbols.hat);
                 const item = OR2([
                     { ALT: () => SUBRULE2(iri, undefined) },
                     { ALT: () => SUBRULE2(verbA, undefined) },
                 ]);
-                return {
-                    type: 'path',
-                    pathType: '^',
-                    items: [item],
-                };
-            },
-        },
+                return ACTION(() => C.factory.path('^', [item], C.factory.sourceLocation(hat, item)));
+            } },
     ]),
 };
 //# sourceMappingURL=propertyPaths.js.map

package/lib/grammar/propertyPaths.js.map

@@ -1 +1 @@
-{"version":3,"file":"propertyPaths.js","sourceRoot":"","sources":["propertyPaths.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAS9B,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEjC;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAAuD;IACtE,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,SAAS,CAAC;IAChE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9B,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;YAClB,QAAQ;YACR,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBACjD,OAAO,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC3F,CAAC;YACD,SAAS;YACT,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBACjD,OAAO,GAAG,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;YACpE,CAAC;YACD,UAAU;YACV,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBACzE,OAAO,KAAK,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;YACxE,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC,GAAG,EAAY,GAAG,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;CACF,CAAC;AAEF,MAAM,UAAU,UAAU,CACxB,IAAO,EACP,GAAc,EACd,QAAmB,EACnB,OAA0D;IAE1D,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAC5C,MAAM,YAAY,GAA+B,EAAE,CAAC;YACpD,gBAAgB,CAAC;gBACf,GAAG,EAAE,GAAG,EAAE;oBACR,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;gBACjD,CAAC;gBACD,GAAG;aACJ,CAAC,CAAC;YACH,OAAO,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;gBAChC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;gBACf;oBACE,IAAI,EAAE,MAAM;oBACZ,QAAQ;oBACR,KAAK,EAAE,YAAY;iBACpB,CAAC;QACR,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA0E;IACrG,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAyB;QAC9E;YACE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;SACxC;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC1C,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,GAAG;oBACb,KAAK,EAAE;wBACL,IAAI;qBACL;iBACF,CAAC;YACJ,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAC,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;AAE/F;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;AAEhG;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAiE;IACnF,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAClC,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,YAAY,KAAK,SAAS,CAAC,CAAC;YACjC,IAAI,CAAC,CAAC;YACJ;gBACE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,YAAY;gBACtB,KAAK,EAAE,CAAE,IAAI,CAAE;aAChB,CAAC;IACR,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAA0D;IAC5E,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAClC;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC5B,OAAO,GAAG,CAAC;YACb,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxB,OAAO,GAAG,CAAC;YACb,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,OAAO,GAAG,CAAC;YACb,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAqE;IAC3F,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAyB;QACnE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE;QACtC;YACE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC;SACrC;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;gBAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,CAAC;gBAC/D,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,GAAG;oBACb,KAAK,EAAE,WAAW;iBACnB,CAAC;YACJ,CAAC;SACF;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,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;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GACgD;IACjF,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAA8B;QAC7F;YACE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAE,QAAQ,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAE;SACzD;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,MAAM,KAAK,GAAmB,EAAE,CAAC;gBACjC,QAAQ,CAAC;oBACP,GAAG,EAAE,GAAG,EAAE;wBACR,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC,CAAC;oBACxD,CAAC;oBACD,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI;iBACpB,CAAC,CAAC;gBACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvB,OAAwB,KAAK,CAAC;gBAChC,CAAC;gBACD,OAAO,CAAC;wBACN,IAAI,EAAE,MAAM;wBACZ,QAAQ,EAAE,GAAG;wBACb,KAAK;qBACN,CAAC,CAAC;YACL,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAoE;IACnG,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CACxD,GAAG,CAAe;QAChB,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;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,GAAG,CAAC;oBACf,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;oBACL,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,GAAG;oBACb,KAAK,EAAE,CAAE,IAAI,CAAE;iBAChB,CAAC;YACJ,CAAC;SACF;KACF,CAAC;CACL,CAAC","sourcesContent":["import type { TokenType } from 'chevrotain';\nimport * as l from '../lexer';\nimport type {\n  IriTerm,\n  IriTermOrElt,\n  NegatedPropertySet,\n  PropertyPath,\n  SparqlGrammarRule,\n  SparqlRule,\n} from '../Sparql11types';\nimport { verbA } from './general';\nimport { iri } from './literals';\n\n/**\n * [[88]](https://www.w3.org/TR/sparql11-query/#rPath)\n */\nexport const path: SparqlRule<'path', PropertyPath | IriTerm> = <const> {\n  name: 'path',\n  impl: ({ SUBRULE }) => () => SUBRULE(pathAlternative, undefined),\n  gImpl: ({ SUBRULE }) => (ast) => {\n    if ('type' in ast) {\n      // Infix\n      if (ast.pathType === '/' || ast.pathType === '|') {\n        return `( ${ast.items.map(item => SUBRULE(path, item, undefined)).join(ast.pathType)} )`;\n      }\n      // Prefix\n      if (ast.pathType === '^' || ast.pathType === '!') {\n        return `${ast.pathType}${SUBRULE(path, ast.items[0], undefined)}`;\n      }\n      // Postfix\n      if (ast.pathType === '*' || ast.pathType === '+' || ast.pathType === '?') {\n        return `( ${SUBRULE(path, ast.items[0], undefined)} )${ast.pathType}`;\n      }\n    }\n    return SUBRULE(iri, <IriTerm> ast, undefined);\n  },\n};\n\nexport function pathHelper<T extends string>(\n  name: T,\n  SEP: TokenType,\n  pathType: '|' | '/',\n  subRule: SparqlGrammarRule<string, PropertyPath | IriTerm>,\n): SparqlGrammarRule<T, PropertyPath | IriTerm> {\n  return {\n    name,\n    impl: ({ SUBRULE, AT_LEAST_ONE_SEP }) => () => {\n      const alternatives: (IriTerm | PropertyPath)[] = [];\n      AT_LEAST_ONE_SEP({\n        DEF: () => {\n          alternatives.push(SUBRULE(subRule, undefined));\n        },\n        SEP,\n      });\n      return alternatives.length === 1 ?\n        alternatives[0] :\n          {\n            type: 'path',\n            pathType,\n            items: alternatives,\n          };\n    },\n  };\n}\n\n/**\n * [[92]](https://www.w3.org/TR/sparql11-query/#rPathEltOrInverse)\n */\nexport const pathEltOrInverse: SparqlGrammarRule<'pathEltOrInverse', PropertyPath | IriTerm> = <const> {\n  name: 'pathEltOrInverse',\n  impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR }) => () => OR<PropertyPath | IriTerm>([\n    {\n      ALT: () => SUBRULE1(pathElt, undefined),\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.hat);\n        const item = SUBRULE2(pathElt, undefined);\n        return {\n          type: 'path',\n          pathType: '^',\n          items: [\n            item,\n          ],\n        };\n      },\n    },\n  ]),\n};\n\n/**\n * [[90]](https://www.w3.org/TR/sparql11-query/#rPathSequence)\n */\nexport const pathSequence = pathHelper('pathSequence', l.symbols.slash, '/', pathEltOrInverse);\n\n/**\n * [[89]](https://www.w3.org/TR/sparql11-query/#rPathAlternative)\n */\nexport const pathAlternative = pathHelper('pathAlternative', l.symbols.pipe, '|', pathSequence);\n\n/**\n * [[91]](https://www.w3.org/TR/sparql11-query/#rPathElt)\n */\nexport const pathElt: SparqlGrammarRule<'pathElt', PropertyPath | IriTerm> = <const> {\n  name: 'pathElt',\n  impl: ({ SUBRULE, OPTION }) => () => {\n    const item = SUBRULE(pathPrimary, undefined);\n    const modification = OPTION(() => SUBRULE(pathMod, undefined));\n    return modification === undefined ?\n      item :\n        {\n          type: 'path',\n          pathType: modification,\n          items: [ item ],\n        };\n  },\n};\n\n/**\n * [[93]](https://www.w3.org/TR/sparql11-query/#rPathMod)\n */\nexport const pathMod: SparqlGrammarRule<'pathMod', '*' | '+' | '?'> = <const> {\n  name: 'pathMod',\n  impl: ({ CONSUME, OR }) => () => OR([\n    {\n      ALT: () => {\n        CONSUME(l.symbols.question);\n        return '?';\n      },\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.star);\n        return '*';\n      },\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.opPlus);\n        return '+';\n      },\n    },\n  ]),\n};\n\n/**\n * [[94]](https://www.w3.org/TR/sparql11-query/#rPathPrimary)\n */\nexport const pathPrimary: SparqlGrammarRule<'pathPrimary', PropertyPath | IriTerm> = <const> {\n  name: 'pathPrimary',\n  impl: ({ SUBRULE, CONSUME, OR }) => () => OR<PropertyPath | IriTerm>([\n    { ALT: () => SUBRULE(iri, undefined) },\n    {\n      ALT: () => SUBRULE(verbA, undefined),\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.exclamation);\n        const negatedPath = SUBRULE(pathNegatedPropertySet, undefined);\n        return {\n          type: 'path',\n          pathType: '!',\n          items: negatedPath,\n        };\n      },\n    },\n    {\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/**\n * [[95]](https://www.w3.org/TR/sparql11-query/#rPathNegatedPropertySet)\n */\nexport const pathNegatedPropertySet:\nSparqlGrammarRule<'pathNegatedPropertySet', NegatedPropertySet['items']> = <const> {\n  name: 'pathNegatedPropertySet',\n  impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR, MANY_SEP }) => () => OR<NegatedPropertySet['items']>([\n    {\n      ALT: () => [ SUBRULE1(pathOneInPropertySet, undefined) ],\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.LParen);\n        const items: IriTermOrElt[] = [];\n        MANY_SEP({\n          DEF: () => {\n            items.push(SUBRULE2(pathOneInPropertySet, undefined));\n          },\n          SEP: l.symbols.pipe,\n        });\n        CONSUME(l.symbols.RParen);\n        if (items.length === 1) {\n          return <[IriTermOrElt]> items;\n        }\n        return [{\n          type: 'path',\n          pathType: '|',\n          items,\n        }];\n      },\n    },\n  ]),\n};\n\n/**\n * [[96]](https://www.w3.org/TR/sparql11-query/#rPathOneInPropertySet)\n */\nexport const pathOneInPropertySet: SparqlGrammarRule<'pathOneInPropertySet', IriTermOrElt> = <const> {\n  name: 'pathOneInPropertySet',\n  impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => () =>\n    OR1<IriTermOrElt>([\n      { ALT: () => SUBRULE1(iri, undefined) },\n      { ALT: () => SUBRULE1(verbA, undefined) },\n      {\n        ALT: () => {\n          CONSUME(l.symbols.hat);\n          const item = OR2([\n            { ALT: () => SUBRULE2(iri, undefined) },\n            { ALT: () => SUBRULE2(verbA, undefined) },\n          ]);\n          return {\n            type: 'path',\n            pathType: '^',\n            items: [ item ],\n          };\n        },\n      },\n    ]),\n};\n"]}
+{"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

@@ -1,52 +1,48 @@
-import type { AskQuery, ConstructQuery, DescribeQuery, Query, SelectQuery, SparqlGrammarRule, SparqlRule, Triple, ValuePatternRow, Variable } from '../../Sparql11types';
-import { Wildcard } from '../../Wildcard';
+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>;
-export type HandledByBase = 'values' | 'type' | 'base' | 'prefixes';
 /**
  * [[7]](https://www.w3.org/TR/sparql11-query/#rSelectQuery)
  */
-export declare const selectQuery: SparqlRule<'selectQuery', Omit<SelectQuery, HandledByBase>>;
+export declare const selectQuery: SparqlRule<'selectQuery', Omit<QuerySelect, HandledByBase>>;
 /**
  * [[8]](https://www.w3.org/TR/sparql11-query/#rSubSelect)
  */
-export declare const subSelect: SparqlGrammarRule<'subSelect', Omit<SelectQuery, 'prefixes'>>;
+export declare const subSelect: SparqlGrammarRule<'subSelect', SubSelect>;
 /**
  * [[9]](https://www.w3.org/TR/sparql11-query/#rSelectClause)
  */
-export interface ISelectClause {
-    variables: Variable[] | [Wildcard];
-    distinct?: true;
-    reduced?: true;
-}
-export declare const selectClause: SparqlRule<'selectClause', ISelectClause>;
+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<ConstructQuery, HandledByBase>>;
+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<DescribeQuery, HandledByBase>>;
+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<AskQuery, HandledByBase>>;
+export declare const askQuery: SparqlRule<'askQuery', Omit<QueryAsk, HandledByBase>>;
 /**
  * [[28]](https://www.w3.org/TR/sparql11-query/#rValuesClause)
  */
-export declare const valuesClause: SparqlRule<'valuesClause', ValuePatternRow[] | undefined>;
+export declare const valuesClause: SparqlGrammarRule<'valuesClause', PatternValues | undefined>;
 /**
  * [[73]](https://www.w3.org/TR/sparql11-query/#ConstructTemplate)
  */
-export declare const constructTemplate: SparqlRule<'constructTemplate', Triple[] | undefined>;
+export declare const constructTemplate: SparqlGrammarRule<'constructTemplate', Wrap<PatternBgp>>;
 /**
  * [[12]](https://www.w3.org/TR/sparql11-query/#rConstructTriples)
  */
-export declare const constructTriples: SparqlGrammarRule<'constructTriples', Triple[]>;
+export declare const constructTriples: SparqlGrammarRule<'constructTriples', PatternBgp>;