@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.
- package/dist/scripts/aster.js +5 -5
- package/dist/scripts/aster.js.map +1 -1
- package/dist/scripts/emit-classfiles.js +1 -1
- package/dist/scripts/emit-classfiles.js.map +1 -1
- package/dist/scripts/emit-core.js +1 -1
- package/dist/scripts/emit-core.js.map +1 -1
- package/dist/scripts/golden.js +5 -5
- package/dist/scripts/golden.js.map +1 -1
- package/dist/scripts/lsp-build-index.js +1 -1
- package/dist/scripts/lsp-build-index.js.map +1 -1
- package/dist/scripts/perf-benchmark.js +1 -1
- package/dist/scripts/perf-benchmark.js.map +1 -1
- package/dist/scripts/perf-diagnostics.js +1 -1
- package/dist/scripts/perf-diagnostics.js.map +1 -1
- package/dist/scripts/profile-medium-project.js +1 -1
- package/dist/scripts/profile-medium-project.js.map +1 -1
- package/dist/scripts/repl.js +1 -1
- package/dist/scripts/repl.js.map +1 -1
- package/dist/scripts/typecheck-cli.js +1 -1
- package/dist/scripts/typecheck-cli.js.map +1 -1
- package/dist/scripts/update-eff-violation-expected.js +1 -1
- package/dist/scripts/update-eff-violation-expected.js.map +1 -1
- package/dist/scripts/verify-capabilities.js +1 -1
- package/dist/scripts/verify-capabilities.js.map +1 -1
- package/dist/src/ai/validator.d.ts.map +1 -1
- package/dist/src/ai/validator.js +13 -1
- package/dist/src/ai/validator.js.map +1 -1
- package/dist/src/browser.d.ts +4 -0
- package/dist/src/browser.d.ts.map +1 -1
- package/dist/src/browser.js +25 -12
- package/dist/src/browser.js.map +1 -1
- package/dist/src/cli/policy-converter.js +1 -1
- package/dist/src/cli/policy-converter.js.map +1 -1
- package/dist/src/config/config-service.d.ts.map +1 -1
- package/dist/src/config/config-service.js +16 -7
- package/dist/src/config/config-service.js.map +1 -1
- package/dist/src/config/semantic.d.ts +0 -25
- package/dist/src/config/semantic.d.ts.map +1 -1
- package/dist/src/config/semantic.js +0 -99
- package/dist/src/config/semantic.js.map +1 -1
- package/dist/src/core/index.d.ts +2 -0
- package/dist/src/core/index.d.ts.map +1 -1
- package/dist/src/core/index.js +1 -0
- package/dist/src/core/index.js.map +1 -1
- package/dist/src/core/interpreter.d.ts +37 -0
- package/dist/src/core/interpreter.d.ts.map +1 -0
- package/dist/src/core/interpreter.js +454 -0
- package/dist/src/core/interpreter.js.map +1 -0
- package/dist/src/diagnostics/diagnostics.d.ts +5 -0
- package/dist/src/diagnostics/diagnostics.d.ts.map +1 -1
- package/dist/src/diagnostics/diagnostics.js +13 -0
- package/dist/src/diagnostics/diagnostics.js.map +1 -1
- package/dist/src/formatter.js +1 -1
- package/dist/src/formatter.js.map +1 -1
- package/dist/src/frontend/keyword-translator.d.ts +7 -0
- package/dist/src/frontend/keyword-translator.d.ts.map +1 -1
- package/dist/src/frontend/keyword-translator.js +38 -23
- package/dist/src/frontend/keyword-translator.js.map +1 -1
- package/dist/src/index.d.ts +1 -0
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js.map +1 -1
- package/dist/src/jvm/emitter.js +3 -3
- package/dist/src/jvm/emitter.js.map +1 -1
- package/dist/src/lsp/completion.js +1 -1
- package/dist/src/lsp/completion.js.map +1 -1
- package/dist/src/lsp/navigation/definition.js +1 -1
- package/dist/src/lsp/navigation/definition.js.map +1 -1
- package/dist/src/lsp/navigation/document-symbol.js +1 -1
- package/dist/src/lsp/navigation/document-symbol.js.map +1 -1
- package/dist/src/lsp/navigation/hover.js +1 -1
- package/dist/src/lsp/navigation/hover.js.map +1 -1
- package/dist/src/lsp/server.js +2 -2
- package/dist/src/lsp/server.js.map +1 -1
- package/dist/src/lsp/tokens.js +2 -2
- package/dist/src/lsp/tokens.js.map +1 -1
- package/dist/src/lsp/workspace/document-indexer.js +1 -1
- package/dist/src/lsp/workspace/document-indexer.js.map +1 -1
- package/dist/src/parser/decl-parser.d.ts +5 -9
- package/dist/src/parser/decl-parser.d.ts.map +1 -1
- package/dist/src/parser/decl-parser.js +84 -56
- package/dist/src/parser/decl-parser.js.map +1 -1
- package/dist/src/parser/type-parser.d.ts.map +1 -1
- package/dist/src/parser/type-parser.js +26 -0
- package/dist/src/parser/type-parser.js.map +1 -1
- package/dist/src/parser.d.ts +18 -5
- package/dist/src/parser.d.ts.map +1 -1
- package/dist/src/parser.js +5 -5
- package/dist/src/parser.js.map +1 -1
- package/dist/test/benchmark.js +8 -8
- package/dist/test/benchmark.js.map +1 -1
- package/dist/test/compiler/depends-on.test.js +1 -1
- package/dist/test/compiler/depends-on.test.js.map +1 -1
- package/dist/test/compiler/workflow-emitter-helpers.js +1 -1
- package/dist/test/compiler/workflow-emitter-helpers.js.map +1 -1
- package/dist/test/e2e/runner/golden-runner.js +3 -3
- package/dist/test/e2e/runner/golden-runner.js.map +1 -1
- package/dist/test/integration/compliance/compliance-smoke.test.js +1 -1
- package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -1
- package/dist/test/integration/lsp/lsp-completion.test.js +1 -1
- package/dist/test/integration/lsp/lsp-completion.test.js.map +1 -1
- package/dist/test/integration/lsp/lsp-diagnostics.test.js +1 -1
- package/dist/test/integration/lsp/lsp-diagnostics.test.js.map +1 -1
- package/dist/test/integration/lsp/lsp-modules.test.js +1 -1
- package/dist/test/integration/lsp/lsp-modules.test.js.map +1 -1
- package/dist/test/integration/lsp/lsp-navigation.test.js +1 -1
- package/dist/test/integration/lsp/lsp-navigation.test.js.map +1 -1
- package/dist/test/integration/pipeline/pipeline.test.js +4 -4
- package/dist/test/integration/pipeline/pipeline.test.js.map +1 -1
- package/dist/test/property/lsp-props.test.js +2 -2
- package/dist/test/property/lsp-props.test.js.map +1 -1
- package/dist/test/property/property.test.js +15 -15
- package/dist/test/property/property.test.js.map +1 -1
- package/dist/test/regression/type-checker-golden.test.js +1 -1
- package/dist/test/regression/type-checker-golden.test.js.map +1 -1
- package/dist/test/type-checker/cross-module-packages.test.js +1 -1
- package/dist/test/type-checker/cross-module-packages.test.js.map +1 -1
- package/dist/test/unit/async/async-discipline.test.js +1 -1
- package/dist/test/unit/async/async-discipline.test.js.map +1 -1
- package/dist/test/unit/async/async-schedule.test.js +1 -1
- package/dist/test/unit/async/async-schedule.test.js.map +1 -1
- package/dist/test/unit/interpreter/interpreter.test.d.ts +2 -0
- package/dist/test/unit/interpreter/interpreter.test.d.ts.map +1 -0
- package/dist/test/unit/interpreter/interpreter.test.js +507 -0
- package/dist/test/unit/interpreter/interpreter.test.js.map +1 -0
- package/dist/test/unit/keyword-translator.test.js +6 -6
- package/dist/test/unit/keyword-translator.test.js.map +1 -1
- package/dist/test/unit/lowering/lowering.test.js +1 -1
- package/dist/test/unit/lowering/lowering.test.js.map +1 -1
- package/dist/test/unit/parser/parser.test.js +39 -37
- package/dist/test/unit/parser/parser.test.js.map +1 -1
- package/dist/test/unit/typecheck/async-discipline-extended.test.js +1 -1
- package/dist/test/unit/typecheck/async-discipline-extended.test.js.map +1 -1
- package/dist/test/unit/typecheck/effects-and-capabilities.test.js +4 -4
- package/dist/test/unit/typecheck/effects-and-capabilities.test.js.map +1 -1
- package/dist/test/unit/typecheck/type-inference.test.js +1 -1
- package/dist/test/unit/typecheck/type-inference.test.js.map +1 -1
- package/dist/test/unit/typecheck/typecheck-advanced.test.js +1 -1
- package/dist/test/unit/typecheck/typecheck-advanced.test.js.map +1 -1
- 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.
|
|
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
|
});
|