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

package/lib/grammar/general.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"general.js","sourceRoot":"","sources":["general.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAE9B,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,mBAAmB,EAAE,GAAG,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7G,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAsE;IACzF,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAyC;YACnD,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,IAAI,CAAC,GAAG,EAAE;YACR,EAAE,CAAC;gBACD;oBACE,GAAG,EAAE,GAAG,EAAE;wBACR,MAAM,CAAC,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;oBAClC,CAAC;iBACF;gBACD;oBACE,GAAG,EAAE,GAAG,EAAE;wBACR,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;wBACjC,MAAM,CAAC,GAAG,EAAE;4BACV,MAAM,CAAE,IAAI,EAAE,KAAK,CAAE,GAAG,IAAI,CAAC;4BAC7B,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;wBAChC,CAAC,CAAC,CAAC;oBACL,CAAC;iBACF;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAwC;IAC3D,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC3C,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC,GAAG,EAAE;YACjB,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;YACvB,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAoD;IACzE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC3C,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACtB,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,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAE7D,OAAO,MAAM,CAAC,GAAG,EAAE;YACjB,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YACnD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;YACjC,OAAO,CAAE,IAAI,EAAE,OAAO,CAAE,CAAC;QAC3B,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAiD;IAC3E,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACrD,MAAM,OAAO,GAAe,EAAE,CAAC;QAE/B,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAC1C,OAAO,CAAC,GAAG,EAAE;YACX,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,CAAC,GAAG,EAAE;gBACX,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAAoD;IACnE,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,CAAC,EAAE;QAChC;YACE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;SAC1B;KACF,CAAC;CACH,CAAC;AAEF,MAAM,CAAC,MAAM,KAAK,GAAoC;IACpD,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACnC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACb,OAAO,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAuC;IAC3D,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAO;QACjD,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QAC7E,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;KAClC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAwD;IAC3E,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAyB;QACnE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QAC7E,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;KAC5B,CAAC;CACH,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;AAEnD;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAAyC;IACxD,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,EAAE,CAAC;YAChB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;YACrF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;SACtF,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE;YACV,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAA4C;IAChE,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAY;QAC/D,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;QAC3B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QAClC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;QACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;QACtC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;QACzF;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACzB,OAAO,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACvD,CAAC;SACF;KACF,CAAC;CACH,CAAC","sourcesContent":["import * as l from '../lexer';\nimport type { RuleDef } from '@traqula/core';\nimport { CommonIRIs, resolveIRI } from '@traqula/core';\nimport { blankNode, booleanLiteral, canCreateBlankNodes, iri, numericLiteral, rdfLiteral } from './literals';\nimport type { GraphTerm, Term, Triple, VerbA, IriTerm, VariableTerm, BaseQuery } from '../Sparql11types';\nimport { triplesSameSubject } from './tripleBlock';\n\n/**\n * [[4]](https://www.w3.org/TR/sparql11-query/#rPrologue)\n */\nexport const prologue: RuleDef<'prologue', Pick<BaseQuery, 'base' | 'prefixes'>> = <const> {\n  name: 'prologue',\n  impl: ({ ACTION, SUBRULE, MANY, OR }) => () => {\n    const result: Pick<BaseQuery, 'base' | 'prefixes'> = {\n      prefixes: {},\n    };\n    MANY(() => {\n      OR([\n        {\n          ALT: () => {\n            result.base = SUBRULE(baseDecl);\n          },\n        },\n        {\n          ALT: () => {\n            const pref = SUBRULE(prefixDecl);\n            ACTION(() => {\n              const [ name, value ] = pref;\n              result.prefixes[name] = value;\n            });\n          },\n        },\n      ]);\n    });\n    return result;\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: RuleDef<'baseDecl', string> = <const> {\n  name: 'baseDecl',\n  impl: ({ CONSUME, ACTION, context }) => () => {\n    CONSUME(l.baseDecl);\n    const base = CONSUME(l.terminals.iriRef).image.slice(1, -1);\n    return ACTION(() => {\n      context.baseIRI = base;\n      return base;\n    });\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: RuleDef<'prefixDecl', [string, string]> = <const> {\n  name: 'prefixDecl',\n  impl: ({ CONSUME, ACTION, context }) => () => {\n    CONSUME(l.prefixDecl);\n    const name = CONSUME(l.terminals.pNameNs).image.slice(0, -1);\n    const value = CONSUME(l.terminals.iriRef).image.slice(1, -1);\n\n    return ACTION(() => {\n      const fullIri = resolveIRI(value, context.baseIRI);\n      context.prefixes[name] = fullIri;\n      return [ name, fullIri ];\n    });\n  },\n};\n\n/**\n * [[52]](https://www.w3.org/TR/sparql11-query/#rTriplesTemplate)\n */\nexport const triplesTemplate: RuleDef<'triplesTemplate', Triple[]> = <const> {\n  name: 'triplesTemplate',\n  impl: ({ SUBRULE, CONSUME, OPTION1, OPTION2 }) => () => {\n    const triples: Triple[][] = [];\n\n    triples.push(SUBRULE(triplesSameSubject));\n    OPTION1(() => {\n      CONSUME(l.symbols.dot);\n      OPTION2(() => {\n        triples.push(SUBRULE(triplesTemplate));\n      });\n    });\n\n    return triples.flat(1);\n  },\n};\n\n/**\n * [[78]](https://www.w3.org/TR/sparql11-query/#rVerb)\n */\nexport const verb: RuleDef<'verb', VariableTerm | IriTerm> = <const> {\n  name: 'verb',\n  impl: ({ SUBRULE, OR }) => () => OR([\n    { ALT: () => SUBRULE(varOrIri) },\n    {\n      ALT: () => SUBRULE(verbA),\n    },\n  ]),\n};\n\nexport const verbA: RuleDef<'VerbA', VerbA> = <const> {\n  name: 'VerbA',\n  impl: ({ CONSUME, context }) => () => {\n    CONSUME(l.a);\n    return context.dataFactory.namedNode(CommonIRIs.TYPE);\n  },\n};\n\n/**\n * [[106]](https://www.w3.org/TR/sparql11-query/#rVarOrTerm)\n */\nexport const varOrTerm: RuleDef<'varOrTerm', Term> = <const> {\n  name: 'varOrTerm',\n  impl: ({ SUBRULE, OR, context }) => () => OR<Term>([\n    { GATE: () => context.parseMode.has(canParseVars), ALT: () => SUBRULE(var_) },\n    { ALT: () => SUBRULE(graphTerm) },\n  ]),\n};\n\n/**\n * [[107]](https://www.w3.org/TR/sparql11-query/#rVarOrIri)\n */\nexport const varOrIri: RuleDef<'varOrIri', IriTerm | VariableTerm> = <const> {\n  name: 'varOrIri',\n  impl: ({ SUBRULE, OR, context }) => () => OR<IriTerm | VariableTerm>([\n    { GATE: () => context.parseMode.has(canParseVars), ALT: () => SUBRULE(var_) },\n    { ALT: () => SUBRULE(iri) },\n  ]),\n};\n\nexport const canParseVars = Symbol('canParseVars');\n\n/**\n * [[108]](https://www.w3.org/TR/sparql11-query/#rVar)\n */\nexport const var_: RuleDef<'var', VariableTerm> = <const> {\n  name: 'var',\n  impl: ({ ACTION, CONSUME, OR, context }) => () => {\n    const result = OR([\n      { ALT: () => context.dataFactory.variable(CONSUME(l.terminals.var1).image.slice(1)) },\n      { ALT: () => context.dataFactory.variable(CONSUME(l.terminals.var2).image.slice(1)) },\n    ]);\n    ACTION(() => {\n      if (!context.parseMode.has(canParseVars)) {\n        throw new Error('Variables are not allowed here');\n      }\n    });\n    return result;\n  },\n};\n\n/**\n * [[109]](https://www.w3.org/TR/sparql11-query/#rGraphTerm)\n */\nexport const graphTerm: RuleDef<'graphTerm', GraphTerm> = <const> {\n  name: 'graphTerm',\n  impl: ({ SUBRULE, CONSUME, OR, context }) => () => OR<GraphTerm>([\n    { ALT: () => SUBRULE(iri) },\n    { ALT: () => SUBRULE(rdfLiteral) },\n    { ALT: () => SUBRULE(numericLiteral) },\n    { ALT: () => SUBRULE(booleanLiteral) },\n    { GATE: () => context.parseMode.has(canCreateBlankNodes), ALT: () => SUBRULE(blankNode) },\n    {\n      ALT: () => {\n        CONSUME(l.terminals.nil);\n        return context.dataFactory.namedNode(CommonIRIs.NIL);\n      },\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,53 @@
+import type { RuleDef } from '@traqula/core';
+import type { BlankTerm, IriTerm, LiteralTerm } from '../Sparql11types';
+/**
+ * Parses an RDF literal, in the form of {value}@{lang} or {value}^^{datatype}.
+ * [[129]](https://www.w3.org/TR/sparql11-query/#rRDFLiteral)
+ */
+export declare const rdfLiteral: RuleDef<'rdfLiteral', LiteralTerm>;
+/**
+ * Parses a numeric literal.
+ * [[130]](https://www.w3.org/TR/sparql11-query/#rNumericLiteral)
+ */
+export declare const numericLiteral: RuleDef<'numericLiteral', LiteralTerm>;
+/**
+ * Parses an unsigned numeric literal.
+ * [[131]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralUnsigned)
+ */
+export declare const numericLiteralUnsigned: RuleDef<'numericLiteralUnsigned', LiteralTerm>;
+/**
+ * Parses a positive numeric literal.
+ * [[132]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralPositive)
+ */
+export declare const numericLiteralPositive: RuleDef<'numericLiteralPositive', LiteralTerm>;
+/**
+ * Parses a negative numeric literal.
+ * [[133]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralNegative)
+ */
+export declare const numericLiteralNegative: RuleDef<'numericLiteralNegative', LiteralTerm>;
+/**
+ * Parses a boolean literal.
+ * [[134]](https://www.w3.org/TR/sparql11-query/#rBooleanLiteral)
+ */
+export declare const booleanLiteral: RuleDef<'booleanLiteral', LiteralTerm>;
+/**
+ * Parses a string literal.
+ * [[135]](https://www.w3.org/TR/sparql11-query/#rString)
+ */
+export declare const string: RuleDef<'string', string>;
+/**
+ * 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: RuleDef<'iri', IriTerm>;
+/**
+ * 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: RuleDef<'prefixedName', IriTerm>;
+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: RuleDef<'blankNode', BlankTerm>;

package/lib/grammar/literals.js

@@ -0,0 +1,179 @@
+import * as l from '../lexer';
+import { CommonIRIs, resolveIRI } from '@traqula/core';
+/**
+ * Parses an RDF literal, in the form of {value}@{lang} or {value}^^{datatype}.
+ * [[129]](https://www.w3.org/TR/sparql11-query/#rRDFLiteral)
+ */
+export const rdfLiteral = {
+    name: 'rdfLiteral',
+    impl: ({ SUBRULE, CONSUME, OPTION, OR, context }) => () => {
+        const value = SUBRULE(string);
+        const languageOrDatatype = OPTION(() => OR([
+            { ALT: () => CONSUME(l.terminals.langTag).image.slice(1) },
+            {
+                ALT: () => {
+                    CONSUME(l.symbols.hathat);
+                    return SUBRULE(iri);
+                },
+            },
+        ]));
+        return context.dataFactory.literal(value, languageOrDatatype);
+    },
+};
+/**
+ * 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) },
+        { ALT: () => SUBRULE(numericLiteralPositive) },
+        { ALT: () => SUBRULE(numericLiteralNegative) },
+    ]),
+};
+/**
+ * Parses an unsigned numeric literal.
+ * [[131]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralUnsigned)
+ */
+export const numericLiteralUnsigned = {
+    name: 'numericLiteralUnsigned',
+    impl: ({ CONSUME, OR, context }) => () => OR([
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.integer).image, context.dataFactory.namedNode(CommonIRIs.INTEGER)) },
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.decimal).image, context.dataFactory.namedNode(CommonIRIs.DECIMAL)) },
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.double).image, context.dataFactory.namedNode(CommonIRIs.DOUBLE)) },
+    ]),
+};
+/**
+ * Parses a positive numeric literal.
+ * [[132]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralPositive)
+ */
+export const numericLiteralPositive = {
+    name: 'numericLiteralPositive',
+    impl: ({ CONSUME, OR, context }) => () => OR([
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.interferePositive).image, context.dataFactory.namedNode(CommonIRIs.INTEGER)) },
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.decimalPositive).image, context.dataFactory.namedNode(CommonIRIs.DECIMAL)) },
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.doublePositive).image, context.dataFactory.namedNode(CommonIRIs.DOUBLE)) },
+    ]),
+};
+/**
+ * Parses a negative numeric literal.
+ * [[133]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralNegative)
+ */
+export const numericLiteralNegative = {
+    name: 'numericLiteralNegative',
+    impl: ({ CONSUME, OR, context }) => () => OR([
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.integerNegative).image, context.dataFactory.namedNode(CommonIRIs.INTEGER)) },
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.decimalNegative).image, context.dataFactory.namedNode(CommonIRIs.DECIMAL)) },
+        { ALT: () => context.dataFactory.literal(CONSUME(l.terminals.doubleNegative).image, context.dataFactory.namedNode(CommonIRIs.DOUBLE)) },
+    ]),
+};
+/**
+ * Parses a boolean literal.
+ * [[134]](https://www.w3.org/TR/sparql11-query/#rBooleanLiteral)
+ */
+export const booleanLiteral = {
+    name: 'booleanLiteral',
+    impl: ({ CONSUME, OR, context }) => () => OR([
+        { ALT: () => context.dataFactory.literal(CONSUME(l.true_).image.toLowerCase(), context.dataFactory.namedNode(CommonIRIs.BOOLEAN)) },
+        { ALT: () => context.dataFactory.literal(CONSUME(l.false_).image.toLowerCase(), context.dataFactory.namedNode(CommonIRIs.BOOLEAN)) },
+    ]),
+};
+/**
+ * Parses a string literal.
+ * [[135]](https://www.w3.org/TR/sparql11-query/#rString)
+ */
+export const string = {
+    name: 'string',
+    impl: ({ ACTION, CONSUME, OR }) => () => {
+        const rawString = OR([
+            { ALT: () => CONSUME(l.terminals.stringLiteral1).image.slice(1, -1) },
+            { ALT: () => CONSUME(l.terminals.stringLiteral2).image.slice(1, -1) },
+            { ALT: () => CONSUME(l.terminals.stringLiteralLong1).image.slice(3, -3) },
+            { ALT: () => CONSUME(l.terminals.stringLiteralLong2).image.slice(3, -3) },
+        ]);
+        // Handle string escapes (19.7). (19.2 is handled at input level.)
+        return ACTION(() => rawString.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;
+            }
+        }));
+    },
+};
+/**
+ * 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: ({ ACTION, SUBRULE, CONSUME, OR, context }) => () => OR([
+        { ALT: () => {
+                const iriVal = CONSUME(l.terminals.iriRef).image.slice(1, -1);
+                return ACTION(() => context.dataFactory.namedNode(resolveIRI(iriVal, context.baseIRI)));
+            } },
+        { ALT: () => SUBRULE(prefixedName) },
+    ]),
+};
+/**
+ * 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, context }) => () => {
+        const fullStr = OR([
+            { ALT: () => CONSUME(l.terminals.pNameLn).image },
+            { ALT: () => CONSUME(l.terminals.pNameNs).image },
+        ]);
+        return ACTION(() => {
+            const [prefix, localName] = fullStr.split(':');
+            const value = context.prefixes[prefix];
+            if (value === undefined) {
+                throw new Error(`Unknown prefix: ${prefix}`);
+            }
+            return context.dataFactory.namedNode(resolveIRI(value + localName, context.baseIRI));
+        });
+    },
+};
+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, context }) => () => {
+        const result = OR([
+            {
+                ALT: () => {
+                    const label = CONSUME(l.terminals.blankNodeLabel).image;
+                    ACTION(() => {
+                        if (context.flushedBlankNodeLabels.has(label)) {
+                            throw new Error('Detected reuse blank node across different request string.');
+                        }
+                        context.usedBlankNodeLabels.add(label);
+                    });
+                    return ACTION(() => context.dataFactory.blankNode(label.replace('_:', 'e_')));
+                },
+            },
+            {
+                ALT: () => {
+                    CONSUME(l.terminals.anon);
+                    return ACTION(() => context.dataFactory.blankNode());
+                },
+            },
+        ]);
+        ACTION(() => {
+            if (!context.parseMode.has(canCreateBlankNodes)) {
+                throw new Error('Blank nodes are not allowed in this context');
+            }
+        });
+        return result;
+    },
+};
+//# 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,KAAK,CAAC,MAAM,UAAU,CAAC;AAE9B,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGvD;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAA+C;IACpE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAqB;YAC7D,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YAC1D;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC1B,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC;gBACtB,CAAC;aACF;SACF,CAAC,CAAC,CAAC;QACJ,OAAO,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAChE,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAmD;IAC5E,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,CAAC,EAAE;QAC9C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,EAAE;QAC9C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,EAAE;KAC/C,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAA2D;IAC5F,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC3C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAClC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAClD,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAClC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAClD,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EACjC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CACjD,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAA2D;IAC5F,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC3C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,KAAK,EAC5C,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAClD,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,KAAK,EAC1C,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAClD,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,KAAK,EACzC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CACjD,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAA2D;IAC5F,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC3C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,KAAK,EAC1C,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAClD,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,KAAK,EAC1C,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAClD,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,KAAK,EACzC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CACjD,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAmD;IAC5E,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC3C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,EACpC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAClD,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CACtC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,EACrC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAClD,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAsC;IACvD,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACtC,MAAM,SAAS,GAAG,EAAE,CAAC;YACnB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YACrE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YACrE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YACzE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;SAC1E,CAAC,CAAC;QACH,kEAAkE;QAClE,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;YAChF,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;gBACtB,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;gBACtB,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;gBACtB,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;gBACtB,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;gBACtB,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;YACvB,CAAC;QACH,CAAC,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAoC;IAClD,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC5D,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC9D,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC1F,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;KACrC,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAA6C;IACpE,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,EAAE,CAAC;YACjB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE;YACjD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE;SAClD,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,GAAG,EAAE;YACjB,MAAM,CAAE,MAAM,EAAE,SAAS,CAAE,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACjD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,mBAAmB,MAAM,EAAE,CAAC,CAAC;YAC/C,CAAC;YACD,OAAO,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,GAAG,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACvF,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC;AAEjE;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAA4C;IAChE,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,EAAE,CAAC;YAChB;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC;oBACxD,MAAM,CAAC,GAAG,EAAE;wBACV,IAAI,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC9C,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;wBAChF,CAAC;wBACD,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACzC,CAAC,CAAC,CAAC;oBACH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChF,CAAC;aACF;YACD;gBACE,GAAG,EAAE,GAAG,EAAE;oBACR,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;oBAC1B,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC;gBACvD,CAAC;aACF;SACF,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE;YACV,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAChD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;YACjE,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC","sourcesContent":["import type { NamedNode } from 'rdf-data-factory';\nimport * as l from '../lexer';\nimport type { RuleDef } from '@traqula/core';\nimport { CommonIRIs, resolveIRI } from '@traqula/core';\nimport type { BlankTerm, IriTerm, LiteralTerm } from '../Sparql11types';\n\n/**\n * Parses an RDF literal, in the form of {value}@{lang} or {value}^^{datatype}.\n * [[129]](https://www.w3.org/TR/sparql11-query/#rRDFLiteral)\n */\nexport const rdfLiteral: RuleDef<'rdfLiteral', LiteralTerm> = <const> {\n  name: 'rdfLiteral',\n  impl: ({ SUBRULE, CONSUME, OPTION, OR, context }) => () => {\n    const value = SUBRULE(string);\n    const languageOrDatatype = OPTION(() => OR<string | NamedNode>([\n      { ALT: () => CONSUME(l.terminals.langTag).image.slice(1) },\n      {\n        ALT: () => {\n          CONSUME(l.symbols.hathat);\n          return SUBRULE(iri);\n        },\n      },\n    ]));\n    return context.dataFactory.literal(value, languageOrDatatype);\n  },\n};\n\n/**\n * Parses a numeric literal.\n * [[130]](https://www.w3.org/TR/sparql11-query/#rNumericLiteral)\n */\nexport const numericLiteral: RuleDef<'numericLiteral', LiteralTerm> = <const> {\n  name: 'numericLiteral',\n  impl: ({ SUBRULE, OR }) => () => OR([\n    { ALT: () => SUBRULE(numericLiteralUnsigned) },\n    { ALT: () => SUBRULE(numericLiteralPositive) },\n    { ALT: () => SUBRULE(numericLiteralNegative) },\n  ]),\n};\n\n/**\n * Parses an unsigned numeric literal.\n * [[131]](https://www.w3.org/TR/sparql11-query/#rNumericLiteralUnsigned)\n */\nexport const numericLiteralUnsigned: RuleDef<'numericLiteralUnsigned', LiteralTerm> = <const> {\n  name: 'numericLiteralUnsigned',\n  impl: ({ CONSUME, OR, context }) => () => OR([\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.integer).image,\n      context.dataFactory.namedNode(CommonIRIs.INTEGER),\n    ) },\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.decimal).image,\n      context.dataFactory.namedNode(CommonIRIs.DECIMAL),\n    ) },\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.double).image,\n      context.dataFactory.namedNode(CommonIRIs.DOUBLE),\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: RuleDef<'numericLiteralPositive', LiteralTerm> = <const> {\n  name: 'numericLiteralPositive',\n  impl: ({ CONSUME, OR, context }) => () => OR([\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.interferePositive).image,\n      context.dataFactory.namedNode(CommonIRIs.INTEGER),\n    ) },\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.decimalPositive).image,\n      context.dataFactory.namedNode(CommonIRIs.DECIMAL),\n    ) },\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.doublePositive).image,\n      context.dataFactory.namedNode(CommonIRIs.DOUBLE),\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: RuleDef<'numericLiteralNegative', LiteralTerm> = <const> {\n  name: 'numericLiteralNegative',\n  impl: ({ CONSUME, OR, context }) => () => OR([\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.integerNegative).image,\n      context.dataFactory.namedNode(CommonIRIs.INTEGER),\n    ) },\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.decimalNegative).image,\n      context.dataFactory.namedNode(CommonIRIs.DECIMAL),\n    ) },\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.terminals.doubleNegative).image,\n      context.dataFactory.namedNode(CommonIRIs.DOUBLE),\n    ) },\n  ]),\n};\n\n/**\n * Parses a boolean literal.\n * [[134]](https://www.w3.org/TR/sparql11-query/#rBooleanLiteral)\n */\nexport const booleanLiteral: RuleDef<'booleanLiteral', LiteralTerm> = <const> {\n  name: 'booleanLiteral',\n  impl: ({ CONSUME, OR, context }) => () => OR([\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.true_).image.toLowerCase(),\n      context.dataFactory.namedNode(CommonIRIs.BOOLEAN),\n    ) },\n    { ALT: () => context.dataFactory.literal(\n      CONSUME(l.false_).image.toLowerCase(),\n      context.dataFactory.namedNode(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: RuleDef<'string', string> = <const> {\n  name: 'string',\n  impl: ({ ACTION, CONSUME, OR }) => () => {\n    const rawString = OR([\n      { ALT: () => CONSUME(l.terminals.stringLiteral1).image.slice(1, -1) },\n      { ALT: () => CONSUME(l.terminals.stringLiteral2).image.slice(1, -1) },\n      { ALT: () => CONSUME(l.terminals.stringLiteralLong1).image.slice(3, -3) },\n      { ALT: () => CONSUME(l.terminals.stringLiteralLong2).image.slice(3, -3) },\n    ]);\n    // Handle string escapes (19.7). (19.2 is handled at input level.)\n    return ACTION(() => rawString.replaceAll(/\\\\([tnrbf\"'\\\\])/gu, (_, char: string) => {\n      switch (char) {\n        case 't': return '\\t';\n        case 'n': return '\\n';\n        case 'r': return '\\r';\n        case 'b': return '\\b';\n        case 'f': return '\\f';\n        default: return char;\n      }\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: RuleDef<'iri', IriTerm> = <const> {\n  name: 'iri',\n  impl: ({ ACTION, SUBRULE, CONSUME, OR, context }) => () => OR([\n    { ALT: () => {\n      const iriVal = CONSUME(l.terminals.iriRef).image.slice(1, -1);\n      return ACTION(() => context.dataFactory.namedNode(resolveIRI(iriVal, context.baseIRI)));\n    } },\n    { ALT: () => SUBRULE(prefixedName) },\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: RuleDef<'prefixedName', IriTerm> = <const> {\n  name: 'prefixedName',\n  impl: ({ ACTION, CONSUME, OR, context }) => () => {\n    const fullStr = OR([\n      { ALT: () => CONSUME(l.terminals.pNameLn).image },\n      { ALT: () => CONSUME(l.terminals.pNameNs).image },\n    ]);\n    return ACTION(() => {\n      const [ prefix, localName ] = fullStr.split(':');\n      const value = context.prefixes[prefix];\n      if (value === undefined) {\n        throw new Error(`Unknown prefix: ${prefix}`);\n      }\n      return context.dataFactory.namedNode(resolveIRI(value + localName, context.baseIRI));\n    });\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: RuleDef<'blankNode', BlankTerm> = <const> {\n  name: 'blankNode',\n  impl: ({ ACTION, CONSUME, OR, context }) => () => {\n    const result = OR([\n      {\n        ALT: () => {\n          const label = CONSUME(l.terminals.blankNodeLabel).image;\n          ACTION(() => {\n            if (context.flushedBlankNodeLabels.has(label)) {\n              throw new Error('Detected reuse blank node across different request string.');\n            }\n            context.usedBlankNodeLabels.add(label);\n          });\n          return ACTION(() => context.dataFactory.blankNode(label.replace('_:', 'e_')));\n        },\n      },\n      {\n        ALT: () => {\n          CONSUME(l.terminals.anon);\n          return ACTION(() => context.dataFactory.blankNode());\n        },\n      },\n    ]);\n    ACTION(() => {\n      if (!context.parseMode.has(canCreateBlankNodes)) {\n        throw new Error('Blank nodes are not allowed in this context');\n      }\n    });\n    return result;\n  },\n};\n"]}

package/lib/grammar/propertyPaths.d.ts

@@ -0,0 +1,40 @@
+import type { TokenType } from 'chevrotain';
+import type { RuleDef } from '@traqula/core';
+import type { IriTerm, IriTermOrElt, NegatedPropertySet, PropertyPath } from '../Sparql11types';
+/**
+ * [[88]](https://www.w3.org/TR/sparql11-query/#rPath)
+ */
+export declare const path: RuleDef<'path', PropertyPath | IriTerm>;
+export declare function pathHelper<T extends string>(name: T, SEP: TokenType, pathType: '|' | '/' | '^' | '+' | '*' | '?', subRule: RuleDef<string, PropertyPath | IriTerm>): RuleDef<T, PropertyPath | IriTerm>;
+/**
+ * [[92]](https://www.w3.org/TR/sparql11-query/#rPathEltOrInverse)
+ */
+export declare const pathEltOrInverse: RuleDef<'pathEltOrInverse', PropertyPath | IriTerm>;
+/**
+ * [[90]](https://www.w3.org/TR/sparql11-query/#rPathSequence)
+ */
+export declare const pathSequence: RuleDef<"pathSequence", PropertyPath | IriTerm>;
+/**
+ * [[89]](https://www.w3.org/TR/sparql11-query/#rPathAlternative)
+ */
+export declare const pathAlternative: RuleDef<"pathAlternative", PropertyPath | IriTerm>;
+/**
+ * [[91]](https://www.w3.org/TR/sparql11-query/#rPathElt)
+ */
+export declare const pathElt: RuleDef<'pathElt', PropertyPath | IriTerm>;
+/**
+ * [[93]](https://www.w3.org/TR/sparql11-query/#rPathMod)
+ */
+export declare const pathMod: RuleDef<'pathMod', '*' | '+' | '?'>;
+/**
+ * [[94]](https://www.w3.org/TR/sparql11-query/#rPathPrimary)
+ */
+export declare const pathPrimary: RuleDef<'pathPrimary', PropertyPath | IriTerm>;
+/**
+ * [[95]](https://www.w3.org/TR/sparql11-query/#rPathNegatedPropertySet)
+ */
+export declare const pathNegatedPropertySet: RuleDef<'pathNegatedPropertySet', NegatedPropertySet['items']>;
+/**
+ * [[96]](https://www.w3.org/TR/sparql11-query/#rPathOneInPropertySet)
+ */
+export declare const pathOneInPropertySet: RuleDef<'pathOneInPropertySet', IriTermOrElt>;

package/lib/grammar/propertyPaths.js

@@ -0,0 +1,193 @@
+import * as l from '../lexer';
+import { verbA } from './general';
+import { iri } from './literals';
+/**
+ * [[88]](https://www.w3.org/TR/sparql11-query/#rPath)
+ */
+export const path = {
+    name: 'path',
+    impl: ({ SUBRULE }) => () => SUBRULE(pathAlternative),
+};
+export function pathHelper(name, SEP, pathType, subRule) {
+    return {
+        name,
+        impl: ({ SUBRULE2, AT_LEAST_ONE_SEP }) => () => {
+            const alternatives = [];
+            AT_LEAST_ONE_SEP({
+                DEF: () => {
+                    alternatives.push(SUBRULE2(subRule));
+                },
+                SEP,
+            });
+            return alternatives.length === 1 ?
+                alternatives[0] :
+                {
+                    type: 'path',
+                    pathType,
+                    items: alternatives,
+                };
+        },
+    };
+}
+/**
+ * [[92]](https://www.w3.org/TR/sparql11-query/#rPathEltOrInverse)
+ */
+export const pathEltOrInverse = {
+    name: 'pathEltOrInverse',
+    impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR }) => () => OR([
+        {
+            ALT: () => SUBRULE1(pathElt),
+        },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.hat);
+                const item = SUBRULE2(pathElt);
+                return {
+                    type: 'path',
+                    pathType: '^',
+                    items: [
+                        item,
+                    ],
+                };
+            },
+        },
+    ]),
+};
+/**
+ * [[90]](https://www.w3.org/TR/sparql11-query/#rPathSequence)
+ */
+export const pathSequence = pathHelper('pathSequence', l.symbols.slash, '/', pathEltOrInverse);
+/**
+ * [[89]](https://www.w3.org/TR/sparql11-query/#rPathAlternative)
+ */
+export const pathAlternative = pathHelper('pathAlternative', l.symbols.pipe, '|', pathSequence);
+/**
+ * [[91]](https://www.w3.org/TR/sparql11-query/#rPathElt)
+ */
+export const pathElt = {
+    name: 'pathElt',
+    impl: ({ SUBRULE, OPTION }) => () => {
+        const item = SUBRULE(pathPrimary);
+        const modification = OPTION(() => SUBRULE(pathMod));
+        return modification === undefined ?
+            item :
+            {
+                type: 'path',
+                pathType: modification,
+                items: [item],
+            };
+    },
+};
+/**
+ * [[93]](https://www.w3.org/TR/sparql11-query/#rPathMod)
+ */
+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 '+';
+            },
+        },
+    ]),
+};
+/**
+ * [[94]](https://www.w3.org/TR/sparql11-query/#rPathPrimary)
+ */
+export const pathPrimary = {
+    name: 'pathPrimary',
+    impl: ({ SUBRULE, CONSUME, OR }) => () => OR([
+        { ALT: () => SUBRULE(iri) },
+        {
+            ALT: () => SUBRULE(verbA),
+        },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.exclamation);
+                const negatedPath = SUBRULE(pathNegatedPropertySet);
+                return {
+                    type: 'path',
+                    pathType: '!',
+                    items: negatedPath,
+                };
+            },
+        },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.LParen);
+                const resRecursive = SUBRULE(path);
+                CONSUME(l.symbols.RParen);
+                return resRecursive;
+            },
+        },
+    ]),
+};
+/**
+ * [[95]](https://www.w3.org/TR/sparql11-query/#rPathNegatedPropertySet)
+ */
+export const pathNegatedPropertySet = {
+    name: 'pathNegatedPropertySet',
+    impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR, MANY_SEP }) => () => OR([
+        {
+            ALT: () => [SUBRULE1(pathOneInPropertySet)],
+        },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.LParen);
+                const items = [];
+                MANY_SEP({
+                    DEF: () => {
+                        items.push(SUBRULE2(pathOneInPropertySet));
+                    },
+                    SEP: l.symbols.pipe,
+                });
+                CONSUME(l.symbols.RParen);
+                return items.length === 1 ?
+                    items :
+                    [{
+                            type: 'path',
+                            pathType: '|',
+                            items,
+                        }];
+            },
+        },
+    ]),
+};
+/**
+ * [[96]](https://www.w3.org/TR/sparql11-query/#rPathOneInPropertySet)
+ */
+export const pathOneInPropertySet = {
+    name: 'pathOneInPropertySet',
+    impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => () => OR1([
+        { ALT: () => SUBRULE1(iri) },
+        { ALT: () => SUBRULE1(verbA) },
+        {
+            ALT: () => {
+                CONSUME(l.symbols.hat);
+                const item = OR2([
+                    { ALT: () => SUBRULE2(iri) },
+                    { ALT: () => SUBRULE2(verbA) },
+                ]);
+                return {
+                    type: 'path',
+                    pathType: '^',
+                    items: [item],
+                };
+            },
+        },
+    ]),
+};
+//# sourceMappingURL=propertyPaths.js.map

package/lib/grammar/propertyPaths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propertyPaths.js","sourceRoot":"","sources":["propertyPaths.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAE9B,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAGjC;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAAoD;IACnE,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC;CACtD,CAAC;AAEF,MAAM,UAAU,UAAU,CACxB,IAAO,EACP,GAAc,EACd,QAA2C,EAC3C,OAAgD;IAEhD,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAC7C,MAAM,YAAY,GAA+B,EAAE,CAAC;YACpD,gBAAgB,CAAC;gBACf,GAAG,EAAE,GAAG,EAAE;oBACR,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;gBACvC,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,GAAgE;IAC3F,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,CAAC;SAC7B;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAC/B,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,GAAuD;IACzE,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QAClC,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACpD,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,GAAgD;IAClE,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,GAA2D;IACjF,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,CAAC,EAAE;QAC3B;YACE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;SAC1B;QACD;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;gBAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;gBACpD,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,CAAC,CAAC;gBACnC,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,GAA2E;IAC5G,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,CAAC,CAAE;SAC9C;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,CAAC,CAAC,CAAC;oBAC7C,CAAC;oBACD,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI;iBACpB,CAAC,CAAC;gBACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;oBACzB,KAAK,CAAC,CAAC;oBACL,CAAC;4BACC,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,GAAG;4BACb,KAAK;yBACN,CAAC,CAAC;YACT,CAAC;SACF;KACF,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA0D;IACzF,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,CAAC,EAAE;QAC5B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;QAC9B;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,CAAC,EAAE;oBAC5B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;iBAC/B,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 { RuleDef } from '@traqula/core';\nimport { verbA } from './general';\nimport { iri } from './literals';\nimport type { IriTerm, IriTermOrElt, NegatedPropertySet, PropertyPath } from '../Sparql11types';\n\n/**\n * [[88]](https://www.w3.org/TR/sparql11-query/#rPath)\n */\nexport const path: RuleDef<'path', PropertyPath | IriTerm> = <const> {\n  name: 'path',\n  impl: ({ SUBRULE }) => () => SUBRULE(pathAlternative),\n};\n\nexport function pathHelper<T extends string>(\n  name: T,\n  SEP: TokenType,\n  pathType: '|' | '/' | '^' | '+' | '*' | '?',\n  subRule: RuleDef<string, PropertyPath | IriTerm>,\n): RuleDef<T, PropertyPath | IriTerm> {\n  return {\n    name,\n    impl: ({ SUBRULE2, AT_LEAST_ONE_SEP }) => () => {\n      const alternatives: (IriTerm | PropertyPath)[] = [];\n      AT_LEAST_ONE_SEP({\n        DEF: () => {\n          alternatives.push(SUBRULE2(subRule));\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: RuleDef<'pathEltOrInverse', PropertyPath | IriTerm> = <const> {\n  name: 'pathEltOrInverse',\n  impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR }) => () => OR<PropertyPath | IriTerm>([\n    {\n      ALT: () => SUBRULE1(pathElt),\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.hat);\n        const item = SUBRULE2(pathElt);\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: RuleDef<'pathElt', PropertyPath | IriTerm> = <const> {\n  name: 'pathElt',\n  impl: ({ SUBRULE, OPTION }) => () => {\n    const item = SUBRULE(pathPrimary);\n    const modification = OPTION(() => SUBRULE(pathMod));\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: RuleDef<'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: RuleDef<'pathPrimary', PropertyPath | IriTerm> = <const> {\n  name: 'pathPrimary',\n  impl: ({ SUBRULE, CONSUME, OR }) => () => OR<PropertyPath | IriTerm>([\n    { ALT: () => SUBRULE(iri) },\n    {\n      ALT: () => SUBRULE(verbA),\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.exclamation);\n        const negatedPath = SUBRULE(pathNegatedPropertySet);\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);\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: RuleDef<'pathNegatedPropertySet', NegatedPropertySet['items']> = <const> {\n  name: 'pathNegatedPropertySet',\n  impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR, MANY_SEP }) => () => OR<NegatedPropertySet['items']>([\n    {\n      ALT: () => [ SUBRULE1(pathOneInPropertySet) ],\n    },\n    {\n      ALT: () => {\n        CONSUME(l.symbols.LParen);\n        const items: IriTermOrElt[] = [];\n        MANY_SEP({\n          DEF: () => {\n            items.push(SUBRULE2(pathOneInPropertySet));\n          },\n          SEP: l.symbols.pipe,\n        });\n        CONSUME(l.symbols.RParen);\n        return items.length === 1 ?\n          items :\n            [{\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: RuleDef<'pathOneInPropertySet', IriTermOrElt> = <const> {\n  name: 'pathOneInPropertySet',\n  impl: ({ CONSUME, SUBRULE1, SUBRULE2, OR1, OR2 }) => () =>\n    OR1<IriTermOrElt>([\n      { ALT: () => SUBRULE1(iri) },\n      { ALT: () => SUBRULE1(verbA) },\n      {\n        ALT: () => {\n          CONSUME(l.symbols.hat);\n          const item = OR2([\n            { ALT: () => SUBRULE2(iri) },\n            { ALT: () => SUBRULE2(verbA) },\n          ]);\n          return {\n            type: 'path',\n            pathType: '^',\n            items: [ item ],\n          };\n        },\n      },\n    ]),\n};\n"]}

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

@@ -0,0 +1,53 @@
+import { Wildcard } from '@traqula/core';
+import type { RuleDef } from '@traqula/core';
+import type { AskQuery, ConstructQuery, DescribeQuery, Query, SelectQuery, Triple, ValuePatternRow, Variable } from '../../Sparql11types';
+/**
+ * [[1]](https://www.w3.org/TR/sparql11-query/#rQueryUnit)
+ */
+export declare const queryUnit: RuleDef<'queryUnit', Query>;
+/**
+ * [[2]](https://www.w3.org/TR/sparql11-query/#rQuery)
+ */
+export declare const query: RuleDef<'query', Query>;
+export type HandledByBase = 'values' | 'type' | 'base' | 'prefixes';
+/**
+ * [[7]](https://www.w3.org/TR/sparql11-query/#rSelectQuery)
+ */
+export declare const selectQuery: RuleDef<'selectQuery', Omit<SelectQuery, HandledByBase>>;
+/**
+ * [[8]](https://www.w3.org/TR/sparql11-query/#rSubSelect)
+ */
+export declare const subSelect: RuleDef<'subSelect', Omit<SelectQuery, 'prefixes'>>;
+/**
+ * [[9]](https://www.w3.org/TR/sparql11-query/#rSelectClause)
+ */
+export interface ISelectClause {
+    variables: Variable[] | [Wildcard];
+    distinct?: true;
+    reduced?: true;
+}
+export declare const selectClause: RuleDef<'selectClause', ISelectClause>;
+/**
+ * [[10]](https://www.w3.org/TR/sparql11-query/#rConstructQuery)
+ */
+export declare const constructQuery: RuleDef<'constructQuery', Omit<ConstructQuery, HandledByBase>>;
+/**
+ * [[11]](https://www.w3.org/TR/sparql11-query/#rDescribeQuery)
+ */
+export declare const describeQuery: RuleDef<'describeQuery', Omit<DescribeQuery, HandledByBase>>;
+/**
+ * [[12]](https://www.w3.org/TR/sparql11-query/#rAskQuery)
+ */
+export declare const askQuery: RuleDef<'askQuery', Omit<AskQuery, HandledByBase>>;
+/**
+ * [[28]](https://www.w3.org/TR/sparql11-query/#rValuesClause)
+ */
+export declare const valuesClause: RuleDef<'valuesClause', ValuePatternRow[] | undefined>;
+/**
+ * [[73]](https://www.w3.org/TR/sparql11-query/#ConstructTemplate)
+ */
+export declare const constructTemplate: RuleDef<'constructTemplate', Triple[] | undefined>;
+/**
+ * [[12]](https://www.w3.org/TR/sparql11-query/#rConstructTriples)
+ */
+export declare const constructTriples: RuleDef<'constructTriples', Triple[]>;