@aster-cloud/aster-lang-ts 0.1.0 → 0.1.2

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 (139) hide show
  1. package/dist/scripts/aster.js +5 -5
  2. package/dist/scripts/aster.js.map +1 -1
  3. package/dist/scripts/emit-classfiles.js +1 -1
  4. package/dist/scripts/emit-classfiles.js.map +1 -1
  5. package/dist/scripts/emit-core.js +1 -1
  6. package/dist/scripts/emit-core.js.map +1 -1
  7. package/dist/scripts/golden.js +5 -5
  8. package/dist/scripts/golden.js.map +1 -1
  9. package/dist/scripts/lsp-build-index.js +1 -1
  10. package/dist/scripts/lsp-build-index.js.map +1 -1
  11. package/dist/scripts/perf-benchmark.js +1 -1
  12. package/dist/scripts/perf-benchmark.js.map +1 -1
  13. package/dist/scripts/perf-diagnostics.js +1 -1
  14. package/dist/scripts/perf-diagnostics.js.map +1 -1
  15. package/dist/scripts/profile-medium-project.js +1 -1
  16. package/dist/scripts/profile-medium-project.js.map +1 -1
  17. package/dist/scripts/repl.js +1 -1
  18. package/dist/scripts/repl.js.map +1 -1
  19. package/dist/scripts/typecheck-cli.js +1 -1
  20. package/dist/scripts/typecheck-cli.js.map +1 -1
  21. package/dist/scripts/update-eff-violation-expected.js +1 -1
  22. package/dist/scripts/update-eff-violation-expected.js.map +1 -1
  23. package/dist/scripts/verify-capabilities.js +1 -1
  24. package/dist/scripts/verify-capabilities.js.map +1 -1
  25. package/dist/src/ai/validator.d.ts.map +1 -1
  26. package/dist/src/ai/validator.js +13 -1
  27. package/dist/src/ai/validator.js.map +1 -1
  28. package/dist/src/browser.d.ts +4 -0
  29. package/dist/src/browser.d.ts.map +1 -1
  30. package/dist/src/browser.js +25 -12
  31. package/dist/src/browser.js.map +1 -1
  32. package/dist/src/cli/policy-converter.js +1 -1
  33. package/dist/src/cli/policy-converter.js.map +1 -1
  34. package/dist/src/config/config-service.d.ts.map +1 -1
  35. package/dist/src/config/config-service.js +16 -7
  36. package/dist/src/config/config-service.js.map +1 -1
  37. package/dist/src/config/semantic.d.ts +0 -25
  38. package/dist/src/config/semantic.d.ts.map +1 -1
  39. package/dist/src/config/semantic.js +0 -99
  40. package/dist/src/config/semantic.js.map +1 -1
  41. package/dist/src/core/index.d.ts +2 -0
  42. package/dist/src/core/index.d.ts.map +1 -1
  43. package/dist/src/core/index.js +1 -0
  44. package/dist/src/core/index.js.map +1 -1
  45. package/dist/src/core/interpreter.d.ts +37 -0
  46. package/dist/src/core/interpreter.d.ts.map +1 -0
  47. package/dist/src/core/interpreter.js +454 -0
  48. package/dist/src/core/interpreter.js.map +1 -0
  49. package/dist/src/diagnostics/diagnostics.d.ts +5 -0
  50. package/dist/src/diagnostics/diagnostics.d.ts.map +1 -1
  51. package/dist/src/diagnostics/diagnostics.js +13 -0
  52. package/dist/src/diagnostics/diagnostics.js.map +1 -1
  53. package/dist/src/formatter.js +1 -1
  54. package/dist/src/formatter.js.map +1 -1
  55. package/dist/src/frontend/keyword-translator.d.ts +7 -0
  56. package/dist/src/frontend/keyword-translator.d.ts.map +1 -1
  57. package/dist/src/frontend/keyword-translator.js +38 -23
  58. package/dist/src/frontend/keyword-translator.js.map +1 -1
  59. package/dist/src/index.d.ts +1 -0
  60. package/dist/src/index.d.ts.map +1 -1
  61. package/dist/src/index.js.map +1 -1
  62. package/dist/src/jvm/emitter.js +3 -3
  63. package/dist/src/jvm/emitter.js.map +1 -1
  64. package/dist/src/lsp/completion.js +1 -1
  65. package/dist/src/lsp/completion.js.map +1 -1
  66. package/dist/src/lsp/navigation/definition.js +1 -1
  67. package/dist/src/lsp/navigation/definition.js.map +1 -1
  68. package/dist/src/lsp/navigation/document-symbol.js +1 -1
  69. package/dist/src/lsp/navigation/document-symbol.js.map +1 -1
  70. package/dist/src/lsp/navigation/hover.js +1 -1
  71. package/dist/src/lsp/navigation/hover.js.map +1 -1
  72. package/dist/src/lsp/server.js +2 -2
  73. package/dist/src/lsp/server.js.map +1 -1
  74. package/dist/src/lsp/tokens.js +2 -2
  75. package/dist/src/lsp/tokens.js.map +1 -1
  76. package/dist/src/lsp/workspace/document-indexer.js +1 -1
  77. package/dist/src/lsp/workspace/document-indexer.js.map +1 -1
  78. package/dist/src/parser/decl-parser.d.ts +5 -9
  79. package/dist/src/parser/decl-parser.d.ts.map +1 -1
  80. package/dist/src/parser/decl-parser.js +84 -56
  81. package/dist/src/parser/decl-parser.js.map +1 -1
  82. package/dist/src/parser/type-parser.d.ts.map +1 -1
  83. package/dist/src/parser/type-parser.js +26 -0
  84. package/dist/src/parser/type-parser.js.map +1 -1
  85. package/dist/src/parser.d.ts +18 -5
  86. package/dist/src/parser.d.ts.map +1 -1
  87. package/dist/src/parser.js +5 -5
  88. package/dist/src/parser.js.map +1 -1
  89. package/dist/test/benchmark.js +8 -8
  90. package/dist/test/benchmark.js.map +1 -1
  91. package/dist/test/compiler/depends-on.test.js +1 -1
  92. package/dist/test/compiler/depends-on.test.js.map +1 -1
  93. package/dist/test/compiler/workflow-emitter-helpers.js +1 -1
  94. package/dist/test/compiler/workflow-emitter-helpers.js.map +1 -1
  95. package/dist/test/e2e/runner/golden-runner.js +3 -3
  96. package/dist/test/e2e/runner/golden-runner.js.map +1 -1
  97. package/dist/test/integration/compliance/compliance-smoke.test.js +1 -1
  98. package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -1
  99. package/dist/test/integration/lsp/lsp-completion.test.js +1 -1
  100. package/dist/test/integration/lsp/lsp-completion.test.js.map +1 -1
  101. package/dist/test/integration/lsp/lsp-diagnostics.test.js +1 -1
  102. package/dist/test/integration/lsp/lsp-diagnostics.test.js.map +1 -1
  103. package/dist/test/integration/lsp/lsp-modules.test.js +1 -1
  104. package/dist/test/integration/lsp/lsp-modules.test.js.map +1 -1
  105. package/dist/test/integration/lsp/lsp-navigation.test.js +1 -1
  106. package/dist/test/integration/lsp/lsp-navigation.test.js.map +1 -1
  107. package/dist/test/integration/pipeline/pipeline.test.js +4 -4
  108. package/dist/test/integration/pipeline/pipeline.test.js.map +1 -1
  109. package/dist/test/property/lsp-props.test.js +2 -2
  110. package/dist/test/property/lsp-props.test.js.map +1 -1
  111. package/dist/test/property/property.test.js +15 -15
  112. package/dist/test/property/property.test.js.map +1 -1
  113. package/dist/test/regression/type-checker-golden.test.js +1 -1
  114. package/dist/test/regression/type-checker-golden.test.js.map +1 -1
  115. package/dist/test/type-checker/cross-module-packages.test.js +1 -1
  116. package/dist/test/type-checker/cross-module-packages.test.js.map +1 -1
  117. package/dist/test/unit/async/async-discipline.test.js +1 -1
  118. package/dist/test/unit/async/async-discipline.test.js.map +1 -1
  119. package/dist/test/unit/async/async-schedule.test.js +1 -1
  120. package/dist/test/unit/async/async-schedule.test.js.map +1 -1
  121. package/dist/test/unit/interpreter/interpreter.test.d.ts +2 -0
  122. package/dist/test/unit/interpreter/interpreter.test.d.ts.map +1 -0
  123. package/dist/test/unit/interpreter/interpreter.test.js +507 -0
  124. package/dist/test/unit/interpreter/interpreter.test.js.map +1 -0
  125. package/dist/test/unit/keyword-translator.test.js +6 -6
  126. package/dist/test/unit/keyword-translator.test.js.map +1 -1
  127. package/dist/test/unit/lowering/lowering.test.js +1 -1
  128. package/dist/test/unit/lowering/lowering.test.js.map +1 -1
  129. package/dist/test/unit/parser/parser.test.js +39 -37
  130. package/dist/test/unit/parser/parser.test.js.map +1 -1
  131. package/dist/test/unit/typecheck/async-discipline-extended.test.js +1 -1
  132. package/dist/test/unit/typecheck/async-discipline-extended.test.js.map +1 -1
  133. package/dist/test/unit/typecheck/effects-and-capabilities.test.js +4 -4
  134. package/dist/test/unit/typecheck/effects-and-capabilities.test.js.map +1 -1
  135. package/dist/test/unit/typecheck/type-inference.test.js +1 -1
  136. package/dist/test/unit/typecheck/type-inference.test.js.map +1 -1
  137. package/dist/test/unit/typecheck/typecheck-advanced.test.js +1 -1
  138. package/dist/test/unit/typecheck/typecheck-advanced.test.js.map +1 -1
  139. package/package.json +6 -3
@@ -0,0 +1,507 @@
1
+ import { describe, it } from 'node:test';
2
+ import assert from 'node:assert/strict';
3
+ import { evaluate } from '../../../src/core/interpreter.js';
4
+ // ============================================================================
5
+ // 辅助函数:构造 Core IR 节点
6
+ // ============================================================================
7
+ function mkModule(decls) {
8
+ return { kind: 'Module', name: 'test', decls };
9
+ }
10
+ function mkFunc(name, params, body) {
11
+ return {
12
+ kind: 'Func',
13
+ name,
14
+ typeParams: [],
15
+ params,
16
+ ret: { kind: 'TypeName', name: 'Int' },
17
+ effects: [],
18
+ effectCaps: [],
19
+ effectCapsExplicit: false,
20
+ body: { kind: 'Block', statements: body },
21
+ };
22
+ }
23
+ function mkParam(name) {
24
+ return { name, type: { kind: 'TypeName', name: 'Int' } };
25
+ }
26
+ function mkInt(value) {
27
+ return { kind: 'Int', value };
28
+ }
29
+ function mkDouble(value) {
30
+ return { kind: 'Double', value };
31
+ }
32
+ function mkBool(value) {
33
+ return { kind: 'Bool', value };
34
+ }
35
+ function mkStr(value) {
36
+ return { kind: 'String', value };
37
+ }
38
+ function mkName(name) {
39
+ return { kind: 'Name', name };
40
+ }
41
+ function mkCall(op, args) {
42
+ return { kind: 'Call', target: mkName(op), args };
43
+ }
44
+ function mkReturn(expr) {
45
+ return { kind: 'Return', expr };
46
+ }
47
+ function mkLet(name, expr) {
48
+ return { kind: 'Let', name, expr };
49
+ }
50
+ function mkIf(cond, thenStmts, elseStmts) {
51
+ return {
52
+ kind: 'If',
53
+ cond,
54
+ thenBlock: { kind: 'Block', statements: thenStmts },
55
+ elseBlock: elseStmts ? { kind: 'Block', statements: elseStmts } : null,
56
+ };
57
+ }
58
+ function mkConstruct(typeName, fields) {
59
+ return { kind: 'Construct', typeName, fields };
60
+ }
61
+ // ============================================================================
62
+ // 测试
63
+ // ============================================================================
64
+ describe('Core IR 解释器', () => {
65
+ describe('字面量求值', () => {
66
+ it('返回整数字面量', () => {
67
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkInt(42))])]);
68
+ const result = evaluate(mod, 'f', {});
69
+ assert.ok(result.success);
70
+ assert.equal(result.value, 42);
71
+ });
72
+ it('返回浮点数字面量', () => {
73
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkDouble(3.14))])]);
74
+ const result = evaluate(mod, 'f', {});
75
+ assert.ok(result.success);
76
+ assert.equal(result.value, 3.14);
77
+ });
78
+ it('返回布尔字面量', () => {
79
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkBool(true))])]);
80
+ const result = evaluate(mod, 'f', {});
81
+ assert.ok(result.success);
82
+ assert.equal(result.value, true);
83
+ });
84
+ it('返回字符串字面量', () => {
85
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkStr('hello'))])]);
86
+ const result = evaluate(mod, 'f', {});
87
+ assert.ok(result.success);
88
+ assert.equal(result.value, 'hello');
89
+ });
90
+ it('返回 null', () => {
91
+ const mod = mkModule([mkFunc('f', [], [mkReturn({ kind: 'Null' })])]);
92
+ const result = evaluate(mod, 'f', {});
93
+ assert.ok(result.success);
94
+ assert.equal(result.value, null);
95
+ });
96
+ });
97
+ describe('算术运算', () => {
98
+ it('加法', () => {
99
+ const mod = mkModule([
100
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
101
+ mkReturn(mkCall('+', [mkName('a'), mkName('b')])),
102
+ ]),
103
+ ]);
104
+ const result = evaluate(mod, 'f', { a: 10, b: 20 });
105
+ assert.ok(result.success);
106
+ assert.equal(result.value, 30);
107
+ });
108
+ it('减法', () => {
109
+ const mod = mkModule([
110
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
111
+ mkReturn(mkCall('-', [mkName('a'), mkName('b')])),
112
+ ]),
113
+ ]);
114
+ const result = evaluate(mod, 'f', { a: 50, b: 20 });
115
+ assert.ok(result.success);
116
+ assert.equal(result.value, 30);
117
+ });
118
+ it('乘法', () => {
119
+ const mod = mkModule([
120
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
121
+ mkReturn(mkCall('*', [mkName('a'), mkName('b')])),
122
+ ]),
123
+ ]);
124
+ const result = evaluate(mod, 'f', { a: 6, b: 7 });
125
+ assert.ok(result.success);
126
+ assert.equal(result.value, 42);
127
+ });
128
+ it('除法', () => {
129
+ const mod = mkModule([
130
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
131
+ mkReturn(mkCall('/', [mkName('a'), mkName('b')])),
132
+ ]),
133
+ ]);
134
+ const result = evaluate(mod, 'f', { a: 100, b: 4 });
135
+ assert.ok(result.success);
136
+ assert.equal(result.value, 25);
137
+ });
138
+ it('除以零返回错误', () => {
139
+ const mod = mkModule([
140
+ mkFunc('f', [mkParam('a')], [
141
+ mkReturn(mkCall('/', [mkName('a'), mkInt(0)])),
142
+ ]),
143
+ ]);
144
+ const result = evaluate(mod, 'f', { a: 10 });
145
+ assert.ok(!result.success);
146
+ assert.ok(result.error?.includes('Division by zero'));
147
+ });
148
+ it('字符串拼接', () => {
149
+ const mod = mkModule([
150
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
151
+ mkReturn(mkCall('+', [mkName('a'), mkName('b')])),
152
+ ]),
153
+ ]);
154
+ const result = evaluate(mod, 'f', { a: 'Hello, ', b: 'World' });
155
+ assert.ok(result.success);
156
+ assert.equal(result.value, 'Hello, World');
157
+ });
158
+ });
159
+ describe('比较运算', () => {
160
+ it('大于', () => {
161
+ const mod = mkModule([
162
+ mkFunc('f', [mkParam('a')], [
163
+ mkReturn(mkCall('>', [mkName('a'), mkInt(100)])),
164
+ ]),
165
+ ]);
166
+ assert.equal(evaluate(mod, 'f', { a: 150 }).value, true);
167
+ assert.equal(evaluate(mod, 'f', { a: 50 }).value, false);
168
+ });
169
+ it('小于', () => {
170
+ const mod = mkModule([
171
+ mkFunc('f', [mkParam('a')], [
172
+ mkReturn(mkCall('<', [mkName('a'), mkInt(100)])),
173
+ ]),
174
+ ]);
175
+ assert.equal(evaluate(mod, 'f', { a: 50 }).value, true);
176
+ assert.equal(evaluate(mod, 'f', { a: 150 }).value, false);
177
+ });
178
+ it('大于等于', () => {
179
+ const mod = mkModule([
180
+ mkFunc('f', [mkParam('a')], [
181
+ mkReturn(mkCall('>=', [mkName('a'), mkInt(100)])),
182
+ ]),
183
+ ]);
184
+ assert.equal(evaluate(mod, 'f', { a: 100 }).value, true);
185
+ assert.equal(evaluate(mod, 'f', { a: 99 }).value, false);
186
+ });
187
+ it('小于等于', () => {
188
+ const mod = mkModule([
189
+ mkFunc('f', [mkParam('a')], [
190
+ mkReturn(mkCall('<=', [mkName('a'), mkInt(100)])),
191
+ ]),
192
+ ]);
193
+ assert.equal(evaluate(mod, 'f', { a: 100 }).value, true);
194
+ assert.equal(evaluate(mod, 'f', { a: 101 }).value, false);
195
+ });
196
+ it('等于', () => {
197
+ const mod = mkModule([
198
+ mkFunc('f', [mkParam('a')], [
199
+ mkReturn(mkCall('==', [mkName('a'), mkStr('gold')])),
200
+ ]),
201
+ ]);
202
+ assert.equal(evaluate(mod, 'f', { a: 'gold' }).value, true);
203
+ assert.equal(evaluate(mod, 'f', { a: 'silver' }).value, false);
204
+ });
205
+ });
206
+ describe('逻辑运算', () => {
207
+ it('and 短路求值', () => {
208
+ const mod = mkModule([
209
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
210
+ mkReturn(mkCall('and', [
211
+ mkCall('>', [mkName('a'), mkInt(10)]),
212
+ mkCall('>', [mkName('b'), mkInt(20)]),
213
+ ])),
214
+ ]),
215
+ ]);
216
+ assert.equal(evaluate(mod, 'f', { a: 15, b: 25 }).value, true);
217
+ assert.equal(evaluate(mod, 'f', { a: 5, b: 25 }).value, false);
218
+ assert.equal(evaluate(mod, 'f', { a: 15, b: 15 }).value, false);
219
+ });
220
+ it('or 短路求值', () => {
221
+ const mod = mkModule([
222
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
223
+ mkReturn(mkCall('or', [
224
+ mkCall('>', [mkName('a'), mkInt(100)]),
225
+ mkCall('>', [mkName('b'), mkInt(100)]),
226
+ ])),
227
+ ]),
228
+ ]);
229
+ assert.equal(evaluate(mod, 'f', { a: 150, b: 0 }).value, true);
230
+ assert.equal(evaluate(mod, 'f', { a: 0, b: 150 }).value, true);
231
+ assert.equal(evaluate(mod, 'f', { a: 0, b: 0 }).value, false);
232
+ });
233
+ it('not', () => {
234
+ const mod = mkModule([
235
+ mkFunc('f', [mkParam('a')], [
236
+ mkReturn(mkCall('not', [mkName('a')])),
237
+ ]),
238
+ ]);
239
+ assert.equal(evaluate(mod, 'f', { a: true }).value, false);
240
+ assert.equal(evaluate(mod, 'f', { a: false }).value, true);
241
+ });
242
+ });
243
+ describe('条件分支', () => {
244
+ it('If-then 分支(true)', () => {
245
+ const mod = mkModule([
246
+ mkFunc('f', [mkParam('amount')], [
247
+ mkIf(mkCall('>', [mkName('amount'), mkInt(100)]), [mkReturn(mkCall('*', [mkName('amount'), mkDouble(0.9)]))], null),
248
+ mkReturn(mkName('amount')),
249
+ ]),
250
+ ]);
251
+ const result = evaluate(mod, 'f', { amount: 200 });
252
+ assert.ok(result.success);
253
+ assert.equal(result.value, 180);
254
+ });
255
+ it('If-then 分支(false → 默认 Return)', () => {
256
+ const mod = mkModule([
257
+ mkFunc('f', [mkParam('amount')], [
258
+ mkIf(mkCall('>', [mkName('amount'), mkInt(100)]), [mkReturn(mkCall('*', [mkName('amount'), mkDouble(0.9)]))], null),
259
+ mkReturn(mkName('amount')),
260
+ ]),
261
+ ]);
262
+ const result = evaluate(mod, 'f', { amount: 50 });
263
+ assert.ok(result.success);
264
+ assert.equal(result.value, 50);
265
+ });
266
+ it('If-else 分支', () => {
267
+ const mod = mkModule([
268
+ mkFunc('f', [mkParam('x')], [
269
+ mkIf(mkCall('>', [mkName('x'), mkInt(0)]), [mkReturn(mkStr('positive'))], [mkReturn(mkStr('non-positive'))]),
270
+ ]),
271
+ ]);
272
+ assert.equal(evaluate(mod, 'f', { x: 5 }).value, 'positive');
273
+ assert.equal(evaluate(mod, 'f', { x: -1 }).value, 'non-positive');
274
+ });
275
+ });
276
+ describe('Let 绑定', () => {
277
+ it('绑定中间变量并使用', () => {
278
+ const mod = mkModule([
279
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
280
+ mkLet('sum', mkCall('+', [mkName('a'), mkName('b')])),
281
+ mkReturn(mkCall('*', [mkName('sum'), mkInt(2)])),
282
+ ]),
283
+ ]);
284
+ const result = evaluate(mod, 'f', { a: 3, b: 4 });
285
+ assert.ok(result.success);
286
+ assert.equal(result.value, 14);
287
+ });
288
+ });
289
+ describe('字段访问(dot notation)', () => {
290
+ it('访问 struct 字段', () => {
291
+ const mod = mkModule([
292
+ mkFunc('f', [mkParam('applicant')], [
293
+ mkReturn(mkName('applicant.creditScore')),
294
+ ]),
295
+ ]);
296
+ const result = evaluate(mod, 'f', {
297
+ applicant: { creditScore: 750, income: 50000, age: 30 },
298
+ });
299
+ assert.ok(result.success);
300
+ assert.equal(result.value, 750);
301
+ });
302
+ it('struct 字段用于比较', () => {
303
+ const mod = mkModule([
304
+ mkFunc('f', [mkParam('applicant')], [
305
+ mkIf(mkCall('<', [mkName('applicant.creditScore'), mkInt(600)]), [mkReturn(mkBool(false))], null),
306
+ mkReturn(mkBool(true)),
307
+ ]),
308
+ ]);
309
+ assert.equal(evaluate(mod, 'f', { applicant: { creditScore: 500 } }).value, false);
310
+ assert.equal(evaluate(mod, 'f', { applicant: { creditScore: 700 } }).value, true);
311
+ });
312
+ });
313
+ describe('Construct 表达式', () => {
314
+ it('构造 struct 并返回', () => {
315
+ const mod = mkModule([
316
+ mkFunc('f', [mkParam('value')], [
317
+ mkReturn(mkConstruct('Quote', [
318
+ { name: 'premium', expr: mkCall('*', [mkName('value'), mkDouble(0.05)]) },
319
+ { name: 'deductible', expr: mkInt(1000) },
320
+ ])),
321
+ ]),
322
+ ]);
323
+ const result = evaluate(mod, 'f', { value: 20000 });
324
+ assert.ok(result.success);
325
+ const obj = result.value;
326
+ assert.equal(obj.__type, 'Quote');
327
+ assert.equal(obj.premium, 1000);
328
+ assert.equal(obj.deductible, 1000);
329
+ });
330
+ });
331
+ describe('函数调用(递归)', () => {
332
+ it('调用模块内另一个函数', () => {
333
+ const mod = mkModule([
334
+ mkFunc('helper', [mkParam('x')], [
335
+ mkReturn(mkCall('*', [mkName('x'), mkInt(2)])),
336
+ ]),
337
+ mkFunc('main', [mkParam('a')], [
338
+ mkReturn(mkCall('helper', [mkName('a')])),
339
+ ]),
340
+ ]);
341
+ const result = evaluate(mod, 'main', { a: 21 });
342
+ assert.ok(result.success);
343
+ assert.equal(result.value, 42);
344
+ });
345
+ });
346
+ describe('错误处理', () => {
347
+ it('函数不存在', () => {
348
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkInt(1))])]);
349
+ const result = evaluate(mod, 'nonexistent', {});
350
+ assert.ok(!result.success);
351
+ assert.ok(result.error?.includes('not found'));
352
+ });
353
+ it('缺少参数', () => {
354
+ const mod = mkModule([mkFunc('f', [mkParam('x')], [mkReturn(mkName('x'))])]);
355
+ const result = evaluate(mod, 'f', {});
356
+ assert.ok(!result.success);
357
+ assert.ok(result.error?.includes("Missing required parameter 'x'"));
358
+ });
359
+ it('未定义变量', () => {
360
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkName('unknown'))])]);
361
+ const result = evaluate(mod, 'f', {});
362
+ assert.ok(!result.success);
363
+ assert.ok(result.error?.includes("Undefined variable 'unknown'"));
364
+ });
365
+ it('类型不匹配', () => {
366
+ const mod = mkModule([
367
+ mkFunc('f', [mkParam('a')], [
368
+ mkReturn(mkCall('+', [mkName('a'), mkInt(1)])),
369
+ ]),
370
+ ]);
371
+ const result = evaluate(mod, 'f', { a: true });
372
+ assert.ok(!result.success);
373
+ assert.ok(result.error?.includes('Type mismatch'));
374
+ });
375
+ it('返回执行耗时', () => {
376
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkInt(1))])]);
377
+ const result = evaluate(mod, 'f', {});
378
+ assert.ok(result.success);
379
+ assert.ok(typeof result.executionTimeMs === 'number');
380
+ assert.ok(result.executionTimeMs >= 0);
381
+ });
382
+ });
383
+ describe('端到端:Eligibility Check 场景', () => {
384
+ // 模拟编译后的 Core IR:
385
+ // Rule checkEligibility given applicant as Applicant, produce Bool:
386
+ // If applicant.creditScore < 600 Return false.
387
+ // If applicant.income < 30000 Return false.
388
+ // If applicant.age < 18 Return false.
389
+ // Return true.
390
+ it('合格申请人通过', () => {
391
+ const mod = mkModule([
392
+ mkFunc('checkEligibility', [mkParam('applicant')], [
393
+ mkIf(mkCall('<', [mkName('applicant.creditScore'), mkInt(600)]), [mkReturn(mkBool(false))], null),
394
+ mkIf(mkCall('<', [mkName('applicant.income'), mkInt(30000)]), [mkReturn(mkBool(false))], null),
395
+ mkIf(mkCall('<', [mkName('applicant.age'), mkInt(18)]), [mkReturn(mkBool(false))], null),
396
+ mkReturn(mkBool(true)),
397
+ ]),
398
+ ]);
399
+ const goodApplicant = {
400
+ applicant: { creditScore: 750, income: 50000, age: 30 },
401
+ };
402
+ const result = evaluate(mod, 'checkEligibility', goodApplicant);
403
+ assert.ok(result.success);
404
+ assert.equal(result.value, true);
405
+ });
406
+ it('低信用分被拒绝', () => {
407
+ const mod = mkModule([
408
+ mkFunc('checkEligibility', [mkParam('applicant')], [
409
+ mkIf(mkCall('<', [mkName('applicant.creditScore'), mkInt(600)]), [mkReturn(mkBool(false))], null),
410
+ mkIf(mkCall('<', [mkName('applicant.income'), mkInt(30000)]), [mkReturn(mkBool(false))], null),
411
+ mkIf(mkCall('<', [mkName('applicant.age'), mkInt(18)]), [mkReturn(mkBool(false))], null),
412
+ mkReturn(mkBool(true)),
413
+ ]),
414
+ ]);
415
+ const badApplicant = {
416
+ applicant: { creditScore: 400, income: 50000, age: 30 },
417
+ };
418
+ const result = evaluate(mod, 'checkEligibility', badApplicant);
419
+ assert.ok(result.success);
420
+ assert.equal(result.value, false);
421
+ });
422
+ });
423
+ describe('端到端:Pricing + Construct 场景', () => {
424
+ // 模拟:
425
+ // Rule calculateQuote given vehicle, produce Quote:
426
+ // If vehicle.year < 2015
427
+ // Return Quote with premium = vehicle.value * 5 / 100, deductible = 1000.
428
+ // Return Quote with premium = vehicle.value * 3 / 100, deductible = 500.
429
+ it('旧车辆返回高保费', () => {
430
+ const mod = mkModule([
431
+ mkFunc('calculateQuote', [mkParam('vehicle')], [
432
+ mkIf(mkCall('<', [mkName('vehicle.year'), mkInt(2015)]), [
433
+ mkReturn(mkConstruct('Quote', [
434
+ { name: 'premium', expr: mkCall('/', [
435
+ mkCall('*', [mkName('vehicle.value'), mkInt(5)]),
436
+ mkInt(100),
437
+ ]) },
438
+ { name: 'deductible', expr: mkInt(1000) },
439
+ ])),
440
+ ], null),
441
+ mkReturn(mkConstruct('Quote', [
442
+ { name: 'premium', expr: mkCall('/', [
443
+ mkCall('*', [mkName('vehicle.value'), mkInt(3)]),
444
+ mkInt(100),
445
+ ]) },
446
+ { name: 'deductible', expr: mkInt(500) },
447
+ ])),
448
+ ]),
449
+ ]);
450
+ const result = evaluate(mod, 'calculateQuote', {
451
+ vehicle: { make: 'Toyota', year: 2010, value: 20000 },
452
+ });
453
+ assert.ok(result.success);
454
+ const quote = result.value;
455
+ assert.equal(quote.premium, 1000);
456
+ assert.equal(quote.deductible, 1000);
457
+ });
458
+ it('新车辆返回低保费', () => {
459
+ const mod = mkModule([
460
+ mkFunc('calculateQuote', [mkParam('vehicle')], [
461
+ mkIf(mkCall('<', [mkName('vehicle.year'), mkInt(2015)]), [
462
+ mkReturn(mkConstruct('Quote', [
463
+ { name: 'premium', expr: mkCall('/', [
464
+ mkCall('*', [mkName('vehicle.value'), mkInt(5)]),
465
+ mkInt(100),
466
+ ]) },
467
+ { name: 'deductible', expr: mkInt(1000) },
468
+ ])),
469
+ ], null),
470
+ mkReturn(mkConstruct('Quote', [
471
+ { name: 'premium', expr: mkCall('/', [
472
+ mkCall('*', [mkName('vehicle.value'), mkInt(3)]),
473
+ mkInt(100),
474
+ ]) },
475
+ { name: 'deductible', expr: mkInt(500) },
476
+ ])),
477
+ ]),
478
+ ]);
479
+ const result = evaluate(mod, 'calculateQuote', {
480
+ vehicle: { make: 'Tesla', year: 2023, value: 40000 },
481
+ });
482
+ assert.ok(result.success);
483
+ const quote = result.value;
484
+ assert.equal(quote.premium, 1200);
485
+ assert.equal(quote.deductible, 500);
486
+ });
487
+ });
488
+ describe('Ok/Err/Some/None 包装', () => {
489
+ it('Ok 包装', () => {
490
+ const mod = mkModule([
491
+ mkFunc('f', [], [mkReturn({ kind: 'Ok', expr: mkInt(42) })]),
492
+ ]);
493
+ const result = evaluate(mod, 'f', {});
494
+ assert.ok(result.success);
495
+ assert.deepEqual(result.value, { __type: 'Ok', value: 42 });
496
+ });
497
+ it('None 返回 null', () => {
498
+ const mod = mkModule([
499
+ mkFunc('f', [], [mkReturn({ kind: 'None' })]),
500
+ ]);
501
+ const result = evaluate(mod, 'f', {});
502
+ assert.ok(result.success);
503
+ assert.equal(result.value, null);
504
+ });
505
+ });
506
+ });
507
+ //# sourceMappingURL=interpreter.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"interpreter.test.js","sourceRoot":"","sources":["../../../../test/unit/interpreter/interpreter.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAG5D,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E,SAAS,QAAQ,CAAC,KAAyB;IACzC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,MAAM,CACb,IAAY,EACZ,MAAwB,EACxB,IAAsB;IAEtB,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAE,EAAE;QACd,MAAM;QACN,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE;QACtC,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,KAAK;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,KAAK,CAAC,KAAa;IAC1B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,KAAK,CAAC,KAAa;IAC1B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,MAAM,CAAC,EAAU,EAAE,IAAuB;IACjD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,QAAQ,CAAC,IAAqB;IACrC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,IAAqB;IAChD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,IAAI,CACX,IAAqB,EACrB,SAA2B,EAC3B,SAAkC;IAElC,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI;QACJ,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE;QACnD,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,QAAgB,EAChB,MAAiD;IAEjD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACjD,CAAC;AAED,+EAA+E;AAC/E,KAAK;AACL,+EAA+E;AAE/E,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;YAClB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;YAClB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBACxC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAClD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBACxC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAClD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBACxC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAClD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAClD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBACxC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAClD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC/C,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7C,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;YACf,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBACxC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAClD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;YAChE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBACjD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBACjD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE;YACd,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAClD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE;YACd,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAClD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;iBACrD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC5D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;YAClB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBACxC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE;wBACrB,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;wBACrC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;qBACtC,CAAC,CAAC;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBACxC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE;wBACpB,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;wBACtC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;qBACvC,CAAC,CAAC;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE;YACb,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBACvC,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC3D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE;oBAC/B,IAAI,CACF,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAC3C,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAC1D,IAAI,CACL;oBACD,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;iBAC3B,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE;oBAC/B,IAAI,CACF,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAC3C,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAC1D,IAAI,CACL;oBACD,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;iBAC3B,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YAClD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,IAAI,CACF,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EACpC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAC7B,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAClC;iBACF,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAC7D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;YACnB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBACxC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACrD,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBACjD,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAClD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE;oBAClC,QAAQ,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;iBAC1C,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE;gBAChC,SAAS,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE;aACxD,CAAC,CAAC;YACH,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE;oBAClC,IAAI,CACF,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAC1D,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EACzB,IAAI,CACL;oBACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;iBACvB,CAAC;aACH,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CACV,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,EAC7D,KAAK,CACN,CAAC;YACF,MAAM,CAAC,KAAK,CACV,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,EAC7D,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE;oBAC9B,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE;wBAC5B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;wBACzE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;qBAC1C,CAAC,CAAC;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAY,CAAC;YAChC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAChC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC/B,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC/C,CAAC;gBACF,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC7B,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAC1C,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;YACf,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE;YACd,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,gCAAgC,CAAC,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;YACf,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,8BAA8B,CAAC,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;YACf,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1B,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC/C,CAAC;aACH,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/C,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE;YAChB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,EAAE,CAAC,OAAO,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,CAAC;YACtD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,kBAAkB;QAClB,sEAAsE;QACtE,mDAAmD;QACnD,gDAAgD;QAChD,0CAA0C;QAC1C,mBAAmB;QACnB,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,kBAAkB,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE;oBACjD,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAC7D,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAClC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAC1D,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAClC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EACpD,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAClC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;iBACvB,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,aAAa,GAAG;gBACpB,SAAS,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE;aACxD,CAAC;YACF,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,kBAAkB,EAAE,aAAa,CAAC,CAAC;YAChE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,kBAAkB,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE;oBACjD,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAC7D,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAClC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAC1D,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAClC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EACpD,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAClC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;iBACvB,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,YAAY,GAAG;gBACnB,SAAS,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE;aACxD,CAAC;YACF,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC;YAC/D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,MAAM;QACN,sDAAsD;QACtD,6BAA6B;QAC7B,gFAAgF;QAChF,6EAA6E;QAC7E,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;YAClB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,gBAAgB,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE;oBAC7C,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;wBACvD,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE;4BAC5B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE;oCACnC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oCAChD,KAAK,CAAC,GAAG,CAAC;iCACX,CAAC,EAAE;4BACJ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;yBAC1C,CAAC,CAAC;qBACJ,EAAE,IAAI,CAAC;oBACR,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE;wBAC5B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE;gCACnC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gCAChD,KAAK,CAAC,GAAG,CAAC;6BACX,CAAC,EAAE;wBACJ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE;qBACzC,CAAC,CAAC;iBACJ,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE;gBAC7C,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE;aACtD,CAAC,CAAC;YACH,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAY,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;YAClB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,gBAAgB,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE;oBAC7C,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;wBACvD,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE;4BAC5B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE;oCACnC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oCAChD,KAAK,CAAC,GAAG,CAAC;iCACX,CAAC,EAAE;4BACJ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;yBAC1C,CAAC,CAAC;qBACJ,EAAE,IAAI,CAAC;oBACR,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE;wBAC5B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE;gCACnC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gCAChD,KAAK,CAAC,GAAG,CAAC;6BACX,CAAC,EAAE;wBACJ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE;qBACzC,CAAC,CAAC;iBACJ,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE;gBAC7C,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE;aACrD,CAAC,CAAC;YACH,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAY,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;YACf,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;aAC7D,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,GAAG,GAAG,QAAQ,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;aAC9C,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -93,7 +93,7 @@ describe('关键词翻译器', () => {
93
93
  };
94
94
  const translated = translateToken(token, index);
95
95
  assert.strictEqual(translated.value, 'If');
96
- assert.strictEqual(translated.kind, TokenKind.IDENT);
96
+ assert.strictEqual(translated.kind, TokenKind.TYPE_IDENT);
97
97
  });
98
98
  it('应保持非关键词 token 不变', () => {
99
99
  const index = buildKeywordTranslationIndex(ZH_CN, EN_US);
@@ -190,7 +190,7 @@ describe('关键词翻译器', () => {
190
190
  assert.ok(hasProduce, '应有翻译后的 "produce" 关键词');
191
191
  assert.ok(hasReturn, '应有翻译后的 "Return" 关键词');
192
192
  // 步骤 4: 解析(使用翻译后的 token)
193
- const ast = parse(translatedTokens);
193
+ const ast = parse(translatedTokens).ast;
194
194
  // 验证 AST 结构
195
195
  assert.ok(ast, '应生成 AST');
196
196
  assert.ok(ast.decls.length > 0, '应有声明');
@@ -212,7 +212,7 @@ describe('关键词翻译器', () => {
212
212
  assert.ok(hasWith, '应有翻译后的 "with" 关键词');
213
213
  assert.ok(hasInt, '应有翻译后的 "Int" 类型');
214
214
  // 解析
215
- const ast = parse(translatedTokens);
215
+ const ast = parse(translatedTokens).ast;
216
216
  assert.ok(ast, '应生成 AST');
217
217
  // 验证类型定义
218
218
  const dataDef = ast.decls.find(d => d.kind === 'Data');
@@ -230,13 +230,13 @@ describe('关键词翻译器', () => {
230
230
  const translator = createKeywordTranslator(ZH_CN);
231
231
  const translatedTokens = translator.translateTokens(tokens);
232
232
  // 验证关键词翻译(使用大小写不敏感比较,值来自 Java 源 en-US lexicon)
233
- const identTokens = translatedTokens.filter(t => t.kind === TokenKind.IDENT);
233
+ const identTokens = translatedTokens.filter(t => t.kind === TokenKind.IDENT || t.kind === TokenKind.TYPE_IDENT);
234
234
  const hasIf = identTokens.some(t => t.value?.toLowerCase() === 'if');
235
235
  const hasReturn = identTokens.some(t => t.value?.toLowerCase() === 'return');
236
236
  assert.ok(hasIf, '应有翻译后的 "If" 关键词');
237
237
  assert.ok(hasReturn, '应有翻译后的 "Return" 关键词');
238
238
  // 解析
239
- const ast = parse(translatedTokens);
239
+ const ast = parse(translatedTokens).ast;
240
240
  assert.ok(ast, '应生成 AST');
241
241
  });
242
242
  it('英文 CNL 不受影响', () => {
@@ -248,7 +248,7 @@ describe('关键词翻译器', () => {
248
248
  // 英文不需要翻译
249
249
  assert.strictEqual(needsKeywordTranslation(EN_US), false);
250
250
  // 直接解析
251
- const ast = parse(tokens);
251
+ const ast = parse(tokens).ast;
252
252
  assert.ok(ast, '应生成 AST');
253
253
  assert.ok(ast.decls.length > 0, '应有声明');
254
254
  });