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

package/lib/grammar/general.d.ts

@@ -0,0 +1,36 @@
+import type { ContextDefinition, ContextDefinitionBase, ContextDefinitionPrefix, GraphTerm, Term, TermIri, TermVariable } from '../RoundTripTypes';
+import type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';
+/**
+ * [[4]](https://www.w3.org/TR/sparql11-query/#rPrologue)
+ */
+export declare const prologue: SparqlRule<'prologue', ContextDefinition[]>;
+/**
+ * Registers base IRI in the context and returns it.
+ * [[5]](https://www.w3.org/TR/sparql11-query/#rBaseDecl)
+ */
+export declare const baseDecl: SparqlRule<'baseDecl', ContextDefinitionBase>;
+/**
+ * Registers prefix in the context and returns registered key-value-pair.
+ * [[6]](https://www.w3.org/TR/sparql11-query/#rPrefixDecl)
+ */
+export declare const prefixDecl: SparqlRule<'prefixDecl', ContextDefinitionPrefix>;
+/**
+ * [[78]](https://www.w3.org/TR/sparql11-query/#rVerb)
+ */
+export declare const verb: SparqlGrammarRule<'verb', TermVariable | TermIri>;
+/**
+ * [[106]](https://www.w3.org/TR/sparql11-query/#rVarOrTerm)
+ */
+export declare const varOrTerm: SparqlRule<'varOrTerm', Term>;
+/**
+ * [[107]](https://www.w3.org/TR/sparql11-query/#rVarOrIri)
+ */
+export declare const varOrIri: SparqlGrammarRule<'varOrIri', TermIri | TermVariable>;
+/**
+ * [[108]](https://www.w3.org/TR/sparql11-query/#rVar)
+ */
+export declare const var_: SparqlRule<'var', TermVariable>;
+/**
+ * [[109]](https://www.w3.org/TR/sparql11-query/#rGraphTerm)
+ */
+export declare const graphTerm: SparqlRule<'graphTerm', GraphTerm>;

package/lib/grammar/general.js

@@ -0,0 +1,145 @@
+import { CommonIRIs } from '../grammar-helpers/utils';
+import * as l from '../lexer';
+import { blankNode, booleanLiteral, iri, iriFull, numericLiteral, rdfLiteral, verbA } from './literals';
+/**
+ * [[4]](https://www.w3.org/TR/sparql11-query/#rPrologue)
+ */
+export const prologue = {
+    name: 'prologue',
+    impl: ({ SUBRULE, MANY, OR }) => () => {
+        const result = [];
+        MANY(() => OR([
+            { ALT: () => result.push(SUBRULE(baseDecl, undefined)) },
+            // TODO: the [spec](https://www.w3.org/TR/sparql11-query/#iriRefs) says you cannot redefine prefixes.
+            //  We might need to check this.
+            { ALT: () => result.push(SUBRULE(prefixDecl, undefined)) },
+        ]));
+        return result;
+    },
+    gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {
+        for (const context of ast) {
+            if (F.isContextDefinitionBase(context)) {
+                SUBRULE(baseDecl, context, undefined);
+            }
+            else if (F.isContextDefinitionPrefix(context)) {
+                SUBRULE(prefixDecl, context, undefined);
+            }
+        }
+    },
+};
+/**
+ * Registers base IRI in the context and returns it.
+ * [[5]](https://www.w3.org/TR/sparql11-query/#rBaseDecl)
+ */
+export const baseDecl = {
+    name: 'baseDecl',
+    impl: ({ ACTION, CONSUME, SUBRULE }) => (C) => {
+        const base = CONSUME(l.baseDecl);
+        const val = SUBRULE(iriFull, undefined);
+        return ACTION(() => C.factory.contextDefinitionBase(C.factory.sourceLocation(base, val), val));
+    },
+    gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
+        F.printFilter(ast, () => PRINT_WORD('BASE'));
+        SUBRULE(iri, ast.value, undefined);
+    },
+};
+/**
+ * Registers prefix in the context and returns registered key-value-pair.
+ * [[6]](https://www.w3.org/TR/sparql11-query/#rPrefixDecl)
+ */
+export const prefixDecl = {
+    name: 'prefixDecl',
+    impl: ({ ACTION, CONSUME, SUBRULE }) => (C) => {
+        const prefix = CONSUME(l.prefixDecl);
+        const name = CONSUME(l.terminals.pNameNs).image.slice(0, -1);
+        const value = SUBRULE(iriFull, undefined);
+        return ACTION(() => C.factory.contextDefinitionPrefix(C.factory.sourceLocation(prefix, value), name, value));
+    },
+    gImpl: ({ SUBRULE, PRINT_WORDS }) => (ast, { factory: F }) => {
+        F.printFilter(ast, () => {
+            PRINT_WORDS('PREFIX', `${ast.key}:`);
+        });
+        SUBRULE(iri, ast.value, undefined);
+    },
+};
+/**
+ * [[78]](https://www.w3.org/TR/sparql11-query/#rVerb)
+ */
+export const verb = {
+    name: 'verb',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(varOrIri, undefined) },
+        { ALT: () => SUBRULE(verbA, undefined) },
+    ]),
+};
+/**
+ * [[106]](https://www.w3.org/TR/sparql11-query/#rVarOrTerm)
+ */
+export const varOrTerm = {
+    name: 'varOrTerm',
+    impl: ({ SUBRULE, OR }) => C => OR([
+        { GATE: () => C.parseMode.has('canParseVars'), ALT: () => SUBRULE(var_, undefined) },
+        { ALT: () => SUBRULE(graphTerm, undefined) },
+    ]),
+    gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {
+        if (F.isTermVariable(ast)) {
+            return SUBRULE(var_, ast, undefined);
+        }
+        return SUBRULE(graphTerm, ast, undefined);
+    },
+};
+/**
+ * [[107]](https://www.w3.org/TR/sparql11-query/#rVarOrIri)
+ */
+export const varOrIri = {
+    name: 'varOrIri',
+    impl: ({ SUBRULE, OR }) => C => OR([
+        { GATE: () => C.parseMode.has('canParseVars'), ALT: () => SUBRULE(var_, undefined) },
+        { ALT: () => SUBRULE(iri, undefined) },
+    ]),
+};
+/**
+ * [[108]](https://www.w3.org/TR/sparql11-query/#rVar)
+ */
+export const var_ = {
+    name: 'var',
+    impl: ({ ACTION, CONSUME, OR }) => (C) => {
+        const varToken = OR([
+            { ALT: () => CONSUME(l.terminals.var1) },
+            { ALT: () => CONSUME(l.terminals.var2) },
+        ]);
+        return ACTION(() => C.factory.variable(varToken.image.slice(1), C.factory.sourceLocation(varToken)));
+    },
+    gImpl: ({ PRINT_WORD }) => (ast, { factory: F }) => {
+        F.printFilter(ast, () => PRINT_WORD(`?${ast.value}`));
+    },
+};
+/**
+ * [[109]](https://www.w3.org/TR/sparql11-query/#rGraphTerm)
+ */
+export const graphTerm = {
+    name: 'graphTerm',
+    impl: ({ ACTION, SUBRULE, CONSUME, OR }) => C => OR([
+        { ALT: () => SUBRULE(iri, undefined) },
+        { ALT: () => SUBRULE(rdfLiteral, undefined) },
+        { ALT: () => SUBRULE(numericLiteral, undefined) },
+        { ALT: () => SUBRULE(booleanLiteral, undefined) },
+        { GATE: () => C.parseMode.has('canCreateBlankNodes'), ALT: () => SUBRULE(blankNode, undefined) },
+        { ALT: () => {
+                const tokenNil = CONSUME(l.terminals.nil);
+                return ACTION(() => C.factory.namedNode(C.factory.sourceLocation(tokenNil), CommonIRIs.NIL));
+            } },
+    ]),
+    gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {
+        if (F.isTermNamed(ast)) {
+            SUBRULE(iri, ast, undefined);
+        }
+        else if (F.isTermLiteral(ast)) {
+            SUBRULE(rdfLiteral, ast, undefined);
+        }
+        else if (F.isTermBlank(ast)) {
+            SUBRULE(blankNode, ast, undefined);
+        }
+    },
+};
+//# sourceMappingURL=general.js.map

package/lib/grammar/general.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"general.js","sourceRoot":"","sources":["general.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAW9B,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExG;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAwD;IAC3E,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACpC,MAAM,MAAM,GAAwB,EAAE,CAAC;QACvC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;YACZ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE;YACxD,qGAAqG;YACrG,gCAAgC;YAChC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,EAAE;SAC3D,CAAC,CAAC,CAAC;QACJ,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9C,KAAK,MAAM,OAAO,IAAI,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvC,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YACxC,CAAC;iBAAM,IAAI,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChD,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAA0D;IAC7E,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACjG,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAA8D;IACnF,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAE1C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/G,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC3D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE;YACtB,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAA8D;IAC7E,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE;QAC3C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE;KACzC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAA0C;IAC9D,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAO;QACvC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE;QACpF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE;KAC7C,CAAC;IACF,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9C,IAAI,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAkE;IACrF,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAyB;QACzD,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE;QACpF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE;KACvC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAA4C;IAC3D,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,EAAE,CAAC;YAClB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;YACxC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;SACzC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvG,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QACjD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAA+C;IACnE,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAY;QAC7D,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE;QACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE;QAC7C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE;QACjD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE;QACjD,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE;QAChG,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAC1C,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7E,CAAC,EAAE;KACJ,CAAC;IACF,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9C,IAAI,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC/B,CAAC;aAAM,IAAI,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;CACF,CAAC","sourcesContent":["import { CommonIRIs } from '../grammar-helpers/utils';\nimport * as l from '../lexer';\nimport type {\n  ContextDefinition,\n  ContextDefinitionBase,\n  ContextDefinitionPrefix,\n  GraphTerm,\n  Term,\n  TermIri,\n  TermVariable,\n} from '../RoundTripTypes';\nimport type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';\nimport { blankNode, booleanLiteral, iri, iriFull, numericLiteral, rdfLiteral, verbA } from './literals';\n\n/**\n * [[4]](https://www.w3.org/TR/sparql11-query/#rPrologue)\n */\nexport const prologue: SparqlRule<'prologue', ContextDefinition[]> = <const> {\n  name: 'prologue',\n  impl: ({ SUBRULE, MANY, OR }) => () => {\n    const result: ContextDefinition[] = [];\n    MANY(() => OR([\n      { ALT: () => result.push(SUBRULE(baseDecl, undefined)) },\n      // TODO: the [spec](https://www.w3.org/TR/sparql11-query/#iriRefs) says you cannot redefine prefixes.\n      //  We might need to check this.\n      { ALT: () => result.push(SUBRULE(prefixDecl, undefined)) },\n    ]));\n    return result;\n  },\n  gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {\n    for (const context of ast) {\n      if (F.isContextDefinitionBase(context)) {\n        SUBRULE(baseDecl, context, undefined);\n      } else if (F.isContextDefinitionPrefix(context)) {\n        SUBRULE(prefixDecl, context, undefined);\n      }\n    }\n  },\n};\n\n/**\n * Registers base IRI in the context and returns it.\n * [[5]](https://www.w3.org/TR/sparql11-query/#rBaseDecl)\n */\nexport const baseDecl: SparqlRule<'baseDecl', ContextDefinitionBase> = <const> {\n  name: 'baseDecl',\n  impl: ({ ACTION, CONSUME, SUBRULE }) => (C) => {\n    const base = CONSUME(l.baseDecl);\n    const val = SUBRULE(iriFull, undefined);\n    return ACTION(() => C.factory.contextDefinitionBase(C.factory.sourceLocation(base, val), val));\n  },\n  gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n    F.printFilter(ast, () => PRINT_WORD('BASE'));\n    SUBRULE(iri, ast.value, undefined);\n  },\n};\n\n/**\n * Registers prefix in the context and returns registered key-value-pair.\n * [[6]](https://www.w3.org/TR/sparql11-query/#rPrefixDecl)\n */\nexport const prefixDecl: SparqlRule<'prefixDecl', ContextDefinitionPrefix> = <const> {\n  name: 'prefixDecl',\n  impl: ({ ACTION, CONSUME, SUBRULE }) => (C) => {\n    const prefix = CONSUME(l.prefixDecl);\n    const name = CONSUME(l.terminals.pNameNs).image.slice(0, -1);\n    const value = SUBRULE(iriFull, undefined);\n\n    return ACTION(() => C.factory.contextDefinitionPrefix(C.factory.sourceLocation(prefix, value), name, value));\n  },\n  gImpl: ({ SUBRULE, PRINT_WORDS }) => (ast, { factory: F }) => {\n    F.printFilter(ast, () => {\n      PRINT_WORDS('PREFIX', `${ast.key}:`);\n    });\n    SUBRULE(iri, ast.value, undefined);\n  },\n};\n\n/**\n * [[78]](https://www.w3.org/TR/sparql11-query/#rVerb)\n */\nexport const verb: SparqlGrammarRule<'verb', TermVariable | TermIri> = <const> {\n  name: 'verb',\n  impl: ({ SUBRULE, OR }) => () => OR([\n    { ALT: () => SUBRULE(varOrIri, undefined) },\n    { ALT: () => SUBRULE(verbA, undefined) },\n  ]),\n};\n\n/**\n * [[106]](https://www.w3.org/TR/sparql11-query/#rVarOrTerm)\n */\nexport const varOrTerm: SparqlRule<'varOrTerm', Term> = <const> {\n  name: 'varOrTerm',\n  impl: ({ SUBRULE, OR }) => C => OR<Term>([\n    { GATE: () => C.parseMode.has('canParseVars'), ALT: () => SUBRULE(var_, undefined) },\n    { ALT: () => SUBRULE(graphTerm, undefined) },\n  ]),\n  gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {\n    if (F.isTermVariable(ast)) {\n      return SUBRULE(var_, ast, undefined);\n    }\n    return SUBRULE(graphTerm, ast, undefined);\n  },\n};\n\n/**\n * [[107]](https://www.w3.org/TR/sparql11-query/#rVarOrIri)\n */\nexport const varOrIri: SparqlGrammarRule<'varOrIri', TermIri | TermVariable> = <const> {\n  name: 'varOrIri',\n  impl: ({ SUBRULE, OR }) => C => OR<TermIri | TermVariable>([\n    { GATE: () => C.parseMode.has('canParseVars'), ALT: () => SUBRULE(var_, undefined) },\n    { ALT: () => SUBRULE(iri, undefined) },\n  ]),\n};\n\n/**\n * [[108]](https://www.w3.org/TR/sparql11-query/#rVar)\n */\nexport const var_: SparqlRule<'var', TermVariable> = <const> {\n  name: 'var',\n  impl: ({ ACTION, CONSUME, OR }) => (C) => {\n    const varToken = OR([\n      { ALT: () => CONSUME(l.terminals.var1) },\n      { ALT: () => CONSUME(l.terminals.var2) },\n    ]);\n    return ACTION(() => C.factory.variable(varToken.image.slice(1), C.factory.sourceLocation(varToken)));\n  },\n  gImpl: ({ PRINT_WORD }) => (ast, { factory: F }) => {\n    F.printFilter(ast, () => PRINT_WORD(`?${ast.value}`));\n  },\n};\n\n/**\n * [[109]](https://www.w3.org/TR/sparql11-query/#rGraphTerm)\n */\nexport const graphTerm: SparqlRule<'graphTerm', GraphTerm> = <const> {\n  name: 'graphTerm',\n  impl: ({ ACTION, SUBRULE, CONSUME, OR }) => C => OR<GraphTerm>([\n    { ALT: () => SUBRULE(iri, undefined) },\n    { ALT: () => SUBRULE(rdfLiteral, undefined) },\n    { ALT: () => SUBRULE(numericLiteral, undefined) },\n    { ALT: () => SUBRULE(booleanLiteral, undefined) },\n    { GATE: () => C.parseMode.has('canCreateBlankNodes'), ALT: () => SUBRULE(blankNode, undefined) },\n    { ALT: () => {\n      const tokenNil = CONSUME(l.terminals.nil);\n      return ACTION(() =>\n        C.factory.namedNode(C.factory.sourceLocation(tokenNil), CommonIRIs.NIL));\n    } },\n  ]),\n  gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {\n    if (F.isTermNamed(ast)) {\n      SUBRULE(iri, ast, undefined);\n    } else if (F.isTermLiteral(ast)) {\n      SUBRULE(rdfLiteral, ast, undefined);\n    } else if (F.isTermBlank(ast)) {\n      SUBRULE(blankNode, ast, undefined);\n    }\n  },\n};\n"]}

package/lib/grammar/index.d.ts

@@ -0,0 +1,12 @@
+export * from './queryUnit/queryUnit';
+export * from './updateUnit/updateUnit';
+export * from './builtIn';
+export * from './dataSetClause';
+export * from './expression';
+export * from '../expressionHelpers';
+export * from './general';
+export * from './literals';
+export * from './propertyPaths';
+export * from './solutionModifier';
+export * from './tripleBlock';
+export * from './whereClause';

package/lib/grammar/index.js

@@ -0,0 +1,13 @@
+export * from './queryUnit/queryUnit';
+export * from './updateUnit/updateUnit';
+export * from './builtIn';
+export * from './dataSetClause';
+export * from './expression';
+export * from '../expressionHelpers';
+export * from './general';
+export * from './literals';
+export * from './propertyPaths';
+export * from './solutionModifier';
+export * from './tripleBlock';
+export * from './whereClause';
+//# sourceMappingURL=index.js.map

package/lib/grammar/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,yBAAyB,CAAC;AACxC,cAAc,WAAW,CAAC;AAC1B,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,sBAAsB,CAAC;AACrC,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC","sourcesContent":["export * from './queryUnit/queryUnit';\nexport * from './updateUnit/updateUnit';\nexport * from './builtIn';\nexport * from './dataSetClause';\nexport * from './expression';\nexport * from '../expressionHelpers';\nexport * from './general';\nexport * from './literals';\nexport * from './propertyPaths';\nexport * from './solutionModifier';\nexport * from './tripleBlock';\nexport * from './whereClause';\n"]}

package/lib/grammar/literals.d.ts

@@ -0,0 +1,55 @@
+import type { TermBlank, TermIri, TermIriFull, TermIriPrefixed, TermLiteral, TermLiteralStr, TermLiteralTyped } from '../RoundTripTypes';
+import type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';
+export declare function stringEscapedLexical(str: string): string;
+/**
+ * [[120]](https://www.w3.org/TR/sparql11-query/#rRDFLiteral)
+ */
+export declare const rdfLiteral: SparqlRule<'rdfLiteral', TermLiteral>;
+/**
+ * Parses a numeric literal.
+ * [[130]](https://www.w3.org/TR/sparql11-query/#rNumericLiteral)
+ */
+export declare const numericLiteral: SparqlGrammarRule<'numericLiteral', TermLiteralTyped>;
+/**
+ * Parses an unsigned numeric literal.
+ * [[131]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralUnsigned)
+ */
+export declare const numericLiteralUnsigned: SparqlGrammarRule<'numericLiteralUnsigned', TermLiteralTyped>;
+/**
+ * Parses a positive numeric literal.
+ * [[132]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralPositive)
+ */
+export declare const numericLiteralPositive: SparqlGrammarRule<'numericLiteralPositive', TermLiteralTyped>;
+/**
+ * Parses a negative numeric literal.
+ * [[133]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralNegative)
+ */
+export declare const numericLiteralNegative: SparqlGrammarRule<'numericLiteralNegative', TermLiteralTyped>;
+/**
+ * Parses a boolean literal.
+ * [[134]](https://www.w3.org/TR/sparql11-query/#rBooleanLiteral)
+ */
+export declare const booleanLiteral: SparqlGrammarRule<'booleanLiteral', TermLiteralTyped>;
+/**
+ * Parses a string literal.
+ * [[135]](https://www.w3.org/TR/sparql11-query/#rString)
+ */
+export declare const string: SparqlGrammarRule<'string', TermLiteralStr>;
+/**
+ * Parses a named node, either as an IRI or as a prefixed name.
+ * [[136]](https://www.w3.org/TR/sparql11-query/#riri)
+ */
+export declare const iri: SparqlRule<'iri', TermIri>;
+export declare const iriFull: SparqlRule<'iriFull', TermIriFull>;
+/**
+ * Parses a named node with a prefix. Looks up the prefix in the context and returns the full IRI.
+ * [[137]](https://www.w3.org/TR/sparql11-query/#rPrefixedName)
+ */
+export declare const prefixedName: SparqlRule<'prefixedName', TermIriPrefixed>;
+export declare const canCreateBlankNodes: unique symbol;
+/**
+ * Parses blank note and throws an error if 'canCreateBlankNodes' is not in the current parserMode.
+ * [[138]](https://www.w3.org/TR/sparql11-query/#rBlankNode)
+ */
+export declare const blankNode: SparqlRule<'blankNode', TermBlank>;
+export declare const verbA: SparqlGrammarRule<'VerbA', TermIriFull>;

package/lib/grammar/literals.js

@@ -0,0 +1,258 @@
+import { CommonIRIs } from '../grammar-helpers/utils';
+import * as l from '../lexer';
+export function stringEscapedLexical(str) {
+    const lexical = str.replaceAll(/["\\\t\n\r\b\f]/gu, (char) => {
+        switch (char) {
+            case '\t':
+                return '\\t';
+            case '\n':
+                return '\\n';
+            case '\r':
+                return '\\r';
+            case '\b':
+                return '\\b';
+            case '\f':
+                return '\\f';
+            case '"':
+                return '\\"';
+            case '\\':
+                return '\\\\';
+            default:
+                return char;
+        }
+    });
+    return `"${lexical}"`;
+}
+/**
+ * [[120]](https://www.w3.org/TR/sparql11-query/#rRDFLiteral)
+ */
+export const rdfLiteral = {
+    name: 'rdfLiteral',
+    impl: ({ ACTION, SUBRULE1, CONSUME, OPTION, OR }) => (C) => {
+        const value = SUBRULE1(string, undefined);
+        return OPTION(() => OR([
+            { ALT: () => {
+                    const lang = CONSUME(l.terminals.langTag);
+                    return ACTION(() => C.factory.literalTerm(C.factory.sourceLocation(value, lang), value.value, lang.image.slice(1).toLowerCase()));
+                } },
+            { ALT: () => {
+                    CONSUME(l.symbols.hathat);
+                    const iriVal = SUBRULE1(iri, undefined);
+                    return ACTION(() => C.factory.literalTerm(C.factory.sourceLocation(value, iriVal), value.value, iriVal));
+                } },
+        ])) ?? value;
+    },
+    gImpl: ({ SUBRULE, PRINT, PRINT_SPACE_LEFT }) => (ast, { factory }) => {
+        factory.printFilter(ast, () => PRINT_SPACE_LEFT(stringEscapedLexical(ast.value)));
+        if (ast.langOrIri) {
+            if (typeof ast.langOrIri === 'string') {
+                factory.printFilter(ast, () => PRINT('@', ast.langOrIri));
+            }
+            else {
+                factory.printFilter(ast, () => PRINT('^^'));
+                SUBRULE(iri, ast.langOrIri, undefined);
+            }
+        }
+    },
+};
+/**
+ * Parses a numeric literal.
+ * [[130]](https://www.w3.org/TR/sparql11-query/#rNumericLiteral)
+ */
+export const numericLiteral = {
+    name: 'numericLiteral',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(numericLiteralUnsigned, undefined) },
+        { ALT: () => SUBRULE(numericLiteralPositive, undefined) },
+        { ALT: () => SUBRULE(numericLiteralNegative, undefined) },
+    ]),
+};
+/**
+ * Parses an unsigned numeric literal.
+ * [[131]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralUnsigned)
+ */
+export const numericLiteralUnsigned = {
+    name: 'numericLiteralUnsigned',
+    impl: ({ ACTION, CONSUME, OR }) => (C) => {
+        const parsed = OR([
+            { ALT: () => [CONSUME(l.terminals.integer), CommonIRIs.INTEGER] },
+            { ALT: () => [CONSUME(l.terminals.decimal), CommonIRIs.DECIMAL] },
+            { ALT: () => [CONSUME(l.terminals.double), CommonIRIs.DOUBLE] },
+        ]);
+        return ACTION(() => C.factory.literalTerm(C.factory.sourceLocation(parsed[0]), parsed[0].image, C.factory.namedNode(C.factory.sourceLocationNoMaterialize(), parsed[1])));
+    },
+};
+/**
+ * Parses a positive numeric literal.
+ * [[132]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralPositive)
+ */
+export const numericLiteralPositive = {
+    name: 'numericLiteralPositive',
+    impl: ({ ACTION, CONSUME, OR }) => (C) => {
+        const parsed = OR([
+            { ALT: () => [CONSUME(l.terminals.integerPositive), CommonIRIs.INTEGER] },
+            { ALT: () => [CONSUME(l.terminals.decimalPositive), CommonIRIs.DECIMAL] },
+            { ALT: () => [CONSUME(l.terminals.doublePositive), CommonIRIs.DOUBLE] },
+        ]);
+        return ACTION(() => C.factory.literalTerm(C.factory.sourceLocation(parsed[0]), parsed[0].image, C.factory.namedNode(C.factory.sourceLocationNoMaterialize(), parsed[1])));
+    },
+};
+/**
+ * Parses a negative numeric literal.
+ * [[133]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralNegative)
+ */
+export const numericLiteralNegative = {
+    name: 'numericLiteralNegative',
+    impl: ({ ACTION, CONSUME, OR }) => (C) => {
+        const parsed = OR([
+            { ALT: () => [CONSUME(l.terminals.integerNegative), CommonIRIs.INTEGER] },
+            { ALT: () => [CONSUME(l.terminals.decimalNegative), CommonIRIs.DECIMAL] },
+            { ALT: () => [CONSUME(l.terminals.doubleNegative), CommonIRIs.DOUBLE] },
+        ]);
+        return ACTION(() => C.factory.literalTerm(C.factory.sourceLocation(parsed[0]), parsed[0].image, C.factory.namedNode(C.factory.sourceLocationNoMaterialize(), parsed[1])));
+    },
+};
+/**
+ * Parses a boolean literal.
+ * [[134]](https://www.w3.org/TR/sparql11-query/#rBooleanLiteral)
+ */
+export const booleanLiteral = {
+    name: 'booleanLiteral',
+    impl: ({ ACTION, CONSUME, OR }) => (C) => {
+        const token = OR([
+            { ALT: () => CONSUME(l.true_) },
+            { ALT: () => CONSUME(l.false_) },
+        ]);
+        return ACTION(() => C.factory.literalTerm(C.factory.sourceLocation(token), token.image.toLowerCase(), C.factory.namedNode(C.factory.sourceLocationNoMaterialize(), CommonIRIs.BOOLEAN)));
+    },
+};
+/**
+ * Parses a string literal.
+ * [[135]](https://www.w3.org/TR/sparql11-query/#rString)
+ */
+export const string = {
+    name: 'string',
+    impl: ({ ACTION, CONSUME, OR }) => (C) => {
+        const x = OR([
+            { ALT: () => {
+                    const token = CONSUME(l.terminals.stringLiteral1);
+                    return [token, token.image.slice(1, -1)];
+                } },
+            { ALT: () => {
+                    const token = CONSUME(l.terminals.stringLiteral2);
+                    return [token, token.image.slice(1, -1)];
+                } },
+            { ALT: () => {
+                    const token = CONSUME(l.terminals.stringLiteralLong1);
+                    return [token, token.image.slice(3, -3)];
+                } },
+            { ALT: () => {
+                    const token = CONSUME(l.terminals.stringLiteralLong2);
+                    return [token, token.image.slice(3, -3)];
+                } },
+        ]);
+        // Handle string escapes (19.7). (19.2 is handled at input level.)
+        return ACTION(() => {
+            const F = C.factory;
+            const value = x[1].replaceAll(/\\([tnrbf"'\\])/gu, (_, char) => {
+                switch (char) {
+                    case 't':
+                        return '\t';
+                    case 'n':
+                        return '\n';
+                    case 'r':
+                        return '\r';
+                    case 'b':
+                        return '\b';
+                    case 'f':
+                        return '\f';
+                    default:
+                        return char;
+                }
+            });
+            return F.literalTerm(F.sourceLocation(x[0]), value);
+        });
+    },
+};
+/**
+ * Parses a named node, either as an IRI or as a prefixed name.
+ * [[136]](https://www.w3.org/TR/sparql11-query/#riri)
+ */
+export const iri = {
+    name: 'iri',
+    impl: ({ SUBRULE, OR }) => () => OR([
+        { ALT: () => SUBRULE(iriFull, undefined) },
+        { ALT: () => SUBRULE(prefixedName, undefined) },
+    ]),
+    gImpl: ({ SUBRULE }) => (ast, { factory: F }) => F.isTermNamedPrefixed(ast) ? SUBRULE(prefixedName, ast, undefined) : SUBRULE(iriFull, ast, undefined),
+};
+export const iriFull = {
+    name: 'iriFull',
+    impl: ({ ACTION, CONSUME }) => (C) => {
+        const iriToken = CONSUME(l.terminals.iriRef);
+        return ACTION(() => C.factory.namedNode(C.factory.sourceLocation(iriToken), iriToken.image.slice(1, -1)));
+    },
+    gImpl: ({ PRINT }) => (ast, { factory }) => {
+        factory.printFilter(ast, () => PRINT('<', ast.value, '>'));
+    },
+};
+/**
+ * Parses a named node with a prefix. Looks up the prefix in the context and returns the full IRI.
+ * [[137]](https://www.w3.org/TR/sparql11-query/#rPrefixedName)
+ */
+export const prefixedName = {
+    name: 'prefixedName',
+    impl: ({ ACTION, CONSUME, OR }) => C => OR([
+        { ALT: () => {
+                const longName = CONSUME(l.terminals.pNameLn);
+                return ACTION(() => {
+                    const [prefix, localName] = longName.image.split(':');
+                    return C.factory.namedNode(C.factory.sourceLocation(longName), localName, prefix);
+                });
+            } },
+        { ALT: () => {
+                const shortName = CONSUME(l.terminals.pNameNs);
+                return ACTION(() => C.factory.namedNode(C.factory.sourceLocation(shortName), '', shortName.image.slice(0, -1)));
+            } },
+    ]),
+    gImpl: ({ PRINT_WORD }) => (ast, { factory }) => {
+        factory.printFilter(ast, () => PRINT_WORD(ast.prefix, ':', ast.value));
+    },
+};
+export const canCreateBlankNodes = Symbol('canCreateBlankNodes');
+/**
+ * Parses blank note and throws an error if 'canCreateBlankNodes' is not in the current parserMode.
+ * [[138]](https://www.w3.org/TR/sparql11-query/#rBlankNode)
+ */
+export const blankNode = {
+    name: 'blankNode',
+    impl: ({ ACTION, CONSUME, OR }) => (C) => {
+        const result = OR([
+            { ALT: () => {
+                    const labelToken = CONSUME(l.terminals.blankNodeLabel);
+                    return ACTION(() => C.factory.blankNode(labelToken.image.slice(2), C.factory.sourceLocation(labelToken)));
+                } },
+            { ALT: () => {
+                    const anonToken = CONSUME(l.terminals.anon);
+                    return ACTION(() => C.factory.blankNode(undefined, C.factory.sourceLocation(anonToken)));
+                } },
+        ]);
+        ACTION(() => {
+            if (!C.parseMode.has('canCreateBlankNodes')) {
+                throw new Error('Blank nodes are not allowed in this context');
+            }
+        });
+        return result;
+    },
+    gImpl: ({ PRINT_WORD }) => (ast, { factory }) => {
+        factory.printFilter(ast, () => PRINT_WORD('_:', ast.label.replace(/^e_/u, '')));
+    },
+};
+export const verbA = {
+    name: 'VerbA',
+    impl: ({ ACTION, CONSUME }) => (C) => {
+        const token = CONSUME(l.a);
+        return ACTION(() => C.factory.namedNode(C.factory.sourceLocation(token), CommonIRIs.TYPE, undefined));
+    },
+};
+//# sourceMappingURL=literals.js.map

package/lib/grammar/literals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["literals.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAa9B,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3D,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,IAAI;gBACP,OAAO,KAAK,CAAC;YACf,KAAK,IAAI;gBACP,OAAO,KAAK,CAAC;YACf,KAAK,IAAI;gBACP,OAAO,KAAK,CAAC;YACf,KAAK,IAAI;gBACP,OAAO,KAAK,CAAC;YACf,KAAK,IAAI;gBACP,OAAO,KAAK,CAAC;YACf,KAAK,GAAG;gBACN,OAAO,KAAK,CAAC;YACf,KAAK,IAAI;gBACP,OAAO,MAAM,CAAC;YAChB;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,OAAO,GAAG,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAkD;IACvE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACzD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAc;YAClC,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;oBAC1C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CACvC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,EACrC,KAAK,CAAC,KAAK,EACX,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAClC,CAAC,CAAC;gBACL,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;oBACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CACvC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,KAAK,EACX,MAAM,CACP,CAAC,CAAC;gBACL,CAAC,EAAE;SACJ,CAAC,CAAC,IAAI,KAAK,CAAC;IACf,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QACpE,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAElF,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAClB,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;gBACtC,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;YAC5D,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5C,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAkE;IAC3F,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,EAAE;QACzD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,EAAE;QACzD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,EAAE;KAC1D,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAA0E;IAC3G,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,EAAE,CAAmB;YAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,OAAO,CAAE,EAAC;YAC1E,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,OAAO,CAAE,EAAC;YAC1E,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,MAAM,CAAE,EAAC;SACzE,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CACvC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACnC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EACf,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CACxE,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAA0E;IAC3G,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,EAAE,CAAmB;YAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,UAAU,CAAC,OAAO,CAAE,EAAC;YAClF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,UAAU,CAAC,OAAO,CAAE,EAAC;YAClF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,UAAU,CAAC,MAAM,CAAE,EAAC;SACjF,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CACvC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACnC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EACf,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CACxE,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAA0E;IAC3G,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,EAAE,CAAmB;YAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,UAAU,CAAC,OAAO,CAAE,EAAC;YAClF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,UAAU,CAAC,OAAO,CAAE,EAAC;YAClF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAS,CAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,UAAU,CAAC,MAAM,CAAE,EAAC;SACjF,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CACvC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACnC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EACf,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CACxE,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAkE;IAC3F,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,EAAE,CAAC;YACf,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;YAC/B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE;SACjC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CACvC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAC/B,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,EACzB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,UAAU,CAAC,OAAO,CAAC,CACjF,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAwD;IACzE,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,CAAC,GAAG,EAAE,CAAC;YACX,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;oBAClD,OAAc,CAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;gBACpD,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;oBAClD,OAAc,CAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;gBACpD,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;oBACtD,OAAc,CAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;gBACpD,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;oBACtD,OAAc,CAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;gBACpD,CAAC,EAAE;SACJ,CAAC,CAAC;QACH,kEAAkE;QAClE,OAAO,MAAM,CAAC,GAAG,EAAE;YACjB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;YACpB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;gBACrE,QAAQ,IAAI,EAAE,CAAC;oBACb,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC;oBACd,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC;oBACd,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC;oBACd,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC;oBACd,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC;oBACd;wBACE,OAAO,IAAI,CAAC;gBAChB,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAuC;IACrD,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAU;QAC3C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE;QAC1C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE;KAChD,CAAC;IACF,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAC9C,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC;CACxG,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAA+C;IACjE,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC7C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5G,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QACzC,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAwD;IAC/E,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACzC,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAC9C,OAAO,MAAM,CAAC,GAAG,EAAE;oBACjB,MAAM,CAAE,MAAM,EAAE,SAAS,CAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACxD,OAAO,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;gBACpF,CAAC,CAAC,CAAC;YACL,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAC/C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClH,CAAC,EAAE;KACJ,CAAC;IACF,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QAC9C,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACzE,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC;AAEjE;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAA+C;IACnE,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,EAAE,CAAC;YAChB,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;oBACvD,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC1F,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;oBAC5C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC3F,CAAC,EAAE;SACJ,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE;YACV,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;YACjE,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QAC9C,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,KAAK,GAAoD;IACpE,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;IACxG,CAAC;CACF,CAAC","sourcesContent":["import type { IToken } from 'chevrotain';\nimport { CommonIRIs } from '../grammar-helpers/utils';\nimport * as l from '../lexer';\nimport type {\n  TermBlank,\n  TermIri,\n  TermIriFull,\n  TermIriPrefixed,\n  TermLiteral,\n  TermLiteralStr,\n  TermLiteralTyped,\n} from '../RoundTripTypes';\n\nimport type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';\n\nexport function stringEscapedLexical(str: string): string {\n  const lexical = str.replaceAll(/[\"\\\\\\t\\n\\r\\b\\f]/gu, (char) => {\n    switch (char) {\n      case '\\t':\n        return '\\\\t';\n      case '\\n':\n        return '\\\\n';\n      case '\\r':\n        return '\\\\r';\n      case '\\b':\n        return '\\\\b';\n      case '\\f':\n        return '\\\\f';\n      case '\"':\n        return '\\\\\"';\n      case '\\\\':\n        return '\\\\\\\\';\n      default:\n        return char;\n    }\n  });\n  return `\"${lexical}\"`;\n}\n\n/**\n * [[120]](https://www.w3.org/TR/sparql11-query/#rRDFLiteral)\n */\nexport const rdfLiteral: SparqlRule<'rdfLiteral', TermLiteral> = <const> {\n  name: 'rdfLiteral',\n  impl: ({ ACTION, SUBRULE1, CONSUME, OPTION, OR }) => (C) => {\n    const value = SUBRULE1(string, undefined);\n    return OPTION(() => OR<TermLiteral>([\n      { ALT: () => {\n        const lang = CONSUME(l.terminals.langTag);\n        return ACTION(() => C.factory.literalTerm(\n          C.factory.sourceLocation(value, lang),\n          value.value,\n          lang.image.slice(1).toLowerCase(),\n        ));\n      } },\n      { ALT: () => {\n        CONSUME(l.symbols.hathat);\n        const iriVal = SUBRULE1(iri, undefined);\n        return ACTION(() => C.factory.literalTerm(\n          C.factory.sourceLocation(value, iriVal),\n          value.value,\n          iriVal,\n        ));\n      } },\n    ])) ?? value;\n  },\n  gImpl: ({ SUBRULE, PRINT, PRINT_SPACE_LEFT }) => (ast, { factory }) => {\n    factory.printFilter(ast, () => PRINT_SPACE_LEFT(stringEscapedLexical(ast.value)));\n\n    if (ast.langOrIri) {\n      if (typeof ast.langOrIri === 'string') {\n        factory.printFilter(ast, () => PRINT('@', ast.langOrIri));\n      } else {\n        factory.printFilter(ast, () => PRINT('^^'));\n        SUBRULE(iri, ast.langOrIri, undefined);\n      }\n    }\n  },\n};\n\n/**\n * Parses a numeric literal.\n * [[130]](https://www.w3.org/TR/sparql11-query/#rNumericLiteral)\n */\nexport const numericLiteral: SparqlGrammarRule<'numericLiteral', TermLiteralTyped> = <const> {\n  name: 'numericLiteral',\n  impl: ({ SUBRULE, OR }) => () => OR([\n    { ALT: () => SUBRULE(numericLiteralUnsigned, undefined) },\n    { ALT: () => SUBRULE(numericLiteralPositive, undefined) },\n    { ALT: () => SUBRULE(numericLiteralNegative, undefined) },\n  ]),\n};\n\n/**\n * Parses an unsigned numeric literal.\n * [[131]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralUnsigned)\n */\nexport const numericLiteralUnsigned: SparqlGrammarRule<'numericLiteralUnsigned', TermLiteralTyped> = <const> {\n  name: 'numericLiteralUnsigned',\n  impl: ({ ACTION, CONSUME, OR }) => (C) => {\n    const parsed = OR<[IToken, string]>([\n      { ALT: () => <const> [ CONSUME(l.terminals.integer), CommonIRIs.INTEGER ]},\n      { ALT: () => <const> [ CONSUME(l.terminals.decimal), CommonIRIs.DECIMAL ]},\n      { ALT: () => <const> [ CONSUME(l.terminals.double), CommonIRIs.DOUBLE ]},\n    ]);\n    return ACTION(() => C.factory.literalTerm(\n      C.factory.sourceLocation(parsed[0]),\n      parsed[0].image,\n      C.factory.namedNode(C.factory.sourceLocationNoMaterialize(), parsed[1]),\n    ));\n  },\n};\n\n/**\n * Parses a positive numeric literal.\n * [[132]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralPositive)\n */\nexport const numericLiteralPositive: SparqlGrammarRule<'numericLiteralPositive', TermLiteralTyped> = <const> {\n  name: 'numericLiteralPositive',\n  impl: ({ ACTION, CONSUME, OR }) => (C) => {\n    const parsed = OR<[IToken, string]>([\n      { ALT: () => <const> [ CONSUME(l.terminals.integerPositive), CommonIRIs.INTEGER ]},\n      { ALT: () => <const> [ CONSUME(l.terminals.decimalPositive), CommonIRIs.DECIMAL ]},\n      { ALT: () => <const> [ CONSUME(l.terminals.doublePositive), CommonIRIs.DOUBLE ]},\n    ]);\n    return ACTION(() => C.factory.literalTerm(\n      C.factory.sourceLocation(parsed[0]),\n      parsed[0].image,\n      C.factory.namedNode(C.factory.sourceLocationNoMaterialize(), parsed[1]),\n    ));\n  },\n};\n\n/**\n * Parses a negative numeric literal.\n * [[133]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralNegative)\n */\nexport const numericLiteralNegative: SparqlGrammarRule<'numericLiteralNegative', TermLiteralTyped> = <const> {\n  name: 'numericLiteralNegative',\n  impl: ({ ACTION, CONSUME, OR }) => (C) => {\n    const parsed = OR<[IToken, string]>([\n      { ALT: () => <const> [ CONSUME(l.terminals.integerNegative), CommonIRIs.INTEGER ]},\n      { ALT: () => <const> [ CONSUME(l.terminals.decimalNegative), CommonIRIs.DECIMAL ]},\n      { ALT: () => <const> [ CONSUME(l.terminals.doubleNegative), CommonIRIs.DOUBLE ]},\n    ]);\n    return ACTION(() => C.factory.literalTerm(\n      C.factory.sourceLocation(parsed[0]),\n      parsed[0].image,\n      C.factory.namedNode(C.factory.sourceLocationNoMaterialize(), parsed[1]),\n    ));\n  },\n};\n\n/**\n * Parses a boolean literal.\n * [[134]](https://www.w3.org/TR/sparql11-query/#rBooleanLiteral)\n */\nexport const booleanLiteral: SparqlGrammarRule<'booleanLiteral', TermLiteralTyped> = <const> {\n  name: 'booleanLiteral',\n  impl: ({ ACTION, CONSUME, OR }) => (C) => {\n    const token = OR([\n      { ALT: () => CONSUME(l.true_) },\n      { ALT: () => CONSUME(l.false_) },\n    ]);\n\n    return ACTION(() => C.factory.literalTerm(\n      C.factory.sourceLocation(token),\n      token.image.toLowerCase(),\n      C.factory.namedNode(C.factory.sourceLocationNoMaterialize(), CommonIRIs.BOOLEAN),\n    ));\n  },\n};\n\n/**\n * Parses a string literal.\n * [[135]](https://www.w3.org/TR/sparql11-query/#rString)\n */\nexport const string: SparqlGrammarRule<'string', TermLiteralStr> = <const> {\n  name: 'string',\n  impl: ({ ACTION, CONSUME, OR }) => (C) => {\n    const x = OR([\n      { ALT: () => {\n        const token = CONSUME(l.terminals.stringLiteral1);\n        return <const>[ token, token.image.slice(1, -1) ];\n      } },\n      { ALT: () => {\n        const token = CONSUME(l.terminals.stringLiteral2);\n        return <const>[ token, token.image.slice(1, -1) ];\n      } },\n      { ALT: () => {\n        const token = CONSUME(l.terminals.stringLiteralLong1);\n        return <const>[ token, token.image.slice(3, -3) ];\n      } },\n      { ALT: () => {\n        const token = CONSUME(l.terminals.stringLiteralLong2);\n        return <const>[ token, token.image.slice(3, -3) ];\n      } },\n    ]);\n    // Handle string escapes (19.7). (19.2 is handled at input level.)\n    return ACTION(() => {\n      const F = C.factory;\n      const value = x[1].replaceAll(/\\\\([tnrbf\"'\\\\])/gu, (_, char: string) => {\n        switch (char) {\n          case 't':\n            return '\\t';\n          case 'n':\n            return '\\n';\n          case 'r':\n            return '\\r';\n          case 'b':\n            return '\\b';\n          case 'f':\n            return '\\f';\n          default:\n            return char;\n        }\n      });\n      return F.literalTerm(F.sourceLocation(x[0]), value);\n    });\n  },\n};\n\n/**\n * Parses a named node, either as an IRI or as a prefixed name.\n * [[136]](https://www.w3.org/TR/sparql11-query/#riri)\n */\nexport const iri: SparqlRule<'iri', TermIri> = <const> {\n  name: 'iri',\n  impl: ({ SUBRULE, OR }) => () => OR<TermIri>([\n    { ALT: () => SUBRULE(iriFull, undefined) },\n    { ALT: () => SUBRULE(prefixedName, undefined) },\n  ]),\n  gImpl: ({ SUBRULE }) => (ast, { factory: F }) =>\n    F.isTermNamedPrefixed(ast) ? SUBRULE(prefixedName, ast, undefined) : SUBRULE(iriFull, ast, undefined),\n};\n\nexport const iriFull: SparqlRule<'iriFull', TermIriFull> = <const> {\n  name: 'iriFull',\n  impl: ({ ACTION, CONSUME }) => (C) => {\n    const iriToken = CONSUME(l.terminals.iriRef);\n    return ACTION(() => C.factory.namedNode(C.factory.sourceLocation(iriToken), iriToken.image.slice(1, -1)));\n  },\n  gImpl: ({ PRINT }) => (ast, { factory }) => {\n    factory.printFilter(ast, () => PRINT('<', ast.value, '>'));\n  },\n};\n\n/**\n * Parses a named node with a prefix. Looks up the prefix in the context and returns the full IRI.\n * [[137]](https://www.w3.org/TR/sparql11-query/#rPrefixedName)\n */\nexport const prefixedName: SparqlRule<'prefixedName', TermIriPrefixed> = <const> {\n  name: 'prefixedName',\n  impl: ({ ACTION, CONSUME, OR }) => C => OR([\n    { ALT: () => {\n      const longName = CONSUME(l.terminals.pNameLn);\n      return ACTION(() => {\n        const [ prefix, localName ] = longName.image.split(':');\n        return C.factory.namedNode(C.factory.sourceLocation(longName), localName, prefix);\n      });\n    } },\n    { ALT: () => {\n      const shortName = CONSUME(l.terminals.pNameNs);\n      return ACTION(() => C.factory.namedNode(C.factory.sourceLocation(shortName), '', shortName.image.slice(0, -1)));\n    } },\n  ]),\n  gImpl: ({ PRINT_WORD }) => (ast, { factory }) => {\n    factory.printFilter(ast, () => PRINT_WORD(ast.prefix, ':', ast.value));\n  },\n};\n\nexport const canCreateBlankNodes = Symbol('canCreateBlankNodes');\n\n/**\n * Parses blank note and throws an error if 'canCreateBlankNodes' is not in the current parserMode.\n * [[138]](https://www.w3.org/TR/sparql11-query/#rBlankNode)\n */\nexport const blankNode: SparqlRule<'blankNode', TermBlank> = <const> {\n  name: 'blankNode',\n  impl: ({ ACTION, CONSUME, OR }) => (C) => {\n    const result = OR([\n      { ALT: () => {\n        const labelToken = CONSUME(l.terminals.blankNodeLabel);\n        return ACTION(() =>\n          C.factory.blankNode(labelToken.image.slice(2), C.factory.sourceLocation(labelToken)));\n      } },\n      { ALT: () => {\n        const anonToken = CONSUME(l.terminals.anon);\n        return ACTION(() => C.factory.blankNode(undefined, C.factory.sourceLocation(anonToken)));\n      } },\n    ]);\n    ACTION(() => {\n      if (!C.parseMode.has('canCreateBlankNodes')) {\n        throw new Error('Blank nodes are not allowed in this context');\n      }\n    });\n    return result;\n  },\n  gImpl: ({ PRINT_WORD }) => (ast, { factory }) => {\n    factory.printFilter(ast, () => PRINT_WORD('_:', ast.label.replace(/^e_/u, '')));\n  },\n};\n\nexport const verbA: SparqlGrammarRule<'VerbA', TermIriFull> = <const> {\n  name: 'VerbA',\n  impl: ({ ACTION, CONSUME }) => (C) => {\n    const token = CONSUME(l.a);\n    return ACTION(() => C.factory.namedNode(C.factory.sourceLocation(token), CommonIRIs.TYPE, undefined));\n  },\n};\n"]}

package/lib/grammar/propertyPaths.d.ts

@@ -0,0 +1,43 @@
+import type { IToken, TokenType } from 'chevrotain';
+import type { TermIri, PathNegatedElt, Path, PathModified, PathNegated } from '../RoundTripTypes';
+import type { SparqlGeneratorRule, SparqlGrammarRule } from '../Sparql11types';
+/**
+ * [[88]](https://www.w3.org/TR/sparql11-query/#rPath)
+ */
+export declare const path: SparqlGrammarRule<'path', Path>;
+export declare const pathGenerator: SparqlGeneratorRule<'path', Path, boolean | undefined>;
+export declare function pathChainHelper<T extends string>(name: T, SEP: TokenType, subType: '|' | '/', subRule: SparqlGrammarRule<string, Path>): SparqlGrammarRule<T, Path | TermIri>;
+/**
+ * [[92]](https://www.w3.org/TR/sparql11-query/#rPathEltOrInverse)
+ */
+export declare const pathEltOrInverse: SparqlGrammarRule<'pathEltOrInverse', PathModified | Path>;
+/**
+ * [[90]](https://www.w3.org/TR/sparql11-query/#rPathSequence)
+ */
+export declare const pathSequence: SparqlGrammarRule<"pathSequence", import("..").TermIriFull | import("..").TermIriPrefixed | import("..").PropertyPathChain | PathModified | PathNegated>;
+/**
+ * [[89]](https://www.w3.org/TR/sparql11-query/#rPathAlternative)
+ */
+export declare const pathAlternative: SparqlGrammarRule<"pathAlternative", import("..").TermIriFull | import("..").TermIriPrefixed | import("..").PropertyPathChain | PathModified | PathNegated>;
+/**
+ * [[91]](https://www.w3.org/TR/sparql11-query/#rPathElt)
+ */
+export declare const pathElt: SparqlGrammarRule<'pathElt', PathModified | Path>;
+/**
+ * [[93]](https://www.w3.org/TR/sparql11-query/#rPathMod)
+ */
+export declare const pathMod: SparqlGrammarRule<'pathMod', IToken & {
+    image: '*' | '+' | '?';
+}>;
+/**
+ * [[94]](https://www.w3.org/TR/sparql11-query/#rPathPrimary)
+ */
+export declare const pathPrimary: SparqlGrammarRule<'pathPrimary', Path>;
+/**
+ * [[95]](https://www.w3.org/TR/sparql11-query/#rPathNegatedPropertySet)
+ */
+export declare const pathNegatedPropertySet: SparqlGrammarRule<'pathNegatedPropertySet', PathNegated>;
+/**
+ * [[96]](https://www.w3.org/TR/sparql11-query/#rPathOneInPropertySet)
+ */
+export declare const pathOneInPropertySet: SparqlGrammarRule<'pathOneInPropertySet', TermIri | PathNegatedElt>;