@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 @@
1
+ {"version":3,"file":"expression.js","sourceRoot":"","sources":["../../src/sync_plan/expression.ts"],"names":[],"mappings":"AAqIA,MAAM,CAAC,MAAM,kBAAkB,GAAkC;IAC/D,+DAA+D;IAC/D,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAChB,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACpB,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAClB,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACrB,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAClB,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAClB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACd,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACf,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC;IACT,0FAA0F;IAC1F,+FAA+F;IAC/F,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACxB,kBAAkB;IAClB,cAAc;IACd,KAAK,EAAE,CAAC;IACR,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACf,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACf,MAAM,EAAE,CAAC;IACT,YAAY,EAAE,CAAC;IACf,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAClB,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC1B,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC7B,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACxB,MAAM,EAAE,CAAC;IACT,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,OAAO,EAAE,CAAC;IACV,MAAM,EAAE,CAAC;IACT,YAAY,EAAE,CAAC;IACf,gBAAgB;IAChB,KAAK,EAAE,CAAC;IACR,QAAQ,EAAE,CAAC;IACX,+DAA+D;IAC/D,0GAA0G;IAC1G,2BAA2B;IAC3B,IAAI,EAAE,CAAC;IACP,aAAa;IACb,UAAU,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACtB,4BAA4B;IAC5B,iBAAiB,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACrC,mBAAmB,EAAE,CAAC;IACtB,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACxB,8BAA8B;IAC9B,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;IACxC,8CAA8C;IAC9C,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IACzC,+CAA+C;IAC/C,UAAU,EAAE,CAAC;IACb,mBAAmB;IACnB,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACvB,6BAA6B;IAC7B,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;IACzC,+CAA+C;IAC/C,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;IACrC,2CAA2C;IAC3C,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC7B,UAAU,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC9B,UAAU,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAEtB,wFAAwF;IACxF,gHAAgH;IAChH,yCAAyC;IACzC,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACrB,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAEpB,iGAAiG;IACjG,MAAM,EAAE,CAAC;IACT,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,CAAC;IACZ,YAAY,EAAE,CAAC;IACf,SAAS,EAAE,CAAC;IACZ,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;CACR,CAAC"}
@@ -0,0 +1,43 @@
1
+ import { BetweenExpression, BinaryExpression, CaseWhenExpression, CastExpression, ExternalData, LiteralExpression, ScalarFunctionCallExpression, ScalarInExpression, SqlExpression, UnaryExpression } from './expression.js';
2
+ import { ExpressionVisitor } from './expression_visitor.js';
3
+ /**
4
+ * Renders {@link SqlExpression}s into SQL text supported by SQLite.
5
+ */
6
+ export declare class ExpressionToSqlite<Data> implements ExpressionVisitor<Data, void, Precedence | 0> {
7
+ sql: string;
8
+ private needsSpace;
9
+ addExpression(expr: SqlExpression<Data>, precedence?: Precedence | 0): void;
10
+ private space;
11
+ addLexeme(text: string, options?: {
12
+ spaceLeft?: boolean;
13
+ spaceRight?: boolean;
14
+ }): number;
15
+ identifier(name: string): void;
16
+ private string;
17
+ private commaSeparated;
18
+ private parenthesis;
19
+ private maybeParenthesis;
20
+ visitExternalData(_expr: ExternalData<Data>): void;
21
+ visitUnaryExpression(expr: UnaryExpression<Data>, outerPrecedence: Precedence | 0): void;
22
+ visitBinaryExpression(expr: BinaryExpression<Data>, outerPrecedence: Precedence | 0): void;
23
+ visitBetweenExpression(expr: BetweenExpression<Data>, outerPrecedence: 0 | Precedence): void;
24
+ visitScalarInExpression(expr: ScalarInExpression<Data>, arg: Precedence | 0): void;
25
+ visitCaseWhenExpression(expr: CaseWhenExpression<Data>, arg: Precedence | 0): void;
26
+ visitCastExpression(expr: CastExpression<Data>, arg: Precedence | 0): void;
27
+ visitScalarFunctionCallExpression(expr: ScalarFunctionCallExpression<Data>, arg: Precedence | 0): void;
28
+ visitLiteralExpression(expr: LiteralExpression, arg: Precedence | 0): void;
29
+ static toSqlite(expr: SqlExpression<unknown>): string;
30
+ }
31
+ export declare enum Precedence {
32
+ or = 1,
33
+ and = 2,
34
+ not = 3,
35
+ equals = 4,
36
+ comparison = 5,
37
+ binary = 6,
38
+ addition = 7,
39
+ multiplication = 8,
40
+ concat = 9,
41
+ collate = 10,
42
+ unary = 11
43
+ }
@@ -0,0 +1,190 @@
1
+ import { visitExpr } from './expression_visitor.js';
2
+ /**
3
+ * Renders {@link SqlExpression}s into SQL text supported by SQLite.
4
+ */
5
+ export class ExpressionToSqlite {
6
+ sql = '';
7
+ needsSpace = false;
8
+ addExpression(expr, precedence = 0) {
9
+ visitExpr(this, expr, precedence);
10
+ }
11
+ space() {
12
+ this.sql += ' ';
13
+ }
14
+ addLexeme(text, options) {
15
+ const spaceLeft = options?.spaceLeft ?? true;
16
+ const spaceRight = options?.spaceRight ?? true;
17
+ if (this.needsSpace && spaceLeft) {
18
+ this.space();
19
+ }
20
+ const startOffset = this.sql.length;
21
+ this.sql += text;
22
+ this.needsSpace = spaceRight;
23
+ return startOffset;
24
+ }
25
+ identifier(name) {
26
+ this.addLexeme(`"${name.replaceAll('"', '""')}"`);
27
+ }
28
+ string(name) {
29
+ this.addLexeme(`'${name.replaceAll("'", "''")}'`);
30
+ }
31
+ commaSeparated(exprList) {
32
+ let first = true;
33
+ for (const expr of exprList) {
34
+ if (!first) {
35
+ this.addLexeme(',', { spaceLeft: false });
36
+ }
37
+ this.addExpression(expr);
38
+ first = false;
39
+ }
40
+ }
41
+ parenthesis(inner) {
42
+ this.addLexeme('(', { spaceRight: false });
43
+ inner();
44
+ this.addLexeme(')', { spaceLeft: false });
45
+ }
46
+ maybeParenthesis(outerPrecedence, innerPrecedence, inner) {
47
+ if (outerPrecedence > innerPrecedence) {
48
+ this.parenthesis(inner);
49
+ }
50
+ else {
51
+ inner();
52
+ }
53
+ }
54
+ visitExternalData(_expr) {
55
+ this.addLexeme('?');
56
+ }
57
+ visitUnaryExpression(expr, outerPrecedence) {
58
+ const innerPrecedence = unaryPrecedence[expr.operator];
59
+ this.maybeParenthesis(outerPrecedence, innerPrecedence, () => {
60
+ this.addLexeme(expr.operator);
61
+ this.addExpression(expr.operand, innerPrecedence);
62
+ });
63
+ }
64
+ visitBinaryExpression(expr, outerPrecedence) {
65
+ const innerPrecedence = binaryPrecedence[expr.operator];
66
+ this.maybeParenthesis(outerPrecedence, innerPrecedence, () => {
67
+ this.addExpression(expr.left, innerPrecedence);
68
+ this.addLexeme(expr.operator);
69
+ this.addExpression(expr.right, innerPrecedence);
70
+ });
71
+ }
72
+ visitBetweenExpression(expr, outerPrecedence) {
73
+ const innerPrecedence = Precedence.equals;
74
+ this.maybeParenthesis(outerPrecedence, innerPrecedence, () => {
75
+ this.addExpression(expr.value, Precedence.equals);
76
+ this.addLexeme('BETWEEN');
77
+ this.addExpression(expr.low, Precedence.equals);
78
+ this.addLexeme('AND');
79
+ this.addExpression(expr.high, Precedence.equals);
80
+ });
81
+ }
82
+ visitScalarInExpression(expr, arg) {
83
+ if (expr.in.length == 0) {
84
+ // x IN () is invalid, but it can't be true either way.
85
+ this.addLexeme('FALSE');
86
+ return;
87
+ }
88
+ this.maybeParenthesis(arg, Precedence.equals, () => {
89
+ this.addExpression(expr.target, Precedence.equals);
90
+ this.addLexeme('IN');
91
+ this.parenthesis(() => this.commaSeparated(expr.in));
92
+ });
93
+ }
94
+ visitCaseWhenExpression(expr, arg) {
95
+ this.addLexeme('CASE');
96
+ if (expr.operand) {
97
+ this.addExpression(expr.operand);
98
+ }
99
+ for (const when of expr.whens) {
100
+ this.addLexeme('WHEN');
101
+ this.addExpression(when.when);
102
+ this.addLexeme('THEN');
103
+ this.addExpression(when.then);
104
+ }
105
+ if (expr.else) {
106
+ this.addLexeme('ELSE');
107
+ this.addExpression(expr.else);
108
+ }
109
+ this.addLexeme('END');
110
+ }
111
+ visitCastExpression(expr, arg) {
112
+ this.addLexeme('CAST(', { spaceRight: false });
113
+ this.addExpression(expr.operand);
114
+ this.addLexeme('AS');
115
+ this.addLexeme(expr.cast_as);
116
+ this.addLexeme(')', { spaceLeft: false });
117
+ }
118
+ visitScalarFunctionCallExpression(expr, arg) {
119
+ this.identifier(expr.function);
120
+ this.addLexeme('(', { spaceLeft: false, spaceRight: false });
121
+ this.commaSeparated(expr.parameters);
122
+ this.addLexeme(')', { spaceLeft: false });
123
+ }
124
+ visitLiteralExpression(expr, arg) {
125
+ if (expr.type == 'lit_null') {
126
+ this.addLexeme('NULL');
127
+ }
128
+ else if (expr.type == 'lit_double') {
129
+ let lexeme = expr.value.toString();
130
+ if (Number.isInteger(expr.value)) {
131
+ // If we have a double value that happens to be an integer, we still want to treat that as a double in SQLite.
132
+ lexeme += '.0';
133
+ }
134
+ this.addLexeme(lexeme);
135
+ }
136
+ else if (expr.type == 'lit_int') {
137
+ this.addLexeme(expr.base10);
138
+ }
139
+ else {
140
+ this.string(expr.value);
141
+ }
142
+ }
143
+ static toSqlite(expr) {
144
+ const visitor = new ExpressionToSqlite();
145
+ visitor.addExpression(expr);
146
+ return visitor.sql;
147
+ }
148
+ }
149
+ export var Precedence;
150
+ (function (Precedence) {
151
+ Precedence[Precedence["or"] = 1] = "or";
152
+ Precedence[Precedence["and"] = 2] = "and";
153
+ Precedence[Precedence["not"] = 3] = "not";
154
+ Precedence[Precedence["equals"] = 4] = "equals";
155
+ Precedence[Precedence["comparison"] = 5] = "comparison";
156
+ Precedence[Precedence["binary"] = 6] = "binary";
157
+ Precedence[Precedence["addition"] = 7] = "addition";
158
+ Precedence[Precedence["multiplication"] = 8] = "multiplication";
159
+ Precedence[Precedence["concat"] = 9] = "concat";
160
+ Precedence[Precedence["collate"] = 10] = "collate";
161
+ Precedence[Precedence["unary"] = 11] = "unary";
162
+ })(Precedence || (Precedence = {}));
163
+ // https://www.sqlite.org/lang_expr.html#operators_and_parse_affecting_attributes
164
+ const binaryPrecedence = {
165
+ or: Precedence.or,
166
+ and: Precedence.and,
167
+ '=': Precedence.equals,
168
+ is: Precedence.equals,
169
+ '<': Precedence.comparison,
170
+ '>': Precedence.comparison,
171
+ '<=': Precedence.comparison,
172
+ '>=': Precedence.comparison,
173
+ '&': Precedence.binary,
174
+ '|': Precedence.binary,
175
+ '<<': Precedence.binary,
176
+ '>>': Precedence.binary,
177
+ '+': Precedence.addition,
178
+ '-': Precedence.addition,
179
+ '*': Precedence.multiplication,
180
+ '/': Precedence.multiplication,
181
+ '%': Precedence.multiplication,
182
+ '||': Precedence.concat
183
+ };
184
+ const unaryPrecedence = {
185
+ not: Precedence.not,
186
+ //'~': Precedence.unary,
187
+ '+': Precedence.unary
188
+ //'-': Precedence.unary
189
+ };
190
+ //# sourceMappingURL=expression_to_sql.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"expression_to_sql.js","sourceRoot":"","sources":["../../src/sync_plan/expression_to_sql.ts"],"names":[],"mappings":"AAcA,OAAO,EAAqB,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEvE;;GAEG;AACH,MAAM,OAAO,kBAAkB;IAC7B,GAAG,GAAG,EAAE,CAAC;IAED,UAAU,GAAG,KAAK,CAAC;IAE3B,aAAa,CAAC,IAAyB,EAAE,aAA6B,CAAC;QACrE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACpC,CAAC;IAEO,KAAK;QACX,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC;IAClB,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,OAAuD;QAC7E,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,IAAI,IAAI,CAAC;QAC7C,MAAM,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC;QAE/C,IAAI,IAAI,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC;QACjB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IAEO,MAAM,CAAC,IAAY;QACzB,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IAEO,cAAc,CAAC,QAAuC;QAC5D,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5C,CAAC;YAED,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACzB,KAAK,GAAG,KAAK,CAAC;QAChB,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,KAAiB;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3C,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5C,CAAC;IAEO,gBAAgB,CAAC,eAA+B,EAAE,eAA2B,EAAE,KAAiB;QACtG,IAAI,eAAe,GAAG,eAAe,EAAE,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IAED,iBAAiB,CAAC,KAAyB;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IAED,oBAAoB,CAAC,IAA2B,EAAE,eAA+B;QAC/E,MAAM,eAAe,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,eAAe,EAAE,GAAG,EAAE;YAC3D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,qBAAqB,CAAC,IAA4B,EAAE,eAA+B;QACjF,MAAM,eAAe,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,eAAe,EAAE,GAAG,EAAE;YAC3D,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAC/C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,sBAAsB,CAAC,IAA6B,EAAE,eAA+B;QACnF,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,eAAe,EAAE,GAAG,EAAE;YAC3D,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YAC1B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YAChD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACtB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,uBAAuB,CAAC,IAA8B,EAAE,GAAmB;QACzE,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACxB,uDAAuD;YACvD,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QAED,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,CAAC,MAAM,EAAE,GAAG,EAAE;YACjD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,uBAAuB,CAAC,IAA8B,EAAE,GAAmB;QACzE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACvB,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAED,mBAAmB,CAAC,IAA0B,EAAE,GAAmB;QACjE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,iCAAiC,CAAC,IAAwC,EAAE,GAAmB;QAC7F,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7D,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,sBAAsB,CAAC,IAAuB,EAAE,GAAmB;QACjE,IAAI,IAAI,CAAC,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;YACrC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnC,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,8GAA8G;gBAC9G,MAAM,IAAI,IAAI,CAAC;YACjB,CAAC;YAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAA4B;QAC1C,MAAM,OAAO,GAAG,IAAI,kBAAkB,EAAW,CAAC;QAClD,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,OAAO,CAAC,GAAG,CAAC;IACrB,CAAC;CACF;AAED,MAAM,CAAN,IAAY,UAYX;AAZD,WAAY,UAAU;IACpB,uCAAM,CAAA;IACN,yCAAO,CAAA;IACP,yCAAO,CAAA;IACP,+CAAU,CAAA;IACV,uDAAc,CAAA;IACd,+CAAU,CAAA;IACV,mDAAY,CAAA;IACZ,+DAAkB,CAAA;IAClB,+CAAU,CAAA;IACV,kDAAY,CAAA;IACZ,8CAAU,CAAA;AACZ,CAAC,EAZW,UAAU,KAAV,UAAU,QAYrB;AAED,iFAAiF;AACjF,MAAM,gBAAgB,GAAuC;IAC3D,EAAE,EAAE,UAAU,CAAC,EAAE;IACjB,GAAG,EAAE,UAAU,CAAC,GAAG;IACnB,GAAG,EAAE,UAAU,CAAC,MAAM;IACtB,EAAE,EAAE,UAAU,CAAC,MAAM;IACrB,GAAG,EAAE,UAAU,CAAC,UAAU;IAC1B,GAAG,EAAE,UAAU,CAAC,UAAU;IAC1B,IAAI,EAAE,UAAU,CAAC,UAAU;IAC3B,IAAI,EAAE,UAAU,CAAC,UAAU;IAC3B,GAAG,EAAE,UAAU,CAAC,MAAM;IACtB,GAAG,EAAE,UAAU,CAAC,MAAM;IACtB,IAAI,EAAE,UAAU,CAAC,MAAM;IACvB,IAAI,EAAE,UAAU,CAAC,MAAM;IACvB,GAAG,EAAE,UAAU,CAAC,QAAQ;IACxB,GAAG,EAAE,UAAU,CAAC,QAAQ;IACxB,GAAG,EAAE,UAAU,CAAC,cAAc;IAC9B,GAAG,EAAE,UAAU,CAAC,cAAc;IAC9B,GAAG,EAAE,UAAU,CAAC,cAAc;IAC9B,IAAI,EAAE,UAAU,CAAC,MAAM;CACxB,CAAC;AAEF,MAAM,eAAe,GAAsC;IACzD,GAAG,EAAE,UAAU,CAAC,GAAG;IACnB,wBAAwB;IACxB,GAAG,EAAE,UAAU,CAAC,KAAK;IACrB,uBAAuB;CACxB,CAAC"}
@@ -0,0 +1,57 @@
1
+ import { BetweenExpression, BinaryExpression, CaseWhenExpression, CastExpression, ExternalData, LiteralExpression, ScalarFunctionCallExpression, ScalarInExpression, SqlExpression, UnaryExpression } from './expression.js';
2
+ /**
3
+ * Callbacks for each type of SQL expression we support.
4
+ *
5
+ * The {@link visit} function can be used to call the appropriate callback given an expression.
6
+ */
7
+ export interface ExpressionVisitor<Data, R, Arg = undefined> {
8
+ visitExternalData(expr: ExternalData<Data>, arg: Arg): R;
9
+ visitUnaryExpression(expr: UnaryExpression<Data>, arg: Arg): R;
10
+ visitBinaryExpression(expr: BinaryExpression<Data>, arg: Arg): R;
11
+ visitBetweenExpression(expr: BetweenExpression<Data>, arg: Arg): R;
12
+ visitScalarInExpression(expr: ScalarInExpression<Data>, arg: Arg): R;
13
+ visitCaseWhenExpression(expr: CaseWhenExpression<Data>, arg: Arg): R;
14
+ visitCastExpression(expr: CastExpression<Data>, arg: Arg): R;
15
+ visitScalarFunctionCallExpression(expr: ScalarFunctionCallExpression<Data>, arg: Arg): R;
16
+ visitLiteralExpression(expr: LiteralExpression, arg: Arg): R;
17
+ }
18
+ /**
19
+ * Invokes the appropriate visit method for the given expression.
20
+ */
21
+ export declare function visitExpr<Data, R, Arg>(visitor: ExpressionVisitor<Data, R, Arg>, expr: SqlExpression<Data>, arg: Arg): R;
22
+ /**
23
+ * A utility for traversing through a {@link SqlExpression} tree.
24
+ */
25
+ export declare abstract class RecursiveExpressionVisitor<Data, R, Arg = undefined> implements ExpressionVisitor<Data, R, Arg> {
26
+ abstract defaultExpression(expr: SqlExpression<Data>, arg: Arg): R;
27
+ /**
28
+ * Invokes the appropriate visit method for the given expression.
29
+ */
30
+ visit(expr: SqlExpression<Data>, arg: Arg): R;
31
+ visitChildren(expr: SqlExpression<Data>, arg: Arg): void;
32
+ visitExternalData(expr: ExternalData<Data>, arg: Arg): R;
33
+ visitUnaryExpression(expr: UnaryExpression<Data>, arg: Arg): R;
34
+ visitBinaryExpression(expr: BinaryExpression<Data>, arg: Arg): R;
35
+ visitBetweenExpression(expr: BetweenExpression<Data>, arg: Arg): R;
36
+ visitScalarInExpression(expr: ScalarInExpression<Data>, arg: Arg): R;
37
+ visitCaseWhenExpression(expr: CaseWhenExpression<Data>, arg: Arg): R;
38
+ visitCastExpression(expr: CastExpression<Data>, arg: Arg): R;
39
+ visitScalarFunctionCallExpression(expr: ScalarFunctionCallExpression<Data>, arg: Arg): R;
40
+ visitLiteralExpression(expr: LiteralExpression, arg: Arg): R;
41
+ }
42
+ /**
43
+ * A visitor applying a mapping function to external data references in expressions.
44
+ */
45
+ export declare class MapSourceVisitor<DataIn, DataOut> implements ExpressionVisitor<DataIn, SqlExpression<DataOut>> {
46
+ private readonly map;
47
+ constructor(map: (a: DataIn) => DataOut);
48
+ visitExternalData(expr: ExternalData<DataIn>): SqlExpression<DataOut>;
49
+ visitUnaryExpression(expr: UnaryExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
50
+ visitBinaryExpression(expr: BinaryExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
51
+ visitBetweenExpression(expr: BetweenExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
52
+ visitScalarInExpression(expr: ScalarInExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
53
+ visitCaseWhenExpression(expr: CaseWhenExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
54
+ visitCastExpression(expr: CastExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
55
+ visitScalarFunctionCallExpression(expr: ScalarFunctionCallExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
56
+ visitLiteralExpression(expr: LiteralExpression, arg: undefined): SqlExpression<DataOut>;
57
+ }
@@ -0,0 +1,181 @@
1
+ /**
2
+ * Invokes the appropriate visit method for the given expression.
3
+ */
4
+ export function visitExpr(visitor, expr, arg) {
5
+ switch (expr.type) {
6
+ case 'data':
7
+ return visitor.visitExternalData(expr, arg);
8
+ case 'unary':
9
+ return visitor.visitUnaryExpression(expr, arg);
10
+ case 'between':
11
+ return visitor.visitBetweenExpression(expr, arg);
12
+ case 'binary':
13
+ return visitor.visitBinaryExpression(expr, arg);
14
+ case 'scalar_in':
15
+ return visitor.visitScalarInExpression(expr, arg);
16
+ case 'case_when':
17
+ return visitor.visitCaseWhenExpression(expr, arg);
18
+ case 'cast':
19
+ return visitor.visitCastExpression(expr, arg);
20
+ case 'function':
21
+ return visitor.visitScalarFunctionCallExpression(expr, arg);
22
+ default:
23
+ return visitor.visitLiteralExpression(expr, arg);
24
+ }
25
+ }
26
+ /**
27
+ * A utility for traversing through a {@link SqlExpression} tree.
28
+ */
29
+ export class RecursiveExpressionVisitor {
30
+ /**
31
+ * Invokes the appropriate visit method for the given expression.
32
+ */
33
+ visit(expr, arg) {
34
+ return visitExpr(this, expr, arg);
35
+ }
36
+ visitChildren(expr, arg) {
37
+ switch (expr.type) {
38
+ case 'data':
39
+ break; // No subexpression
40
+ case 'unary':
41
+ this.visit(expr.operand, arg);
42
+ break;
43
+ case 'between':
44
+ this.visit(expr.value, arg);
45
+ this.visit(expr.low, arg);
46
+ this.visit(expr.high, arg);
47
+ break;
48
+ case 'binary':
49
+ this.visit(expr.left, arg);
50
+ this.visit(expr.right, arg);
51
+ break;
52
+ case 'scalar_in':
53
+ this.visit(expr.target, arg);
54
+ for (const target of expr.in) {
55
+ this.visit(target, arg);
56
+ }
57
+ break;
58
+ case 'case_when':
59
+ if (expr.operand) {
60
+ this.visit(expr.operand, arg);
61
+ }
62
+ for (const { when, then } of expr.whens) {
63
+ this.visit(when, arg);
64
+ this.visit(then, arg);
65
+ }
66
+ if (expr.else) {
67
+ this.visit(expr.else, arg);
68
+ }
69
+ break;
70
+ case 'cast':
71
+ this.visit(expr.operand, arg);
72
+ break;
73
+ case 'function':
74
+ for (const param of expr.parameters) {
75
+ this.visit(param, arg);
76
+ }
77
+ break;
78
+ default:
79
+ // Literals have no subexpressions.
80
+ }
81
+ }
82
+ visitExternalData(expr, arg) {
83
+ return this.defaultExpression(expr, arg);
84
+ }
85
+ visitUnaryExpression(expr, arg) {
86
+ return this.defaultExpression(expr, arg);
87
+ }
88
+ visitBinaryExpression(expr, arg) {
89
+ return this.defaultExpression(expr, arg);
90
+ }
91
+ visitBetweenExpression(expr, arg) {
92
+ return this.defaultExpression(expr, arg);
93
+ }
94
+ visitScalarInExpression(expr, arg) {
95
+ return this.defaultExpression(expr, arg);
96
+ }
97
+ visitCaseWhenExpression(expr, arg) {
98
+ return this.defaultExpression(expr, arg);
99
+ }
100
+ visitCastExpression(expr, arg) {
101
+ return this.defaultExpression(expr, arg);
102
+ }
103
+ visitScalarFunctionCallExpression(expr, arg) {
104
+ return this.defaultExpression(expr, arg);
105
+ }
106
+ visitLiteralExpression(expr, arg) {
107
+ return this.defaultExpression(expr, arg);
108
+ }
109
+ }
110
+ /**
111
+ * A visitor applying a mapping function to external data references in expressions.
112
+ */
113
+ export class MapSourceVisitor {
114
+ map;
115
+ constructor(map) {
116
+ this.map = map;
117
+ }
118
+ visitExternalData(expr) {
119
+ return { type: 'data', source: this.map(expr.source) };
120
+ }
121
+ visitUnaryExpression(expr, arg) {
122
+ const operand = visitExpr(this, expr.operand, arg);
123
+ if (operand == expr.operand) {
124
+ return expr; // unchanged subtree
125
+ }
126
+ return { type: 'unary', operator: expr.operator, operand };
127
+ }
128
+ visitBinaryExpression(expr, arg) {
129
+ const left = visitExpr(this, expr.left, arg);
130
+ const right = visitExpr(this, expr.right, arg);
131
+ if (left == expr.left && right == expr.right) {
132
+ return expr; // unchanged subtree
133
+ }
134
+ return { type: 'binary', operator: expr.operator, left, right };
135
+ }
136
+ visitBetweenExpression(expr, arg) {
137
+ const value = visitExpr(this, expr.value, arg);
138
+ const low = visitExpr(this, expr.low, arg);
139
+ const high = visitExpr(this, expr.high, arg);
140
+ if (value == expr.value && expr.low == low && expr.high == high) {
141
+ return expr; // unchanged subtree
142
+ }
143
+ return { type: 'between', value, low, high };
144
+ }
145
+ visitScalarInExpression(expr, arg) {
146
+ return {
147
+ type: 'scalar_in',
148
+ target: visitExpr(this, expr.target, arg),
149
+ in: expr.in.map((e) => visitExpr(this, e, arg))
150
+ };
151
+ }
152
+ visitCaseWhenExpression(expr, arg) {
153
+ return {
154
+ type: 'case_when',
155
+ operand: expr.operand && visitExpr(this, expr.operand, arg),
156
+ whens: expr.whens.map(({ when, then }) => ({
157
+ when: visitExpr(this, when, arg),
158
+ then: visitExpr(this, then, arg)
159
+ })),
160
+ else: expr.else && visitExpr(this, expr.else, arg)
161
+ };
162
+ }
163
+ visitCastExpression(expr, arg) {
164
+ const operand = visitExpr(this, expr.operand, arg);
165
+ if (operand == expr.operand) {
166
+ return expr; // unchanged subtree
167
+ }
168
+ return { type: 'cast', operand, cast_as: expr.cast_as };
169
+ }
170
+ visitScalarFunctionCallExpression(expr, arg) {
171
+ return {
172
+ type: 'function',
173
+ function: expr.function,
174
+ parameters: expr.parameters.map((p) => visitExpr(this, p, arg))
175
+ };
176
+ }
177
+ visitLiteralExpression(expr, arg) {
178
+ return expr;
179
+ }
180
+ }
181
+ //# sourceMappingURL=expression_visitor.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"expression_visitor.js","sourceRoot":"","sources":["../../src/sync_plan/expression_visitor.ts"],"names":[],"mappings":"AA8BA;;GAEG;AACH,MAAM,UAAU,SAAS,CACvB,OAAwC,EACxC,IAAyB,EACzB,GAAQ;IAER,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9C,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAClD,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAChD,KAAK,UAAU;YACb,OAAO,OAAO,CAAC,iCAAiC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9D;YACE,OAAO,OAAO,CAAC,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,OAAgB,0BAA0B;IAG9C;;OAEG;IACH,KAAK,CAAC,IAAyB,EAAE,GAAQ;QACvC,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,aAAa,CAAC,IAAyB,EAAE,GAAQ;QAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM;gBACT,MAAM,CAAC,mBAAmB;YAC5B,KAAK,OAAO;gBACV,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBAC9B,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC3B,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5B,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC7B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBAC7B,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBAChC,CAAC;gBAED,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACxC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBACtB,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACxB,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBACd,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC7B,CAAC;gBACD,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBAC9B,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACpC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACzB,CAAC;gBACD,MAAM;YACR,QAAQ;YACR,mCAAmC;QACrC,CAAC;IACH,CAAC;IAED,iBAAiB,CAAC,IAAwB,EAAE,GAAQ;QAClD,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,oBAAoB,CAAC,IAA2B,EAAE,GAAQ;QACxD,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,qBAAqB,CAAC,IAA4B,EAAE,GAAQ;QAC1D,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,sBAAsB,CAAC,IAA6B,EAAE,GAAQ;QAC5D,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,uBAAuB,CAAC,IAA8B,EAAE,GAAQ;QAC9D,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,uBAAuB,CAAC,IAA8B,EAAE,GAAQ;QAC9D,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,mBAAmB,CAAC,IAA0B,EAAE,GAAQ;QACtD,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,iCAAiC,CAAC,IAAwC,EAAE,GAAQ;QAClF,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,sBAAsB,CAAC,IAAuB,EAAE,GAAQ;QACtD,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,gBAAgB;IACE;IAA7B,YAA6B,GAA2B;QAA3B,QAAG,GAAH,GAAG,CAAwB;IAAG,CAAC;IAE5D,iBAAiB,CAAC,IAA0B;QAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;IACzD,CAAC;IAED,oBAAoB,CAAC,IAA6B,EAAE,GAAc;QAChE,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACnD,IAAI,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,IAA8B,CAAC,CAAC,oBAAoB;QAC7D,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC7D,CAAC;IAED,qBAAqB,CAAC,IAA8B,EAAE,GAAc;QAClE,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7C,OAAO,IAA8B,CAAC,CAAC,oBAAoB;QAC7D,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAClE,CAAC;IAED,sBAAsB,CAAC,IAA+B,EAAE,GAAc;QACpE,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;YAChE,OAAO,IAA8B,CAAC,CAAC,oBAAoB;QAC7D,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC/C,CAAC;IAED,uBAAuB,CAAC,IAAgC,EAAE,GAAc;QACtE,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;YACzC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;SAChD,CAAC;IACJ,CAAC;IAED,uBAAuB,CAAC,IAAgC,EAAE,GAAc;QACtE,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC;YAC3D,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBACzC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;gBAChC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;aACjC,CAAC,CAAC;YACH,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,mBAAmB,CAAC,IAA4B,EAAE,GAAc;QAC9D,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACnD,IAAI,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,IAA8B,CAAC,CAAC,oBAAoB;QAC7D,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IAC1D,CAAC;IAED,iCAAiC,CAC/B,IAA0C,EAC1C,GAAc;QAEd,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;SAChE,CAAC;IACJ,CAAC;IAED,sBAAsB,CAAC,IAAuB,EAAE,GAAc;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}