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

package/README.md

@@ -1,6 +1,8 @@
-# TRAQULA Rules SPARQL 1.2 package
+# Traqula Rules SPARQL 1.2 package
 
-TRAQULA rules SPARQL 1.2 contains additional rules required for creating a parser for SPARQL 1.2 from the SPARQL 1.1 rules.
+**WARNING:** V2 will come shortly and will have lots of breaking changes.
+
+Traqula rules SPARQL 1.2 contains additional rules required for creating a parser for SPARQL 1.2 from the SPARQL 1.1 rules.
 
 ## Installation
 
@@ -12,4 +14,4 @@ or
 
 ```bash
 yarn add @traqula/rules-sparql-1-2
-```
+```

package/lib/grammar.d.ts

@@ -4,137 +4,179 @@
  * Rules in this module redefine the return type of core grammar rules.
  * It is therefore essential that the parser retypes the rules from the core grammar.
  */
-import type { RuleDefReturn, RuleDef } from '@traqula/core';
+import type { RuleDefReturn } from '@traqula/core';
 import { gram as S11 } from '@traqula/rules-sparql-1-1';
 import type * as T11 from '@traqula/rules-sparql-1-1';
 import type { BaseQuadTerm, Expression, IGraphNode, Term, Triple } from './sparql12Types';
 /**
  * [[56]](https://www.w3.org/TR/sparql12-query/#rReifiedTripleBlock) Used by triplesSameSubject
  */
-export declare const reifiedTripleBlock: RuleDef<"reifiedTripleBlock", Triple[]>;
+export declare const reifiedTripleBlock: T11.SparqlGrammarRule<"reifiedTripleBlock", import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>[], undefined>;
 /**
  * [[57]](https://www.w3.org/TR/sparql12-query/#rReifiedTripleBlockPath) Used by TriplesSameSubjectPath
  */
-export declare const reifiedTripleBlockPath: RuleDef<"reifiedTripleBlockPath", Triple[]>;
+export declare const reifiedTripleBlockPath: T11.SparqlGrammarRule<"reifiedTripleBlockPath", import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>[], undefined>;
 /**
  * OVERRIDING RULE: {@link S11.dataBlockValue}.
  * [[67]](https://www.w3.org/TR/sparql12-query/#rDataBlockValue)
  */
-export declare const dataBlockValue: RuleDef<'dataBlockValue', RuleDefReturn<typeof S11.dataBlockValue> | BaseQuadTerm>;
+export declare const dataBlockValue: T11.SparqlRule<'dataBlockValue', RuleDefReturn<typeof S11.dataBlockValue> | BaseQuadTerm>;
 /**
  * [[68]](https://www.w3.org/TR/sparql12-query/#rReifier)
  */
-export declare const reifier: RuleDef<'reifier', T11.VariableTerm | T11.IriTerm | T11.BlankTerm>;
+export declare const reifier: T11.SparqlGrammarRule<'reifier', T11.VariableTerm | T11.IriTerm | T11.BlankTerm>;
 /**
  * [[68]](https://www.w3.org/TR/sparql12-query/#rVarOrReifierId)
  */
-export declare const varOrReifierId: RuleDef<'varOrReifierId', T11.VariableTerm | T11.IriTerm | T11.BlankTerm>;
+export declare const varOrReifierId: T11.SparqlGrammarRule<'varOrReifierId', T11.VariableTerm | T11.IriTerm | T11.BlankTerm>;
 /**
  * OVERRIDING RULE {@link S11.triplesSameSubject}
  * [[79]](https://www.w3.org/TR/sparql12-query/#rTriplesSameSubject)
  */
-export declare const triplesSameSubject: RuleDef<"triplesSameSubject", Triple[]>;
+export declare const triplesSameSubject: T11.SparqlGrammarRule<"triplesSameSubject", import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>[], undefined>;
 /**
  * OVERRIDING RULE {@link S11.triplesSameSubjectPath}
  * [[85]](https://www.w3.org/TR/sparql12-query/#rTriplesSameSubjectPath)
  */
-export declare const triplesSameSubjectPath: RuleDef<"triplesSameSubjectPath", Triple[]>;
+export declare const triplesSameSubjectPath: T11.SparqlGrammarRule<"triplesSameSubjectPath", import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>[], undefined>;
 /**
  * OVERRIDING RULE: {@link S11.object}.
  * [[84]](https://www.w3.org/TR/sparql12-query/#rObject) Used by ObjectList
  */
-export declare const object: RuleDef<"object", Triple[], [Term, import("@rdfjs/types").Variable | T11.IriTerm<string> | T11.PropertyPath]>;
+export declare const object: T11.SparqlGrammarRule<"object", import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>[], Pick<import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>, "subject" | "predicate">>;
 /**
  * OVERRIDING RULE: {@link S11.objectPath}.
  * [[91]](https://www.w3.org/TR/sparql12-query/#rTriplesSameSubjectPath) Used by ObjectListPath
  */
-export declare const objectPath: RuleDef<"objectPath", Triple[], [Term, import("@rdfjs/types").Variable | T11.IriTerm<string> | T11.PropertyPath]>;
+export declare const objectPath: T11.SparqlGrammarRule<"objectPath", import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>[], Pick<import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>, "subject" | "predicate">>;
 /**
  * [[107]](https://www.w3.org/TR/sparql12-query/#rAnnotationPath)
  */
-export declare const annotationPath: RuleDef<"annotationPath", IGraphNode[]>;
+export declare const annotationPath: T11.SparqlGrammarRule<"annotationPath", import("@traqula/core").Patch<T11.IGraphNode, {
+    triples: Triple[];
+    node: import("./sparql12Types").ITriplesNode["node"] | Term;
+}>[], undefined>;
 /**
  * [[109]](https://www.w3.org/TR/sparql12-query/#rAnnotation)
  */
-export declare const annotation: RuleDef<"annotation", IGraphNode[]>;
+export declare const annotation: T11.SparqlGrammarRule<"annotation", import("@traqula/core").Patch<T11.IGraphNode, {
+    triples: Triple[];
+    node: import("./sparql12Types").ITriplesNode["node"] | Term;
+}>[], undefined>;
 /**
  * [[108]](https://www.w3.org/TR/sparql12-query/#rAnnotationBlockPath)
  */
-export declare const annotationBlockPath: RuleDef<"annotationBlockPath", Triple[], [Term]>;
+export declare const annotationBlockPath: T11.SparqlGrammarRule<"annotationBlockPath", import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>[], Pick<import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>, "subject">>;
 /**
  * [[110]](https://www.w3.org/TR/sparql12-query/#rAnnotationBlock)
  */
-export declare const annotationBlock: RuleDef<"annotationBlock", Triple[], [Term]>;
+export declare const annotationBlock: T11.SparqlGrammarRule<"annotationBlock", import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>[], Pick<import("@traqula/core").Patch<T11.Triple, {
+    subject: Term;
+    object: Term;
+}>, "subject">>;
 /**
  * OVERRIDING RULE: {@link S11.graphNode}.
  * [[111]](https://www.w3.org/TR/sparql12-query/#rGraphNode)
  */
-export declare const graphNode: RuleDef<'graphNode', IGraphNode>;
+export declare const graphNode: T11.SparqlGrammarRule<'graphNode', IGraphNode>;
 /**
  * OVERRIDING RULE: {@link S11.graphNodePath}.
  * [[112]](https://www.w3.org/TR/sparql12-query/#rGraphNodePath)
  */
-export declare const graphNodePath: RuleDef<'graphNodePath', IGraphNode>;
+export declare const graphNodePath: T11.SparqlGrammarRule<'graphNodePath', IGraphNode>;
 /**
  * OVERRIDING RULE: {@link S11.varOrTerm}.
  * [[113]](https://www.w3.org/TR/sparql12-query/#rVarOrTerm)
  */
-export declare const varOrTerm: RuleDef<'varOrTerm', Term>;
+export declare const varOrTerm: T11.SparqlRule<'varOrTerm', Term>;
 /**
  * [[114]](https://www.w3.org/TR/sparql12-query/#rReifiedTriple)
  */
-export declare const reifiedTriple: RuleDef<'reifiedTriple', IGraphNode & {
+export declare const reifiedTriple: T11.SparqlGrammarRule<'reifiedTriple', IGraphNode & {
     node: T11.BlankTerm | T11.VariableTerm | T11.IriTerm;
 }>;
 /**
  * [[115]](https://www.w3.org/TR/sparql12-query/#rReifiedTripleSubject)
  */
-export declare const reifiedTripleSubject: RuleDef<'reifiedTripleSubject', IGraphNode>;
+export declare const reifiedTripleSubject: T11.SparqlGrammarRule<'reifiedTripleSubject', IGraphNode>;
 /**
  * [[116]](https://www.w3.org/TR/sparql12-query/#rReifiedTripleObject)
  */
-export declare const reifiedTripleObject: RuleDef<'reifiedTripleObject', RuleDefReturn<typeof reifiedTripleSubject>>;
+export declare const reifiedTripleObject: T11.SparqlGrammarRule<'reifiedTripleObject', RuleDefReturn<typeof reifiedTripleSubject>>;
 /**
  * [[117]](https://www.w3.org/TR/sparql12-query/#rTripleTerm)
  */
-export declare const tripleTerm: RuleDef<'tripleTerm', BaseQuadTerm>;
+export declare const tripleTerm: T11.SparqlRule<'tripleTerm', BaseQuadTerm>;
 /**
  * [[118]](https://www.w3.org/TR/sparql12-query/#rTripleTermSubject)
  */
-export declare const tripleTermSubject: RuleDef<'tripleTermSubject', T11.VariableTerm | T11.IriTerm | T11.LiteralTerm | T11.BlankTerm>;
+export declare const tripleTermSubject: T11.SparqlGrammarRule<'tripleTermSubject', T11.VariableTerm | T11.IriTerm | T11.LiteralTerm | T11.BlankTerm>;
 /**
  * [[119]](https://www.w3.org/TR/sparql12-query/#rTripleTermObject)
  */
-export declare const tripleTermObject: RuleDef<'tripleTermObject', RuleDefReturn<typeof tripleTermSubject> | BaseQuadTerm>;
+export declare const tripleTermObject: T11.SparqlGrammarRule<'tripleTermObject', RuleDefReturn<typeof tripleTermSubject> | BaseQuadTerm>;
 /**
  * [[120]](https://www.w3.org/TR/sparql12-query/#rTripleTermData)
  */
-export declare const tripleTermData: RuleDef<'tripleTermData', BaseQuadTerm>;
+export declare const tripleTermData: T11.SparqlGrammarRule<'tripleTermData', BaseQuadTerm>;
 /**
  * [[121]](https://www.w3.org/TR/sparql12-query/#rTripleTermDataSubject)
  */
-export declare const tripleTermDataSubject: RuleDef<'tripleTermDataSubject', T11.IriTerm | T11.LiteralTerm>;
+export declare const tripleTermDataSubject: T11.SparqlGrammarRule<'tripleTermDataSubject', T11.IriTerm | T11.LiteralTerm>;
 /**
  * [[122]](https://www.w3.org/TR/sparql12-query/#rTripleTermDataObject)
  */
-export declare const tripleTermDataObject: RuleDef<'tripleTermDataObject', RuleDefReturn<typeof tripleTermDataSubject> | BaseQuadTerm>;
+export declare const tripleTermDataObject: T11.SparqlGrammarRule<'tripleTermDataObject', RuleDefReturn<typeof tripleTermDataSubject> | BaseQuadTerm>;
 /**
  * OVERRIDING RULE: {@link S11.primaryExpression}.
  * [[134]](https://www.w3.org/TR/sparql12-query/#rPrimaryExpression)
  */
-export declare const primaryExpression: RuleDef<'primaryExpression', Expression>;
+export declare const primaryExpression: T11.SparqlGrammarRule<'primaryExpression', Expression>;
 /**
  * [[135]](https://www.w3.org/TR/sparql12-query/#rExprTripleTerm)
  */
-export declare const exprTripleTerm: RuleDef<'exprTripleTerm', BaseQuadTerm>;
+export declare const exprTripleTerm: T11.SparqlGrammarRule<'exprTripleTerm', BaseQuadTerm>;
 /**
  * [[136]](https://www.w3.org/TR/sparql12-query/#rExprTripleTermSubject)
  */
-export declare const exprTripleTermSubject: RuleDef<'exprTripleTermSubject', T11.IriTerm | T11.VariableTerm | T11.LiteralTerm>;
+export declare const exprTripleTermSubject: T11.SparqlGrammarRule<'exprTripleTermSubject', T11.IriTerm | T11.VariableTerm | T11.LiteralTerm>;
 /**
  * [[137]](https://www.w3.org/TR/sparql12-query/#rExprTripleTermObject)
  */
-export declare const exprTripleTermObject: RuleDef<'exprTripleTermObject', RuleDefReturn<typeof exprTripleTermSubject> | BaseQuadTerm>;
+export declare const exprTripleTermObject: T11.SparqlGrammarRule<'exprTripleTermObject', RuleDefReturn<typeof exprTripleTermSubject> | BaseQuadTerm>;
 export declare const builtinLangDir: S11.RuleDefExpressionFunctionX<"builtInLangdir", [T11.Expression]>;
 export declare const builtinLangStrDir: S11.RuleDefExpressionFunctionX<"builtInStrLangdir", [T11.Expression, T11.Expression, T11.Expression]>;
 export declare const builtinHasLang: S11.RuleDefExpressionFunctionX<"builtInHasLang", [T11.Expression]>;
@@ -154,4 +196,4 @@ export declare const builtInCall: typeof S11.builtInCall;
  * No retyping is needed since the return type is the same
  * [[147]](https://www.w3.org/TR/sparql12-query/#rRDFLiteral)
  */
-export declare const rdfLiteral: typeof S11.rdfLiteral;
+export declare const rdfLiteral: T11.SparqlGrammarRule<'rdfLiteral', T11.LiteralTerm>;