@traqula/rules-sparql-1-2 0.0.1-alpha.148 → 0.0.1-alpha.9

package/lib/index.d.ts

@@ -1,3 +1,6 @@
 export * as gram from './grammar';
 export * as lex from './lexer';
 export * from './sparql12Types';
+export * from './sparql12HelperTypes';
+export * from './parserUtils';
+export * from './Factory';

package/lib/index.js

@@ -1,4 +1,7 @@
 export * as gram from './grammar';
 export * as lex from './lexer';
 export * from './sparql12Types';
+export * from './sparql12HelperTypes';
+export * from './parserUtils';
+export * from './Factory';
 //# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,GAAG,MAAM,SAAS,CAAC;AAC/B,cAAc,iBAAiB,CAAC","sourcesContent":["export * as gram from './grammar';\nexport * as lex from './lexer';\nexport * from './sparql12Types';"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,GAAG,MAAM,SAAS,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AACtC,cAAc,eAAe,CAAC;AAC9B,cAAc,WAAW,CAAC","sourcesContent":["export * as gram from './grammar';\nexport * as lex from './lexer';\nexport * from './sparql12Types';\nexport * from './sparql12HelperTypes';\nexport * from './parserUtils';\nexport * from './Factory';\n"]}

package/lib/lexer.d.ts

@@ -1,53 +1,20 @@
 import { LexerBuilder } from '@traqula/core';
-export declare const tilde: import("chevrotain").TokenType & {
-    name: "Tilde";
-};
-export declare const annotationOpen: import("chevrotain").TokenType & {
-    name: "AnnotationOpen";
-};
-export declare const annotationClose: import("chevrotain").TokenType & {
-    name: "AnnotationClose";
-};
-export declare const reificationOpen: import("chevrotain").TokenType & {
-    name: "ReificationOpen";
-};
-export declare const reificationClose: import("chevrotain").TokenType & {
-    name: "ReificationClose";
-};
-export declare const tripleTermOpen: import("chevrotain").TokenType & {
-    name: "TripleTermOpen";
-};
-export declare const tripleTermClose: import("chevrotain").TokenType & {
-    name: "TripleTermClose";
-};
-export declare const builtinLangDir: import("chevrotain").TokenType & {
-    name: "BuiltInLangdir";
-};
-export declare const builtinStrLangDir: import("chevrotain").TokenType & {
-    name: "BuiltInStrLangdir";
-};
-export declare const builtinHasLang: import("chevrotain").TokenType & {
-    name: "BuiltInHasLang";
-};
-export declare const builtinHasLangDir: import("chevrotain").TokenType & {
-    name: "BuiltInHasLangdir";
-};
-export declare const builtinIsTRIPLE: import("chevrotain").TokenType & {
-    name: "BuiltInIsTriple";
-};
-export declare const builtinTRIPLE: import("chevrotain").TokenType & {
-    name: "BuiltInTriple";
-};
-export declare const builtinSUBJECT: import("chevrotain").TokenType & {
-    name: "BuiltInSubject";
-};
-export declare const builtinPREDICATE: import("chevrotain").TokenType & {
-    name: "BuiltInPredicate";
-};
-export declare const builtinOBJECT: import("chevrotain").TokenType & {
-    name: "BuiltInObject";
-};
-export declare const LANG_DIR: import("chevrotain").TokenType & {
-    name: "LANG_DIR";
-};
-export declare const sparql12Tokens: LexerBuilder<"" | "a" | "BuiltInStr" | "BuiltInLang" | "BuiltInLangmatches" | "BuiltInDatatype" | "BuiltInBound" | "BuiltInIri" | "BuiltInUri" | "BuiltInBnode" | "BuiltInRand" | "BuiltInAbs" | "BuiltInCeil" | "BuiltInFloor" | "BuiltInRound" | "BuiltInConcat" | "BuiltInStrlen" | "BuiltInUcase" | "BuiltInLcase" | "BuiltInEncode_for_uri" | "BuiltInContains" | "BuiltInStrstarts" | "BuiltInStrends" | "BuiltInStrbefore" | "BuiltInStrafter" | "BuiltInYear" | "BuiltInMonth" | "BuiltInDay" | "BuiltInHours" | "BuiltInMinutes" | "BuiltInSeconds" | "BuiltInTimezone" | "BuiltInTz" | "BuiltInNow" | "BuiltInUuid" | "BuiltInStruuid" | "BuiltInMd5" | "BuiltInSha1" | "BuiltInSha256" | "BuiltInSha384" | "BuiltInSha512" | "BuiltInCoalesce" | "BuiltInIf" | "BuiltInStrlang" | "BuiltInStrdt" | "BuiltInSameterm" | "BuiltInIsiri" | "BuiltInIsuri" | "BuiltInIsblank" | "BuiltInIsliteral" | "BuiltInIsnumeric" | "BuiltInRegex" | "BuiltInSubstr" | "BuiltInReplace" | "BuiltInExists" | "BuiltInNotexists" | "BuiltInCount" | "BuiltInSum" | "BuiltInMin" | "BuiltInMax" | "BuiltInAvg" | "BuiltInSample" | "BuiltInGroup_concat" | "NamedGraph" | "DefaultGraph" | "Graph" | "GraphAll" | "LCurly" | "RCurly" | "Dot" | "Comma" | "Semi" | "LParen" | "RParen" | "LSquare" | "RSquare" | "Pipe" | "Slash" | "Hat" | "Question" | "Star" | "OpPlus" | "OpMinus" | "Exclamation" | "LogicAnd" | "LogicOr" | "Equal" | "NotEqual" | "LessThan" | "GreaterThan" | "LessThanEqual" | "GreaterThanEqual" | "Hathat" | "IriRef" | "PNameLn" | "PNameNs" | "BlankNodeLabel" | "Var1" | "Var2" | "Integer" | "Decimal" | "Double" | "InterferePositive" | "DecimalPositive" | "DoublePositive" | "IntegerNegative" | "DecimalNegative" | "DoubleNegative" | "StringLiteral1" | "StringLiteral2" | "StringLiteralLong1" | "StringLiteralLong2" | "Ws" | "Comment" | "Nil" | "Anon" | "BaseDecl" | "PrefixDecl" | "Select" | "Distinct" | "Reduced" | "As" | "Construct" | "Describe" | "Ask" | "From" | "Where" | "GroupBy" | "Having" | "Order" | "OrderAsc" | "OrderDesc" | "Limit" | "Offset" | "Values" | "Load" | "Silent" | "LoadInto" | "Clear" | "Drop" | "Create" | "Add" | "To" | "Move" | "Copy" | "ModifyWith" | "DeleteClause" | "InsertClause" | "DataClause" | "UsingClause" | "Optional" | "Service" | "Bind" | "Undef" | "Minus" | "Union" | "Filter" | "True" | "False" | "In" | "NotIn" | "Separator" | "Tilde" | "AnnotationOpen" | "AnnotationClose" | "ReificationOpen" | "ReificationClose" | "TripleTermOpen" | "TripleTermClose" | "BuiltInLangdir" | "BuiltInStrLangdir" | "BuiltInHasLang" | "BuiltInHasLangdir" | "BuiltInIsTriple" | "BuiltInTriple" | "BuiltInSubject" | "BuiltInPredicate" | "BuiltInObject" | "LANG_DIR">;
+export declare const version: import("@traqula/core").NamedToken<"Version">;
+export declare const tilde: import("@traqula/core").NamedToken<"Tilde">;
+export declare const annotationOpen: import("@traqula/core").NamedToken<"AnnotationOpen">;
+export declare const annotationClose: import("@traqula/core").NamedToken<"AnnotationClose">;
+export declare const reificationOpen: import("@traqula/core").NamedToken<"ReificationOpen">;
+export declare const reificationClose: import("@traqula/core").NamedToken<"ReificationClose">;
+export declare const tripleTermOpen: import("@traqula/core").NamedToken<"TripleTermOpen">;
+export declare const tripleTermClose: import("@traqula/core").NamedToken<"TripleTermClose">;
+export declare const builtinLangDir: import("@traqula/core").NamedToken<"BuiltInLangdir">;
+export declare const builtinStrLangDir: import("@traqula/core").NamedToken<"BuiltInStrLangdir">;
+export declare const builtinHasLang: import("@traqula/core").NamedToken<"BuiltInHasLang">;
+export declare const builtinHasLangDir: import("@traqula/core").NamedToken<"BuiltInHasLangdir">;
+export declare const builtinIsTRIPLE: import("@traqula/core").NamedToken<"BuiltInIsTriple">;
+export declare const builtinTRIPLE: import("@traqula/core").NamedToken<"BuiltInTriple">;
+export declare const builtinSUBJECT: import("@traqula/core").NamedToken<"BuiltInSubject">;
+export declare const builtinPREDICATE: import("@traqula/core").NamedToken<"BuiltInPredicate">;
+export declare const builtinOBJECT: import("@traqula/core").NamedToken<"BuiltInObject">;
+export declare const LANG_DIR: import("@traqula/core").NamedToken<"LANG_DIR">;
+export declare const sparql12Tokens: LexerBuilder<"a" | "BuiltInStr" | "BuiltInLang" | "BuiltInLangmatches" | "BuiltInDatatype" | "BuiltInBound" | "BuiltInIri" | "BuiltInUri" | "BuiltInBnode" | "BuiltInRand" | "BuiltInAbs" | "BuiltInCeil" | "BuiltInFloor" | "BuiltInRound" | "BuiltInConcat" | "BuiltInStrlen" | "BuiltInUcase" | "BuiltInLcase" | "BuiltInEncode_for_uri" | "BuiltInContains" | "BuiltInStrstarts" | "BuiltInStrends" | "BuiltInStrbefore" | "BuiltInStrafter" | "BuiltInYear" | "BuiltInMonth" | "BuiltInDay" | "BuiltInHours" | "BuiltInMinutes" | "BuiltInSeconds" | "BuiltInTimezone" | "BuiltInTz" | "BuiltInNow" | "BuiltInUuid" | "BuiltInStruuid" | "BuiltInMd5" | "BuiltInSha1" | "BuiltInSha256" | "BuiltInSha384" | "BuiltInSha512" | "BuiltInCoalesce" | "BuiltInIf" | "BuiltInStrlang" | "BuiltInStrdt" | "BuiltInSameterm" | "BuiltInIsiri" | "BuiltInIsuri" | "BuiltInIsblank" | "BuiltInIsliteral" | "BuiltInIsnumeric" | "BuiltInRegex" | "BuiltInSubstr" | "BuiltInReplace" | "BuiltInExists" | "BuiltInNotexists" | "BuiltInCount" | "BuiltInSum" | "BuiltInMin" | "BuiltInMax" | "BuiltInAvg" | "BuiltInSample" | "BuiltInGroup_concat" | "NamedGraph" | "DefaultGraph" | "Graph" | "GraphAll" | "LCurly" | "RCurly" | "Dot" | "Comma" | "Semi" | "LParen" | "RParen" | "LSquare" | "RSquare" | "Pipe" | "Slash" | "Hat" | "Question" | "Star" | "OpPlus" | "OpMinus" | "Exclamation" | "LogicAnd" | "LogicOr" | "Equal" | "NotEqual" | "LessThan" | "GreaterThan" | "LessThanEqual" | "GreaterThanEqual" | "Hathat" | "IriRef" | "PNameLn" | "PNameNs" | "BlankNodeLabel" | "Var1" | "Var2" | "Integer" | "Decimal" | "Double" | "InterferePositive" | "DecimalPositive" | "DoublePositive" | "IntegerNegative" | "DecimalNegative" | "DoubleNegative" | "StringLiteral1" | "StringLiteral2" | "StringLiteralLong1" | "StringLiteralLong2" | "Ws" | "Comment" | "Nil" | "Anon" | "BaseDecl" | "PrefixDecl" | "Select" | "Distinct" | "Reduced" | "As" | "Construct" | "Describe" | "Ask" | "From" | "Where" | "GroupByGroup" | "By" | "Having" | "Order" | "OrderAsc" | "OrderDesc" | "Limit" | "Offset" | "Values" | "Load" | "Silent" | "LoadInto" | "Clear" | "Drop" | "Create" | "Add" | "To" | "Move" | "Copy" | "ModifyWith" | "DeleteClause" | "InsertClause" | "DataClause" | "UsingClause" | "Optional" | "Service" | "Bind" | "Undef" | "Minus" | "Union" | "Filter" | "True" | "False" | "In" | "NotIn" | "Separator" | "Version" | "Tilde" | "AnnotationOpen" | "AnnotationClose" | "ReificationOpen" | "ReificationClose" | "TripleTermOpen" | "TripleTermClose" | "BuiltInLangdir" | "BuiltInStrLangdir" | "BuiltInHasLang" | "BuiltInHasLangdir" | "BuiltInIsTriple" | "BuiltInTriple" | "BuiltInSubject" | "BuiltInPredicate" | "BuiltInObject" | "LANG_DIR">;

package/lib/lexer.js

@@ -1,7 +1,7 @@
 /* eslint-disable require-unicode-regexp */
-import { LexerBuilder } from '@traqula/core';
+import { LexerBuilder, createToken } from '@traqula/core';
 import { lex as l11 } from '@traqula/rules-sparql-1-1';
-import { createToken } from '@traqula/core';
+export const version = createToken({ name: 'Version', pattern: /version/i, label: 'version identifier' });
 export const tilde = createToken({ name: 'Tilde', pattern: '~', label: '~' });
 export const annotationOpen = createToken({ name: 'AnnotationOpen', pattern: '{|', label: `Annotation Open: {|` });
 export const annotationClose = createToken({ name: 'AnnotationClose', pattern: '|}', label: 'Annotation Close |}' });
@@ -28,12 +28,12 @@ export const builtinPREDICATE = createToken({ name: 'BuiltInPredicate', pattern:
 export const builtinOBJECT = createToken({ name: 'BuiltInObject', pattern: /object/i, label: 'OBJECT' });
 export const LANG_DIR = createToken({
     name: 'LANG_DIR',
-    pattern: /@[A-Za-z]+(?:-[\dA-Za-z]+)*(?:--[A-Za-z]+)?/,
+    pattern: /@[a-z]+(?:-[\da-z]+)*(?:--[a-z]+)?/i,
     label: 'LANG_DIR',
 });
 export const sparql12Tokens = LexerBuilder
     .create(l11.sparql11Tokens)
-    .addBefore(l11.symbols.logicAnd, tilde, annotationOpen, annotationClose, tripleTermOpen, tripleTermClose, reificationOpen, reificationClose)
+    .addBefore(l11.symbols.logicAnd, tilde, annotationOpen, annotationClose, tripleTermOpen, tripleTermClose, reificationOpen, reificationClose, version)
     .addBefore(l11.builtIn.langmatches, builtinLangDir, builtinStrLangDir, builtinHasLangDir, builtinHasLang, builtinIsTRIPLE, builtinTRIPLE, builtinSUBJECT, builtinPREDICATE, builtinOBJECT)
     .addBefore(l11.terminals.langTag, LANG_DIR)
     .delete(l11.terminals.langTag);

package/lib/lexer.js.map

@@ -1 +1 @@
-{"version":3,"file":"lexer.js","sourceRoot":"","sources":["lexer.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,GAAG,IAAI,GAAG,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C,MAAM,CAAC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9E,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;AACnH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC;AACxH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC,CAAC;AAExH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7G,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC;IAC3C,IAAI,EAAE,mBAAmB;IACzB,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,YAAY;CACpB,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7G,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC;IAC3C,IAAI,EAAE,mBAAmB;IACzB,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,YAAY;CACpB,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AACjH,MAAM,CAAC,MAAM,aAAa,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AACzG,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7G,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,aAAa,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AAEzG,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC;IAClC,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,6CAA6C;IACtD,KAAK,EAAE,UAAU;CAClB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,YAAY;KACvC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;KAC1B,SAAS,CACR,GAAG,CAAC,OAAO,CAAC,QAAQ,EACpB,KAAK,EACL,cAAc,EACd,eAAe,EACf,cAAc,EACd,eAAe,EACf,eAAe,EACf,gBAAgB,CACjB;KACA,SAAS,CACR,GAAG,CAAC,OAAO,CAAC,WAAW,EACvB,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,aAAa,EACb,cAAc,EACd,gBAAgB,EAChB,aAAa,CACd;KACA,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC;KAC1C,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/* eslint-disable require-unicode-regexp */\nimport { LexerBuilder } from '@traqula/core';\nimport { lex as l11 } from '@traqula/rules-sparql-1-1';\nimport { createToken } from '@traqula/core';\n\nexport const tilde = createToken({ name: 'Tilde', pattern: '~', label: '~' });\nexport const annotationOpen = createToken({ name: 'AnnotationOpen', pattern: '{|', label: `Annotation Open: {|` });\nexport const annotationClose = createToken({ name: 'AnnotationClose', pattern: '|}', label: 'Annotation Close |}' });\nexport const reificationOpen = createToken({ name: 'ReificationOpen', pattern: '<<', label: 'Reification open <<' });\nexport const reificationClose = createToken({ name: 'ReificationClose', pattern: '>>', label: 'Reification close >>' });\nexport const tripleTermOpen = createToken({ name: 'TripleTermOpen', pattern: '<<(', label: 'Triple Term Open <<(' });\nexport const tripleTermClose = createToken({ name: 'TripleTermClose', pattern: ')>>', label: 'Triple Term Close )>>' });\n\nexport const builtinLangDir = createToken({ name: 'BuiltInLangdir', pattern: /langdir/i, label: 'LANGDIR' });\nexport const builtinStrLangDir = createToken({\n  name: 'BuiltInStrLangdir',\n  pattern: /strlangdir/i,\n  label: 'STRLANGDIR',\n});\nexport const builtinHasLang = createToken({ name: 'BuiltInHasLang', pattern: /haslang/i, label: 'hasLANG' });\nexport const builtinHasLangDir = createToken({\n  name: 'BuiltInHasLangdir',\n  pattern: /haslangdir/i,\n  label: 'hasLANGDIR',\n});\nexport const builtinIsTRIPLE = createToken({ name: 'BuiltInIsTriple', pattern: /istriple/i, label: 'isTRIPLE' });\nexport const builtinTRIPLE = createToken({ name: 'BuiltInTriple', pattern: /triple/i, label: 'TRIPLE' });\nexport const builtinSUBJECT = createToken({ name: 'BuiltInSubject', pattern: /subject/i, label: 'SUBJECT' });\nexport const builtinPREDICATE = createToken({ name: 'BuiltInPredicate', pattern: /predicate/i, label: 'PREDICATE' });\nexport const builtinOBJECT = createToken({ name: 'BuiltInObject', pattern: /object/i, label: 'OBJECT' });\n\nexport const LANG_DIR = createToken({\n  name: 'LANG_DIR',\n  pattern: /@[A-Za-z]+(?:-[\\dA-Za-z]+)*(?:--[A-Za-z]+)?/,\n  label: 'LANG_DIR',\n});\n\nexport const sparql12Tokens = LexerBuilder\n  .create(l11.sparql11Tokens)\n  .addBefore(\n    l11.symbols.logicAnd,\n    tilde,\n    annotationOpen,\n    annotationClose,\n    tripleTermOpen,\n    tripleTermClose,\n    reificationOpen,\n    reificationClose,\n  )\n  .addBefore(\n    l11.builtIn.langmatches,\n    builtinLangDir,\n    builtinStrLangDir,\n    builtinHasLangDir,\n    builtinHasLang,\n    builtinIsTRIPLE,\n    builtinTRIPLE,\n    builtinSUBJECT,\n    builtinPREDICATE,\n    builtinOBJECT,\n  )\n  .addBefore(l11.terminals.langTag, LANG_DIR)\n  .delete(l11.terminals.langTag);\n"]}
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["lexer.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,GAAG,IAAI,GAAG,EAAE,MAAM,2BAA2B,CAAC;AAEvD,MAAM,CAAC,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;AAC1G,MAAM,CAAC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9E,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;AACnH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC;AACxH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC,CAAC;AAExH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7G,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC;IAC3C,IAAI,EAAE,mBAAmB;IACzB,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,YAAY;CACpB,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7G,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC;IAC3C,IAAI,EAAE,mBAAmB;IACzB,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,YAAY;CACpB,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AACjH,MAAM,CAAC,MAAM,aAAa,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AACzG,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7G,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,aAAa,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AAEzG,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC;IAClC,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,qCAAqC;IAC9C,KAAK,EAAE,UAAU;CAClB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,YAAY;KACvC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;KAC1B,SAAS,CACR,GAAG,CAAC,OAAO,CAAC,QAAQ,EACpB,KAAK,EACL,cAAc,EACd,eAAe,EACf,cAAc,EACd,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,OAAO,CACR;KACA,SAAS,CACR,GAAG,CAAC,OAAO,CAAC,WAAW,EACvB,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,aAAa,EACb,cAAc,EACd,gBAAgB,EAChB,aAAa,CACd;KACA,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC;KAC1C,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/* eslint-disable require-unicode-regexp */\nimport { LexerBuilder, createToken } from '@traqula/core';\nimport { lex as l11 } from '@traqula/rules-sparql-1-1';\n\nexport const version = createToken({ name: 'Version', pattern: /version/i, label: 'version identifier' });\nexport const tilde = createToken({ name: 'Tilde', pattern: '~', label: '~' });\nexport const annotationOpen = createToken({ name: 'AnnotationOpen', pattern: '{|', label: `Annotation Open: {|` });\nexport const annotationClose = createToken({ name: 'AnnotationClose', pattern: '|}', label: 'Annotation Close |}' });\nexport const reificationOpen = createToken({ name: 'ReificationOpen', pattern: '<<', label: 'Reification open <<' });\nexport const reificationClose = createToken({ name: 'ReificationClose', pattern: '>>', label: 'Reification close >>' });\nexport const tripleTermOpen = createToken({ name: 'TripleTermOpen', pattern: '<<(', label: 'Triple Term Open <<(' });\nexport const tripleTermClose = createToken({ name: 'TripleTermClose', pattern: ')>>', label: 'Triple Term Close )>>' });\n\nexport const builtinLangDir = createToken({ name: 'BuiltInLangdir', pattern: /langdir/i, label: 'LANGDIR' });\nexport const builtinStrLangDir = createToken({\n  name: 'BuiltInStrLangdir',\n  pattern: /strlangdir/i,\n  label: 'STRLANGDIR',\n});\nexport const builtinHasLang = createToken({ name: 'BuiltInHasLang', pattern: /haslang/i, label: 'hasLANG' });\nexport const builtinHasLangDir = createToken({\n  name: 'BuiltInHasLangdir',\n  pattern: /haslangdir/i,\n  label: 'hasLANGDIR',\n});\nexport const builtinIsTRIPLE = createToken({ name: 'BuiltInIsTriple', pattern: /istriple/i, label: 'isTRIPLE' });\nexport const builtinTRIPLE = createToken({ name: 'BuiltInTriple', pattern: /triple/i, label: 'TRIPLE' });\nexport const builtinSUBJECT = createToken({ name: 'BuiltInSubject', pattern: /subject/i, label: 'SUBJECT' });\nexport const builtinPREDICATE = createToken({ name: 'BuiltInPredicate', pattern: /predicate/i, label: 'PREDICATE' });\nexport const builtinOBJECT = createToken({ name: 'BuiltInObject', pattern: /object/i, label: 'OBJECT' });\n\nexport const LANG_DIR = createToken({\n  name: 'LANG_DIR',\n  pattern: /@[a-z]+(?:-[\\da-z]+)*(?:--[a-z]+)?/i,\n  label: 'LANG_DIR',\n});\n\nexport const sparql12Tokens = LexerBuilder\n  .create(l11.sparql11Tokens)\n  .addBefore(\n    l11.symbols.logicAnd,\n    tilde,\n    annotationOpen,\n    annotationClose,\n    tripleTermOpen,\n    tripleTermClose,\n    reificationOpen,\n    reificationClose,\n    version,\n  )\n  .addBefore(\n    l11.builtIn.langmatches,\n    builtinLangDir,\n    builtinStrLangDir,\n    builtinHasLangDir,\n    builtinHasLang,\n    builtinIsTRIPLE,\n    builtinTRIPLE,\n    builtinSUBJECT,\n    builtinPREDICATE,\n    builtinOBJECT,\n  )\n  .addBefore(l11.terminals.langTag, LANG_DIR)\n  .delete(l11.terminals.langTag);\n"]}

package/lib/parserUtils.d.ts

@@ -0,0 +1,8 @@
+import type { SparqlContext } from './sparql12HelperTypes';
+export declare function completeParseContext(context: Partial<SparqlContext & {
+    origSource: string;
+    offset?: number;
+}>): SparqlContext & {
+    origSource: string;
+    offset?: number;
+};

package/lib/parserUtils.js

@@ -0,0 +1,13 @@
+import { Factory } from './Factory';
+export function completeParseContext(context) {
+    return {
+        factory: context.factory ?? new Factory(),
+        baseIRI: context.baseIRI,
+        prefixes: { ...context.prefixes },
+        origSource: context.origSource ?? '',
+        offset: context.offset,
+        parseMode: context.parseMode ? new Set(context.parseMode) : new Set(['canParseVars', 'canCreateBlankNodes']),
+        skipValidation: context.skipValidation ?? false,
+    };
+}
+//# sourceMappingURL=parserUtils.js.map

package/lib/parserUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parserUtils.js","sourceRoot":"","sources":["parserUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGpC,MAAM,UAAU,oBAAoB,CAClC,OAAyE;IAEzE,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,IAAI,OAAO,EAAE;QACzC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE;QACjC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAE,cAAc,EAAE,qBAAqB,CAAE,CAAC;QAC9G,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;KAChD,CAAC;AACJ,CAAC","sourcesContent":["import { Factory } from './Factory';\nimport type { SparqlContext } from './sparql12HelperTypes';\n\nexport function completeParseContext(\n  context: Partial<SparqlContext & { origSource: string; offset?: number }>,\n): SparqlContext & { origSource: string; offset?: number } {\n  return {\n    factory: context.factory ?? new Factory(),\n    baseIRI: context.baseIRI,\n    prefixes: { ...context.prefixes },\n    origSource: context.origSource ?? '',\n    offset: context.offset,\n    parseMode: context.parseMode ? new Set(context.parseMode) : new Set([ 'canParseVars', 'canCreateBlankNodes' ]),\n    skipValidation: context.skipValidation ?? false,\n  };\n}\n"]}

package/lib/sparql12HelperTypes.d.ts

@@ -0,0 +1,50 @@
+import type { GeneratorRule, ParserRule } from '@traqula/core';
+import type * as T11 from '@traqula/rules-sparql-1-1';
+import type { Factory } from './Factory';
+export type SparqlRule<
+/**
+ * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.
+ */
+NameType extends string = string, 
+/**
+ * Type that will be returned after a correct parse of this rule.
+ * This type will be the return type of calling SUBRULE with this grammar rule.
+ */
+ReturnType = unknown, GenInputType = ReturnType, 
+/**
+ * Function arguments that can be given to convey the state of the current parse operation.
+ */
+ParamType = undefined> = SparqlGrammarRule<NameType, ReturnType, ParamType> & SparqlGeneratorRule<NameType, GenInputType, ParamType>;
+export type SparqlGeneratorRule<
+/**
+ * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.
+ */
+NameType extends string = string, 
+/**
+ * Type that will be returned after a correct parse of this rule.
+ * This type will be the return type of calling SUBRULE with this grammar rule.
+ */
+ReturnType = unknown, 
+/**
+ * Function arguments that can be given to convey the state of the current parse operation.
+ */
+ParamType = undefined> = GeneratorRule<{
+    factory: Factory;
+}, NameType, ReturnType, ParamType>;
+export type SparqlGrammarRule<
+/**
+ * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.
+ */
+NameType extends string = string, 
+/**
+ * Type that will be returned after a correct parse of this rule.
+ * This type will be the return type of calling SUBRULE with this grammar rule.
+ */
+ReturnType = unknown, 
+/**
+ * Function arguments that can be given to convey the state of the current parse operation.
+ */
+ParamType = undefined> = ParserRule<SparqlContext, NameType, ReturnType, ParamType>;
+export type SparqlContext = T11.SparqlContext & {
+    factory: Factory;
+};

package/lib/sparql12HelperTypes.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sparql12HelperTypes.js.map

package/lib/sparql12HelperTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sparql12HelperTypes.js","sourceRoot":"","sources":["sparql12HelperTypes.ts"],"names":[],"mappings":"","sourcesContent":["import type { GeneratorRule, ParserRule } from '@traqula/core';\nimport type * as T11 from '@traqula/rules-sparql-1-1';\nimport type { Factory } from './Factory';\n\nexport type SparqlRule<\n  /**\n   * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.\n   */\n  NameType extends string = string,\n  /**\n   * Type that will be returned after a correct parse of this rule.\n   * This type will be the return type of calling SUBRULE with this grammar rule.\n   */\n  ReturnType = unknown,\n  GenInputType = ReturnType,\n  /**\n   * Function arguments that can be given to convey the state of the current parse operation.\n   */\n  ParamType = undefined,\n> = SparqlGrammarRule<NameType, ReturnType, ParamType>\n  & SparqlGeneratorRule<NameType, GenInputType, ParamType>;\n\nexport type SparqlGeneratorRule<\n  /**\n   * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.\n   */\n  NameType extends string = string,\n  /**\n   * Type that will be returned after a correct parse of this rule.\n   * This type will be the return type of calling SUBRULE with this grammar rule.\n   */\n  ReturnType = unknown,\n  /**\n   * Function arguments that can be given to convey the state of the current parse operation.\n   */\n  ParamType = undefined,\n> = GeneratorRule<{ factory: Factory }, NameType, ReturnType, ParamType>;\n\nexport type SparqlGrammarRule<\n  /**\n   * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.\n   */\n  NameType extends string = string,\n  /**\n   * Type that will be returned after a correct parse of this rule.\n   * This type will be the return type of calling SUBRULE with this grammar rule.\n   */\n  ReturnType = unknown,\n  /**\n   * Function arguments that can be given to convey the state of the current parse operation.\n   */\n  ParamType = undefined,\n> = ParserRule<SparqlContext, NameType, ReturnType, ParamType>;\n\nexport type SparqlContext = T11.SparqlContext & { factory: Factory };\n"]}

package/lib/sparql12Types.d.ts

@@ -1,25 +1,317 @@
-import type * as RdfJs from '@rdfjs/types';
+import type { Localized, Node, Patch } from '@traqula/core';
 import type * as T11 from '@traqula/rules-sparql-1-1';
-export type BaseQuadTerm = RdfJs.BaseQuad;
-export type GraphTerm = T11.GraphTerm | BaseQuadTerm;
-export type Term = T11.Term | BaseQuadTerm;
-export type Expression = T11.Expression | BaseQuadTerm;
-export type Triple = {
-    subject: Term;
-    predicate: T11.IriTerm | T11.VariableTerm | T11.PropertyPath;
-    object: Term;
+export type Sparql12Nodes = GraphRef | UpdateOperation | Update | Query | DatasetClauses | TripleCollection | TripleNesting | Pattern | SolutionModifier | Expression | Path | ContextDefinition | Wildcard | Term;
+export type GraphRefBase = T11.GraphRefBase;
+export type GraphRefDefault = T11.GraphRefDefault;
+export type GraphRefNamed = T11.GraphRefNamed;
+export type GraphRefAll = T11.GraphRefAll;
+export type GraphRefSpecific = T11.GraphRefSpecific;
+export type GraphRef = T11.GraphRef;
+export type Quads = PatternBgp | GraphQuads;
+export type GraphQuads = Node & {
+    type: 'graph';
+    graph: TermIri | TermVariable;
+    triples: PatternBgp;
+};
+export type UpdateOperationBase = Node & {
+    type: 'updateOperation';
+    subType: string;
+};
+export type UpdateOperationLoad = UpdateOperationBase & {
+    subType: 'load';
+    silent: boolean;
+    source: TermIri;
+    destination?: GraphRefSpecific;
+};
+type UpdateOperationClearDropCreateBase = UpdateOperationBase & {
+    subType: 'clear' | 'drop' | 'create';
+    silent: boolean;
+    destination: GraphRef;
+};
+export type UpdateOperationClear = UpdateOperationClearDropCreateBase & {
+    subType: 'clear';
+};
+export type UpdateOperationDrop = UpdateOperationClearDropCreateBase & {
+    subType: 'drop';
+};
+export type UpdateOperationCreate = UpdateOperationClearDropCreateBase & {
+    subType: 'create';
+    destination: GraphRefSpecific;
+};
+type UpdateOperationAddMoveCopy = UpdateOperationBase & {
+    subType: 'add' | 'move' | 'copy';
+    silent: boolean;
+    source: GraphRefDefault | GraphRefSpecific;
+    destination: GraphRefDefault | GraphRefSpecific;
+};
+export type UpdateOperationAdd = UpdateOperationAddMoveCopy & {
+    subType: 'add';
+};
+export type UpdateOperationMove = UpdateOperationAddMoveCopy & {
+    subType: 'move';
+};
+export type UpdateOperationCopy = UpdateOperationAddMoveCopy & {
+    subType: 'copy';
+};
+type UpdateOperationInsertDeleteDelWhere = UpdateOperationBase & {
+    subType: 'insertdata' | 'deletedata' | 'deletewhere';
+    data: Quads[];
+};
+export type UpdateOperationInsertData = UpdateOperationInsertDeleteDelWhere & {
+    subType: 'insertdata';
+};
+export type UpdateOperationDeleteData = UpdateOperationInsertDeleteDelWhere & {
+    subType: 'deletedata';
+};
+export type UpdateOperationDeleteWhere = UpdateOperationInsertDeleteDelWhere & {
+    subType: 'deletewhere';
+};
+export type UpdateOperationModify = UpdateOperationBase & {
+    subType: 'modify';
+    graph: TermIri | undefined;
+    insert: Quads[];
+    delete: Quads[];
+    from: DatasetClauses;
+    where: PatternGroup;
+};
+export type UpdateOperation = UpdateOperationLoad | UpdateOperationClear | UpdateOperationDrop | UpdateOperationCreate | UpdateOperationAdd | UpdateOperationMove | UpdateOperationCopy | UpdateOperationInsertData | UpdateOperationDeleteData | UpdateOperationDeleteWhere | UpdateOperationModify;
+export type Update = Node & {
+    type: 'update';
+    updates: {
+        operation?: UpdateOperation;
+        context: ContextDefinition[];
+    }[];
+};
+export type QueryBase = Node & {
+    type: 'query';
+    subType: string;
+    context: ContextDefinition[];
+    values?: PatternValues;
+    solutionModifiers: SolutionModifiers;
+    datasets: DatasetClauses;
+    where?: PatternGroup;
+};
+export type QuerySelect = QueryBase & {
+    subType: 'select';
+    variables: (TermVariable | PatternBind)[] | [Wildcard];
+    distinct?: true;
+    reduced?: true;
+    where: PatternGroup;
+};
+export type QueryConstruct = QueryBase & {
+    subType: 'construct';
+    template: PatternBgp;
+    where: PatternGroup;
+};
+export type QueryDescribe = QueryBase & {
+    subType: 'describe';
+    variables: (TermVariable | TermIri)[] | [Wildcard];
+};
+export type QueryAsk = QueryBase & {
+    subType: 'ask';
+    where: PatternGroup;
+};
+export type Query = QuerySelect | QueryConstruct | QueryDescribe | QueryAsk;
+export type SparqlQuery = Query | Update;
+export type DatasetClauses = Node & {
+    type: 'datasetClauses';
+    clauses: {
+        clauseType: 'default' | 'named';
+        value: TermIri;
+    }[];
+};
+export type TripleCollectionBase = Node & {
+    type: 'tripleCollection';
+    subType: string;
+    triples: TripleNesting[];
+    identifier: Term;
 };
 /**
- * OVERRIDES: {@link T11.ITriplesNode}
+ * Both subject and predicate of the triples do not have a string manifestation.
  */
-export interface ITriplesNode {
-    node: T11.IriTerm | T11.BlankTerm;
-    triples: Triple[];
-}
+export type TripleCollectionList = TripleCollectionBase & {
+    subType: 'list';
+    identifier: TermBlank;
+};
 /**
- * OVERRIDES: {@link T11.IGraphNode}
+ * The subject of the triples does not have a string manifestation.
  */
-export interface IGraphNode {
-    node: ITriplesNode['node'] | Term;
-    triples: Triple[];
-}
+export type TripleCollectionBlankNodeProperties = Patch<T11.TripleCollectionBlankNodeProperties, {
+    triples: TripleNesting[];
+    identifier: TermBlank | TermVariable | TermIri;
+}>;
+export type TripleCollectionReifiedTriple = TripleCollectionBase & {
+    subType: 'reifiedTriple';
+    identifier: TermVariable | TermIri | TermBlank;
+};
+export type TripleCollection = TripleCollectionList | TripleCollectionBlankNodeProperties | TripleCollectionReifiedTriple;
+export type GraphNode = Term | TripleCollection;
+export type Annotation = TripleCollectionBlankNodeProperties | TermVariable | TermIri | TermBlank;
+export type TripleNesting = Node & {
+    type: 'triple';
+    subject: GraphNode;
+    predicate: TermIri | TermVariable | Path;
+    object: GraphNode;
+    annotations?: Annotation[];
+};
+export type PatternBase = Node & {
+    type: 'pattern';
+    subType: string;
+};
+export type PatternFilter = PatternBase & {
+    subType: 'filter';
+    expression: Expression;
+};
+export type PatternMinus = PatternBase & {
+    subType: 'minus';
+    patterns: Pattern[];
+};
+export type PatternGroup = PatternBase & {
+    subType: 'group';
+    patterns: Pattern[];
+};
+export type PatternOptional = PatternBase & {
+    subType: 'optional';
+    patterns: Pattern[];
+};
+export type PatternGraph = PatternBase & {
+    subType: 'graph';
+    name: TermIri | TermVariable;
+    patterns: Pattern[];
+};
+export type PatternUnion = PatternBase & {
+    subType: 'union';
+    patterns: PatternGroup[];
+};
+export type BasicGraphPattern = (TripleNesting | TripleCollection)[];
+export type PatternBgp = PatternBase & {
+    subType: 'bgp';
+    /**
+     * Only the first appearance of a subject and predicate have a string manifestation
+     */
+    triples: BasicGraphPattern;
+};
+export type PatternBind = PatternBase & {
+    subType: 'bind';
+    expression: Expression;
+    variable: TermVariable;
+};
+export type PatternService = PatternBase & {
+    subType: 'service';
+    name: TermIri | TermVariable;
+    silent: boolean;
+    patterns: Pattern[];
+};
+/**
+ * A single list of assignments maps the variable identifier to the value
+ */
+export type ValuePatternRow = Record<string, TermIri | TermLiteral | undefined>;
+export type PatternValues = PatternBase & {
+    subType: 'values';
+    values: ValuePatternRow[];
+};
+export type SubSelect = QuerySelect;
+export type Pattern = PatternBgp | PatternGroup | PatternUnion | PatternOptional | PatternMinus | PatternGraph | PatternService | PatternFilter | PatternBind | PatternValues | SubSelect;
+export type SolutionModifiers = {
+    group?: SolutionModifierGroup;
+    having?: SolutionModifierHaving;
+    order?: SolutionModifierOrder;
+    limitOffset?: SolutionModifierLimitOffset;
+};
+export type SolutionModifierBase = Node & {
+    type: 'solutionModifier';
+    subType: string;
+};
+export type SolutionModifierGroupBind = Localized & {
+    variable: TermVariable;
+    value: Expression;
+};
+export type SolutionModifierGroup = SolutionModifierBase & {
+    subType: 'group';
+    groupings: (Expression | SolutionModifierGroupBind)[];
+};
+export type SolutionModifierHaving = SolutionModifierBase & {
+    subType: 'having';
+    having: Expression[];
+};
+export type Ordering = Expression | (Localized & {
+    descending: boolean;
+    expression: Expression;
+});
+export type SolutionModifierOrder = SolutionModifierBase & {
+    subType: 'order';
+    orderDefs: Ordering[];
+};
+export type SolutionModifierLimitOffset = T11.SolutionModifierLimitOffset;
+export type SolutionModifier = SolutionModifierGroup | SolutionModifierHaving | SolutionModifierOrder | SolutionModifierLimitOffset;
+export type ExpressionBase = Node & {
+    type: 'expression';
+    subType: string;
+};
+type ExpressionAggregateBase = ExpressionBase & {
+    subType: 'aggregate';
+    distinct: boolean;
+};
+export type ExpressionAggregateDefault = ExpressionAggregateBase & {
+    expression: [Expression];
+    aggregation: string;
+};
+export type ExpressionAggregateOnWildcard = ExpressionAggregateBase & {
+    expression: [Wildcard];
+    aggregation: string;
+};
+export type ExpressionAggregateSeparator = ExpressionAggregateBase & {
+    expression: [Expression];
+    aggregation: string;
+    separator: string;
+};
+export type ExpressionAggregate = ExpressionAggregateDefault | ExpressionAggregateOnWildcard | ExpressionAggregateSeparator;
+export type ExpressionOperation = ExpressionBase & {
+    subType: 'operation';
+    operator: string;
+    args: Expression[];
+};
+export type ExpressionPatternOperation = ExpressionBase & {
+    subType: 'patternOperation';
+    operator: string;
+    args: PatternGroup;
+};
+export type ExpressionFunctionCall = ExpressionBase & {
+    subType: 'functionCall';
+    function: TermIri;
+    distinct: boolean;
+    args: Expression[];
+};
+export type Expression = ExpressionOperation | ExpressionPatternOperation | ExpressionFunctionCall | ExpressionAggregate | TermIri | TermVariable | TermLiteral | TermTriple;
+export type PropertyPathChain = T11.PropertyPathChain;
+export type PathModified = T11.PathModified;
+export type PathNegatedElt = T11.PathNegatedElt;
+export type PathAlternativeLimited = T11.PathAlternativeLimited;
+export type PathNegated = T11.PathNegated;
+export type Path = T11.Path;
+export type ContextDefinitionPrefix = T11.ContextDefinitionPrefix;
+export type ContextDefinitionBase = T11.ContextDefinitionBase;
+export type ContextDefinitionVersion = T11.ContextDefinitionBase_ & {
+    subType: 'version';
+    version: string;
+};
+export type ContextDefinition = T11.ContextDefinition | ContextDefinitionVersion;
+export type Wildcard = T11.Wildcard;
+export type TermLiteralStr = T11.TermLiteralStr;
+export type TermLiteralLangStr = T11.TermLiteralLangStr;
+export type TermLiteralTyped = T11.TermLiteralTyped;
+export type TermLiteral = T11.TermLiteral;
+export type TermVariable = T11.TermVariable;
+export type TermIriFull = T11.TermIriFull;
+export type TermIriPrefixed = T11.TermIriPrefixed;
+export type TermIri = T11.TermIri;
+export type TermBlank = T11.TermBlank;
+export type TermTriple = T11.TermBase & {
+    subType: 'triple';
+    subject: Term;
+    predicate: TermIri | TermVariable;
+    object: Term;
+};
+export type Term = GraphTerm | TermVariable;
+export type GraphTerm = TermIri | TermBlank | TermLiteral | TermTriple;
+export {};

package/lib/sparql12Types.js.map

@@ -1 +1 @@
-{"version":3,"file":"sparql12Types.js","sourceRoot":"","sources":["sparql12Types.ts"],"names":[],"mappings":"","sourcesContent":["import type * as RdfJs from '@rdfjs/types';\nimport type * as T11 from '@traqula/rules-sparql-1-1';\n\nexport type BaseQuadTerm = RdfJs.BaseQuad;\nexport type GraphTerm = T11.GraphTerm | BaseQuadTerm;\nexport type Term = T11.Term | BaseQuadTerm;\nexport type Expression = T11.Expression | BaseQuadTerm;\n\nexport type Triple = {\n  subject: Term;\n  predicate: T11.IriTerm | T11.VariableTerm | T11.PropertyPath;\n  object: Term;\n};\n\n/**\n * OVERRIDES: {@link T11.ITriplesNode}\n */\nexport interface ITriplesNode {\n  node: T11.IriTerm | T11.BlankTerm;\n  triples: Triple[];\n}\n\n/**\n * OVERRIDES: {@link T11.IGraphNode}\n */\nexport interface IGraphNode {\n  node: ITriplesNode['node'] | Term;\n  triples: Triple[];\n}\n"]}
+{"version":3,"file":"sparql12Types.js","sourceRoot":"","sources":["sparql12Types.ts"],"names":[],"mappings":"","sourcesContent":["import type { Localized, Node, Patch } from '@traqula/core';\nimport type * as T11 from '@traqula/rules-sparql-1-1';\n\nexport type Sparql12Nodes =\n  | GraphRef\n  | UpdateOperation\n  | Update\n  | Query\n  | DatasetClauses\n  | TripleCollection\n  | TripleNesting\n  | Pattern\n  | SolutionModifier\n  | Expression\n  | Path\n  | ContextDefinition\n  | Wildcard\n  | Term;\n\nexport type GraphRefBase = T11.GraphRefBase;\nexport type GraphRefDefault = T11.GraphRefDefault;\nexport type GraphRefNamed = T11.GraphRefNamed;\nexport type GraphRefAll = T11.GraphRefAll;\nexport type GraphRefSpecific = T11.GraphRefSpecific;\nexport type GraphRef = T11.GraphRef;\n\nexport type Quads = PatternBgp | GraphQuads;\n\nexport type GraphQuads = Node & {\n  type: 'graph';\n  graph: TermIri | TermVariable;\n  triples: PatternBgp;\n};\n\n// https://www.w3.org/TR/sparql11-query/#rUpdate1\nexport type UpdateOperationBase = Node & { type: 'updateOperation'; subType: string };\nexport type UpdateOperationLoad = UpdateOperationBase & {\n  subType: 'load';\n  silent: boolean;\n  source: TermIri;\n  destination?: GraphRefSpecific;\n};\ntype UpdateOperationClearDropCreateBase = UpdateOperationBase & {\n  subType: 'clear' | 'drop' | 'create';\n  silent: boolean;\n  destination: GraphRef;\n};\nexport type UpdateOperationClear = UpdateOperationClearDropCreateBase & { subType: 'clear' };\nexport type UpdateOperationDrop = UpdateOperationClearDropCreateBase & { subType: 'drop' };\nexport type UpdateOperationCreate = UpdateOperationClearDropCreateBase & {\n  subType: 'create';\n  destination: GraphRefSpecific;\n};\ntype UpdateOperationAddMoveCopy = UpdateOperationBase & {\n  subType: 'add' | 'move' | 'copy';\n  silent: boolean;\n  source: GraphRefDefault | GraphRefSpecific;\n  destination: GraphRefDefault | GraphRefSpecific;\n};\nexport type UpdateOperationAdd = UpdateOperationAddMoveCopy & { subType: 'add' };\nexport type UpdateOperationMove = UpdateOperationAddMoveCopy & { subType: 'move' };\nexport type UpdateOperationCopy = UpdateOperationAddMoveCopy & { subType: 'copy' };\ntype UpdateOperationInsertDeleteDelWhere = UpdateOperationBase & {\n  subType: 'insertdata' | 'deletedata' | 'deletewhere';\n  data: Quads[];\n};\nexport type UpdateOperationInsertData = UpdateOperationInsertDeleteDelWhere & { subType: 'insertdata' };\nexport type UpdateOperationDeleteData = UpdateOperationInsertDeleteDelWhere & { subType: 'deletedata' };\nexport type UpdateOperationDeleteWhere = UpdateOperationInsertDeleteDelWhere & { subType: 'deletewhere' };\nexport type UpdateOperationModify = UpdateOperationBase & {\n  subType: 'modify';\n  graph: TermIri | undefined;\n  insert: Quads[];\n  delete: Quads[];\n  from: DatasetClauses;\n  where: PatternGroup;\n};\nexport type UpdateOperation =\n  | UpdateOperationLoad\n  | UpdateOperationClear\n  | UpdateOperationDrop\n  | UpdateOperationCreate\n  | UpdateOperationAdd\n  | UpdateOperationMove\n  | UpdateOperationCopy\n  | UpdateOperationInsertData\n  | UpdateOperationDeleteData\n  | UpdateOperationDeleteWhere\n  | UpdateOperationModify;\n\n// https://www.w3.org/TR/sparql11-query/#rUpdate\nexport type Update = Node & {\n  type: 'update';\n  updates: {\n    operation?: UpdateOperation;\n    context: ContextDefinition[];\n  }[];\n};\n\n// https://www.w3.org/TR/sparql11-query/#rQueryUnit\nexport type QueryBase = Node & {\n  type: 'query';\n  subType: string;\n\n  context: ContextDefinition[];\n  values?: PatternValues;\n  solutionModifiers: SolutionModifiers;\n  datasets: DatasetClauses;\n  where?: PatternGroup;\n};\nexport type QuerySelect = QueryBase & {\n  subType: 'select';\n  variables: (TermVariable | PatternBind)[] | [Wildcard];\n  distinct?: true;\n  reduced?: true;\n  where: PatternGroup;\n};\nexport type QueryConstruct = QueryBase & {\n  subType: 'construct';\n  template: PatternBgp;\n  where: PatternGroup;\n};\nexport type QueryDescribe = QueryBase & {\n  subType: 'describe';\n  variables: (TermVariable | TermIri)[] | [Wildcard];\n};\nexport type QueryAsk = QueryBase & {\n  subType: 'ask';\n  where: PatternGroup;\n};\nexport type Query =\n  | QuerySelect\n  | QueryConstruct\n  | QueryDescribe\n  | QueryAsk;\n\nexport type SparqlQuery = Query | Update;\n\n// https://www.w3.org/TR/sparql11-query/#rDatasetClause\nexport type DatasetClauses = Node & {\n  type: 'datasetClauses';\n  clauses: { clauseType: 'default' | 'named'; value: TermIri }[];\n};\n\n// https://www.w3.org/TR/sparql11-query/#rGraphNode\nexport type TripleCollectionBase = Node & {\n  type: 'tripleCollection';\n  subType: string;\n  triples: TripleNesting[];\n  identifier: Term;\n};\n/**\n * Both subject and predicate of the triples do not have a string manifestation.\n */\nexport type TripleCollectionList = TripleCollectionBase & {\n  subType: 'list';\n  identifier: TermBlank;\n};\n/**\n * The subject of the triples does not have a string manifestation.\n */\nexport type TripleCollectionBlankNodeProperties = Patch<T11.TripleCollectionBlankNodeProperties, {\n  triples: TripleNesting[];\n  identifier: TermBlank | TermVariable | TermIri;\n}>;\nexport type TripleCollectionReifiedTriple = TripleCollectionBase & {\n  subType: 'reifiedTriple';\n  identifier: TermVariable | TermIri | TermBlank;\n};\n\nexport type TripleCollection =\n  | TripleCollectionList\n  | TripleCollectionBlankNodeProperties\n  | TripleCollectionReifiedTriple;\n\n// https://www.w3.org/TR/sparql11-query/#rGraphNode\nexport type GraphNode = Term | TripleCollection;\nexport type Annotation = TripleCollectionBlankNodeProperties | TermVariable | TermIri | TermBlank;\n// https://www.w3.org/TR/sparql11-query/#rTriplesBlock\nexport type TripleNesting = Node & {\n  type: 'triple';\n  subject: GraphNode;\n  predicate: TermIri | TermVariable | Path;\n  object: GraphNode;\n  annotations?: Annotation[];\n};\n\nexport type PatternBase = Node & { type: 'pattern'; subType: string };\nexport type PatternFilter = PatternBase & {\n  subType: 'filter';\n  expression: Expression;\n};\nexport type PatternMinus = PatternBase & {\n  subType: 'minus';\n  patterns: Pattern[];\n};\n\nexport type PatternGroup = PatternBase & {\n  subType: 'group';\n  patterns: Pattern[];\n};\nexport type PatternOptional = PatternBase & {\n  subType: 'optional';\n  patterns: Pattern[];\n};\nexport type PatternGraph = PatternBase & {\n  subType: 'graph';\n  name: TermIri | TermVariable;\n  patterns: Pattern[];\n};\nexport type PatternUnion = PatternBase & {\n  subType: 'union';\n  patterns: PatternGroup[];\n};\nexport type BasicGraphPattern = (TripleNesting | TripleCollection)[];\nexport type PatternBgp = PatternBase & {\n  subType: 'bgp';\n  /**\n   * Only the first appearance of a subject and predicate have a string manifestation\n   */\n  triples: BasicGraphPattern;\n};\nexport type PatternBind = PatternBase & {\n  subType: 'bind';\n  expression: Expression;\n  variable: TermVariable;\n};\nexport type PatternService = PatternBase & {\n  subType: 'service';\n  name: TermIri | TermVariable;\n  silent: boolean;\n  patterns: Pattern[];\n};\n/**\n * A single list of assignments maps the variable identifier to the value\n */\nexport type ValuePatternRow = Record<string, TermIri | TermLiteral | undefined>;\nexport type PatternValues = PatternBase & {\n  subType: 'values';\n  values: ValuePatternRow[];\n};\nexport type SubSelect = QuerySelect;\n\nexport type Pattern =\n  | PatternBgp\n  | PatternGroup\n  | PatternUnion\n  | PatternOptional\n  | PatternMinus\n  | PatternGraph\n  | PatternService\n  | PatternFilter\n  | PatternBind\n  | PatternValues\n  | SubSelect;\n\nexport type SolutionModifiers = {\n  group?: SolutionModifierGroup;\n  having?: SolutionModifierHaving;\n  order?: SolutionModifierOrder;\n  limitOffset?: SolutionModifierLimitOffset;\n};\nexport type SolutionModifierBase = Node & { type: 'solutionModifier'; subType: string };\nexport type SolutionModifierGroupBind = Localized & {\n  variable: TermVariable;\n  value: Expression;\n};\nexport type SolutionModifierGroup = SolutionModifierBase & {\n  subType: 'group';\n  groupings: (Expression | SolutionModifierGroupBind)[];\n};\nexport type SolutionModifierHaving = SolutionModifierBase & {\n  subType: 'having';\n  having: Expression[];\n};\nexport type Ordering =\n  | Expression\n  | (Localized & { descending: boolean; expression: Expression });\nexport type SolutionModifierOrder = SolutionModifierBase & {\n  subType: 'order';\n  orderDefs: Ordering[];\n};\nexport type SolutionModifierLimitOffset = T11.SolutionModifierLimitOffset;\n\nexport type SolutionModifier =\n  | SolutionModifierGroup\n  | SolutionModifierHaving\n  | SolutionModifierOrder\n  | SolutionModifierLimitOffset;\n\nexport type ExpressionBase = Node & { type: 'expression'; subType: string };\n\ntype ExpressionAggregateBase = ExpressionBase & {\n  subType: 'aggregate';\n  distinct: boolean;\n};\nexport type ExpressionAggregateDefault = ExpressionAggregateBase & {\n  expression: [Expression];\n  aggregation: string;\n};\nexport type ExpressionAggregateOnWildcard = ExpressionAggregateBase & {\n  expression: [Wildcard];\n  aggregation: string;\n};\nexport type ExpressionAggregateSeparator = ExpressionAggregateBase & {\n  expression: [Expression];\n  aggregation: string;\n  separator: string;\n};\nexport type ExpressionAggregate =\n  | ExpressionAggregateDefault\n  | ExpressionAggregateOnWildcard\n  | ExpressionAggregateSeparator;\n\nexport type ExpressionOperation = ExpressionBase & {\n  subType: 'operation';\n  operator: string;\n  args: Expression[];\n};\n\nexport type ExpressionPatternOperation = ExpressionBase & {\n  subType: 'patternOperation';\n  operator: string;\n  // Can be a pattern in case of exists and not exists\n  args: PatternGroup;\n};\n\nexport type ExpressionFunctionCall = ExpressionBase & {\n  subType: 'functionCall';\n  function: TermIri;\n  distinct: boolean;\n  args: Expression[];\n};\n\nexport type Expression =\n  | ExpressionOperation\n  | ExpressionPatternOperation\n  | ExpressionFunctionCall\n  | ExpressionAggregate\n  | TermIri\n  | TermVariable\n  | TermLiteral\n  | TermTriple;\n\nexport type PropertyPathChain = T11.PropertyPathChain;\nexport type PathModified = T11.PathModified;\nexport type PathNegatedElt = T11.PathNegatedElt;\nexport type PathAlternativeLimited = T11.PathAlternativeLimited;\nexport type PathNegated = T11.PathNegated;\n// [[88]](https://www.w3.org/TR/sparql11-query/#rPath)\nexport type Path = T11.Path;\n\nexport type ContextDefinitionPrefix = T11.ContextDefinitionPrefix;\nexport type ContextDefinitionBase = T11.ContextDefinitionBase;\nexport type ContextDefinitionVersion = T11.ContextDefinitionBase_ & {\n  subType: 'version';\n  version: string;\n};\nexport type ContextDefinition = T11.ContextDefinition | ContextDefinitionVersion;\n\nexport type Wildcard = T11.Wildcard;\nexport type TermLiteralStr = T11.TermLiteralStr;\nexport type TermLiteralLangStr = T11.TermLiteralLangStr;\nexport type TermLiteralTyped = T11.TermLiteralTyped;\nexport type TermLiteral = T11.TermLiteral;\nexport type TermVariable = T11.TermVariable;\nexport type TermIriFull = T11.TermIriFull;\nexport type TermIriPrefixed = T11.TermIriPrefixed;\nexport type TermIri = T11.TermIri;\nexport type TermBlank = T11.TermBlank;\n\nexport type TermTriple = T11.TermBase & {\n  subType: 'triple';\n  subject: Term;\n  predicate: TermIri | TermVariable;\n  object: Term;\n};\n\nexport type Term = GraphTerm | TermVariable;\nexport type GraphTerm = TermIri | TermBlank | TermLiteral | TermTriple;\n"]}

package/lib/validator.d.ts

@@ -0,0 +1,2 @@
+import type { TermLiteral } from './sparql12Types';
+export declare function langTagHasCorrectDomain(literal: TermLiteral): void;