@powersync/service-sync-rules 0.29.10 → 0.31.0

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 (188) hide show
  1. package/dist/BaseSqlDataQuery.d.ts +3 -9
  2. package/dist/BaseSqlDataQuery.js +11 -21
  3. package/dist/BaseSqlDataQuery.js.map +1 -1
  4. package/dist/BucketParameterQuerier.d.ts +42 -9
  5. package/dist/BucketParameterQuerier.js +30 -7
  6. package/dist/BucketParameterQuerier.js.map +1 -1
  7. package/dist/BucketSource.d.ts +94 -25
  8. package/dist/BucketSource.js +67 -0
  9. package/dist/BucketSource.js.map +1 -1
  10. package/dist/ExpressionType.d.ts +4 -2
  11. package/dist/ExpressionType.js.map +1 -1
  12. package/dist/HydratedSyncRules.d.ts +46 -0
  13. package/dist/HydratedSyncRules.js +88 -0
  14. package/dist/HydratedSyncRules.js.map +1 -0
  15. package/dist/HydrationState.d.ts +45 -0
  16. package/dist/HydrationState.js +41 -0
  17. package/dist/HydrationState.js.map +1 -0
  18. package/dist/SqlBucketDescriptor.d.ts +31 -28
  19. package/dist/SqlBucketDescriptor.js +89 -112
  20. package/dist/SqlBucketDescriptor.js.map +1 -1
  21. package/dist/SqlDataQuery.d.ts +4 -4
  22. package/dist/SqlDataQuery.js +5 -6
  23. package/dist/SqlDataQuery.js.map +1 -1
  24. package/dist/SqlParameterQuery.d.ts +17 -9
  25. package/dist/SqlParameterQuery.js +49 -23
  26. package/dist/SqlParameterQuery.js.map +1 -1
  27. package/dist/SqlSyncRules.d.ts +11 -53
  28. package/dist/SqlSyncRules.js +11 -376
  29. package/dist/SqlSyncRules.js.map +1 -1
  30. package/dist/StaticSqlParameterQuery.d.ts +13 -3
  31. package/dist/StaticSqlParameterQuery.js +38 -4
  32. package/dist/StaticSqlParameterQuery.js.map +1 -1
  33. package/dist/SyncConfig.d.ts +43 -0
  34. package/dist/SyncConfig.js +102 -0
  35. package/dist/SyncConfig.js.map +1 -0
  36. package/dist/TablePattern.d.ts +22 -4
  37. package/dist/TablePattern.js +57 -19
  38. package/dist/TablePattern.js.map +1 -1
  39. package/dist/TableValuedFunctionSqlParameterQuery.d.ts +14 -4
  40. package/dist/TableValuedFunctionSqlParameterQuery.js +41 -7
  41. package/dist/TableValuedFunctionSqlParameterQuery.js.map +1 -1
  42. package/dist/compatibility.d.ts +7 -0
  43. package/dist/compatibility.js +34 -0
  44. package/dist/compatibility.js.map +1 -1
  45. package/dist/compiler/bucket_resolver.d.ts +70 -0
  46. package/dist/compiler/bucket_resolver.js +131 -0
  47. package/dist/compiler/bucket_resolver.js.map +1 -0
  48. package/dist/compiler/compatibility.d.ts +16 -0
  49. package/dist/compiler/compatibility.js +12 -0
  50. package/dist/compiler/compatibility.js.map +1 -0
  51. package/dist/compiler/compiler.d.ts +110 -0
  52. package/dist/compiler/compiler.js +130 -0
  53. package/dist/compiler/compiler.js.map +1 -0
  54. package/dist/compiler/equality.d.ts +99 -0
  55. package/dist/compiler/equality.js +284 -0
  56. package/dist/compiler/equality.js.map +1 -0
  57. package/dist/compiler/expression.d.ts +77 -0
  58. package/dist/compiler/expression.js +122 -0
  59. package/dist/compiler/expression.js.map +1 -0
  60. package/dist/compiler/filter.d.ts +71 -0
  61. package/dist/compiler/filter.js +110 -0
  62. package/dist/compiler/filter.js.map +1 -0
  63. package/dist/compiler/filter_simplifier.d.ts +26 -0
  64. package/dist/compiler/filter_simplifier.js +119 -0
  65. package/dist/compiler/filter_simplifier.js.map +1 -0
  66. package/dist/compiler/ir_to_sync_plan.d.ts +37 -0
  67. package/dist/compiler/ir_to_sync_plan.js +163 -0
  68. package/dist/compiler/ir_to_sync_plan.js.map +1 -0
  69. package/dist/compiler/parser.d.ts +99 -0
  70. package/dist/compiler/parser.js +556 -0
  71. package/dist/compiler/parser.js.map +1 -0
  72. package/dist/compiler/querier_graph.d.ts +42 -0
  73. package/dist/compiler/querier_graph.js +365 -0
  74. package/dist/compiler/querier_graph.js.map +1 -0
  75. package/dist/compiler/rows.d.ts +113 -0
  76. package/dist/compiler/rows.js +156 -0
  77. package/dist/compiler/rows.js.map +1 -0
  78. package/dist/compiler/scope.d.ts +22 -0
  79. package/dist/compiler/scope.js +47 -0
  80. package/dist/compiler/scope.js.map +1 -0
  81. package/dist/compiler/sqlite.d.ts +77 -0
  82. package/dist/compiler/sqlite.js +412 -0
  83. package/dist/compiler/sqlite.js.map +1 -0
  84. package/dist/compiler/table.d.ts +66 -0
  85. package/dist/compiler/table.js +67 -0
  86. package/dist/compiler/table.js.map +1 -0
  87. package/dist/errors.d.ts +4 -2
  88. package/dist/errors.js +16 -1
  89. package/dist/errors.js.map +1 -1
  90. package/dist/events/SqlEventDescriptor.js +1 -1
  91. package/dist/events/SqlEventDescriptor.js.map +1 -1
  92. package/dist/events/SqlEventSourceQuery.d.ts +1 -1
  93. package/dist/events/SqlEventSourceQuery.js +1 -2
  94. package/dist/events/SqlEventSourceQuery.js.map +1 -1
  95. package/dist/from_yaml.d.ts +28 -0
  96. package/dist/from_yaml.js +411 -0
  97. package/dist/from_yaml.js.map +1 -0
  98. package/dist/index.d.ts +9 -0
  99. package/dist/index.js +9 -0
  100. package/dist/index.js.map +1 -1
  101. package/dist/json_schema.js +17 -1
  102. package/dist/json_schema.js.map +1 -1
  103. package/dist/request_functions.js.map +1 -1
  104. package/dist/schema-generators/DartSchemaGenerator.d.ts +3 -3
  105. package/dist/schema-generators/DartSchemaGenerator.js.map +1 -1
  106. package/dist/schema-generators/DotNetSchemaGenerator.d.ts +2 -2
  107. package/dist/schema-generators/DotNetSchemaGenerator.js.map +1 -1
  108. package/dist/schema-generators/JsLegacySchemaGenerator.d.ts +2 -2
  109. package/dist/schema-generators/JsLegacySchemaGenerator.js.map +1 -1
  110. package/dist/schema-generators/KotlinSchemaGenerator.d.ts +2 -2
  111. package/dist/schema-generators/KotlinSchemaGenerator.js.map +1 -1
  112. package/dist/schema-generators/RoomSchemaGenerator.d.ts +2 -2
  113. package/dist/schema-generators/RoomSchemaGenerator.js.map +1 -1
  114. package/dist/schema-generators/SchemaGenerator.d.ts +8 -3
  115. package/dist/schema-generators/SchemaGenerator.js +21 -14
  116. package/dist/schema-generators/SchemaGenerator.js.map +1 -1
  117. package/dist/schema-generators/SqlSchemaGenerator.d.ts +2 -2
  118. package/dist/schema-generators/SqlSchemaGenerator.js.map +1 -1
  119. package/dist/schema-generators/SwiftSchemaGenerator.d.ts +2 -2
  120. package/dist/schema-generators/SwiftSchemaGenerator.js.map +1 -1
  121. package/dist/schema-generators/TsSchemaGenerator.d.ts +2 -2
  122. package/dist/schema-generators/TsSchemaGenerator.js.map +1 -1
  123. package/dist/sql_functions.d.ts +4 -3
  124. package/dist/sql_functions.js +1 -1
  125. package/dist/sql_functions.js.map +1 -1
  126. package/dist/streams/filter.d.ts +34 -4
  127. package/dist/streams/filter.js +93 -23
  128. package/dist/streams/filter.js.map +1 -1
  129. package/dist/streams/from_sql.js +2 -5
  130. package/dist/streams/from_sql.js.map +1 -1
  131. package/dist/streams/parameter.d.ts +7 -6
  132. package/dist/streams/stream.d.ts +25 -15
  133. package/dist/streams/stream.js +59 -87
  134. package/dist/streams/stream.js.map +1 -1
  135. package/dist/streams/variant.d.ts +14 -21
  136. package/dist/streams/variant.js +68 -46
  137. package/dist/streams/variant.js.map +1 -1
  138. package/dist/sync_plan/engine/javascript.d.ts +6 -0
  139. package/dist/sync_plan/engine/javascript.js +208 -0
  140. package/dist/sync_plan/engine/javascript.js.map +1 -0
  141. package/dist/sync_plan/engine/scalar_expression_engine.d.ts +48 -0
  142. package/dist/sync_plan/engine/scalar_expression_engine.js +99 -0
  143. package/dist/sync_plan/engine/scalar_expression_engine.js.map +1 -0
  144. package/dist/sync_plan/engine/sqlite.d.ts +12 -0
  145. package/dist/sync_plan/engine/sqlite.js +53 -0
  146. package/dist/sync_plan/engine/sqlite.js.map +1 -0
  147. package/dist/sync_plan/evaluator/bucket_data_source.d.ts +24 -0
  148. package/dist/sync_plan/evaluator/bucket_data_source.js +139 -0
  149. package/dist/sync_plan/evaluator/bucket_data_source.js.map +1 -0
  150. package/dist/sync_plan/evaluator/bucket_source.d.ts +19 -0
  151. package/dist/sync_plan/evaluator/bucket_source.js +145 -0
  152. package/dist/sync_plan/evaluator/bucket_source.js.map +1 -0
  153. package/dist/sync_plan/evaluator/index.d.ts +17 -0
  154. package/dist/sync_plan/evaluator/index.js +32 -0
  155. package/dist/sync_plan/evaluator/index.js.map +1 -0
  156. package/dist/sync_plan/evaluator/parameter_evaluator.d.ts +138 -0
  157. package/dist/sync_plan/evaluator/parameter_evaluator.js +359 -0
  158. package/dist/sync_plan/evaluator/parameter_evaluator.js.map +1 -0
  159. package/dist/sync_plan/evaluator/parameter_index_lookup_creator.d.ts +20 -0
  160. package/dist/sync_plan/evaluator/parameter_index_lookup_creator.js +64 -0
  161. package/dist/sync_plan/evaluator/parameter_index_lookup_creator.js.map +1 -0
  162. package/dist/sync_plan/expression.d.ts +109 -0
  163. package/dist/sync_plan/expression.js +85 -0
  164. package/dist/sync_plan/expression.js.map +1 -0
  165. package/dist/sync_plan/expression_to_sql.d.ts +43 -0
  166. package/dist/sync_plan/expression_to_sql.js +190 -0
  167. package/dist/sync_plan/expression_to_sql.js.map +1 -0
  168. package/dist/sync_plan/expression_visitor.d.ts +57 -0
  169. package/dist/sync_plan/expression_visitor.js +181 -0
  170. package/dist/sync_plan/expression_visitor.js.map +1 -0
  171. package/dist/sync_plan/plan.d.ts +196 -0
  172. package/dist/sync_plan/plan.js +2 -0
  173. package/dist/sync_plan/plan.js.map +1 -0
  174. package/dist/sync_plan/schema_inference.d.ts +16 -0
  175. package/dist/sync_plan/schema_inference.js +123 -0
  176. package/dist/sync_plan/schema_inference.js.map +1 -0
  177. package/dist/sync_plan/serialize.d.ts +82 -0
  178. package/dist/sync_plan/serialize.js +214 -0
  179. package/dist/sync_plan/serialize.js.map +1 -0
  180. package/dist/types/custom_sqlite_value.d.ts +1 -1
  181. package/dist/types.d.ts +72 -29
  182. package/dist/types.js +30 -5
  183. package/dist/types.js.map +1 -1
  184. package/dist/utils.d.ts +10 -3
  185. package/dist/utils.js +26 -3
  186. package/dist/utils.js.map +1 -1
  187. package/package.json +4 -3
  188. package/schema/sync_rules.json +19 -3
@@ -0,0 +1,556 @@
1
+ import { BaseSourceResultSet, PhysicalSourceResultSet, RequestTableValuedResultSet, SyntacticResultSetSource } from './table.js';
2
+ import { ExpressionColumnSource, StarColumnSource } from './rows.js';
3
+ import { ColumnInRow, SyncExpression } from './expression.js';
4
+ import { EqualsClause, InvalidExpressionError, RowExpression, SingleDependencyExpression } from './filter.js';
5
+ import { expandNodeLocations } from '../errors.js';
6
+ import { cartesianProduct } from '../streams/utils.js';
7
+ import { PostgresToSqlite } from './sqlite.js';
8
+ import { SqlScope } from './scope.js';
9
+ import { ImplicitSchemaTablePattern } from '../TablePattern.js';
10
+ import { composeExpressionNodes, FilterConditionSimplifier } from './filter_simplifier.js';
11
+ export class StreamQueryParser {
12
+ errors;
13
+ compiler;
14
+ originalText;
15
+ statementScope;
16
+ // Note: This is not the same as SqlScope since some result sets are inlined from CTEs or subqueries. These are not in
17
+ // scope, but we still add them here to correctly track dependencies.
18
+ resultSets = new Map();
19
+ subqueryResultSets = new Map();
20
+ resultColumns = [];
21
+ where = [];
22
+ /** The result set for which rows are synced. Set when analyzing result columns. */
23
+ primaryResultSet;
24
+ syntheticSubqueryCounter = 0;
25
+ nodeLocations;
26
+ exprParser;
27
+ constructor(options) {
28
+ this.compiler = options.compiler;
29
+ this.originalText = options.originalText;
30
+ this.errors = options.errors;
31
+ this.statementScope = new SqlScope({ parent: options.parentScope });
32
+ this.nodeLocations = options.locations;
33
+ this.exprParser = new PostgresToSqlite({
34
+ originalText: this.originalText,
35
+ errors: this.errors,
36
+ locations: this.nodeLocations,
37
+ scope: this.statementScope,
38
+ resolveTableName: this.resolveTableName.bind(this),
39
+ generateTableAlias: () => {
40
+ const counter = this.syntheticSubqueryCounter++;
41
+ return `synthetic:${counter}`;
42
+ },
43
+ joinSubqueryExpression: (expr) => {
44
+ // Independently analyze the inner query.
45
+ const parseInner = this.nestedParser(this.statementScope);
46
+ let success = parseInner.processAst(expr, { forSubquery: true });
47
+ if (!success) {
48
+ return null;
49
+ }
50
+ let resultColumn = null;
51
+ if (expr.columns?.length == 1) {
52
+ const column = expr.columns[0].expr;
53
+ // The result of a subquery must be a scalar expression
54
+ if (!(column.type == 'ref' && column.name == '*')) {
55
+ resultColumn = column;
56
+ }
57
+ }
58
+ if (resultColumn == null) {
59
+ // TODO: We could reasonably support syntax of the form (a, b) IN (SELECT a, b FROM ...) by desugaring that
60
+ // into multiple equals operators? The rest of the compiler should already be able to handle that.
61
+ this.errors.report('Must return a single expression column', expr);
62
+ return null;
63
+ }
64
+ parseInner.resultSets.forEach((v, k) => this.resultSets.set(k, v));
65
+ return { filters: parseInner.where, output: parseInner.parseExpression(resultColumn).node };
66
+ }
67
+ });
68
+ }
69
+ parse(stmt) {
70
+ if (this.processAst(stmt, { forSubquery: false })) {
71
+ if (this.primaryResultSet == null) {
72
+ return null;
73
+ }
74
+ const where = this.compileFilterClause();
75
+ const joined = [];
76
+ for (const source of this.resultSets.values()) {
77
+ if (source != this.primaryResultSet) {
78
+ joined.push(source);
79
+ }
80
+ }
81
+ return {
82
+ resultColumns: this.resultColumns,
83
+ sourceTable: this.primaryResultSet,
84
+ joined,
85
+ where: where
86
+ };
87
+ }
88
+ else {
89
+ return null;
90
+ }
91
+ }
92
+ parseAsSubquery(stmt, columnNames) {
93
+ if (this.processAst(stmt, { forSubquery: true })) {
94
+ const resultColumns = {};
95
+ let columnCount = 0;
96
+ for (const column of stmt.columns ?? []) {
97
+ if (column.expr.type == 'ref' && column.expr.name == '*') {
98
+ // We don't support * columns in subqueries. The reason is that we want to be able to parse queries without
99
+ // knowing the schema, so we can't know what * would resolve to.
100
+ this.errors.report('* columns are not allowed in subqueries or common table expressions', column.expr);
101
+ }
102
+ else {
103
+ const name = (columnNames && columnNames[columnCount]) ?? this.inferColumnName(column);
104
+ const expr = this.parseExpression(column.expr);
105
+ if (Object.hasOwn(resultColumns, name)) {
106
+ this.errors.report(`There is a column named '${name}' already.`, column);
107
+ }
108
+ resultColumns[name] = expr.node;
109
+ columnCount++;
110
+ }
111
+ }
112
+ if (columnNames && columnNames.length != columnCount) {
113
+ this.errors.report(`Expected this subquery to have ${columnNames.length} columns, it actually has ${columnCount}`, stmt);
114
+ }
115
+ return {
116
+ resultColumns,
117
+ tables: this.resultSets,
118
+ where: this.where.length == 0 ? null : composeExpressionNodes(this.nodeLocations, 'and', this.where)
119
+ };
120
+ }
121
+ else {
122
+ return null;
123
+ }
124
+ }
125
+ nestedParser(parentScope) {
126
+ return new StreamQueryParser({
127
+ compiler: this.compiler,
128
+ originalText: this.originalText,
129
+ errors: this.errors,
130
+ parentScope,
131
+ locations: this.nodeLocations
132
+ });
133
+ }
134
+ /**
135
+ * Process the AST of a statement, returning whether it's close enough to a valid select statement to be supported for
136
+ * sync streams (allowing us to process an invalid statement further to perhaps collect more errors).
137
+ */
138
+ processAst(node, options) {
139
+ if (node.type != 'select') {
140
+ // TODO: Support with statements
141
+ this.errors.report('Expected a SELECT statement', node);
142
+ return false;
143
+ }
144
+ node.from?.forEach((f) => this.processFrom(f));
145
+ if (node.where) {
146
+ this.addAndTermToWhereClause(node.where);
147
+ }
148
+ if (!options.forSubquery && node.columns) {
149
+ this.processResultColumns(node, node.columns);
150
+ }
151
+ this.warnUnsupported(node.groupBy, 'GROUP BY');
152
+ this.warnUnsupported(node.having, 'GROUP BY');
153
+ this.warnUnsupported(node.limit, 'LIMIT');
154
+ this.warnUnsupported(node.orderBy, 'ORDER BY');
155
+ this.warnUnsupported(node.for, 'FOR');
156
+ this.warnUnsupported(node.skip, 'SKIP');
157
+ return true;
158
+ }
159
+ addAndTermToWhereClause(expr) {
160
+ this.where.push(this.parseExpression(expr).node);
161
+ }
162
+ addSubquery(source, subquery) {
163
+ subquery.tables.forEach((v, k) => this.resultSets.set(k, v));
164
+ if (subquery.where) {
165
+ this.where.push(subquery.where);
166
+ }
167
+ this.subqueryResultSets.set(source, subquery);
168
+ }
169
+ processFrom(from) {
170
+ const scope = this.statementScope;
171
+ if (from.type == 'table') {
172
+ const name = from.name.alias ?? from.name.name;
173
+ const source = new SyntacticResultSetSource(from.name, from.name.alias ?? null);
174
+ scope.registerResultSet(this.errors, name, source);
175
+ // If this references a CTE in scope, use that instead of names.
176
+ const cte = from.name.schema == null ? scope.resolveCommonTableExpression(from.name.name) : null;
177
+ if (cte) {
178
+ this.addSubquery(source, cte);
179
+ }
180
+ else {
181
+ // Not a CTE, so treat it as a source database table.
182
+ const pattern = new ImplicitSchemaTablePattern(from.name.schema ?? null, from.name.name);
183
+ let resolvedTables = [];
184
+ if (this.compiler.options.schema) {
185
+ // Warn if the referenced table does not exist.
186
+ resolvedTables = this.compiler.options.schema.getTables(pattern.toTablePattern(this.compiler.options.defaultSchema));
187
+ if (resolvedTables.length == 0) {
188
+ this.errors.report('This table could not be found in the source schema.', from.name, { isWarning: true });
189
+ }
190
+ }
191
+ const resultSet = new PhysicalSourceResultSet(pattern, source, resolvedTables);
192
+ this.resultSets.set(source, resultSet);
193
+ }
194
+ }
195
+ else if (from.type == 'call') {
196
+ const source = new SyntacticResultSetSource(from, from.alias?.name ?? null);
197
+ this.resultSets.set(source, this.resolveTableValued(from, source));
198
+ scope.registerResultSet(this.errors, from.alias?.name ?? from.function.name, source);
199
+ }
200
+ else if (from.type == 'statement') {
201
+ const source = new SyntacticResultSetSource(from, from.alias);
202
+ // For subqueries in FROM, existing expressions are not in scope. So fork from the root scope instead.
203
+ const parseInner = this.nestedParser(scope.rootScope);
204
+ const parsedSubquery = parseInner.parseAsSubquery(from.statement, from.columnNames?.map((c) => c.name));
205
+ if (parsedSubquery) {
206
+ scope.registerResultSet(this.errors, from.alias, source);
207
+ this.addSubquery(source, parsedSubquery);
208
+ }
209
+ }
210
+ const join = from.join;
211
+ if (join) {
212
+ if (join.type != 'INNER JOIN') {
213
+ // We only support inner joins.
214
+ this.warnUnsupported(join, 'FULL JOIN');
215
+ }
216
+ if (join.using) {
217
+ // We don't support using because interpreting it depends on the schema. Users should spell it out explicitly
218
+ // using an ON clause.
219
+ this.warnUnsupported(join.using, 'USING');
220
+ }
221
+ if (join.on) {
222
+ this.addAndTermToWhereClause(join.on);
223
+ }
224
+ }
225
+ }
226
+ resolveTableValued(call, source) {
227
+ // Currently, inputs to table-valued functions must be derived from connection/subscription data only. We might
228
+ // revisit this in the future.
229
+ const resolvedArguments = [];
230
+ for (const argument of call.args) {
231
+ const parsed = this.mustBeSingleDependency(this.parseExpression(argument));
232
+ if (parsed.resultSet != null) {
233
+ this.errors.report('Parameters to table-valued functions may not reference other tables', parsed.expression.location);
234
+ }
235
+ }
236
+ return new RequestTableValuedResultSet(call.function.name, resolvedArguments, source);
237
+ }
238
+ inferColumnName(column) {
239
+ return column.alias?.name ?? this.originalText.substring(column._location.start, column._location.end);
240
+ }
241
+ processResultColumns(stmt, columns) {
242
+ const selectsFrom = (source, node) => {
243
+ if (source instanceof PhysicalSourceResultSet) {
244
+ if (this.primaryResultSet == null) {
245
+ this.primaryResultSet = source;
246
+ }
247
+ else if (this.primaryResultSet !== source) {
248
+ this.errors.report(`Sync streams can only select from a single table, and this one already selects from '${this.primaryResultSet.tablePattern.name}'.`, node);
249
+ }
250
+ }
251
+ else {
252
+ this.errors.report('Sync streams can only select from actual tables', node);
253
+ }
254
+ };
255
+ const addColumn = (expr, name) => {
256
+ for (const dependency of expr.instantiation) {
257
+ if (dependency instanceof ColumnInRow) {
258
+ selectsFrom(dependency.resultSet, dependency.syntacticOrigin);
259
+ }
260
+ else {
261
+ this.errors.report('This attempts to sync a connection parameter. Only values from the source database can be synced.', dependency.syntacticOrigin);
262
+ }
263
+ }
264
+ try {
265
+ this.resultColumns.push(new ExpressionColumnSource(new RowExpression(expr), name));
266
+ }
267
+ catch (e) {
268
+ if (e instanceof InvalidExpressionError) {
269
+ // Invalid dependencies, we've already logged errors for this. Ignore.
270
+ }
271
+ else {
272
+ throw e;
273
+ }
274
+ }
275
+ };
276
+ for (const column of columns) {
277
+ if (column.expr.type == 'ref' && column.expr.name == '*') {
278
+ const resolved = this.resolveTableName(column.expr, column.expr.table?.name);
279
+ if (resolved != null) {
280
+ if (resolved instanceof BaseSourceResultSet) {
281
+ selectsFrom(resolved, column.expr);
282
+ this.resultColumns.push(StarColumnSource.instance);
283
+ }
284
+ else {
285
+ // Selecting from a subquery, add all columns.
286
+ for (const [name, column] of Object.entries(resolved.resultColumns)) {
287
+ addColumn(new SyncExpression(column, this.nodeLocations), name);
288
+ }
289
+ }
290
+ }
291
+ }
292
+ else {
293
+ const expr = this.parseExpression(column.expr);
294
+ const outputName = this.inferColumnName(column);
295
+ addColumn(expr, outputName);
296
+ }
297
+ }
298
+ if (this.primaryResultSet == null) {
299
+ this.errors.report('Must have a result column selecting from a table', stmt);
300
+ }
301
+ }
302
+ parseExpression(source) {
303
+ return this.exprParser.translateExpression(source);
304
+ }
305
+ resolveTableName(node, name) {
306
+ if (name == null) {
307
+ // For unqualified references, there must be a single table in scope. We don't allow unqualified references if
308
+ // there are multiple tables because we don't know which column is available in which table with certainty (and
309
+ // don't want to re-compile sync streams on schema changes). So, we just refuse to resolve those ambigious
310
+ // references.
311
+ const resultSets = this.statementScope.resultSets;
312
+ if (resultSets.length == 1) {
313
+ return this.resolveSoure(resultSets[0]);
314
+ }
315
+ else {
316
+ this.errors.report('Invalid unqualified reference since multiple tables are in scope', node);
317
+ return null;
318
+ }
319
+ }
320
+ else {
321
+ const result = this.statementScope.resolveResultSetForReference(name);
322
+ if (result == null) {
323
+ this.errors.report(`Table '${name}' has not been added in a FROM clause here.`, node);
324
+ return null;
325
+ }
326
+ return this.resolveSoure(result);
327
+ }
328
+ }
329
+ resolveSoure(source) {
330
+ if (this.resultSets.has(source)) {
331
+ return this.resultSets.get(source);
332
+ }
333
+ else if (this.subqueryResultSets.has(source)) {
334
+ return this.subqueryResultSets.get(source);
335
+ }
336
+ throw new Error('internal error: result set from scope has not been registered');
337
+ }
338
+ warnUnsupported(node, description) {
339
+ if (node != null) {
340
+ let location;
341
+ if (Array.isArray(node)) {
342
+ if (node.length == 0) {
343
+ return;
344
+ }
345
+ location = expandNodeLocations(node);
346
+ }
347
+ else {
348
+ location = node;
349
+ }
350
+ this.errors.report(`${description} is not supported`, location);
351
+ }
352
+ }
353
+ compileFilterClause() {
354
+ const andTerms = [];
355
+ for (const expr of this.where) {
356
+ andTerms.push(this.extractBooleanOperators(expr));
357
+ }
358
+ const pendingDnf = toDisjunctiveNormalForm({ type: 'and', inner: andTerms }, this.nodeLocations);
359
+ // Within the DNF, each base expression (that is, anything not an OR or AND) is either:
360
+ //
361
+ // 1. An expression only depending on a single row, which wee use to potentially skip that row when evaluating rows
362
+ // or parameters.
363
+ // 2. An expression only depending on request data, which we use as a filter when querying buckets for a
364
+ // connection.
365
+ // 3. A static expression, which we'll add to both 1. and 2.
366
+ // 4. An EqualsClause.
367
+ const mappedTerms = pendingDnf.inner.map((conjunction) => {
368
+ if (conjunction.type != 'and') {
369
+ throw new Error('internal: DNF should have returned OR of ANDs');
370
+ }
371
+ return {
372
+ terms: conjunction.inner.map((base) => {
373
+ if (base.type != 'base') {
374
+ throw new Error('internal: DNF transformation did not have inner type as base');
375
+ }
376
+ return this.mapBaseExpression(base);
377
+ })
378
+ };
379
+ });
380
+ return new FilterConditionSimplifier().simplifyOr({ terms: mappedTerms });
381
+ }
382
+ mapBaseExpression(pending) {
383
+ if (pending.inner.type == 'binary') {
384
+ if (pending.inner.operator == '=') {
385
+ // The expression is of the form A = B. This introduces a parameter, allow A and B to reference different
386
+ // result sets.
387
+ const left = new SyncExpression(pending.inner.left, this.nodeLocations);
388
+ const right = new SyncExpression(pending.inner.right, this.nodeLocations);
389
+ return new EqualsClause(this.mustBeSingleDependency(left), this.mustBeSingleDependency(right));
390
+ }
391
+ }
392
+ return this.mustBeSingleDependency(new SyncExpression(pending.inner, this.nodeLocations));
393
+ }
394
+ /**
395
+ * Emit diagnostics if the expression references data from more than one table, otherwise returns it as a
396
+ * single-dependency expression.
397
+ */
398
+ mustBeSingleDependency(inner) {
399
+ let referencingResultSet = null;
400
+ let referencingConnection = null;
401
+ let hadError = false;
402
+ for (const dependency of inner.instantiation) {
403
+ if (dependency instanceof ColumnInRow) {
404
+ if (referencingConnection != null) {
405
+ this.errors.report("This expression already references connection parameters, so it can't also reference row data unless the two are compared with an equals operator.", dependency.syntacticOrigin);
406
+ hadError = true;
407
+ }
408
+ else if (referencingResultSet != null && referencingResultSet[0] != dependency.resultSet) {
409
+ const name = referencingResultSet[0].description;
410
+ this.errors.report(`This expression already references '${name}', so it can't also reference data from this row unless the two are compared with an equals operator.`, dependency.syntacticOrigin);
411
+ hadError = true;
412
+ }
413
+ referencingResultSet = [dependency.resultSet, dependency.syntacticOrigin];
414
+ }
415
+ else {
416
+ if (referencingResultSet != null) {
417
+ this.errors.report("This expression already references row data, so it can't also reference connection parameters unless the two are compared with an equals operator.", dependency.syntacticOrigin);
418
+ hadError = true;
419
+ }
420
+ referencingConnection = dependency.syntacticOrigin;
421
+ }
422
+ }
423
+ if (hadError) {
424
+ // Return a bogus expression to keep going / potentially collect more errors.
425
+ const value = { type: 'lit_null' };
426
+ this.nodeLocations.sourceForNode.set(value, inner.location);
427
+ return new SingleDependencyExpression(new SyncExpression(value, this.nodeLocations));
428
+ }
429
+ else {
430
+ return new SingleDependencyExpression(inner);
431
+ }
432
+ }
433
+ extractBooleanOperators(source) {
434
+ if (source.type == 'binary') {
435
+ if (source.operator == 'and') {
436
+ return {
437
+ type: 'and',
438
+ inner: [this.extractBooleanOperators(source.left), this.extractBooleanOperators(source.right)]
439
+ };
440
+ }
441
+ else if (source.operator == 'or') {
442
+ return {
443
+ type: 'or',
444
+ inner: [this.extractBooleanOperators(source.left), this.extractBooleanOperators(source.right)]
445
+ };
446
+ }
447
+ }
448
+ else if (source.type == 'unary' && source.operator == 'not') {
449
+ return { type: 'not', inner: this.extractBooleanOperators(source.operand) };
450
+ }
451
+ return { type: 'base', inner: source };
452
+ }
453
+ }
454
+ function toDisjunctiveNormalForm(source, locations) {
455
+ const prepared = prepareToDNF(source, locations);
456
+ switch (prepared.type) {
457
+ case 'or':
458
+ return {
459
+ type: 'or',
460
+ inner: prepared.inner.map((e) => {
461
+ if (e.type == 'and') {
462
+ return e;
463
+ }
464
+ else {
465
+ return { type: 'and', inner: [e] };
466
+ }
467
+ })
468
+ };
469
+ case 'and':
470
+ return { type: 'or', inner: [prepared] };
471
+ default:
472
+ return { type: 'or', inner: [{ type: 'and', inner: [prepared] }] };
473
+ }
474
+ }
475
+ function prepareToDNF(expr, locations) {
476
+ switch (expr.type) {
477
+ case 'not': {
478
+ // Push NOT downwards, depending on the inner term.
479
+ const inner = expr.inner;
480
+ switch (inner.type) {
481
+ case 'not':
482
+ return inner.inner; // Double negation, !x => x
483
+ case 'and':
484
+ // !(a AND b) => (!a) OR (!b)
485
+ return prepareToDNF({
486
+ type: 'or',
487
+ inner: inner.inner.map((e) => prepareToDNF({ type: 'not', inner: e }, locations))
488
+ }, locations);
489
+ case 'or':
490
+ // !(a OR b) => (!a) AND (!b)
491
+ return prepareToDNF({
492
+ type: 'and',
493
+ inner: inner.inner.map((e) => prepareToDNF({ type: 'not', inner: e }, locations))
494
+ }, locations);
495
+ case 'base':
496
+ const mappedInner = {
497
+ type: 'unary',
498
+ operator: 'not',
499
+ operand: inner.inner
500
+ };
501
+ locations.sourceForNode.set(mappedInner, locations.locationFor(inner.inner));
502
+ return { type: 'base', inner: mappedInner };
503
+ }
504
+ }
505
+ case 'and': {
506
+ const baseFactors = [];
507
+ const orTerms = [];
508
+ for (const originalTerm of expr.inner) {
509
+ const normalized = prepareToDNF(originalTerm, locations);
510
+ if (normalized.type == 'and') {
511
+ // Normalized and will only have base terms as children
512
+ baseFactors.push(...normalized.inner);
513
+ }
514
+ else if (normalized.type == 'or') {
515
+ orTerms.push(normalized);
516
+ }
517
+ else {
518
+ // prepareToDNF would have eliminated NOT operators
519
+ baseFactors.push(normalized);
520
+ }
521
+ }
522
+ if (orTerms.length == 0) {
523
+ return { type: 'and', inner: baseFactors };
524
+ }
525
+ // If there's an OR term within the AND, apply the distributive law to turn the term into an AND within an outer
526
+ // OR. First, we transform orTerms to turn e.g. (a OR b) AND (c OR d) into (a AND c) OR (a AND d) OR (b AND c) OR
527
+ // (b AND d).
528
+ const multiplied = cartesianProduct(...orTerms.map((e) => e.inner));
529
+ // Then, combine those with the inner AND to turn `A & (B | C) & D` into `(B & A & D) | (C & A & D)`.
530
+ const finalFactors = [];
531
+ for (const distributedTerms of multiplied) {
532
+ finalFactors.push(prepareToDNF({ type: 'and', inner: [...distributedTerms, ...baseFactors] }, locations));
533
+ }
534
+ return { type: 'or', inner: finalFactors };
535
+ }
536
+ case 'or': {
537
+ // If the outer expression is an OR, it's already in DNF. But we want to simplify `(A OR B) OR C` into `A OR B OR C`
538
+ // if possible.
539
+ const expanded = [];
540
+ for (const term of expr.inner) {
541
+ const normalized = prepareToDNF(term, locations);
542
+ if (normalized.type == 'or') {
543
+ expanded.push(...normalized.inner);
544
+ }
545
+ else {
546
+ expanded.push(normalized);
547
+ }
548
+ }
549
+ return { type: 'or', inner: expanded };
550
+ }
551
+ case 'base':
552
+ // There are no boolean operators to adopt.
553
+ return expr;
554
+ }
555
+ }
556
+ //# sourceMappingURL=parser.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/compiler/parser.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,2BAA2B,EAE3B,wBAAwB,EACzB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAgB,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AACnF,OAAO,EAAE,WAAW,EAAkC,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC9F,OAAO,EAEL,YAAY,EACZ,sBAAsB,EAGtB,aAAa,EACb,0BAA0B,EAE3B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAoB,MAAM,aAAa,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,OAAO,EAAE,0BAA0B,EAAgB,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAuD3F,MAAM,OAAO,iBAAiB;IACnB,MAAM,CAAuB;IACrB,QAAQ,CAAsB;IACtC,YAAY,CAAS;IACb,cAAc,CAAW;IAC1C,sHAAsH;IACtH,qEAAqE;IACpD,UAAU,GAAG,IAAI,GAAG,EAA6C,CAAC;IAClE,kBAAkB,GAAG,IAAI,GAAG,EAA8C,CAAC;IAE3E,aAAa,GAAmB,EAAE,CAAC;IAC5C,KAAK,GAAqC,EAAE,CAAC;IAErD,mFAAmF;IAC3E,gBAAgB,CAA2B;IAC3C,wBAAwB,GAAW,CAAC,CAAC;IACrC,aAAa,CAAgB;IAC7B,UAAU,CAAmB;IAErC,YAAY,OAAiC;QAC3C,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QACjC,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;QACzC,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,cAAc,GAAG,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC;QAEvC,IAAI,CAAC,UAAU,GAAG,IAAI,gBAAgB,CAAC;YACrC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE,IAAI,CAAC,aAAa;YAC7B,KAAK,EAAE,IAAI,CAAC,cAAc;YAC1B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YAClD,kBAAkB,EAAE,GAAG,EAAE;gBACvB,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,EAAE,CAAC;gBAChD,OAAO,aAAa,OAAO,EAAE,CAAC;YAChC,CAAC;YACD,sBAAsB,EAAE,CAAC,IAAI,EAAE,EAAE;gBAC/B,yCAAyC;gBACzC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC1D,IAAI,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;gBACjE,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,IAAI,YAAY,GAAgB,IAAI,CAAC;gBACrC,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACpC,uDAAuD;oBACvD,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,IAAI,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;wBAClD,YAAY,GAAG,MAAM,CAAC;oBACxB,CAAC;gBACH,CAAC;gBAED,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;oBACzB,2GAA2G;oBAC3G,kGAAkG;oBAClG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,wCAAwC,EAAE,IAAI,CAAC,CAAC;oBACnE,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACnE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9F,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAe;QACnB,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,EAAE,CAAC;gBAClC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACzC,MAAM,MAAM,GAAsB,EAAE,CAAC;YACrC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC9C,IAAI,MAAM,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;oBACpC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;YAED,OAAO;gBACL,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,WAAW,EAAE,IAAI,CAAC,gBAAgB;gBAClC,MAAM;gBACN,KAAK,EAAE,KAAK;aACb,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,eAAe,CAAC,IAAe,EAAE,WAAsB;QACrD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACjD,MAAM,aAAa,GAAmD,EAAE,CAAC;YACzE,IAAI,WAAW,GAAG,CAAC,CAAC;YAEpB,KAAK,MAAM,MAAM,IAAK,IAA4B,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBACjE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;oBACzD,2GAA2G;oBAC3G,gEAAgE;oBAChE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,qEAAqE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;gBACzG,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,GAAG,CAAC,WAAW,IAAI,WAAW,CAAC,WAAW,CAAC,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;oBACvF,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAE/C,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC;wBACvC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,4BAA4B,IAAI,YAAY,EAAE,MAAM,CAAC,CAAC;oBAC3E,CAAC;oBAED,aAAa,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;oBAChC,WAAW,EAAE,CAAC;gBAChB,CAAC;YACH,CAAC;YAED,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;gBACrD,IAAI,CAAC,MAAM,CAAC,MAAM,CAChB,kCAAkC,WAAW,CAAC,MAAM,6BAA6B,WAAW,EAAE,EAC9F,IAAI,CACL,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,aAAa;gBACb,MAAM,EAAE,IAAI,CAAC,UAAU;gBACvB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;aACrG,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,WAAqB;QACxC,OAAO,IAAI,iBAAiB,CAAC;YAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,WAAW;YACX,SAAS,EAAE,IAAI,CAAC,aAAa;SAC9B,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,UAAU,CAAC,IAAe,EAAE,OAAiC;QACnE,IAAI,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC1B,gCAAgC;YAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,6BAA6B,EAAE,IAAI,CAAC,CAAC;YACxD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACzC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAChD,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC9C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAExC,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,uBAAuB,CAAC,IAAU;QACxC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IAEO,WAAW,CAAC,MAAgC,EAAE,QAA0B;QAC9E,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;IAEO,WAAW,CAAC,IAAU;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/C,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;YAChF,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAEnD,gEAAgE;YAChE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACjG,IAAI,GAAG,EAAE,CAAC;gBACR,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,qDAAqD;gBACrD,MAAM,OAAO,GAAG,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAEzF,IAAI,cAAc,GAAwB,EAAE,CAAC;gBAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;oBACjC,+CAA+C;oBAC/C,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CACrD,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAc,CAAC,CAC7D,CAAC;oBACF,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;wBAC/B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,qDAAqD,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC5G,CAAC;gBACH,CAAC;gBAED,MAAM,SAAS,GAAG,IAAI,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;gBAC/E,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC;YAC5E,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YACnE,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvF,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,IAAI,WAAW,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAE9D,sGAAsG;YACtG,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACtD,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAC/C,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACrC,CAAC;YAEF,IAAI,cAAc,EAAE,CAAC;gBACnB,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACzD,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,IAAI,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;gBAC9B,+BAA+B;gBAC/B,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC1C,CAAC;YAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,6GAA6G;gBAC7G,sBAAsB;gBACtB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC5C,CAAC;YAED,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;gBACZ,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,IAAc,EAAE,MAAgC;QACzE,+GAA+G;QAC/G,8BAA8B;QAC9B,MAAM,iBAAiB,GAAwB,EAAE,CAAC;QAElD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;YAE3E,IAAI,MAAM,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;gBAC7B,IAAI,CAAC,MAAM,CAAC,MAAM,CAChB,qEAAqE,EACrE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAC3B,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,IAAI,2BAA2B,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;IACxF,CAAC;IAEO,eAAe,CAAC,MAAsB;QAC5C,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,SAAU,CAAC,KAAK,EAAE,MAAM,CAAC,SAAU,CAAC,GAAG,CAAC,CAAC;IAC3G,CAAC;IAEO,oBAAoB,CAAC,IAAY,EAAE,OAAyB;QAClE,MAAM,WAAW,GAAG,CAAC,MAAuB,EAAE,IAAY,EAAE,EAAE;YAC5D,IAAI,MAAM,YAAY,uBAAuB,EAAE,CAAC;gBAC9C,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,EAAE,CAAC;oBAClC,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC;gBACjC,CAAC;qBAAM,IAAI,IAAI,CAAC,gBAAgB,KAAK,MAAM,EAAE,CAAC;oBAC5C,IAAI,CAAC,MAAM,CAAC,MAAM,CAChB,wFAAwF,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,IAAI,EACnI,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,iDAAiD,EAAE,IAAI,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC,CAAC;QAEF,MAAM,SAAS,GAAG,CAAC,IAAoB,EAAE,IAAY,EAAE,EAAE;YACvD,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBAC5C,IAAI,UAAU,YAAY,WAAW,EAAE,CAAC;oBACtC,WAAW,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;gBAChE,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,MAAM,CAAC,MAAM,CAChB,mGAAmG,EACnG,UAAU,CAAC,eAAe,CAC3B,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,IAAI,CAAC;gBACH,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YACrF,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,sBAAsB,EAAE,CAAC;oBACxC,sEAAsE;gBACxE,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,CAAC;gBACV,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;gBACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC7E,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;oBACrB,IAAI,QAAQ,YAAY,mBAAmB,EAAE,CAAC;wBAC5C,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;wBACnC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;oBACrD,CAAC;yBAAM,CAAC;wBACN,8CAA8C;wBAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;4BACpE,SAAS,CAAC,IAAI,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,CAAC;wBAClE,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;gBAChD,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,EAAE,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,kDAAkD,EAAE,IAAI,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IAEO,eAAe,CAAC,MAAY;QAClC,OAAO,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IAEO,gBAAgB,CAAC,IAAa,EAAE,IAAkB;QACxD,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,8GAA8G;YAC9G,+GAA+G;YAC/G,0GAA0G;YAC1G,cAAc;YACd,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC;YAClD,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,kEAAkE,EAAE,IAAI,CAAC,CAAC;gBAC7F,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC;YACtE,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,IAAI,6CAA6C,EAAE,IAAI,CAAC,CAAC;gBACtF,OAAO,IAAI,CAAC;YACd,CAAC;YAED,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,MAAgC;QACnD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QACtC,CAAC;aAAM,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QAC9C,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IAEO,eAAe,CAAC,IAA6B,EAAE,WAAmB;QACxE,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,IAAI,QAA+B,CAAC;YACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACrB,OAAO;gBACT,CAAC;gBAED,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAE,CAAC;YACxC,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,WAAW,mBAAmB,EAAE,QAAQ,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAEO,mBAAmB;QACzB,MAAM,QAAQ,GAA8B,EAAE,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,CAAC;QAED,MAAM,UAAU,GAAG,uBAAuB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;QAEjG,uFAAuF;QACvF,EAAE;QACF,oHAAoH;QACpH,qBAAqB;QACrB,yGAAyG;QACzG,kBAAkB;QAClB,6DAA6D;QAC7D,uBAAuB;QACvB,MAAM,WAAW,GAAU,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE;YAC9D,IAAI,WAAW,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;YACnE,CAAC;YAED,OAAO;gBACL,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;oBACpC,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;wBACxB,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;oBAClF,CAAC;oBAED,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;gBACtC,CAAC,CAAC;aACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,OAAO,IAAI,yBAAyB,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IAC5E,CAAC;IAEO,iBAAiB,CAAC,OAAwB;QAChD,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YACnC,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,IAAI,GAAG,EAAE,CAAC;gBAClC,yGAAyG;gBACzG,eAAe;gBACf,MAAM,IAAI,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;gBACxE,MAAM,KAAK,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;gBAE1E,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;IAC5F,CAAC;IAED;;;OAGG;IACK,sBAAsB,CAAC,KAAqB;QAClD,IAAI,oBAAoB,GAAqC,IAAI,CAAC;QAClE,IAAI,qBAAqB,GAAkB,IAAI,CAAC;QAChD,IAAI,QAAQ,GAAG,KAAK,CAAC;QAErB,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YAC7C,IAAI,UAAU,YAAY,WAAW,EAAE,CAAC;gBACtC,IAAI,qBAAqB,IAAI,IAAI,EAAE,CAAC;oBAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAChB,oJAAoJ,EACpJ,UAAU,CAAC,eAAe,CAC3B,CAAC;oBACF,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;qBAAM,IAAI,oBAAoB,IAAI,IAAI,IAAI,oBAAoB,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;oBAC3F,MAAM,IAAI,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;oBACjD,IAAI,CAAC,MAAM,CAAC,MAAM,CAChB,uCAAuC,IAAI,uGAAuG,EAClJ,UAAU,CAAC,eAAe,CAC3B,CAAC;oBACF,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;gBAED,oBAAoB,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;YAC5E,CAAC;iBAAM,CAAC;gBACN,IAAI,oBAAoB,IAAI,IAAI,EAAE,CAAC;oBACjC,IAAI,CAAC,MAAM,CAAC,MAAM,CAChB,oJAAoJ,EACpJ,UAAU,CAAC,eAAe,CAC3B,CAAC;oBACF,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;gBAED,qBAAqB,GAAG,UAAU,CAAC,eAAe,CAAC;YACrD,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,EAAE,CAAC;YACb,6EAA6E;YAC7E,MAAM,KAAK,GAAmC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YACnE,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC5D,OAAO,IAAI,0BAA0B,CAAC,IAAI,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;QACvF,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,0BAA0B,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAEO,uBAAuB,CAAC,MAAsC;QACpE,IAAI,MAAM,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,MAAM,CAAC,QAAQ,IAAI,KAAK,EAAE,CAAC;gBAC7B,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,KAAK,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;iBAC/F,CAAC;YACJ,CAAC;iBAAM,IAAI,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE,CAAC;gBACnC,OAAO;oBACL,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;iBAC/F,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,IAAI,OAAO,IAAI,MAAM,CAAC,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC9D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACzC,CAAC;CACF;AAiBD,SAAS,uBAAuB,CAAC,MAA+B,EAAE,SAAwB;IACxF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC9B,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;wBACpB,OAAO,CAAC,CAAC;oBACX,CAAC;yBAAM,CAAC;wBACN,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrC,CAAC;gBACH,CAAC,CAAC;aACH,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C;YACE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;IACvE,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAA6B,EAAE,SAAwB;IAC3E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,mDAAmD;YACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACzB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,KAAK;oBACR,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,2BAA2B;gBACjD,KAAK,KAAK;oBACR,6BAA6B;oBAC7B,OAAO,YAAY,CACjB;wBACE,IAAI,EAAE,IAAI;wBACV,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;qBAClF,EACD,SAAS,CACV,CAAC;gBACJ,KAAK,IAAI;oBACP,6BAA6B;oBAC7B,OAAO,YAAY,CACjB;wBACE,IAAI,EAAE,KAAK;wBACX,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;qBAClF,EACD,SAAS,CACV,CAAC;gBACJ,KAAK,MAAM;oBACT,MAAM,WAAW,GAAmC;wBAClD,IAAI,EAAE,OAAO;wBACb,QAAQ,EAAE,KAAK;wBACf,OAAO,EAAE,KAAK,CAAC,KAAK;qBACrB,CAAC;oBACF,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAChD,CAAC;QACH,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,WAAW,GAAsB,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAgB,EAAE,CAAC;YAEhC,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACtC,MAAM,UAAU,GAAG,YAAY,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;gBACzD,IAAI,UAAU,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;oBAC7B,uDAAuD;oBACvD,WAAW,CAAC,IAAI,CAAC,GAAI,UAAU,CAAC,KAA2B,CAAC,CAAC;gBAC/D,CAAC;qBAAM,IAAI,UAAU,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;oBACnC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACN,mDAAmD;oBACnD,WAAW,CAAC,IAAI,CAAC,UAA6B,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;YAED,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAC7C,CAAC;YAED,gHAAgH;YAChH,iHAAiH;YACjH,aAAa;YACb,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAEpE,qGAAqG;YACrG,MAAM,YAAY,GAA8B,EAAE,CAAC;YACnD,KAAK,MAAM,gBAAgB,IAAI,UAAU,EAAE,CAAC;gBAC1C,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,gBAAgB,EAAE,GAAG,WAAW,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;YAC5G,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QAC7C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,oHAAoH;YACpH,eAAe;YACf,MAAM,QAAQ,GAA8B,EAAE,CAAC;YAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACjD,IAAI,UAAU,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;oBAC5B,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;gBACrC,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;YAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QACzC,CAAC;QACD,KAAK,MAAM;YACT,2CAA2C;YAC3C,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}
@@ -0,0 +1,42 @@
1
+ import { ParsingErrorListener, SyncStreamsCompiler } from './compiler.js';
2
+ import { ParsedStreamQuery } from './parser.js';
3
+ import { StreamOptions } from '../sync_plan/plan.js';
4
+ /**
5
+ * Builds stream resolvers for a single stream, potentially consisting of multiple queries.
6
+ */
7
+ export declare class QuerierGraphBuilder {
8
+ readonly compiler: SyncStreamsCompiler;
9
+ readonly options: StreamOptions;
10
+ private readonly resolvers;
11
+ readonly counter: UniqueCounter;
12
+ constructor(compiler: SyncStreamsCompiler, options: StreamOptions);
13
+ /**
14
+ * Adds a given query to the stream compiled by this builder.
15
+ */
16
+ process(query: ParsedStreamQuery, errors: ParsingErrorListener): void;
17
+ /**
18
+ * Merges created stream resolvers and adds them to the compiler.
19
+ */
20
+ finish(): void;
21
+ /**
22
+ * Merges bucket definitions from multiple queries if they're compatible.
23
+ *
24
+ * As an example, consider a stream defined with two queries:
25
+ *
26
+ * - `SELECT * FROM settings WHERE user_id = auth.user_id()`
27
+ * - `SELECT * FROM notes WHERE user_id = auth.user_id()`
28
+ *
29
+ * While the two queries select from different source rows (meaning that their {@link RowEvaluator}s are distinct),
30
+ * they also don't really need independent buckets.
31
+ *
32
+ * This method merges two stream resolvers if they have {@link ResolveBucket} steps with the same instantiation (as
33
+ * in, the same stream subscription + connection is guaranteed to evaluate to the same parameters).
34
+ */
35
+ private mergeBuckets;
36
+ }
37
+ declare class UniqueCounter {
38
+ current: number;
39
+ constructor();
40
+ use(prefix: string): string;
41
+ }
42
+ export {};