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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (115) hide show
  1. package/LICENSE.txt +22 -0
  2. package/README.md +17 -0
  3. package/lib/RoundTripTypes.d.ts +379 -0
  4. package/lib/RoundTripTypes.js +2 -0
  5. package/lib/RoundTripTypes.js.map +1 -0
  6. package/lib/Sparql11types.d.ts +68 -0
  7. package/lib/Sparql11types.js +2 -0
  8. package/lib/Sparql11types.js.map +1 -0
  9. package/lib/SparqlParser.d.ts +23 -0
  10. package/lib/SparqlParser.js +32 -0
  11. package/lib/SparqlParser.js.map +1 -0
  12. package/lib/expressionHelpers.d.ts +45 -0
  13. package/lib/expressionHelpers.js +161 -0
  14. package/lib/expressionHelpers.js.map +1 -0
  15. package/lib/factory.d.ts +447 -0
  16. package/lib/factory.js +105 -0
  17. package/lib/factory.js.map +1 -0
  18. package/lib/factoryMixins/ContextFactory.d.ts +38 -0
  19. package/lib/factoryMixins/ContextFactory.js +30 -0
  20. package/lib/factoryMixins/ContextFactory.js.map +1 -0
  21. package/lib/factoryMixins/ExpressionFactory.d.ts +60 -0
  22. package/lib/factoryMixins/ExpressionFactory.js +83 -0
  23. package/lib/factoryMixins/ExpressionFactory.js.map +1 -0
  24. package/lib/factoryMixins/GraphRefFactory.d.ts +43 -0
  25. package/lib/factoryMixins/GraphRefFactory.js +51 -0
  26. package/lib/factoryMixins/GraphRefFactory.js.map +1 -0
  27. package/lib/factoryMixins/PathFactory.d.ts +51 -0
  28. package/lib/factoryMixins/PathFactory.js +68 -0
  29. package/lib/factoryMixins/PathFactory.js.map +1 -0
  30. package/lib/factoryMixins/Patternfactory.d.ts +55 -0
  31. package/lib/factoryMixins/Patternfactory.js +98 -0
  32. package/lib/factoryMixins/Patternfactory.js.map +1 -0
  33. package/lib/factoryMixins/QueryFactory.d.ts +41 -0
  34. package/lib/factoryMixins/QueryFactory.js +43 -0
  35. package/lib/factoryMixins/QueryFactory.js.map +1 -0
  36. package/lib/factoryMixins/SolutionModifiersFactory.d.ts +43 -0
  37. package/lib/factoryMixins/SolutionModifiersFactory.js +55 -0
  38. package/lib/factoryMixins/SolutionModifiersFactory.js.map +1 -0
  39. package/lib/factoryMixins/TermFactory.d.ts +76 -0
  40. package/lib/factoryMixins/TermFactory.js +84 -0
  41. package/lib/factoryMixins/TermFactory.js.map +1 -0
  42. package/lib/factoryMixins/UpdateOperationFactory.d.ts +68 -0
  43. package/lib/factoryMixins/UpdateOperationFactory.js +126 -0
  44. package/lib/factoryMixins/UpdateOperationFactory.js.map +1 -0
  45. package/lib/factoryMixins/mixins.d.ts +14 -0
  46. package/lib/factoryMixins/mixins.js +20 -0
  47. package/lib/factoryMixins/mixins.js.map +1 -0
  48. package/lib/grammar/builtIn.d.ts +89 -0
  49. package/lib/grammar/builtIn.js +247 -0
  50. package/lib/grammar/builtIn.js.map +1 -0
  51. package/lib/grammar/dataSetClause.d.ts +34 -0
  52. package/lib/grammar/dataSetClause.js +81 -0
  53. package/lib/grammar/dataSetClause.js.map +1 -0
  54. package/lib/grammar/expression.d.ts +63 -0
  55. package/lib/grammar/expression.js +383 -0
  56. package/lib/grammar/expression.js.map +1 -0
  57. package/lib/grammar/general.d.ts +36 -0
  58. package/lib/grammar/general.js +145 -0
  59. package/lib/grammar/general.js.map +1 -0
  60. package/lib/grammar/index.d.ts +12 -0
  61. package/lib/grammar/index.js +13 -0
  62. package/lib/grammar/index.js.map +1 -0
  63. package/lib/grammar/literals.d.ts +55 -0
  64. package/lib/grammar/literals.js +258 -0
  65. package/lib/grammar/literals.js.map +1 -0
  66. package/lib/grammar/propertyPaths.d.ts +43 -0
  67. package/lib/grammar/propertyPaths.js +182 -0
  68. package/lib/grammar/propertyPaths.js.map +1 -0
  69. package/lib/grammar/queryUnit/queryUnit.d.ts +48 -0
  70. package/lib/grammar/queryUnit/queryUnit.js +366 -0
  71. package/lib/grammar/queryUnit/queryUnit.js.map +1 -0
  72. package/lib/grammar/solutionModifier.d.ts +44 -0
  73. package/lib/grammar/solutionModifier.js +253 -0
  74. package/lib/grammar/solutionModifier.js.map +1 -0
  75. package/lib/grammar/tripleBlock.d.ts +36 -0
  76. package/lib/grammar/tripleBlock.js +357 -0
  77. package/lib/grammar/tripleBlock.js.map +1 -0
  78. package/lib/grammar/updateUnit/updateUnit.d.ts +95 -0
  79. package/lib/grammar/updateUnit/updateUnit.js +493 -0
  80. package/lib/grammar/updateUnit/updateUnit.js.map +1 -0
  81. package/lib/grammar/whereClause.d.ts +76 -0
  82. package/lib/grammar/whereClause.js +441 -0
  83. package/lib/grammar/whereClause.js.map +1 -0
  84. package/lib/grammar-helpers/utils.d.ts +12 -0
  85. package/lib/grammar-helpers/utils.js +16 -0
  86. package/lib/grammar-helpers/utils.js.map +1 -0
  87. package/lib/index.cjs +14565 -0
  88. package/lib/index.d.ts +10 -0
  89. package/lib/index.js +11 -0
  90. package/lib/index.js.map +1 -0
  91. package/lib/lexer/BuildinCalls.d.ts +126 -0
  92. package/lib/lexer/BuildinCalls.js +188 -0
  93. package/lib/lexer/BuildinCalls.js.map +1 -0
  94. package/lib/lexer/graph.d.ts +6 -0
  95. package/lib/lexer/graph.js +8 -0
  96. package/lib/lexer/graph.js.map +1 -0
  97. package/lib/lexer/index.d.ts +5 -0
  98. package/lib/lexer/index.js +6 -0
  99. package/lib/lexer/index.js.map +1 -0
  100. package/lib/lexer/lexer.d.ts +54 -0
  101. package/lib/lexer/lexer.js +70 -0
  102. package/lib/lexer/lexer.js.map +1 -0
  103. package/lib/lexer/symbols.d.ts +28 -0
  104. package/lib/lexer/symbols.js +29 -0
  105. package/lib/lexer/symbols.js.map +1 -0
  106. package/lib/lexer/terminals.d.ts +26 -0
  107. package/lib/lexer/terminals.js +63 -0
  108. package/lib/lexer/terminals.js.map +1 -0
  109. package/lib/utils.d.ts +5 -0
  110. package/lib/utils.js +24 -0
  111. package/lib/utils.js.map +1 -0
  112. package/lib/validation/validators.d.ts +14 -0
  113. package/lib/validation/validators.js +235 -0
  114. package/lib/validation/validators.js.map +1 -0
  115. package/package.json +48 -0
@@ -0,0 +1,441 @@
1
+ import * as l from '../lexer';
2
+ import { checkNote13 } from '../validation/validators';
3
+ import { builtInCall } from './builtIn';
4
+ import { argList, brackettedExpression, expression } from './expression';
5
+ import { var_, varOrIri, varOrTerm } from './general';
6
+ import { booleanLiteral, iri, numericLiteral, rdfLiteral } from './literals';
7
+ import { query, subSelect } from './queryUnit/queryUnit';
8
+ import { graphNodePath, triplesBlock } from './tripleBlock';
9
+ /**
10
+ * [[17]](https://www.w3.org/TR/sparql11-query/#rWhereClause)
11
+ */
12
+ export const whereClause = {
13
+ name: 'whereClause',
14
+ impl: ({ ACTION, SUBRULE, CONSUME, OPTION }) => (C) => {
15
+ const where = OPTION(() => CONSUME(l.where));
16
+ const group = SUBRULE(groupGraphPattern, undefined);
17
+ return ACTION(() => C.factory.wrap(group, C.factory.sourceLocation(where, group)));
18
+ },
19
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
20
+ F.printFilter(ast, () => PRINT_WORD('WHERE'));
21
+ SUBRULE(groupGraphPattern, ast.val, undefined);
22
+ },
23
+ };
24
+ /**
25
+ * [[53]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPattern)
26
+ */
27
+ export const groupGraphPattern = {
28
+ name: 'groupGraphPattern',
29
+ impl: ({ ACTION, SUBRULE, CONSUME, OR }) => (C) => {
30
+ const open = CONSUME(l.symbols.LCurly);
31
+ const patterns = OR([
32
+ { ALT: () => [SUBRULE(subSelect, undefined)] },
33
+ { ALT: () => SUBRULE(groupGraphPatternSub, undefined) },
34
+ ]);
35
+ const close = CONSUME(l.symbols.RCurly);
36
+ return ACTION(() => C.factory.patternGroup(patterns, C.factory.sourceLocation(open, close)));
37
+ },
38
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
39
+ F.printFilter(ast, () => PRINT_WORD('{'));
40
+ for (const pattern of ast.patterns) {
41
+ SUBRULE(generatePattern, pattern, undefined);
42
+ }
43
+ F.printFilter(ast, () => PRINT_WORD('}'));
44
+ },
45
+ };
46
+ export const generatePattern = {
47
+ name: 'generatePattern',
48
+ gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {
49
+ if (ast.type === 'query') {
50
+ SUBRULE(query, F.querySelect({
51
+ context: [],
52
+ datasets: F.datasetClauses([], F.sourceLocation()),
53
+ where: ast.where,
54
+ variables: ast.variables,
55
+ solutionModifiers: ast.solutionModifiers,
56
+ values: ast.values,
57
+ distinct: ast.distinct,
58
+ reduced: ast.reduced,
59
+ }, ast.loc), undefined);
60
+ }
61
+ else if (ast.subType === 'group') {
62
+ SUBRULE(groupGraphPattern, ast, undefined);
63
+ }
64
+ else if (ast.subType === 'bgp') {
65
+ SUBRULE(triplesBlock, ast, undefined);
66
+ }
67
+ else {
68
+ SUBRULE(graphPatternNotTriples, ast, undefined);
69
+ }
70
+ },
71
+ };
72
+ /**
73
+ * [[54]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPatternSub)
74
+ */
75
+ export const groupGraphPatternSub = {
76
+ name: 'groupGraphPatternSub',
77
+ impl: ({ ACTION, SUBRULE, CONSUME, MANY, SUBRULE1, SUBRULE2, OPTION1, OPTION2, OPTION3 }) => () => {
78
+ const patterns = [];
79
+ const bgpPattern = OPTION1(() => SUBRULE1(triplesBlock, undefined));
80
+ if (bgpPattern) {
81
+ patterns.push(bgpPattern);
82
+ }
83
+ MANY(() => {
84
+ const notTriples = SUBRULE(graphPatternNotTriples, undefined);
85
+ patterns.push(notTriples);
86
+ OPTION2(() => CONSUME(l.symbols.dot));
87
+ const moreTriples = OPTION3(() => SUBRULE2(triplesBlock, undefined));
88
+ if (moreTriples) {
89
+ patterns.push(moreTriples);
90
+ }
91
+ });
92
+ ACTION(() => checkNote13(patterns));
93
+ return patterns;
94
+ },
95
+ };
96
+ /**
97
+ * [[56]](https://www.w3.org/TR/sparql11-query/#rGraphPatternNotTriples)
98
+ */
99
+ export const graphPatternNotTriples = {
100
+ name: 'graphPatternNotTriples',
101
+ impl: ({ SUBRULE, OR }) => () => OR([
102
+ { ALT: () => SUBRULE(groupOrUnionGraphPattern, undefined) },
103
+ { ALT: () => SUBRULE(optionalGraphPattern, undefined) },
104
+ { ALT: () => SUBRULE(minusGraphPattern, undefined) },
105
+ { ALT: () => SUBRULE(graphGraphPattern, undefined) },
106
+ { ALT: () => SUBRULE(serviceGraphPattern, undefined) },
107
+ { ALT: () => SUBRULE(filter, undefined) },
108
+ { ALT: () => SUBRULE(bind, undefined) },
109
+ { ALT: () => SUBRULE(inlineData, undefined) },
110
+ ]),
111
+ gImpl: ({ SUBRULE }) => (ast) => {
112
+ switch (ast.subType) {
113
+ case 'group':
114
+ case 'union':
115
+ SUBRULE(groupOrUnionGraphPattern, ast, undefined);
116
+ break;
117
+ case 'optional':
118
+ SUBRULE(optionalGraphPattern, ast, undefined);
119
+ break;
120
+ case 'minus':
121
+ SUBRULE(minusGraphPattern, ast, undefined);
122
+ break;
123
+ case 'graph':
124
+ SUBRULE(graphGraphPattern, ast, undefined);
125
+ break;
126
+ case 'service':
127
+ SUBRULE(serviceGraphPattern, ast, undefined);
128
+ break;
129
+ case 'filter':
130
+ SUBRULE(filter, ast, undefined);
131
+ break;
132
+ case 'bind':
133
+ SUBRULE(bind, ast, undefined);
134
+ break;
135
+ case 'values':
136
+ SUBRULE(inlineData, ast, undefined);
137
+ break;
138
+ }
139
+ },
140
+ };
141
+ /**
142
+ * [[57]](https://www.w3.org/TR/sparql11-query/#rOptionalGraphPattern)
143
+ */
144
+ export const optionalGraphPattern = {
145
+ name: 'optionalGraphPattern',
146
+ impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
147
+ const optional = CONSUME(l.optional);
148
+ const group = SUBRULE(groupGraphPattern, undefined);
149
+ return ACTION(() => C.factory.patternOptional(group.patterns, C.factory.sourceLocation(optional, group)));
150
+ },
151
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
152
+ F.printFilter(ast, () => PRINT_WORD('OPTIONAL'));
153
+ SUBRULE(groupGraphPattern, F.patternGroup(ast.patterns, ast.loc), undefined);
154
+ },
155
+ };
156
+ /**
157
+ * [[58]](https://www.w3.org/TR/sparql11-query/#rGraphGraphPattern)
158
+ */
159
+ export const graphGraphPattern = {
160
+ name: 'graphGraphPattern',
161
+ impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
162
+ const graph = CONSUME(l.graph.graph);
163
+ const name = SUBRULE(varOrIri, undefined);
164
+ const group = SUBRULE(groupGraphPattern, undefined);
165
+ return ACTION(() => C.factory.patternGraph(name, group.patterns, C.factory.sourceLocation(graph, group)));
166
+ },
167
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
168
+ F.printFilter(ast, () => PRINT_WORD('GRAPH'));
169
+ SUBRULE(varOrTerm, ast.name, undefined);
170
+ SUBRULE(groupGraphPattern, F.patternGroup(ast.patterns, ast.loc), undefined);
171
+ },
172
+ };
173
+ /**
174
+ * [[59]](https://www.w3.org/TR/sparql11-query/#rServiceGraphPattern)
175
+ */
176
+ export const serviceGraphPattern = {
177
+ name: 'serviceGraphPattern',
178
+ impl: ({ ACTION, SUBRULE1, CONSUME, OPTION }) => (C) => {
179
+ const service = CONSUME(l.service);
180
+ const silent = OPTION(() => {
181
+ CONSUME(l.silent);
182
+ return true;
183
+ }) ?? false;
184
+ const name = SUBRULE1(varOrIri, undefined);
185
+ const group = SUBRULE1(groupGraphPattern, undefined);
186
+ return ACTION(() => C.factory.patternService(name, group.patterns, silent, C.factory.sourceLocation(service, group)));
187
+ },
188
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
189
+ F.printFilter(ast, () => {
190
+ PRINT_WORD('SERVICE');
191
+ if (ast.silent) {
192
+ PRINT_WORD('SILENT');
193
+ }
194
+ });
195
+ SUBRULE(varOrTerm, ast.name, undefined);
196
+ SUBRULE(groupGraphPattern, F.patternGroup(ast.patterns, ast.loc), undefined);
197
+ },
198
+ };
199
+ /**
200
+ * [[60]](https://www.w3.org/TR/sparql11-query/#rBind)
201
+ */
202
+ export const bind = {
203
+ name: 'bind',
204
+ impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
205
+ const bind = CONSUME(l.bind);
206
+ CONSUME(l.symbols.LParen);
207
+ const expressionVal = SUBRULE(expression, undefined);
208
+ CONSUME(l.as);
209
+ const variable = SUBRULE(var_, undefined);
210
+ const close = CONSUME(l.symbols.RParen);
211
+ return ACTION(() => C.factory.patternBind(expressionVal, variable, C.factory.sourceLocation(bind, close)));
212
+ },
213
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
214
+ F.printFilter(ast, () => PRINT_WORD('BIND', '('));
215
+ SUBRULE(expression, ast.expression, undefined);
216
+ F.printFilter(ast, () => PRINT_WORD('AS'));
217
+ SUBRULE(var_, ast.variable, undefined);
218
+ F.printFilter(ast, () => PRINT_WORD(')'));
219
+ },
220
+ };
221
+ /**
222
+ * [[61]](https://www.w3.org/TR/sparql11-query/#rInlineData)
223
+ */
224
+ export const inlineData = {
225
+ name: 'inlineData',
226
+ impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
227
+ const values = CONSUME(l.values);
228
+ const datablock = SUBRULE(dataBlock, undefined);
229
+ return ACTION(() => C.factory.patternValues(datablock.val, C.factory.sourceLocation(values, datablock)));
230
+ },
231
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
232
+ const variables = Object.keys(ast.values[0]);
233
+ F.printFilter(ast, () => {
234
+ PRINT_WORD('VALUES', '(');
235
+ for (const variable of variables) {
236
+ PRINT_WORD(`?${variable}`);
237
+ }
238
+ PRINT_WORD(')', '{');
239
+ });
240
+ for (const mapping of ast.values) {
241
+ F.printFilter(ast, () => PRINT_WORD('('));
242
+ for (const variable of variables) {
243
+ if (mapping[variable] === undefined) {
244
+ F.printFilter(ast, () => PRINT_WORD('UNDEF'));
245
+ }
246
+ else {
247
+ SUBRULE(graphNodePath, mapping[variable], undefined);
248
+ }
249
+ }
250
+ F.printFilter(ast, () => PRINT_WORD(')'));
251
+ }
252
+ F.printFilter(ast, () => PRINT_WORD('}'));
253
+ },
254
+ };
255
+ /**
256
+ * [[62]](https://www.w3.org/TR/sparql11-query/#rDataBlock)
257
+ */
258
+ export const dataBlock = {
259
+ name: 'dataBlock',
260
+ impl: ({ SUBRULE, OR }) => () => OR([
261
+ { ALT: () => SUBRULE(inlineDataOneVar, undefined) },
262
+ { ALT: () => SUBRULE(inlineDataFull, undefined) },
263
+ ]),
264
+ };
265
+ /**
266
+ * [[63]](https://www.w3.org/TR/sparql11-query/#rInlineDataOneVar)
267
+ */
268
+ export const inlineDataOneVar = {
269
+ name: 'inlineDataOneVar',
270
+ impl: ({ ACTION, SUBRULE, CONSUME, MANY }) => (C) => {
271
+ const res = [];
272
+ const varVal = SUBRULE(var_, undefined);
273
+ CONSUME(l.symbols.LCurly);
274
+ MANY(() => {
275
+ const value = SUBRULE(dataBlockValue, undefined);
276
+ ACTION(() => {
277
+ res.push({ [varVal.value]: value });
278
+ });
279
+ });
280
+ const close = CONSUME(l.symbols.RCurly);
281
+ return ACTION(() => C.factory.wrap(res, C.factory.sourceLocation(varVal, close)));
282
+ },
283
+ };
284
+ /**
285
+ * [[64]](https://www.w3.org/TR/sparql11-query/#rInlineDataFull)
286
+ */
287
+ export const inlineDataFull = {
288
+ name: 'inlineDataFull',
289
+ impl: ({ ACTION, OR, MANY1, MANY2, MANY3, MANY4, SUBRULE, CONSUME1, CONSUME2, }) => (C) => {
290
+ const res = [];
291
+ const vars = [];
292
+ return OR([
293
+ { ALT: () => {
294
+ // Grammar rule 64 together with note 11 learns us that a nil should be followed by a nil in DataBlock.
295
+ const nil = CONSUME1(l.terminals.nil);
296
+ CONSUME1(l.symbols.LCurly);
297
+ MANY1(() => {
298
+ CONSUME2(l.terminals.nil);
299
+ res.push({});
300
+ });
301
+ const close = CONSUME1(l.symbols.RCurly);
302
+ return ACTION(() => C.factory.wrap(res, C.factory.sourceLocation(nil, close)));
303
+ } },
304
+ { ALT: () => {
305
+ const open = CONSUME1(l.symbols.LParen);
306
+ MANY2(() => {
307
+ vars.push(SUBRULE(var_, undefined));
308
+ });
309
+ CONSUME1(l.symbols.RParen);
310
+ CONSUME2(l.symbols.LCurly);
311
+ MANY3(() => {
312
+ let parsedValues = 0;
313
+ const currentRow = {};
314
+ CONSUME2(l.symbols.LParen);
315
+ MANY4(() => {
316
+ if (parsedValues >= vars.length) {
317
+ throw new Error('Number of dataBlockValues does not match number of variables. Too much values.');
318
+ }
319
+ const value = SUBRULE(dataBlockValue, undefined);
320
+ ACTION(() => {
321
+ currentRow[vars[parsedValues].value] = value;
322
+ parsedValues++;
323
+ });
324
+ });
325
+ CONSUME2(l.symbols.RParen);
326
+ ACTION(() => {
327
+ res.push(currentRow);
328
+ if (vars.length !== parsedValues) {
329
+ throw new Error('Number of dataBlockValues does not match number of variables. Too few values.');
330
+ }
331
+ });
332
+ });
333
+ const close = CONSUME2(l.symbols.RCurly);
334
+ return ACTION(() => C.factory.wrap(res, C.factory.sourceLocation(open, close)));
335
+ } },
336
+ ]);
337
+ },
338
+ };
339
+ /**
340
+ * [[65]](https://www.w3.org/TR/sparql11-query/#rDataBlockValue)
341
+ */
342
+ export const dataBlockValue = {
343
+ name: 'dataBlockValue',
344
+ impl: ({ SUBRULE, CONSUME, OR }) => () => OR([
345
+ { ALT: () => SUBRULE(iri, undefined) },
346
+ { ALT: () => SUBRULE(rdfLiteral, undefined) },
347
+ { ALT: () => SUBRULE(numericLiteral, undefined) },
348
+ { ALT: () => SUBRULE(booleanLiteral, undefined) },
349
+ { ALT: () => {
350
+ CONSUME(l.undef);
351
+ // eslint-disable-next-line unicorn/no-useless-undefined
352
+ return undefined;
353
+ } },
354
+ ]),
355
+ };
356
+ /**
357
+ * [[66]](https://www.w3.org/TR/sparql11-query/#rMinusGraphPattern)
358
+ */
359
+ export const minusGraphPattern = {
360
+ name: 'minusGraphPattern',
361
+ impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
362
+ const minus = CONSUME(l.minus);
363
+ const group = SUBRULE(groupGraphPattern, undefined);
364
+ return ACTION(() => C.factory.patternMinus(group.patterns, C.factory.sourceLocation(minus, group)));
365
+ },
366
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
367
+ F.printFilter(ast, () => PRINT_WORD('MINUS'));
368
+ SUBRULE(groupGraphPattern, F.patternGroup(ast.patterns, ast.loc), undefined);
369
+ },
370
+ };
371
+ /**
372
+ * [[67]](https://www.w3.org/TR/sparql11-query/#rGroupOrUnionGraphPattern)
373
+ */
374
+ export const groupOrUnionGraphPattern = {
375
+ name: 'groupOrUnionGraphPattern',
376
+ impl: ({ ACTION, MANY, SUBRULE1, SUBRULE2, CONSUME }) => (C) => {
377
+ const groups = [];
378
+ const group = SUBRULE1(groupGraphPattern, undefined);
379
+ groups.push(group);
380
+ MANY(() => {
381
+ CONSUME(l.union);
382
+ const group = SUBRULE2(groupGraphPattern, undefined);
383
+ groups.push(group);
384
+ });
385
+ return ACTION(() => groups.length === 1 ?
386
+ groups[0] :
387
+ C.factory.patternUnion(groups, C.factory.sourceLocation(group, groups.at(-1))));
388
+ },
389
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
390
+ if (F.isPatternUnion(ast)) {
391
+ const [head, ...tail] = ast.patterns;
392
+ SUBRULE(groupGraphPattern, head, undefined);
393
+ for (const pattern of tail) {
394
+ F.printFilter(ast, () => PRINT_WORD('UNION'));
395
+ SUBRULE(groupGraphPattern, pattern, undefined);
396
+ }
397
+ }
398
+ else {
399
+ SUBRULE(groupGraphPattern, ast, undefined);
400
+ }
401
+ },
402
+ };
403
+ /**
404
+ * [[68]](https://www.w3.org/TR/sparql11-query/#rFilter)
405
+ */
406
+ export const filter = {
407
+ name: 'filter',
408
+ impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
409
+ const filterToken = CONSUME(l.filter);
410
+ const expression = SUBRULE(constraint, undefined);
411
+ return ACTION(() => C.factory.patternFilter(expression, C.factory.sourceLocation(filterToken, expression)));
412
+ },
413
+ gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {
414
+ F.printFilter(ast, () => PRINT_WORD('FILTER ('));
415
+ SUBRULE(expression, ast.expression, undefined);
416
+ F.printFilter(ast, () => PRINT_WORD(')'));
417
+ },
418
+ };
419
+ /**
420
+ * [[69]](https://www.w3.org/TR/sparql11-query/#rConstraint)
421
+ */
422
+ export const constraint = {
423
+ name: 'constraint',
424
+ impl: ({ SUBRULE, OR }) => () => OR([
425
+ { ALT: () => SUBRULE(brackettedExpression, undefined) },
426
+ { ALT: () => SUBRULE(builtInCall, undefined) },
427
+ { ALT: () => SUBRULE(functionCall, undefined) },
428
+ ]),
429
+ };
430
+ /**
431
+ * [[70]](https://www.w3.org/TR/sparql11-query/#rFunctionCall)
432
+ */
433
+ export const functionCall = {
434
+ name: 'functionCall',
435
+ impl: ({ ACTION, SUBRULE }) => (C) => {
436
+ const func = SUBRULE(iri, undefined);
437
+ const args = SUBRULE(argList, undefined);
438
+ return ACTION(() => C.factory.expressionFunctionCall(func, args.val.args, args.val.distinct, C.factory.sourceLocation(func, args)));
439
+ },
440
+ };
441
+ //# sourceMappingURL=whereClause.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"whereClause.js","sourceRoot":"","sources":["whereClause.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AA0B9B,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE5D;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAA0D;IAChF,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACpD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QACpD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9C,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACjD,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA0D;IACtF,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,EAAE,CAAY;YAC7B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAE,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAE,EAAC;YAC/C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,EAAE;SACxD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAExC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QAE1C,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,eAAe,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,CAAC;QAED,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAoD;IAC9E,IAAI,EAAE,iBAAiB;IACvB,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC;gBAC3B,OAAO,EAAE,EAAE;gBACX,QAAQ,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC;gBAClD,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;gBACxC,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,OAAO,EAAE,GAAG,CAAC,OAAO;aACrB,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC1B,CAAC;aAAM,IAAI,GAAG,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YACnC,OAAO,CAAC,iBAAiB,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;YACjC,OAAO,CAAC,YAAY,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,sBAAsB,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAC8B;IAC7D,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QAChG,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;QACpE,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,GAAG,EAAE;YACR,MAAM,UAAU,GAAG,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAE1B,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAEtC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;YACrE,IAAI,WAAW,EAAE,CAAC;gBAChB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEpC,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAmF;IACpH,IAAI,EAAE,wBAAwB;IAC9B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAA+C;QAChF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,wBAAwB,EAAE,SAAS,CAAC,EAAE;QAC3D,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,EAAE;QACvD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,EAAE;QACpD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,EAAE;QACpD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,mBAAmB,EAAE,SAAS,CAAC,EAAE;QACtD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE;QACzC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE;QACvC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE;KAC9C,CAAC;IACF,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9B,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC;YACpB,KAAK,OAAO,CAAC;YACb,KAAK,OAAO;gBACV,OAAO,CAAC,wBAAwB,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBAClD,MAAM;YACR,KAAK,UAAU;gBACb,OAAO,CAAC,oBAAoB,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC9C,MAAM;YACR,KAAK,OAAO;gBACV,OAAO,CAAC,iBAAiB,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC3C,MAAM;YACR,KAAK,OAAO;gBACV,OAAO,CAAC,iBAAiB,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC3C,MAAM;YACR,KAAK,SAAS;gBACZ,OAAO,CAAC,mBAAmB,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC7C,MAAM;YACR,KAAK,QAAQ;gBACX,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,MAAM;gBACT,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC9B,MAAM;YACR,KAAK,QAAQ;gBACX,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACpC,MAAM;QACV,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAgE;IAC/F,IAAI,EAAE,sBAAsB;IAC5B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QAEpD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/E,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA0D;IACtF,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QAEpD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9C,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/E,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA8D;IAC5F,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACrD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE;YACzB,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAClB,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,IAAI,KAAK,CAAC;QACZ,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QAErD,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACtG,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE;YACtB,UAAU,CAAC,SAAS,CAAC,CAAC;YACtB,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBACf,UAAU,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/E,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAA4C;IAC3D,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACrD,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACd,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAExC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7G,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC/C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAoD;IACzE,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAEhD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3G,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE;YACtB,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC1B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,UAAU,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;YAC7B,CAAC;YACD,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACvB,CAAC,CAAC,CAAC;QAEH,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACjC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;oBACpC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;gBAChD,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;YACD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAoE;IACxF,IAAI,EAAE,WAAW;IACjB,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,gBAAgB,EAAE,SAAS,CAAC,EAAE;QACnD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE;KAClD,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA2E;IACtG,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAClD,MAAM,GAAG,GAAsB,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,GAAG,EAAE;YACR,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;YACjD,MAAM,CAAC,GAAG,EAAE;gBACV,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAExC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAyE;IAClG,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EACL,MAAM,EACN,EAAE,EACF,KAAK,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,OAAO,EACP,QAAQ,EACR,QAAQ,GACT,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACV,MAAM,GAAG,GAAsB,EAAE,CAAC;QAClC,MAAM,IAAI,GAAmB,EAAE,CAAC;QAChC,OAAO,EAAE,CAAuC;YAC9C,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,uGAAuG;oBACvG,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;oBACtC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC3B,KAAK,CAAC,GAAG,EAAE;wBACT,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;wBAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACf,CAAC,CAAC,CAAC;oBACH,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAEzC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBACjF,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBACxC,KAAK,CAAC,GAAG,EAAE;wBACT,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;oBACtC,CAAC,CAAC,CAAC;oBACH,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC3B,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC3B,KAAK,CAAC,GAAG,EAAE;wBACT,IAAI,YAAY,GAAG,CAAC,CAAC;wBACrB,MAAM,UAAU,GAAoB,EAAE,CAAC;wBACvC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBAC3B,KAAK,CAAC,GAAG,EAAE;4BACT,IAAI,YAAY,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gCAChC,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;4BACpG,CAAC;4BACD,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;4BACjD,MAAM,CAAC,GAAG,EAAE;gCACV,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;gCAC7C,YAAY,EAAE,CAAC;4BACjB,CAAC,CAAC,CAAC;wBACL,CAAC,CAAC,CAAC;wBACH,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBAC3B,MAAM,CAAC,GAAG,EAAE;4BACV,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;4BACrB,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;gCACjC,MAAM,IAAI,KAAK,CAAC,+EAA+E,CAAC,CAAC;4BACnG,CAAC;wBACH,CAAC,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;oBACH,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBACzC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBAClF,CAAC,EAAE;SACJ,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2E;IACpG,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAuC;QACjF,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE;QACtC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE;QAC7C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE;QACjD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE;QACjD,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACjB,wDAAwD;gBACxD,OAAO,SAAS,CAAC;YACnB,CAAC,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA0D;IACtF,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QAEpD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACtG,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9C,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/E,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAC3B;IACN,IAAI,EAAE,0BAA0B;IAChC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7D,MAAM,MAAM,GAAmB,EAAE,CAAC;QAElC,MAAM,KAAK,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,CAAC,GAAG,EAAE;YACR,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACX,CAAC,CAAC,OAAO,CAAC,YAAY,CACpB,MAAM,EACN,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/C,CAAC,CAAC;IACP,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAE,IAAI,EAAE,GAAG,IAAI,CAAE,GAAG,GAAG,CAAC,QAAQ,CAAC;YACvC,OAAO,CAAC,iBAAiB,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC5C,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;gBAC3B,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC9C,OAAO,CAAC,iBAAiB,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,iBAAiB,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;CACF,CAAC;AAEJ;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAgD;IACjE,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAElD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9G,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC/C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAwD;IAC7E,IAAI,EAAE,YAAY;IAClB,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,oBAAoB,EAAE,SAAS,CAAC,EAAE;QACvD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE;QAC9C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE;KAChD,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAsE;IAC7F,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACzC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAClD,IAAI,EACJ,IAAI,CAAC,GAAG,CAAC,IAAI,EACb,IAAI,CAAC,GAAG,CAAC,QAAQ,EACjB,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CACrC,CAAC,CAAC;IACL,CAAC;CACF,CAAC","sourcesContent":["import type { RuleDefReturn, Wrap } from '@traqula/core';\nimport * as l from '../lexer';\nimport type {\n Expression,\n ExpressionFunctionCall,\n PatternFilter,\n Pattern,\n PatternGroup,\n PatternUnion,\n PatternMinus,\n TermIri,\n TermLiteral,\n PatternBind,\n PatternService,\n PatternOptional,\n PatternGraph,\n PatternValues,\n ValuePatternRow,\n TermVariable,\n SubSelect,\n PatternBgp,\n} from '../RoundTripTypes';\nimport type {\n SparqlGeneratorRule,\n SparqlGrammarRule,\n SparqlRule,\n} from '../Sparql11types';\nimport { checkNote13 } from '../validation/validators';\nimport { builtInCall } from './builtIn';\nimport { argList, brackettedExpression, expression } from './expression';\nimport { var_, varOrIri, varOrTerm } from './general';\nimport { booleanLiteral, iri, numericLiteral, rdfLiteral } from './literals';\nimport { query, subSelect } from './queryUnit/queryUnit';\nimport { graphNodePath, triplesBlock } from './tripleBlock';\n\n/**\n * [[17]](https://www.w3.org/TR/sparql11-query/#rWhereClause)\n */\nexport const whereClause: SparqlRule<'whereClause', Wrap<PatternGroup>> = <const> {\n name: 'whereClause',\n impl: ({ ACTION, SUBRULE, CONSUME, OPTION }) => (C) => {\n const where = OPTION(() => CONSUME(l.where));\n const group = SUBRULE(groupGraphPattern, undefined);\n return ACTION(() => C.factory.wrap(group, C.factory.sourceLocation(where, group)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('WHERE'));\n SUBRULE(groupGraphPattern, ast.val, undefined);\n },\n};\n\n/**\n * [[53]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPattern)\n */\nexport const groupGraphPattern: SparqlRule<'groupGraphPattern', PatternGroup> = <const> {\n name: 'groupGraphPattern',\n impl: ({ ACTION, SUBRULE, CONSUME, OR }) => (C) => {\n const open = CONSUME(l.symbols.LCurly);\n const patterns = OR<Pattern[]>([\n { ALT: () => [ SUBRULE(subSelect, undefined) ]},\n { ALT: () => SUBRULE(groupGraphPatternSub, undefined) },\n ]);\n const close = CONSUME(l.symbols.RCurly);\n\n return ACTION(() => C.factory.patternGroup(patterns, C.factory.sourceLocation(open, close)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('{'));\n\n for (const pattern of ast.patterns) {\n SUBRULE(generatePattern, pattern, undefined);\n }\n\n F.printFilter(ast, () => PRINT_WORD('}'));\n },\n};\n\nexport const generatePattern: SparqlGeneratorRule<'generatePattern', Pattern> = {\n name: 'generatePattern',\n gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {\n if (ast.type === 'query') {\n SUBRULE(query, F.querySelect({\n context: [],\n datasets: F.datasetClauses([], F.sourceLocation()),\n where: ast.where,\n variables: ast.variables,\n solutionModifiers: ast.solutionModifiers,\n values: ast.values,\n distinct: ast.distinct,\n reduced: ast.reduced,\n }, ast.loc), undefined);\n } else if (ast.subType === 'group') {\n SUBRULE(groupGraphPattern, ast, undefined);\n } else if (ast.subType === 'bgp') {\n SUBRULE(triplesBlock, ast, undefined);\n } else {\n SUBRULE(graphPatternNotTriples, ast, undefined);\n }\n },\n};\n\n/**\n * [[54]](https://www.w3.org/TR/sparql11-query/#rGroupGraphPatternSub)\n */\nexport const groupGraphPatternSub:\nSparqlGrammarRule<'groupGraphPatternSub', Pattern[]> = <const> {\n name: 'groupGraphPatternSub',\n impl: ({ ACTION, SUBRULE, CONSUME, MANY, SUBRULE1, SUBRULE2, OPTION1, OPTION2, OPTION3 }) => () => {\n const patterns: Pattern[] = [];\n\n const bgpPattern = OPTION1(() => SUBRULE1(triplesBlock, undefined));\n if (bgpPattern) {\n patterns.push(bgpPattern);\n }\n MANY(() => {\n const notTriples = SUBRULE(graphPatternNotTriples, undefined);\n patterns.push(notTriples);\n\n OPTION2(() => CONSUME(l.symbols.dot));\n\n const moreTriples = OPTION3(() => SUBRULE2(triplesBlock, undefined));\n if (moreTriples) {\n patterns.push(moreTriples);\n }\n });\n\n ACTION(() => checkNote13(patterns));\n\n return patterns;\n },\n};\n\n/**\n * [[56]](https://www.w3.org/TR/sparql11-query/#rGraphPatternNotTriples)\n */\nexport const graphPatternNotTriples: SparqlRule<'graphPatternNotTriples', Exclude<Pattern, SubSelect | PatternBgp>> = {\n name: 'graphPatternNotTriples',\n impl: ({ SUBRULE, OR }) => () => OR<RuleDefReturn<typeof graphPatternNotTriples>>([\n { ALT: () => SUBRULE(groupOrUnionGraphPattern, undefined) },\n { ALT: () => SUBRULE(optionalGraphPattern, undefined) },\n { ALT: () => SUBRULE(minusGraphPattern, undefined) },\n { ALT: () => SUBRULE(graphGraphPattern, undefined) },\n { ALT: () => SUBRULE(serviceGraphPattern, undefined) },\n { ALT: () => SUBRULE(filter, undefined) },\n { ALT: () => SUBRULE(bind, undefined) },\n { ALT: () => SUBRULE(inlineData, undefined) },\n ]),\n gImpl: ({ SUBRULE }) => (ast) => {\n switch (ast.subType) {\n case 'group':\n case 'union':\n SUBRULE(groupOrUnionGraphPattern, ast, undefined);\n break;\n case 'optional':\n SUBRULE(optionalGraphPattern, ast, undefined);\n break;\n case 'minus':\n SUBRULE(minusGraphPattern, ast, undefined);\n break;\n case 'graph':\n SUBRULE(graphGraphPattern, ast, undefined);\n break;\n case 'service':\n SUBRULE(serviceGraphPattern, ast, undefined);\n break;\n case 'filter':\n SUBRULE(filter, ast, undefined);\n break;\n case 'bind':\n SUBRULE(bind, ast, undefined);\n break;\n case 'values':\n SUBRULE(inlineData, ast, undefined);\n break;\n }\n },\n};\n\n/**\n * [[57]](https://www.w3.org/TR/sparql11-query/#rOptionalGraphPattern)\n */\nexport const optionalGraphPattern: SparqlRule<'optionalGraphPattern', PatternOptional> = <const> {\n name: 'optionalGraphPattern',\n impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n const optional = CONSUME(l.optional);\n const group = SUBRULE(groupGraphPattern, undefined);\n\n return ACTION(() => C.factory.patternOptional(group.patterns, C.factory.sourceLocation(optional, group)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('OPTIONAL'));\n SUBRULE(groupGraphPattern, F.patternGroup(ast.patterns, ast.loc), undefined);\n },\n};\n\n/**\n * [[58]](https://www.w3.org/TR/sparql11-query/#rGraphGraphPattern)\n */\nexport const graphGraphPattern: SparqlRule<'graphGraphPattern', PatternGraph> = <const> {\n name: 'graphGraphPattern',\n impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n const graph = CONSUME(l.graph.graph);\n const name = SUBRULE(varOrIri, undefined);\n const group = SUBRULE(groupGraphPattern, undefined);\n\n return ACTION(() => C.factory.patternGraph(name, group.patterns, C.factory.sourceLocation(graph, group)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('GRAPH'));\n SUBRULE(varOrTerm, ast.name, undefined);\n SUBRULE(groupGraphPattern, F.patternGroup(ast.patterns, ast.loc), undefined);\n },\n};\n\n/**\n * [[59]](https://www.w3.org/TR/sparql11-query/#rServiceGraphPattern)\n */\nexport const serviceGraphPattern: SparqlRule<'serviceGraphPattern', PatternService> = <const> {\n name: 'serviceGraphPattern',\n impl: ({ ACTION, SUBRULE1, CONSUME, OPTION }) => (C) => {\n const service = CONSUME(l.service);\n const silent = OPTION(() => {\n CONSUME(l.silent);\n return true;\n }) ?? false;\n const name = SUBRULE1(varOrIri, undefined);\n const group = SUBRULE1(groupGraphPattern, undefined);\n\n return ACTION(() =>\n C.factory.patternService(name, group.patterns, silent, C.factory.sourceLocation(service, group)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => {\n PRINT_WORD('SERVICE');\n if (ast.silent) {\n PRINT_WORD('SILENT');\n }\n });\n SUBRULE(varOrTerm, ast.name, undefined);\n SUBRULE(groupGraphPattern, F.patternGroup(ast.patterns, ast.loc), undefined);\n },\n};\n\n/**\n * [[60]](https://www.w3.org/TR/sparql11-query/#rBind)\n */\nexport const bind: SparqlRule<'bind', PatternBind> = <const> {\n name: 'bind',\n impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n const bind = CONSUME(l.bind);\n CONSUME(l.symbols.LParen);\n const expressionVal = SUBRULE(expression, undefined);\n CONSUME(l.as);\n const variable = SUBRULE(var_, undefined);\n const close = CONSUME(l.symbols.RParen);\n\n return ACTION(() => C.factory.patternBind(expressionVal, variable, C.factory.sourceLocation(bind, close)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('BIND', '('));\n SUBRULE(expression, ast.expression, undefined);\n F.printFilter(ast, () => PRINT_WORD('AS'));\n SUBRULE(var_, ast.variable, undefined);\n F.printFilter(ast, () => PRINT_WORD(')'));\n },\n};\n\n/**\n * [[61]](https://www.w3.org/TR/sparql11-query/#rInlineData)\n */\nexport const inlineData: SparqlRule<'inlineData', PatternValues> = <const> {\n name: 'inlineData',\n impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n const values = CONSUME(l.values);\n const datablock = SUBRULE(dataBlock, undefined);\n\n return ACTION(() => C.factory.patternValues(datablock.val, C.factory.sourceLocation(values, datablock)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n const variables = Object.keys(ast.values[0]);\n F.printFilter(ast, () => {\n PRINT_WORD('VALUES', '(');\n for (const variable of variables) {\n PRINT_WORD(`?${variable}`);\n }\n PRINT_WORD(')', '{');\n });\n\n for (const mapping of ast.values) {\n F.printFilter(ast, () => PRINT_WORD('('));\n for (const variable of variables) {\n if (mapping[variable] === undefined) {\n F.printFilter(ast, () => PRINT_WORD('UNDEF'));\n } else {\n SUBRULE(graphNodePath, mapping[variable], undefined);\n }\n }\n F.printFilter(ast, () => PRINT_WORD(')'));\n }\n F.printFilter(ast, () => PRINT_WORD('}'));\n },\n};\n\n/**\n * [[62]](https://www.w3.org/TR/sparql11-query/#rDataBlock)\n */\nexport const dataBlock: SparqlGrammarRule<'dataBlock', Wrap<ValuePatternRow[]>> = <const> {\n name: 'dataBlock',\n impl: ({ SUBRULE, OR }) => () => OR([\n { ALT: () => SUBRULE(inlineDataOneVar, undefined) },\n { ALT: () => SUBRULE(inlineDataFull, undefined) },\n ]),\n};\n\n/**\n * [[63]](https://www.w3.org/TR/sparql11-query/#rInlineDataOneVar)\n */\nexport const inlineDataOneVar: SparqlGrammarRule<'inlineDataOneVar', Wrap<ValuePatternRow[]>> = <const> {\n name: 'inlineDataOneVar',\n impl: ({ ACTION, SUBRULE, CONSUME, MANY }) => (C) => {\n const res: ValuePatternRow[] = [];\n const varVal = SUBRULE(var_, undefined);\n CONSUME(l.symbols.LCurly);\n MANY(() => {\n const value = SUBRULE(dataBlockValue, undefined);\n ACTION(() => {\n res.push({ [varVal.value]: value });\n });\n });\n const close = CONSUME(l.symbols.RCurly);\n\n return ACTION(() => C.factory.wrap(res, C.factory.sourceLocation(varVal, close)));\n },\n};\n\n/**\n * [[64]](https://www.w3.org/TR/sparql11-query/#rInlineDataFull)\n */\nexport const inlineDataFull: SparqlGrammarRule<'inlineDataFull', Wrap<ValuePatternRow[]>> = <const> {\n name: 'inlineDataFull',\n impl: ({\n ACTION,\n OR,\n MANY1,\n MANY2,\n MANY3,\n MANY4,\n SUBRULE,\n CONSUME1,\n CONSUME2,\n }) => (C) => {\n const res: ValuePatternRow[] = [];\n const vars: TermVariable[] = [];\n return OR<RuleDefReturn<typeof inlineDataFull>>([\n { ALT: () => {\n // Grammar rule 64 together with note 11 learns us that a nil should be followed by a nil in DataBlock.\n const nil = CONSUME1(l.terminals.nil);\n CONSUME1(l.symbols.LCurly);\n MANY1(() => {\n CONSUME2(l.terminals.nil);\n res.push({});\n });\n const close = CONSUME1(l.symbols.RCurly);\n\n return ACTION(() => C.factory.wrap(res, C.factory.sourceLocation(nil, close)));\n } },\n { ALT: () => {\n const open = CONSUME1(l.symbols.LParen);\n MANY2(() => {\n vars.push(SUBRULE(var_, undefined));\n });\n CONSUME1(l.symbols.RParen);\n CONSUME2(l.symbols.LCurly);\n MANY3(() => {\n let parsedValues = 0;\n const currentRow: ValuePatternRow = {};\n CONSUME2(l.symbols.LParen);\n MANY4(() => {\n if (parsedValues >= vars.length) {\n throw new Error('Number of dataBlockValues does not match number of variables. Too much values.');\n }\n const value = SUBRULE(dataBlockValue, undefined);\n ACTION(() => {\n currentRow[vars[parsedValues].value] = value;\n parsedValues++;\n });\n });\n CONSUME2(l.symbols.RParen);\n ACTION(() => {\n res.push(currentRow);\n if (vars.length !== parsedValues) {\n throw new Error('Number of dataBlockValues does not match number of variables. Too few values.');\n }\n });\n });\n const close = CONSUME2(l.symbols.RCurly);\n return ACTION(() => C.factory.wrap(res, C.factory.sourceLocation(open, close)));\n } },\n ]);\n },\n};\n\n/**\n * [[65]](https://www.w3.org/TR/sparql11-query/#rDataBlockValue)\n */\nexport const dataBlockValue: SparqlGrammarRule<'dataBlockValue', TermIri | TermLiteral | undefined> = {\n name: 'dataBlockValue',\n impl: ({ SUBRULE, CONSUME, OR }) => () => OR<RuleDefReturn<typeof dataBlockValue>>([\n { ALT: () => SUBRULE(iri, undefined) },\n { ALT: () => SUBRULE(rdfLiteral, undefined) },\n { ALT: () => SUBRULE(numericLiteral, undefined) },\n { ALT: () => SUBRULE(booleanLiteral, undefined) },\n { ALT: () => {\n CONSUME(l.undef);\n // eslint-disable-next-line unicorn/no-useless-undefined\n return undefined;\n } },\n ]),\n};\n\n/**\n * [[66]](https://www.w3.org/TR/sparql11-query/#rMinusGraphPattern)\n */\nexport const minusGraphPattern: SparqlRule<'minusGraphPattern', PatternMinus> = <const> {\n name: 'minusGraphPattern',\n impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n const minus = CONSUME(l.minus);\n const group = SUBRULE(groupGraphPattern, undefined);\n\n return ACTION(() => C.factory.patternMinus(group.patterns, C.factory.sourceLocation(minus, group)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('MINUS'));\n SUBRULE(groupGraphPattern, F.patternGroup(ast.patterns, ast.loc), undefined);\n },\n};\n\n/**\n * [[67]](https://www.w3.org/TR/sparql11-query/#rGroupOrUnionGraphPattern)\n */\nexport const groupOrUnionGraphPattern: SparqlRule<'groupOrUnionGraphPattern', PatternGroup | PatternUnion> =\n <const> {\n name: 'groupOrUnionGraphPattern',\n impl: ({ ACTION, MANY, SUBRULE1, SUBRULE2, CONSUME }) => (C) => {\n const groups: PatternGroup[] = [];\n\n const group = SUBRULE1(groupGraphPattern, undefined);\n groups.push(group);\n MANY(() => {\n CONSUME(l.union);\n const group = SUBRULE2(groupGraphPattern, undefined);\n groups.push(group);\n });\n\n return ACTION(() => groups.length === 1 ?\n groups[0] :\n C.factory.patternUnion(\n groups,\n C.factory.sourceLocation(group, groups.at(-1)),\n ));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n if (F.isPatternUnion(ast)) {\n const [ head, ...tail ] = ast.patterns;\n SUBRULE(groupGraphPattern, head, undefined);\n for (const pattern of tail) {\n F.printFilter(ast, () => PRINT_WORD('UNION'));\n SUBRULE(groupGraphPattern, pattern, undefined);\n }\n } else {\n SUBRULE(groupGraphPattern, ast, undefined);\n }\n },\n };\n\n/**\n * [[68]](https://www.w3.org/TR/sparql11-query/#rFilter)\n */\nexport const filter: SparqlRule<'filter', PatternFilter> = <const> {\n name: 'filter',\n impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n const filterToken = CONSUME(l.filter);\n const expression = SUBRULE(constraint, undefined);\n\n return ACTION(() => C.factory.patternFilter(expression, C.factory.sourceLocation(filterToken, expression)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('FILTER ('));\n SUBRULE(expression, ast.expression, undefined);\n F.printFilter(ast, () => PRINT_WORD(')'));\n },\n};\n\n/**\n * [[69]](https://www.w3.org/TR/sparql11-query/#rConstraint)\n */\nexport const constraint: SparqlGrammarRule<'constraint', Expression> = <const> {\n name: 'constraint',\n impl: ({ SUBRULE, OR }) => () => OR([\n { ALT: () => SUBRULE(brackettedExpression, undefined) },\n { ALT: () => SUBRULE(builtInCall, undefined) },\n { ALT: () => SUBRULE(functionCall, undefined) },\n ]),\n};\n\n/**\n * [[70]](https://www.w3.org/TR/sparql11-query/#rFunctionCall)\n */\nexport const functionCall: SparqlGrammarRule<'functionCall', ExpressionFunctionCall> = <const> {\n name: 'functionCall',\n impl: ({ ACTION, SUBRULE }) => (C) => {\n const func = SUBRULE(iri, undefined);\n const args = SUBRULE(argList, undefined);\n return ACTION(() => C.factory.expressionFunctionCall(\n func,\n args.val.args,\n args.val.distinct,\n C.factory.sourceLocation(func, args),\n ));\n },\n};\n"]}
@@ -0,0 +1,12 @@
1
+ export declare enum CommonIRIs {
2
+ BOOLEAN = "http://www.w3.org/2001/XMLSchema#boolean",
3
+ INTEGER = "http://www.w3.org/2001/XMLSchema#integer",
4
+ DECIMAL = "http://www.w3.org/2001/XMLSchema#decimal",
5
+ DOUBLE = "http://www.w3.org/2001/XMLSchema#double",
6
+ STRING = "http://www.w3.org/2001/XMLSchema#string",
7
+ FIRST = "http://www.w3.org/1999/02/22-rdf-syntax-ns#first",
8
+ REST = "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest",
9
+ NIL = "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil",
10
+ TYPE = "http://www.w3.org/1999/02/22-rdf-syntax-ns#type",
11
+ REIFIES = "http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies"
12
+ }
@@ -0,0 +1,16 @@
1
+ export var CommonIRIs;
2
+ (function (CommonIRIs) {
3
+ // XSD
4
+ CommonIRIs["BOOLEAN"] = "http://www.w3.org/2001/XMLSchema#boolean";
5
+ CommonIRIs["INTEGER"] = "http://www.w3.org/2001/XMLSchema#integer";
6
+ CommonIRIs["DECIMAL"] = "http://www.w3.org/2001/XMLSchema#decimal";
7
+ CommonIRIs["DOUBLE"] = "http://www.w3.org/2001/XMLSchema#double";
8
+ CommonIRIs["STRING"] = "http://www.w3.org/2001/XMLSchema#string";
9
+ // RDF
10
+ CommonIRIs["FIRST"] = "http://www.w3.org/1999/02/22-rdf-syntax-ns#first";
11
+ CommonIRIs["REST"] = "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest";
12
+ CommonIRIs["NIL"] = "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil";
13
+ CommonIRIs["TYPE"] = "http://www.w3.org/1999/02/22-rdf-syntax-ns#type";
14
+ CommonIRIs["REIFIES"] = "http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies";
15
+ })(CommonIRIs || (CommonIRIs = {}));
16
+ //# sourceMappingURL=utils.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"utils.js","sourceRoot":"","sources":["utils.ts"],"names":[],"mappings":"AAAA,MAAM,CAAN,IAAY,UAaX;AAbD,WAAY,UAAU;IACpB,MAAM;IACN,kEAAoD,CAAA;IACpD,kEAAoD,CAAA;IACpD,kEAAoD,CAAA;IACpD,gEAAkD,CAAA;IAClD,gEAAkD,CAAA;IAClD,MAAM;IACN,wEAA0D,CAAA;IAC1D,sEAAwD,CAAA;IACxD,oEAAsD,CAAA;IACtD,sEAAwD,CAAA;IACxD,4EAA8D,CAAA;AAChE,CAAC,EAbW,UAAU,KAAV,UAAU,QAarB","sourcesContent":["export enum CommonIRIs {\n // XSD\n BOOLEAN = 'http://www.w3.org/2001/XMLSchema#boolean',\n INTEGER = 'http://www.w3.org/2001/XMLSchema#integer',\n DECIMAL = 'http://www.w3.org/2001/XMLSchema#decimal',\n DOUBLE = 'http://www.w3.org/2001/XMLSchema#double',\n STRING = 'http://www.w3.org/2001/XMLSchema#string',\n // RDF\n FIRST = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#first',\n REST = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest',\n NIL = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#nil',\n TYPE = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type',\n REIFIES = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies',\n}\n"]}