@aster-cloud/aster-lang-ts 1.0.13 → 1.0.17
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/core-ir-json.js +16 -6
- package/dist/scripts/core-ir-json.js.map +1 -1
- package/dist/scripts/generate_error_code_docs.js +19 -9
- package/dist/scripts/generate_error_code_docs.js.map +1 -1
- package/dist/scripts/generate_error_codes.js +84 -5
- package/dist/scripts/generate_error_codes.js.map +1 -1
- package/dist/scripts/verify-lexicon-sync.js +51 -0
- package/dist/scripts/verify-lexicon-sync.js.map +1 -1
- package/dist/src/cli/commands/search.js +17 -1
- package/dist/src/cli/commands/search.js.map +1 -1
- package/dist/src/config/effect_config.d.ts.map +1 -1
- package/dist/src/config/effect_config.js +6 -4
- package/dist/src/config/effect_config.js.map +1 -1
- package/dist/src/config/lexicons/de-DE.d.ts.map +1 -1
- package/dist/src/config/lexicons/de-DE.js +1 -0
- package/dist/src/config/lexicons/de-DE.js.map +1 -1
- package/dist/src/config/lexicons/diagnostic-messages.d.ts +2 -0
- package/dist/src/config/lexicons/diagnostic-messages.d.ts.map +1 -1
- package/dist/src/config/lexicons/diagnostic-messages.js +9 -3
- package/dist/src/config/lexicons/diagnostic-messages.js.map +1 -1
- package/dist/src/config/lexicons/en-US.d.ts.map +1 -1
- package/dist/src/config/lexicons/en-US.js +1 -0
- package/dist/src/config/lexicons/en-US.js.map +1 -1
- package/dist/src/config/lexicons/hi-IN.d.ts.map +1 -1
- package/dist/src/config/lexicons/hi-IN.js +1 -0
- package/dist/src/config/lexicons/hi-IN.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/types.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/types.js +5 -3
- package/dist/src/config/lexicons/identifiers/types.js.map +1 -1
- package/dist/src/config/lexicons/template.d.ts.map +1 -1
- package/dist/src/config/lexicons/template.js +2 -0
- package/dist/src/config/lexicons/template.js.map +1 -1
- package/dist/src/config/lexicons/type-inference-rules.d.ts.map +1 -1
- package/dist/src/config/lexicons/type-inference-rules.js +8 -1
- package/dist/src/config/lexicons/type-inference-rules.js.map +1 -1
- package/dist/src/config/lexicons/types.d.ts +15 -0
- package/dist/src/config/lexicons/types.d.ts.map +1 -1
- package/dist/src/config/lexicons/types.js.map +1 -1
- package/dist/src/config/lexicons/zh-CN.d.ts.map +1 -1
- package/dist/src/config/lexicons/zh-CN.js +1 -0
- package/dist/src/config/lexicons/zh-CN.js.map +1 -1
- package/dist/src/config/semantic.d.ts +13 -0
- package/dist/src/config/semantic.d.ts.map +1 -1
- package/dist/src/config/semantic.js +22 -0
- package/dist/src/config/semantic.js.map +1 -1
- package/dist/src/config/token-kind.d.ts +2 -0
- package/dist/src/config/token-kind.d.ts.map +1 -1
- package/dist/src/config/token-kind.js +4 -1
- package/dist/src/config/token-kind.js.map +1 -1
- package/dist/src/core/interpreter.js +135 -19
- package/dist/src/core/interpreter.js.map +1 -1
- package/dist/src/diagnostics/diagnostics.d.ts +6 -0
- package/dist/src/diagnostics/diagnostics.d.ts.map +1 -1
- package/dist/src/diagnostics/diagnostics.js +20 -0
- package/dist/src/diagnostics/diagnostics.js.map +1 -1
- package/dist/src/diagnostics/error_codes.d.ts +4 -2
- package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
- package/dist/src/diagnostics/error_codes.js +8 -4
- package/dist/src/diagnostics/error_codes.js.map +1 -1
- package/dist/src/effects/effect_inference.d.ts.map +1 -1
- package/dist/src/effects/effect_inference.js +62 -4
- package/dist/src/effects/effect_inference.js.map +1 -1
- package/dist/src/frontend/canonicalizer.d.ts.map +1 -1
- package/dist/src/frontend/canonicalizer.js +116 -59
- package/dist/src/frontend/canonicalizer.js.map +1 -1
- package/dist/src/frontend/lexer.d.ts.map +1 -1
- package/dist/src/frontend/lexer.js +51 -5
- package/dist/src/frontend/lexer.js.map +1 -1
- package/dist/src/manifest.d.ts +4 -1
- package/dist/src/manifest.d.ts.map +1 -1
- package/dist/src/manifest.js.map +1 -1
- package/dist/src/package/manifest-parser.d.ts.map +1 -1
- package/dist/src/package/manifest-parser.js +3 -2
- package/dist/src/package/manifest-parser.js.map +1 -1
- package/dist/src/package/package-installer.d.ts.map +1 -1
- package/dist/src/package/package-installer.js +24 -1
- package/dist/src/package/package-installer.js.map +1 -1
- package/dist/src/parser/decl-parser.d.ts.map +1 -1
- package/dist/src/parser/decl-parser.js +25 -19
- package/dist/src/parser/decl-parser.js.map +1 -1
- package/dist/src/parser/expr-stmt-parser.d.ts +9 -0
- package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -1
- package/dist/src/parser/expr-stmt-parser.js +26 -0
- package/dist/src/parser/expr-stmt-parser.js.map +1 -1
- package/dist/src/parser/type-inference.d.ts.map +1 -1
- package/dist/src/parser/type-inference.js +15 -3
- package/dist/src/parser/type-inference.js.map +1 -1
- package/dist/src/stability/stability_gate.d.ts +68 -0
- package/dist/src/stability/stability_gate.d.ts.map +1 -0
- package/dist/src/stability/stability_gate.js +242 -0
- package/dist/src/stability/stability_gate.js.map +1 -0
- package/dist/src/typecheck/context.d.ts +19 -0
- package/dist/src/typecheck/context.d.ts.map +1 -1
- package/dist/src/typecheck/context.js +1 -1
- package/dist/src/typecheck/context.js.map +1 -1
- package/dist/src/typecheck/effects.d.ts.map +1 -1
- package/dist/src/typecheck/effects.js +13 -15
- package/dist/src/typecheck/effects.js.map +1 -1
- package/dist/src/typecheck/module.d.ts.map +1 -1
- package/dist/src/typecheck/module.js +6 -1
- package/dist/src/typecheck/module.js.map +1 -1
- package/dist/src/typecheck/pure.d.ts.map +1 -1
- package/dist/src/typecheck/pure.js +11 -7
- package/dist/src/typecheck/pure.js.map +1 -1
- package/dist/src/typecheck/workflow.js +4 -4
- package/dist/src/typecheck/workflow.js.map +1 -1
- package/dist/src/types.d.ts +1 -0
- package/dist/src/types.d.ts.map +1 -1
- package/dist/src/types.js +3 -0
- package/dist/src/types.js.map +1 -1
- package/dist/test/cli/commands/search.test.js +33 -0
- package/dist/test/cli/commands/search.test.js.map +1 -1
- package/dist/test/unit/audit-57-regression.test.d.ts +2 -0
- package/dist/test/unit/audit-57-regression.test.d.ts.map +1 -0
- package/dist/test/unit/audit-57-regression.test.js +92 -0
- package/dist/test/unit/audit-57-regression.test.js.map +1 -0
- package/dist/test/unit/browser/typecheck-browser-unsupported.test.js +19 -44
- package/dist/test/unit/browser/typecheck-browser-unsupported.test.js.map +1 -1
- package/dist/test/unit/canonicalizer/cjk-punctuation.test.js +25 -0
- package/dist/test/unit/canonicalizer/cjk-punctuation.test.js.map +1 -1
- package/dist/test/unit/config/capability-parity.test.d.ts +19 -0
- package/dist/test/unit/config/capability-parity.test.d.ts.map +1 -0
- package/dist/test/unit/config/capability-parity.test.js +117 -0
- package/dist/test/unit/config/capability-parity.test.js.map +1 -0
- package/dist/test/unit/config/config-service.test.js +7 -3
- package/dist/test/unit/config/config-service.test.js.map +1 -1
- package/dist/test/unit/diagnostics/error-codes-parity.test.d.ts +15 -0
- package/dist/test/unit/diagnostics/error-codes-parity.test.d.ts.map +1 -0
- package/dist/test/unit/diagnostics/error-codes-parity.test.js +149 -0
- package/dist/test/unit/diagnostics/error-codes-parity.test.js.map +1 -0
- package/dist/test/unit/effect/effect-inference.test.js +43 -0
- package/dist/test/unit/effect/effect-inference.test.js.map +1 -1
- package/dist/test/unit/interpreter/interpreter.test.js +30 -0
- package/dist/test/unit/interpreter/interpreter.test.js.map +1 -1
- package/dist/test/unit/lexer/lexer.test.js +30 -0
- package/dist/test/unit/lexer/lexer.test.js.map +1 -1
- package/dist/test/unit/manifest-parser.test.js +4 -2
- package/dist/test/unit/manifest-parser.test.js.map +1 -1
- package/dist/test/unit/parser/entry-annotations.test.js +2 -2
- package/dist/test/unit/parser/entry-annotations.test.js.map +1 -1
- package/dist/test/unit/parser/explicit-block.test.d.ts +2 -0
- package/dist/test/unit/parser/explicit-block.test.d.ts.map +1 -0
- package/dist/test/unit/parser/explicit-block.test.js +43 -0
- package/dist/test/unit/parser/explicit-block.test.js.map +1 -0
- package/dist/test/unit/parser/then-localization.test.d.ts +2 -0
- package/dist/test/unit/parser/then-localization.test.d.ts.map +1 -0
- package/dist/test/unit/parser/then-localization.test.js +147 -0
- package/dist/test/unit/parser/then-localization.test.js.map +1 -0
- package/dist/test/unit/parser/type-inference.test.js +61 -0
- package/dist/test/unit/parser/type-inference.test.js.map +1 -1
- package/dist/test/unit/stability/stability-gate.parity.test.d.ts +2 -0
- package/dist/test/unit/stability/stability-gate.parity.test.d.ts.map +1 -0
- package/dist/test/unit/stability/stability-gate.parity.test.js +34 -0
- package/dist/test/unit/stability/stability-gate.parity.test.js.map +1 -0
- package/dist/test/unit/stability/stability-gate.test.d.ts +2 -0
- package/dist/test/unit/stability/stability-gate.test.d.ts.map +1 -0
- package/dist/test/unit/stability/stability-gate.test.js +210 -0
- package/dist/test/unit/stability/stability-gate.test.js.map +1 -0
- package/dist/test/unit/typecheck/effect-prefix-injection.test.d.ts +2 -0
- package/dist/test/unit/typecheck/effect-prefix-injection.test.d.ts.map +1 -0
- package/dist/test/unit/typecheck/effect-prefix-injection.test.js +71 -0
- package/dist/test/unit/typecheck/effect-prefix-injection.test.js.map +1 -0
- package/dist/test/unit/typecheck/effects-and-capabilities.test.js +21 -0
- package/dist/test/unit/typecheck/effects-and-capabilities.test.js.map +1 -1
- package/dist/test/unit/typecheck/regression-fixes.test.js +2 -2
- package/package.json +1 -1
|
@@ -0,0 +1,117 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Capability 能力表单源一致性测试(防双引擎 drift 复发)。
|
|
3
|
+
*
|
|
4
|
+
* 背景:CapabilityKind 是安全边界(能力授权)契约。历史上 TS 后加了
|
|
5
|
+
* NETWORK/CRYPTO/PROCESS(commit 063ff6d),Java 与 TS 的多个白名单副本
|
|
6
|
+
* 都未跟上,导致双引擎 + TS 内部多副本 drift,且零守门。
|
|
7
|
+
*
|
|
8
|
+
* `shared/capabilities.json` 现为单源真值(类比 error_codes.json)。本测试锁定
|
|
9
|
+
* TS 侧全部 capability 副本与该 json 一致:
|
|
10
|
+
* - semantic.ts CapabilityKind enum(displayName)
|
|
11
|
+
* - semantic.ts CAPABILITY_PREFIXES(前缀推断表)
|
|
12
|
+
* - manifest.ts CapabilityKind union(通过 manifest-parser 的 validCapabilities 间接覆盖)
|
|
13
|
+
* - manifest-parser.ts validCapabilities
|
|
14
|
+
* - manifest.schema.json allow/deny enum
|
|
15
|
+
* Java 侧由 aster-lang-core 的 CapabilityParityTest 对同一 json(byte-identical
|
|
16
|
+
* 副本)守门,两份 json 的 byte-identical 由本文件断言 → 传递性保证双引擎一致。
|
|
17
|
+
*/
|
|
18
|
+
import { describe, it } from 'node:test';
|
|
19
|
+
import assert from 'node:assert/strict';
|
|
20
|
+
import { readFileSync } from 'node:fs';
|
|
21
|
+
import { resolve } from 'node:path';
|
|
22
|
+
import { CapabilityKind, CAPABILITY_PREFIXES, CAPABILITY_EFFECT_CLASS, } from '../../../src/config/semantic.js';
|
|
23
|
+
const REPO_ROOT = process.cwd();
|
|
24
|
+
const JSON_PATH = resolve(REPO_ROOT, 'shared', 'capabilities.json');
|
|
25
|
+
const table = JSON.parse(readFileSync(JSON_PATH, 'utf8'));
|
|
26
|
+
const specs = table.capabilities;
|
|
27
|
+
describe('capability 单源一致性:shared/capabilities.json ↔ TS 各副本', () => {
|
|
28
|
+
it('json 自身合法:enumName/displayName/前缀唯一,CPU 无前缀,class 合法', () => {
|
|
29
|
+
const names = specs.map(s => s.enumName);
|
|
30
|
+
const displays = specs.map(s => s.displayName);
|
|
31
|
+
assert.equal(new Set(names).size, names.length, 'enumName 应唯一');
|
|
32
|
+
assert.equal(new Set(displays).size, displays.length, 'displayName 应唯一');
|
|
33
|
+
const allPrefixes = specs.flatMap(s => s.prefixes);
|
|
34
|
+
assert.equal(new Set(allPrefixes).size, allPrefixes.length, '前缀不应跨 capability 重复');
|
|
35
|
+
const cpu = specs.find(s => s.enumName === 'CPU');
|
|
36
|
+
assert.deepEqual(cpu?.prefixes, [], 'CPU 不应有调用前缀');
|
|
37
|
+
for (const s of specs) {
|
|
38
|
+
assert.ok(s.class === 'io' || s.class === 'cpu', `${s.enumName} class 非法: ${s.class}`);
|
|
39
|
+
}
|
|
40
|
+
});
|
|
41
|
+
it('effect class 分类双引擎一致:json class ↔ TS CAPABILITY_EFFECT_CLASS,CPU 集={CPU,CRYPTO}', () => {
|
|
42
|
+
// CAPABILITY_EFFECT_CLASS 的键是 enum 值(displayName,如 'Http'),故用 s.displayName 查。
|
|
43
|
+
for (const s of specs) {
|
|
44
|
+
const tsClass = CAPABILITY_EFFECT_CLASS[s.displayName];
|
|
45
|
+
assert.equal(tsClass, s.class, `${s.enumName} class: TS=${tsClass} json=${s.class}`);
|
|
46
|
+
}
|
|
47
|
+
// 钉死 cpu-class 集合(enumName)= {CPU, CRYPTO}(本地计算密集),防未来 drift。
|
|
48
|
+
const jsonCpuSet = new Set(specs.filter(s => s.class === 'cpu').map(s => s.enumName));
|
|
49
|
+
assert.deepEqual([...jsonCpuSet].sort(), ['CPU', 'CRYPTO'], 'json cpu-class 集合应为 {CPU, CRYPTO}');
|
|
50
|
+
// TS 侧 cpu-class 用 displayName 键映射回 enumName 比对。
|
|
51
|
+
const displayToEnum = new Map(specs.map(s => [s.displayName, s.enumName]));
|
|
52
|
+
const tsCpuSet = new Set(Object.entries(CAPABILITY_EFFECT_CLASS)
|
|
53
|
+
.filter(([, cls]) => cls === 'cpu')
|
|
54
|
+
.map(([display]) => displayToEnum.get(display)));
|
|
55
|
+
assert.deepEqual([...tsCpuSet].sort(), ['CPU', 'CRYPTO'], 'TS cpu-class 集合应为 {CPU, CRYPTO}');
|
|
56
|
+
});
|
|
57
|
+
it('semantic.ts CapabilityKind enum 与 json 完全一致(名称 + displayName)', () => {
|
|
58
|
+
// CapabilityKind 是 string enum:键=enumName,值=displayName。
|
|
59
|
+
const enumEntries = Object.entries(CapabilityKind);
|
|
60
|
+
const enumNames = new Set(enumEntries.map(([k]) => k));
|
|
61
|
+
const jsonNames = new Set(specs.map(s => s.enumName));
|
|
62
|
+
assert.deepEqual([...enumNames].sort(), [...jsonNames].sort(), 'enum 名称集合应与 json 一致');
|
|
63
|
+
for (const s of specs) {
|
|
64
|
+
assert.equal(CapabilityKind[s.enumName], s.displayName, `${s.enumName} 的 displayName 应为 ${s.displayName}`);
|
|
65
|
+
}
|
|
66
|
+
});
|
|
67
|
+
it('semantic.ts CAPABILITY_PREFIXES 与 json 前缀表一致', () => {
|
|
68
|
+
// CAPABILITY_PREFIXES 以 displayName 为键。CPU 无前缀 → 不出现在表中。
|
|
69
|
+
const jsonByDisplay = new Map(specs.map(s => [s.displayName, s.prefixes]));
|
|
70
|
+
const problems = [];
|
|
71
|
+
for (const s of specs) {
|
|
72
|
+
const actual = CAPABILITY_PREFIXES[s.displayName];
|
|
73
|
+
if (s.prefixes.length === 0) {
|
|
74
|
+
if (actual !== undefined && actual.length > 0) {
|
|
75
|
+
problems.push(`${s.displayName}: json 无前缀但 CAPABILITY_PREFIXES 有 ${JSON.stringify(actual)}`);
|
|
76
|
+
}
|
|
77
|
+
continue;
|
|
78
|
+
}
|
|
79
|
+
if (actual === undefined) {
|
|
80
|
+
problems.push(`${s.displayName}: CAPABILITY_PREFIXES 缺失`);
|
|
81
|
+
continue;
|
|
82
|
+
}
|
|
83
|
+
assert.deepEqual([...actual], s.prefixes, `${s.displayName} 前缀应一致`);
|
|
84
|
+
}
|
|
85
|
+
// 反向:CAPABILITY_PREFIXES 不应有 json 里没有的键
|
|
86
|
+
for (const key of Object.keys(CAPABILITY_PREFIXES)) {
|
|
87
|
+
if (!jsonByDisplay.has(key)) {
|
|
88
|
+
problems.push(`CAPABILITY_PREFIXES 多出键 ${key}(json 中无)`);
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
assert.deepEqual(problems, [], `前缀表不一致:\n${problems.join('\n')}`);
|
|
92
|
+
});
|
|
93
|
+
it('manifest.schema.json 的 allow/deny capability enum 与 json displayName 一致', () => {
|
|
94
|
+
// 直接守门 schema 白名单(AJV 真正校验源),而非仅靠 manifest-parser 间接覆盖。
|
|
95
|
+
const schemaPath = resolve(REPO_ROOT, 'manifest.schema.json');
|
|
96
|
+
const schema = JSON.parse(readFileSync(schemaPath, 'utf8'));
|
|
97
|
+
const displayNames = new Set(specs.map(s => s.displayName));
|
|
98
|
+
const capNode = schema.properties?.capabilities?.properties;
|
|
99
|
+
for (const key of ['allow', 'deny']) {
|
|
100
|
+
const enumList = capNode?.[key]?.items?.enum ?? [];
|
|
101
|
+
assert.deepEqual(new Set(enumList), displayNames, `manifest.schema.json capabilities.${key}.items.enum 应与 capabilities.json displayName 集合一致`);
|
|
102
|
+
}
|
|
103
|
+
});
|
|
104
|
+
it('TS 源 json 与 Java 仓 resources 副本 byte-identical(跨仓同源)', () => {
|
|
105
|
+
const javaCopy = resolve(REPO_ROOT, '..', 'aster-lang-core/src/test/resources/capability/capabilities.json');
|
|
106
|
+
let javaBytes;
|
|
107
|
+
try {
|
|
108
|
+
javaBytes = readFileSync(javaCopy);
|
|
109
|
+
}
|
|
110
|
+
catch {
|
|
111
|
+
return; // Java 仓未并列 checkout:跳过(Java 侧 CapabilityParityTest 独立守门)
|
|
112
|
+
}
|
|
113
|
+
const tsBytes = readFileSync(JSON_PATH);
|
|
114
|
+
assert.ok(tsBytes.equals(javaBytes), 'shared/capabilities.json 与 aster-lang-core 副本必须 byte-identical——请同步两份副本');
|
|
115
|
+
});
|
|
116
|
+
});
|
|
117
|
+
//# sourceMappingURL=capability-parity.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"capability-parity.test.js","sourceRoot":"","sources":["../../../../test/unit/config/capability-parity.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,iCAAiC,CAAC;AAEzC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAChC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,mBAAmB,CAAC,CAAC;AASpE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAgC,CAAC;AACzF,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC;AAEjC,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;QACnF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC;QAClD,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC;QACnD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,GAAG,CAAC,CAAC,QAAQ,cAAc,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,+EAA+E;QAC/E,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,OAAO,GAAG,uBAAuB,CAAC,CAAC,CAAC,WAA6B,CAAC,CAAC;YACzE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,QAAQ,cAAc,OAAO,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,8DAA8D;QAC9D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACjG,iDAAiD;QACjD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;aACpC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAClD,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,iCAAiC,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,yDAAyD;QACzD,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,CAA4B,CAAC;QAC9E,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,SAAS,CACd,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,EACrB,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,EACrB,qBAAqB,CACtB,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,CAAC,KAAK,CACT,cAAyC,CAAC,CAAC,CAAC,QAAQ,CAAC,EACtD,CAAC,CAAC,WAAW,EACb,GAAG,CAAC,CAAC,QAAQ,qBAAqB,CAAC,CAAC,WAAW,EAAE,CAClD,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,yDAAyD;QACzD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC9C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,qCAAqC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC/F,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,0BAA0B,CAAC,CAAC;gBAC1D,SAAS;YACX,CAAC;YACD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,WAAW,QAAQ,CAAC,CAAC;QACtE,CAAC;QACD,wCAAwC;QACxC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,QAAQ,CAAC,IAAI,CAAC,2BAA2B,GAAG,WAAW,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,EAAE,YAAY,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,wDAAwD;QACxD,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,MAAM,CAAU,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAa,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC;YAC7D,MAAM,CAAC,SAAS,CACd,IAAI,GAAG,CAAC,QAAQ,CAAC,EACjB,YAAY,EACZ,qCAAqC,GAAG,mDAAmD,CAC5F,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,QAAQ,GAAG,OAAO,CACtB,SAAS,EACT,IAAI,EACJ,iEAAiE,CAClE,CAAC;QACF,IAAI,SAAiB,CAAC;QACtB,IAAI,CAAC;YACH,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,0DAA0D;QACpE,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CACP,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EACzB,yEAAyE,CAC1E,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -87,7 +87,10 @@ describe('effect_config', () => {
|
|
|
87
87
|
assert.deepStrictEqual(config.patterns.io.sql, DEFAULT_SQL_PREFIXES);
|
|
88
88
|
assert.deepStrictEqual(config.patterns.io.files, []);
|
|
89
89
|
assert.deepStrictEqual(config.patterns.io.secrets, DEFAULT_SECRETS_PREFIXES);
|
|
90
|
-
|
|
90
|
+
// Time./Clock. 与 shared/capabilities.json 的 TIME capability 前缀对齐(issue #90):
|
|
91
|
+
// 此前留空,导致 capabilities.json 声明它们为 io-class 能力、而 effect 推断完全看不到——
|
|
92
|
+
// 两个「单源」互相矛盾。
|
|
93
|
+
assert.deepStrictEqual(config.patterns.io.time, ['Time.', 'Clock.']);
|
|
91
94
|
assert.deepStrictEqual(config.patterns.cpu, []);
|
|
92
95
|
});
|
|
93
96
|
it('应该在 JSON 解析失败时回退默认配置', async () => {
|
|
@@ -120,10 +123,11 @@ describe('effect_config', () => {
|
|
|
120
123
|
assert.deepStrictEqual(config.patterns.io.sql, DEFAULT_SQL_PREFIXES);
|
|
121
124
|
assert.deepStrictEqual(config.patterns.io.files, []);
|
|
122
125
|
assert.deepStrictEqual(config.patterns.io.secrets, DEFAULT_SECRETS_PREFIXES);
|
|
123
|
-
assert.deepStrictEqual(config.patterns.io.time, []);
|
|
126
|
+
assert.deepStrictEqual(config.patterns.io.time, ['Time.', 'Clock.']);
|
|
124
127
|
assert.deepStrictEqual(config.patterns.cpu, ['CpuCustom.']);
|
|
125
128
|
const prefixes = mod.getIOPrefixes();
|
|
126
|
-
|
|
129
|
+
// 扁平化前缀现含 TIME capability 前缀(issue #90:与 capabilities.json 对齐)
|
|
130
|
+
assert.deepStrictEqual(prefixes, ['CustomHttp.', ...DEFAULT_SQL_PREFIXES, ...DEFAULT_SECRETS_PREFIXES, 'Time.', 'Clock.']);
|
|
127
131
|
}
|
|
128
132
|
finally {
|
|
129
133
|
temp.cleanup();
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"config-service.test.js","sourceRoot":"","sources":["../../../../test/unit/config/config-service.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAChE,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAIxD,MAAM,QAAQ,GAAG;IACf,2BAA2B;IAC3B,qBAAqB;IACrB,YAAY;IACZ,mBAAmB;IACnB,WAAW;CACZ,CAAC;AAEF,MAAM,YAAY,GAAuC,MAAM,CAAC,WAAW,CACzE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAC/C,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;AACvF,MAAM,oBAAoB,GAAG,CAAC,KAAK,CAAC,CAAC;AACrC,MAAM,wBAAwB,GAAG,CAAC,iBAAiB,CAAC,CAAC;AAErD,SAAS,UAAU;IACjB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,KAAK,WAAW,EAAE,CAAC;YACjC,OAAO,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,GAAW,EAAE,KAAa;IACxC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CAAC,GAAW;IACjC,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAChD,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACxC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,SAAiB;IACjD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,sCAAsC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7E,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAgC,CAAC;AACzD,CAAC;AAED,UAAU,CAAC,GAAG,EAAE;IACd,UAAU,EAAE,CAAC;IACb,aAAa,CAAC,eAAe,EAAE,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,SAAS,CAAC,GAAG,EAAE;IACb,UAAU,EAAE,CAAC;IACb,aAAa,CAAC,eAAe,EAAE,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,qBAAqB,EAAE,0BAA0B,CAAC,CAAC;QAE1D,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,EAAE,0BAA0B,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,OAAO,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;QAEvC,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC;QAEzC,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAE/B,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,kBAAkB,EAAE,KAAK,IAAI,EAAE;QAChC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACjF,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC,CAAC;QAE3C,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAEtC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QACvE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QACrE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;QAC7E,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"config-service.test.js","sourceRoot":"","sources":["../../../../test/unit/config/config-service.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAChE,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAIxD,MAAM,QAAQ,GAAG;IACf,2BAA2B;IAC3B,qBAAqB;IACrB,YAAY;IACZ,mBAAmB;IACnB,WAAW;CACZ,CAAC;AAEF,MAAM,YAAY,GAAuC,MAAM,CAAC,WAAW,CACzE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAC/C,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;AACvF,MAAM,oBAAoB,GAAG,CAAC,KAAK,CAAC,CAAC;AACrC,MAAM,wBAAwB,GAAG,CAAC,iBAAiB,CAAC,CAAC;AAErD,SAAS,UAAU;IACjB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,KAAK,WAAW,EAAE,CAAC;YACjC,OAAO,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,GAAW,EAAE,KAAa;IACxC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CAAC,GAAW;IACjC,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAChD,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACxC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,SAAiB;IACjD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,sCAAsC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7E,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAgC,CAAC;AACzD,CAAC;AAED,UAAU,CAAC,GAAG,EAAE;IACd,UAAU,EAAE,CAAC;IACb,aAAa,CAAC,eAAe,EAAE,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,SAAS,CAAC,GAAG,EAAE;IACb,UAAU,EAAE,CAAC;IACb,aAAa,CAAC,eAAe,EAAE,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,qBAAqB,EAAE,0BAA0B,CAAC,CAAC;QAE1D,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,EAAE,0BAA0B,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,OAAO,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;QAEvC,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC;QAEzC,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAE/B,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,kBAAkB,EAAE,KAAK,IAAI,EAAE;QAChC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACjF,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC,CAAC;QAE3C,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAEtC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QACvE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QACrE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;QAC7E,6EAA6E;QAC7E,iEAAiE;QACjE,cAAc;QACd,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACpC,MAAM,IAAI,GAAG,cAAc,CAAC,gBAAgB,CAAC,CAAC;QAC9C,IAAI,CAAC;YACH,MAAM,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAEzC,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;YAEtC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;YACvE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClD,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,KAAK,IAAI,EAAE;QAChC,MAAM,IAAI,GAAG,kBAAkB,CAAC;YAC9B,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,aAAa,CAAC;iBACtB;gBACD,GAAG,EAAE,CAAC,YAAY,CAAC;aACpB;SACF,CAAC,CAAC;QAEH,IAAI,CAAC;YACH,MAAM,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAEzC,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,SAAS,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC5D,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;YAEtC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;YACjE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;YACrE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACrD,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;YAC7E,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YACrE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAE5D,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;YACrC,+DAA+D;YAC/D,MAAM,CAAC,eAAe,CAAC,QAAQ,EAC7B,CAAC,aAAa,EAAE,GAAG,oBAAoB,EAAE,GAAG,wBAAwB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9F,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,KAAK,IAAI,EAAE;QAC9B,MAAM,IAAI,GAAG,kBAAkB,CAAC;YAC9B,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC;oBAChB,GAAG,EAAE,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,CAAC,YAAY,CAAC;oBACrB,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,CAAC,YAAY,CAAC;iBACrB;gBACD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACX,EAAE,EAAE,CAAC,UAAU,EAAE,GAAG,CAAC;aACtB;SACF,CAAC,CAAC;QAEH,IAAI,CAAC;YACH,MAAM,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAEzC,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,iBAAiB,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACpE,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;YAEtC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;YACvE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;YACrE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YACjE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAC3D,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,IAAI,GAAG,kBAAkB,CAAC;YAC9B,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,YAAY,CAAC;iBACrB;gBACD,GAAG,EAAE,EAAE;gBACP,EAAE,EAAE,EAAE;aACP;SACF,CAAC,CAAC;QAEH,IAAI,CAAC;YACH,MAAM,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAEzC,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,gBAAgB,CAAC,CAAC;YACvD,MAAM,KAAK,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;YAEtC,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAClC,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,SAAS,CAAC;gBACb,QAAQ,EAAE;oBACR,EAAE,EAAE;wBACF,IAAI,EAAE,CAAC,aAAa,CAAC;qBACtB;oBACD,GAAG,EAAE,EAAE;oBACP,EAAE,EAAE,EAAE;iBACP;aACF,CAAC,EACF,MAAM,CACP,CAAC;YAEF,MAAM,WAAW,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;YACjD,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;YAEnD,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;YAEtC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACnE,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,KAAK,IAAI,EAAE;QAC9B,MAAM,WAAW,GAAG,kBAAkB,CAAC;YACrC,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,cAAc,CAAC;iBACvB;gBACD,GAAG,EAAE,EAAE;gBACP,EAAE,EAAE,EAAE;aACP;SACF,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,kBAAkB,CAAC;YACtC,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,cAAc,CAAC;iBACvB;gBACD,GAAG,EAAE,CAAC,aAAa,CAAC;gBACpB,EAAE,EAAE,EAAE;aACP;SACF,CAAC,CAAC;QAEH,IAAI,CAAC;YACH,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YAChD,aAAa,CAAC,eAAe,EAAE,CAAC;YAEhC,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,cAAc,CAAC,CAAC;YAC7D,MAAM,WAAW,GAAG,WAAW,CAAC,gBAAgB,EAAE,CAAC;YACnD,MAAM,CAAC,eAAe,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;YACvE,MAAM,CAAC,eAAe,CAAC,WAAW,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC;YAEzD,MAAM,CAAC,qBAAqB,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;YACjD,aAAa,CAAC,eAAe,EAAE,CAAC;YAEhC,MAAM,YAAY,GAAG,MAAM,kBAAkB,CAAC,eAAe,CAAC,CAAC;YAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,gBAAgB,EAAE,CAAC;YACrD,MAAM,CAAC,eAAe,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;YACxE,MAAM,CAAC,eAAe,CAAC,YAAY,CAAC,cAAc,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACzE,CAAC;gBAAS,CAAC;YACT,WAAW,CAAC,OAAO,EAAE,CAAC;YACtB,YAAY,CAAC,OAAO,EAAE,CAAC;QACzB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 错误码单源一致性测试(防 drift 复发)。
|
|
3
|
+
*
|
|
4
|
+
* 背景:`shared/error_codes.json` 是错误码「码表数据」(code / category /
|
|
5
|
+
* severity / message / help)的唯一真源。历史上 aster-lang-ts 与 aster-lang-core
|
|
6
|
+
* 拆分为独立仓后,两端 error_codes.ts / ErrorCode.java 被各自手改,导致码表 drift
|
|
7
|
+
* (E102 语义碰撞、E103/E210/E211 单边、DUPLICATE_SYMBOL 归属分歧),且长期无测试守门。
|
|
8
|
+
*
|
|
9
|
+
* 本测试锁定 ts 侧生成物 ERROR_METADATA 与 shared/error_codes.json 逐字段一致,
|
|
10
|
+
* 从此任何一方漂移都会立刻红灯。Java 侧由 aster-lang-core 的 ErrorCodeParityTest
|
|
11
|
+
* 对同一份 json(byte-identical 副本)做结构校验,两份 json 的 checksum 相等由
|
|
12
|
+
* ts 侧 error-codes-json-checksum 断言保证——传递性上确保 ts ↔ Java 码表一致。
|
|
13
|
+
*/
|
|
14
|
+
export {};
|
|
15
|
+
//# sourceMappingURL=error-codes-parity.test.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"error-codes-parity.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/diagnostics/error-codes-parity.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG"}
|
|
@@ -0,0 +1,149 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 错误码单源一致性测试(防 drift 复发)。
|
|
3
|
+
*
|
|
4
|
+
* 背景:`shared/error_codes.json` 是错误码「码表数据」(code / category /
|
|
5
|
+
* severity / message / help)的唯一真源。历史上 aster-lang-ts 与 aster-lang-core
|
|
6
|
+
* 拆分为独立仓后,两端 error_codes.ts / ErrorCode.java 被各自手改,导致码表 drift
|
|
7
|
+
* (E102 语义碰撞、E103/E210/E211 单边、DUPLICATE_SYMBOL 归属分歧),且长期无测试守门。
|
|
8
|
+
*
|
|
9
|
+
* 本测试锁定 ts 侧生成物 ERROR_METADATA 与 shared/error_codes.json 逐字段一致,
|
|
10
|
+
* 从此任何一方漂移都会立刻红灯。Java 侧由 aster-lang-core 的 ErrorCodeParityTest
|
|
11
|
+
* 对同一份 json(byte-identical 副本)做结构校验,两份 json 的 checksum 相等由
|
|
12
|
+
* ts 侧 error-codes-json-checksum 断言保证——传递性上确保 ts ↔ Java 码表一致。
|
|
13
|
+
*/
|
|
14
|
+
import { describe, it } from 'node:test';
|
|
15
|
+
import assert from 'node:assert/strict';
|
|
16
|
+
import { readFileSync } from 'node:fs';
|
|
17
|
+
import { resolve } from 'node:path';
|
|
18
|
+
import { ERROR_METADATA } from '../../../src/diagnostics/error_codes.js';
|
|
19
|
+
import { MESSAGES_BY_LEXICON, HELP_BY_LEXICON, } from '../../../src/config/lexicons/diagnostic-messages.js';
|
|
20
|
+
// 用 repo 根定位固定资源,避免 src/ 与 dist/ 编译深度不同导致相对层级错位
|
|
21
|
+
// (测试可能从 dist/ 运行)。npm test 的 cwd 即 aster-lang-ts 仓根。
|
|
22
|
+
const REPO_ROOT = process.cwd();
|
|
23
|
+
const JSON_PATH = resolve(REPO_ROOT, 'shared', 'error_codes.json');
|
|
24
|
+
const table = JSON.parse(readFileSync(JSON_PATH, 'utf8'));
|
|
25
|
+
describe('error_codes 单源一致性:ts ERROR_METADATA ↔ shared/error_codes.json', () => {
|
|
26
|
+
it('两侧的错误码名称集合完全一致', () => {
|
|
27
|
+
const jsonNames = Object.keys(table).sort();
|
|
28
|
+
// ERROR_METADATA 的键在运行时是 ErrorCode 的字符串值(码),需按名称映射还原。
|
|
29
|
+
// 直接以 json 名称集合逐个断言存在,避免 const enum 键在编译期被内联导致的
|
|
30
|
+
// 反向枚举困难——见下方逐条比对。
|
|
31
|
+
const metaCodes = new Set(Object.values(ERROR_METADATA).map(m => m.code));
|
|
32
|
+
const jsonCodes = new Set(jsonNames.map(n => table[n].code));
|
|
33
|
+
const onlyJson = [...jsonCodes].filter(c => !metaCodes.has(c));
|
|
34
|
+
const onlyMeta = [...metaCodes].filter(c => !jsonCodes.has(c));
|
|
35
|
+
assert.deepEqual(onlyJson, [], `json 有但 ts 缺的码: ${onlyJson.join(', ')}`);
|
|
36
|
+
assert.deepEqual(onlyMeta, [], `ts 有但 json 缺的码: ${onlyMeta.join(', ')}`);
|
|
37
|
+
assert.equal(metaCodes.size, jsonNames.length, '码数量应相等');
|
|
38
|
+
});
|
|
39
|
+
it('每个错误码的 code / category / severity / message / help 逐字段一致', () => {
|
|
40
|
+
// 以码为主键把 ERROR_METADATA 建索引(ERROR_METADATA 值里含权威 code 字段)。
|
|
41
|
+
const metaByCode = new Map();
|
|
42
|
+
for (const m of Object.values(ERROR_METADATA)) {
|
|
43
|
+
metaByCode.set(m.code, {
|
|
44
|
+
code: m.code,
|
|
45
|
+
category: m.category,
|
|
46
|
+
severity: m.severity,
|
|
47
|
+
message: m.message,
|
|
48
|
+
help: m.help,
|
|
49
|
+
});
|
|
50
|
+
}
|
|
51
|
+
const mismatches = [];
|
|
52
|
+
for (const [name, spec] of Object.entries(table)) {
|
|
53
|
+
const meta = metaByCode.get(spec.code);
|
|
54
|
+
if (!meta) {
|
|
55
|
+
mismatches.push(`${name}(${spec.code}): ts ERROR_METADATA 缺失`);
|
|
56
|
+
continue;
|
|
57
|
+
}
|
|
58
|
+
for (const field of ['category', 'severity', 'message', 'help']) {
|
|
59
|
+
if (meta[field] !== spec[field]) {
|
|
60
|
+
mismatches.push(`${name}(${spec.code}).${field}: json=${JSON.stringify(spec[field])} vs ts=${JSON.stringify(meta[field])}`);
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
}
|
|
64
|
+
assert.deepEqual(mismatches, [], `字段不一致:\n${mismatches.join('\n')}`);
|
|
65
|
+
});
|
|
66
|
+
it('码集无重复 code(每个 code 唯一映射一个名称)', () => {
|
|
67
|
+
const codes = Object.values(table).map(s => s.code);
|
|
68
|
+
const seen = new Set();
|
|
69
|
+
const dup = codes.filter(c => (seen.has(c) ? true : (seen.add(c), false)));
|
|
70
|
+
assert.deepEqual(dup, [], `重复 code: ${dup.join(', ')}`);
|
|
71
|
+
});
|
|
72
|
+
it('ts ERROR_METADATA 自身 code 唯一且数量与 json 相等(防以 code 建索引时静默覆盖)', () => {
|
|
73
|
+
const metaCodes = Object.values(ERROR_METADATA).map(m => m.code);
|
|
74
|
+
const seen = new Set();
|
|
75
|
+
const dup = metaCodes.filter(c => (seen.has(c) ? true : (seen.add(c), false)));
|
|
76
|
+
assert.deepEqual(dup, [], `ts ERROR_METADATA 重复 code: ${dup.join(', ')}`);
|
|
77
|
+
assert.equal(metaCodes.length, Object.keys(table).length, 'ERROR_METADATA 条目数应等于 json');
|
|
78
|
+
});
|
|
79
|
+
it('用户裁决落地:E102=MULTIPLE_ENTRY_RULES, E103=IMPORT_SYMBOL_CONFLICT, E104=DUPLICATE_SYMBOL', () => {
|
|
80
|
+
assert.equal(table['MULTIPLE_ENTRY_RULES']?.code, 'E102', 'MULTIPLE_ENTRY_RULES 应为 E102');
|
|
81
|
+
assert.equal(table['IMPORT_SYMBOL_CONFLICT']?.code, 'E103', 'IMPORT_SYMBOL_CONFLICT 应为 E103');
|
|
82
|
+
assert.equal(table['DUPLICATE_SYMBOL']?.code, 'E104', 'DUPLICATE_SYMBOL 应为 E104');
|
|
83
|
+
assert.equal(table['EFFECT_VAR_UNDECLARED']?.code, 'E210');
|
|
84
|
+
assert.equal(table['EFFECT_VAR_UNRESOLVED']?.code, 'E211');
|
|
85
|
+
});
|
|
86
|
+
it('本地化 overlay 的 code-key 不残留孤儿码,占位符与 json 规范一致', () => {
|
|
87
|
+
// overlay(diagnostic-messages.ts)按 code 字符串 key 存本地化消息/帮助。
|
|
88
|
+
// 拆分历史证明:码表重排(如 E102 语义迁移)时 overlay 极易残留旧语义。
|
|
89
|
+
// 本用例强制:① overlay 里每个 code 都是 json 中真实存在的 code(无孤儿);
|
|
90
|
+
// ② overlay message 的占位符集合与 json 规范消息一致(防旧翻译占位符漂移)。
|
|
91
|
+
const codeToSpec = new Map();
|
|
92
|
+
for (const spec of Object.values(table))
|
|
93
|
+
codeToSpec.set(spec.code, spec);
|
|
94
|
+
const placeholders = (s) => new Set([...s.matchAll(/\{(\w+)\}/g)].map(m => m[1]));
|
|
95
|
+
const problems = [];
|
|
96
|
+
for (const [lex, overlay] of Object.entries(MESSAGES_BY_LEXICON)) {
|
|
97
|
+
for (const [code, msg] of Object.entries(overlay)) {
|
|
98
|
+
const spec = codeToSpec.get(code);
|
|
99
|
+
if (!spec) {
|
|
100
|
+
problems.push(`MESSAGES[${lex}].${code}: json 中无此 code(孤儿/残留)`);
|
|
101
|
+
continue;
|
|
102
|
+
}
|
|
103
|
+
const overlayPh = placeholders(msg);
|
|
104
|
+
const canonPh = placeholders(spec.message);
|
|
105
|
+
for (const p of overlayPh) {
|
|
106
|
+
if (!canonPh.has(p)) {
|
|
107
|
+
problems.push(`MESSAGES[${lex}].${code}: 占位符 {${p}} 不在 json 规范消息中(旧翻译漂移?)`);
|
|
108
|
+
}
|
|
109
|
+
}
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
for (const [lex, overlay] of Object.entries(HELP_BY_LEXICON)) {
|
|
113
|
+
for (const code of Object.keys(overlay)) {
|
|
114
|
+
if (!codeToSpec.has(code)) {
|
|
115
|
+
problems.push(`HELP[${lex}].${code}: json 中无此 code(孤儿/残留)`);
|
|
116
|
+
}
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
assert.deepEqual(problems, [], `overlay 一致性问题:\n${problems.join('\n')}`);
|
|
120
|
+
});
|
|
121
|
+
it('本地化 overlay 的 E102/E104 语义符合裁决(防旧 DUPLICATE_SYMBOL 语义回滚到 E102)', () => {
|
|
122
|
+
// 钉死裁决:E102 归 MULTIPLE_ENTRY_RULES(关于 @entry),E104 归 DUPLICATE_SYMBOL。
|
|
123
|
+
// 仅测 orphan code 不够——必须显式断言语义,否则把 E102 help 回滚成旧文案仍会绿。
|
|
124
|
+
const help = HELP_BY_LEXICON['zh-CN'] ?? {};
|
|
125
|
+
if (help['E102'] !== undefined) {
|
|
126
|
+
assert.match(help['E102'], /@entry/, 'E102 help 应关于 @entry Rule(MULTIPLE_ENTRY_RULES)');
|
|
127
|
+
assert.doesNotMatch(help['E102'], /选择不同的名称/, 'E102 不应残留旧 DUPLICATE_SYMBOL 语义');
|
|
128
|
+
}
|
|
129
|
+
if (help['E104'] !== undefined) {
|
|
130
|
+
assert.match(help['E104'], /重复/, 'E104 help 应关于重复符号(DUPLICATE_SYMBOL)');
|
|
131
|
+
}
|
|
132
|
+
});
|
|
133
|
+
it('ts 源 json 与 Java 仓 resources 副本 byte-identical(跨仓同源)', () => {
|
|
134
|
+
// 依赖 aster-lang-ts 与 aster-lang-core 并列 checkout;若 Java 仓不在旁则跳过
|
|
135
|
+
// (CI 单仓场景不误报,跨仓 checkout 时强制两份 json 逐字节一致)。
|
|
136
|
+
const javaCopy = resolve(REPO_ROOT, '..', 'aster-lang-core/src/test/resources/diagnostics/error_codes.json');
|
|
137
|
+
let javaBytes;
|
|
138
|
+
try {
|
|
139
|
+
javaBytes = readFileSync(javaCopy);
|
|
140
|
+
}
|
|
141
|
+
catch {
|
|
142
|
+
// Java 仓未并列 checkout:跳过跨仓校验(Java 侧 ErrorCodeParityTest 仍会独立守门)。
|
|
143
|
+
return;
|
|
144
|
+
}
|
|
145
|
+
const tsBytes = readFileSync(JSON_PATH);
|
|
146
|
+
assert.ok(tsBytes.equals(javaBytes), 'shared/error_codes.json 与 aster-lang-core 副本必须 byte-identical——请同步两份副本');
|
|
147
|
+
});
|
|
148
|
+
});
|
|
149
|
+
//# sourceMappingURL=error-codes-parity.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"error-codes-parity.test.js","sourceRoot":"","sources":["../../../../test/unit/diagnostics/error-codes-parity.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,EACL,mBAAmB,EACnB,eAAe,GAChB,MAAM,qDAAqD,CAAC;AAE7D,gDAAgD;AAChD,sDAAsD;AACtD,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAChC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC;AAUnE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAA6B,CAAC;AAEtF,QAAQ,CAAC,+DAA+D,EAAE,GAAG,EAAE;IAC7E,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,sDAAsD;QACtD,gDAAgD;QAChD,mBAAmB;QACnB,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAc,CAAC,CACzD,CAAC;QACF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,EAAE,mBAAmB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,EAAE,mBAAmB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,2DAA2D;QAC3D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;YAC9C,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAc,EAAE;gBAC/B,IAAI,EAAE,CAAC,CAAC,IAAc;gBACtB,QAAQ,EAAE,CAAC,CAAC,QAAkB;gBAC9B,QAAQ,EAAE,CAAC,CAAC,QAAkB;gBAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,yBAAyB,CAAC,CAAC;gBAC/D,SAAS;YACX,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,CAAU,EAAE,CAAC;gBACzE,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChC,UAAU,CAAC,IAAI,CACb,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAC3G,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,WAAW,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,EAAE,YAAY,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAc,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,EAAE,8BAA8B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC;QAC1F,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,wBAAwB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,gCAAgC,CAAC,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,0BAA0B,CAAC,CAAC;QAClF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,2DAA2D;QAC3D,6CAA6C;QAC7C,qDAAqD;QACrD,oDAAoD;QACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAEzE,MAAM,YAAY,GAAG,CAAC,CAAS,EAAe,EAAE,CAC9C,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QAEzD,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACjE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,QAAQ,CAAC,IAAI,CAAC,YAAY,GAAG,KAAK,IAAI,wBAAwB,CAAC,CAAC;oBAChE,SAAS;gBACX,CAAC;gBACD,MAAM,SAAS,GAAG,YAAY,CAAC,GAAa,CAAC,CAAC;gBAC9C,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC3C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;oBAC1B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBACpB,QAAQ,CAAC,IAAI,CACX,YAAY,GAAG,KAAK,IAAI,UAAU,CAAC,yBAAyB,CAC7D,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;YAC7D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,QAAQ,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,IAAI,wBAAwB,CAAC,CAAC;gBAC9D,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,EAAE,mBAAmB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,uEAAuE;QACvE,uDAAuD;QACvD,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,QAAQ,EAAE,iDAAiD,CAAC,CAAC;YACzF,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,SAAS,EAAE,gCAAgC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,IAAI,EAAE,qCAAqC,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,gEAAgE;QAChE,6CAA6C;QAC7C,MAAM,QAAQ,GAAG,OAAO,CACtB,SAAS,EACT,IAAI,EACJ,iEAAiE,CAClE,CAAC;QACF,IAAI,SAAiB,CAAC;QACtB,IAAI,CAAC;YACH,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC;YACP,gEAAgE;YAChE,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CACP,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EACzB,wEAAwE,CACzE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -126,6 +126,49 @@ describe('effect_inference 推断', () => {
|
|
|
126
126
|
const diagnostics = runInference([fetcher]);
|
|
127
127
|
assert.ok(findDiagnostic(diagnostics, "E205" /* ErrorCode.EFF_INFER_MISSING_IO */, 'fetchData'));
|
|
128
128
|
});
|
|
129
|
+
// ── 未知 builtin 效果告警(issue #90)───────────────────────────────
|
|
130
|
+
// 此前:既非本地函数、无导入效果签名、不匹配任何前缀的 builtin → localEffects 为空
|
|
131
|
+
// → 被**静默推断为 pure**。一个真做网络请求但名为 Webhook.post 的 builtin 因此
|
|
132
|
+
// 不会触发 EFF_INFER_MISSING_IO,下游按推断效果集做的能力门禁也看不见它。
|
|
133
|
+
// 现改为显式 warning:pure 必须是断言,而不是"没匹配上前缀"的默认值。
|
|
134
|
+
it('#90: 未知 builtin 不再被静默当作 pure,应报 E212 warning', () => {
|
|
135
|
+
const f = makeFunc({
|
|
136
|
+
name: 'callsWebhook',
|
|
137
|
+
body: makeBlock([makeReturn(makeCall('Webhook.post'))]),
|
|
138
|
+
});
|
|
139
|
+
const diagnostics = runInference([f]);
|
|
140
|
+
assert.ok(findDiagnostic(diagnostics, "E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */, 'callsWebhook'), '未知 builtin 必须产生 E212 警告');
|
|
141
|
+
const diag = diagnostics.find(d => d.code === "E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */);
|
|
142
|
+
assert.equal(diag?.severity, 'warning', 'E212 是 warning 而非 error');
|
|
143
|
+
assert.equal((diag?.data).builtin, 'Webhook.post');
|
|
144
|
+
});
|
|
145
|
+
it('#90 反向守卫:已知纯 stdlib(Text./List./Map.)不得告警', () => {
|
|
146
|
+
for (const builtin of ['Text.concat', 'List.map', 'Map.get', 'Decimal.add']) {
|
|
147
|
+
const f = makeFunc({
|
|
148
|
+
name: 'pureCall',
|
|
149
|
+
body: makeBlock([makeReturn(makeCall(builtin))]),
|
|
150
|
+
});
|
|
151
|
+
const diagnostics = runInference([f]);
|
|
152
|
+
assert.ok(!findDiagnostic(diagnostics, "E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */, 'pureCall'), `${builtin} 属已知纯 stdlib,不应告警`);
|
|
153
|
+
}
|
|
154
|
+
});
|
|
155
|
+
it('#90 反向守卫:已知 IO 前缀走原路径,不额外报 E212', () => {
|
|
156
|
+
const f = makeFunc({
|
|
157
|
+
name: 'fetchKnown',
|
|
158
|
+
body: makeBlock([makeReturn(makeCall('Http.get'))]),
|
|
159
|
+
});
|
|
160
|
+
const diagnostics = runInference([f]);
|
|
161
|
+
assert.ok(findDiagnostic(diagnostics, "E205" /* ErrorCode.EFF_INFER_MISSING_IO */, 'fetchKnown'));
|
|
162
|
+
assert.ok(!findDiagnostic(diagnostics, "E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */, 'fetchKnown'), '匹配到已知前缀就不算未知');
|
|
163
|
+
});
|
|
164
|
+
it('#90 反向守卫:裸名调用(无命名空间)不告警,避免与未定义函数诊断重复', () => {
|
|
165
|
+
const f = makeFunc({
|
|
166
|
+
name: 'callsBare',
|
|
167
|
+
body: makeBlock([makeReturn(makeCall('someHelper'))]),
|
|
168
|
+
});
|
|
169
|
+
const diagnostics = runInference([f]);
|
|
170
|
+
assert.ok(!findDiagnostic(diagnostics, "E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */, 'callsBare'), '裸名多为语言内建或未定义函数,后者已有专门诊断');
|
|
171
|
+
});
|
|
129
172
|
it('内置 CPU 调用缺失声明应报错', () => {
|
|
130
173
|
const compute = makeFunc({
|
|
131
174
|
name: 'heavyCompute',
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effect-inference.test.js","sourceRoot":"","sources":["../../../../test/unit/effect/effect-inference.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE/C,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAKtE,IAAI,YAA4B,CAAC;AACjC,IAAI,OAAO,GAAG,EAAE,CAAC;AACjB,IAAI,iBAAiB,GAAG,EAAE,CAAC;AAE3B,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAChE,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAG9C,KAAK,UAAU,qBAAqB,CAAC,SAAiB;IAEpD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,0CAA0C,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAA8C,CAAC;AACvE,CAAC;AAED,MAAM,CAAC,KAAK,IAAI,EAAE;IAChB,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACtD,MAAM,aAAa,GAAG;QACpB,QAAQ,EAAE;YACR,EAAE,EAAE;gBACF,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC;gBAC9D,GAAG,EAAE,CAAC,KAAK,CAAC;gBACZ,KAAK,EAAE,EAAE;gBACT,OAAO,EAAE,CAAC,iBAAiB,CAAC;gBAC5B,IAAI,EAAE,EAAE;aACT;YACD,GAAG,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;YAC/B,EAAE,EAAE,EAAE;SACP;KACF,CAAC;IACF,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,UAAU,CAAC;IAC7C,iBAAiB,GAAG,UAAU,CAAC;IAC/B,aAAa,CAAC,eAAe,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,0CAA0C,CAAC,CAAC;IACrE,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,KAAK,CAAC,GAAG,EAAE;IACT,aAAa,CAAC,eAAe,EAAE,CAAC;IAChC,OAAO,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;IACvC,IAAI,OAAO,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO;QACL,IAAI,EAAE,GAAG,KAAK,QAAQ;QACtB,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,OAA0B,EAAE;IAC1D,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,IAAI;QACJ,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAqB;IACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,IAAqB;IAClD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,SAAS,CAAC,UAA4B;IAC7C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB;IAClC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,SAAS;QAClB,GAAG,EAAE,SAAS;QACd,IAAI;KACL,CAAC;AACJ,CAAC;AAQD,SAAS,QAAQ,CAAC,EAAE,IAAI,EAAE,eAAe,GAAG,EAAE,EAAE,IAAI,EAAe;IACjE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,eAAe;QACxB,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,KAAK;QACzB,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI,IAAI,SAAS,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAkB;IACrC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,uBAAuB;QAC7B,KAAK,EAAE,KAAK;KACb,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB,EAAE,OAA6B;IACrE,MAAM,OAAO,GAAG,OAAO,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,OAAO,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAgB,EAAE,IAAe,EAAE,QAAgB;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,IAA2C,CAAC;IACjE,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAC5B,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CACrB,WAAuC,EACvC,IAAe,EACf,QAAgB;IAEhB,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,WAAW,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,gDAAmC,cAAc,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC;YACzB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;SACrD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,WAAW,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,gBAAgB;YACtB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,SAAS,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,+CAAkC,gBAAgB,CAAC,EAAE,KAAK,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SAClD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,OAAO,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,+CAAkC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SAClD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SAClD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,QAAQ,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,MAAM,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC;gBACd,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;gBACrC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;aAC7B,CAAC;SACH,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,OAAO,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,MAAM,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC;gBACd,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;gBACrC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;aAC7B,CAAC;SACH,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,OAAO,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,OAAO,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS,CAAC;gBACd,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;gBACrC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;aAC7B,CAAC;SACH,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,+CAAkC,MAAM,CAAC,CAAC,CAAC;QAC3G,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,WAAW;YACjB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,SAAS,GAAG,QAAQ,CAAC;YACzB,IAAI,EAAE,aAAa;YACnB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SACzC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,iDAAoC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC9G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC;YACxB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,IAAI,EAAE,aAAa;YACnB,eAAe,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC;YAC7B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;SACtD,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;QACzD,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;QAC9F,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAE5C,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,qGAA2E,CAAC,CAAC;IAC7G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1C,IAAY,CAAC,YAAY,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAY,CAAC,eAAe,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAoB,CAAC,CAAC;QAErF,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,gDAAmC,SAAS,CAAC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7C,OAAe,CAAC,YAAY,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,OAAe,CAAC,eAAe,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAoB,CAAC,CAAC;QACvF,OAAe,CAAC,IAAI,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QAExE,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,gDAAmC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,EAAE,mBAAmB;YACzB,eAAe,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC;YAC7B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SACzD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;SAC7D,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS,CAAC;gBACd,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;gBACtC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACxC,UAAU,CAAC,SAAS,CAAC;aACtB,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACxE,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC;QAC7F,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAE1C,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,2FAAiE,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QAEjE,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,gDAAmC,gBAAgB,CAAC,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,QAAQ,CAAC;YACxB,IAAI,EAAE,sBAAsB;YAC5B,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;SAC7D,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAE7D,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,cAAc,CAAC,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,0BAA0B,CAAC,CAAC;QACvE,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;QACzE,EAAE,CAAC,aAAa,CACd,eAAe,EACf,IAAI,CAAC,SAAS,CAAC;YACb,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,OAAO,CAAC;oBACf,GAAG,EAAE,EAAE;oBACP,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,EAAE;iBACT;gBACD,GAAG,EAAE,EAAE;gBACP,EAAE,EAAE,EAAE;aACP;SACF,CAAC,EACF,MAAM,CACP,CAAC;QACF,EAAE,CAAC,aAAa,CACd,gBAAgB,EAChB,IAAI,CAAC,SAAS,CAAC;YACb,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,aAAa,CAAC;oBACrB,GAAG,EAAE,EAAE;oBACP,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,EAAE;iBACT;gBACD,GAAG,EAAE,CAAC,WAAW,CAAC;gBAClB,EAAE,EAAE,EAAE;aACP;SACF,CAAC,EACF,MAAM,CACP,CAAC;QAEF,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;QAEvD,IAAI,CAAC;YACH,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,eAAe,CAAC;YAClD,aAAa,CAAC,eAAe,EAAE,CAAC;YAChC,MAAM,WAAW,GAAG,MAAM,qBAAqB,CAAC,eAAe,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC7E,MAAM,gBAAgB,GAAG,WAAW,CAAC,YAAY,CAC/C,WAAW,CAAC;gBACV,QAAQ,CAAC;oBACP,IAAI,EAAE,oBAAoB;oBAC1B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACxD,CAAC;aACH,CAAC,CACH,CAAC;YACF,MAAM,CAAC,KAAK,CACV,cAAc,CAAC,gBAAgB,gDAAmC,oBAAoB,CAAC,EACvF,KAAK,CACN,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,gBAAgB,CAAC;YACnD,aAAa,CAAC,eAAe,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,MAAM,qBAAqB,CAAC,gBAAgB,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC/E,MAAM,kBAAkB,GAAG,YAAY,CAAC,YAAY,CAClD,WAAW,CAAC;gBACV,QAAQ,CAAC;oBACP,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;iBAC5D,CAAC;gBACF,QAAQ,CAAC;oBACP,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACxD,CAAC;aACH,CAAC,CACH,CAAC;YACF,MAAM,CAAC,KAAK,CACV,cAAc,CAAC,kBAAkB,+CAAkC,eAAe,CAAC,EACnF,IAAI,CACL,CAAC;YACF,MAAM,CAAC,KAAK,CACV,cAAc,CAAC,kBAAkB,gDAAmC,mBAAmB,CAAC,EACxF,IAAI,CACL,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,cAAc,IAAI,iBAAiB,CAAC;YACtE,aAAa,CAAC,eAAe,EAAE,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,aAAa,GAAG,QAAQ,CAAC;YAC7B,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;YACxC,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SACzC,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAK,CAAC,CAAC,IAAgC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QACjH,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAExC,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,+FAAqE,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,+BAA+B;QAC/B,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QAEtC,2BAA2B;QAC3B,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,YAAY,CAAC,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,mCAAmC;QACnC,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QAEtC,4BAA4B;QAC5B,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,gDAAmC,YAAY,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,wBAAwB;QACxB,MAAM,eAAe,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,WAAW,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;QAEhD,wBAAwB;QACxB,MAAM,eAAe,GAAG,SAAS,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,WAAW,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;QAEhD,8BAA8B;QAC9B,MAAM,gBAAgB,GAAG,QAAQ,CAAC;YAChC,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SACxE,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,kBAAkB,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,0BAA0B;QAC1B,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QAEtC,gBAAgB;QAChB,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,WAAW,+CAAkC,YAAY,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"effect-inference.test.js","sourceRoot":"","sources":["../../../../test/unit/effect/effect-inference.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE/C,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAKtE,IAAI,YAA4B,CAAC;AACjC,IAAI,OAAO,GAAG,EAAE,CAAC;AACjB,IAAI,iBAAiB,GAAG,EAAE,CAAC;AAE3B,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAChE,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAG9C,KAAK,UAAU,qBAAqB,CAAC,SAAiB;IAEpD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,0CAA0C,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAA8C,CAAC;AACvE,CAAC;AAED,MAAM,CAAC,KAAK,IAAI,EAAE;IAChB,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACtD,MAAM,aAAa,GAAG;QACpB,QAAQ,EAAE;YACR,EAAE,EAAE;gBACF,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC;gBAC9D,GAAG,EAAE,CAAC,KAAK,CAAC;gBACZ,KAAK,EAAE,EAAE;gBACT,OAAO,EAAE,CAAC,iBAAiB,CAAC;gBAC5B,IAAI,EAAE,EAAE;aACT;YACD,GAAG,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;YAC/B,EAAE,EAAE,EAAE;SACP;KACF,CAAC;IACF,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,UAAU,CAAC;IAC7C,iBAAiB,GAAG,UAAU,CAAC;IAC/B,aAAa,CAAC,eAAe,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,0CAA0C,CAAC,CAAC;IACrE,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,KAAK,CAAC,GAAG,EAAE;IACT,aAAa,CAAC,eAAe,EAAE,CAAC;IAChC,OAAO,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;IACvC,IAAI,OAAO,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO;QACL,IAAI,EAAE,GAAG,KAAK,QAAQ;QACtB,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,OAA0B,EAAE;IAC1D,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,IAAI;QACJ,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAqB;IACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,IAAqB;IAClD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,SAAS,CAAC,UAA4B;IAC7C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB;IAClC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,SAAS;QAClB,GAAG,EAAE,SAAS;QACd,IAAI;KACL,CAAC;AACJ,CAAC;AAQD,SAAS,QAAQ,CAAC,EAAE,IAAI,EAAE,eAAe,GAAG,EAAE,EAAE,IAAI,EAAe;IACjE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,eAAe;QACxB,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,KAAK;QACzB,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI,IAAI,SAAS,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAkB;IACrC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,uBAAuB;QAC7B,KAAK,EAAE,KAAK;KACb,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB,EAAE,OAA6B;IACrE,MAAM,OAAO,GAAG,OAAO,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,OAAO,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAgB,EAAE,IAAe,EAAE,QAAgB;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,IAA2C,CAAC;IACjE,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAC5B,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CACrB,WAAuC,EACvC,IAAe,EACf,QAAgB;IAEhB,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,WAAW,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,+DAA+D;IAC/D,uDAAuD;IACvD,0DAA0D;IAC1D,iDAAiD;IACjD,4CAA4C;IAE5C,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CACP,cAAc,CAAC,WAAW,oDAAuC,cAAc,CAAC,EAChF,yBAAyB,CAC1B,CAAC;QACF,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,qDAAwC,CAAC,CAAC;QACnF,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,yBAAyB,CAAC,CAAC;QACnE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,IAAgC,CAAA,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,KAAK,MAAM,OAAO,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC;YAC5E,MAAM,CAAC,GAAG,QAAQ,CAAC;gBACjB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;aACjD,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CACP,CAAC,cAAc,CAAC,WAAW,oDAAuC,UAAU,CAAC,EAC7E,GAAG,OAAO,mBAAmB,CAC9B,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,YAAY,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,EAAE,CACP,CAAC,cAAc,CAAC,WAAW,oDAAuC,YAAY,CAAC,EAC/E,cAAc,CACf,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC;YACjB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;SACtD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CACP,CAAC,cAAc,CAAC,WAAW,oDAAuC,WAAW,CAAC,EAC9E,yBAAyB,CAC1B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,gDAAmC,cAAc,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC;YACzB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;SACrD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,WAAW,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,gBAAgB;YACtB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,SAAS,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,+CAAkC,gBAAgB,CAAC,EAAE,KAAK,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SAClD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,OAAO,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,+CAAkC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SAClD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SAClD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,QAAQ,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,MAAM,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC;gBACd,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;gBACrC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;aAC7B,CAAC;SACH,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,OAAO,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,MAAM,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC;gBACd,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;gBACrC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;aAC7B,CAAC;SACH,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,OAAO,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,OAAO,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS,CAAC;gBACd,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;gBACrC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;aAC7B,CAAC;SACH,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,+CAAkC,MAAM,CAAC,CAAC,CAAC;QAC3G,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,WAAW;YACjB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,SAAS,GAAG,QAAQ,CAAC;YACzB,IAAI,EAAE,aAAa;YACnB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SACzC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,iDAAoC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC9G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC;YACxB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,IAAI,EAAE,aAAa;YACnB,eAAe,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC;YAC7B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;SACtD,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;QACzD,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;QAC9F,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAE5C,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,qGAA2E,CAAC,CAAC;IAC7G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1C,IAAY,CAAC,YAAY,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAY,CAAC,eAAe,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAoB,CAAC,CAAC;QAErF,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,gDAAmC,SAAS,CAAC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7C,OAAe,CAAC,YAAY,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,OAAe,CAAC,eAAe,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAoB,CAAC,CAAC;QACvF,OAAe,CAAC,IAAI,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QAExE,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,gDAAmC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,EAAE,mBAAmB;YACzB,eAAe,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC;YAC7B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC;YACpB,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SACzD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;SAC7D,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC;YACrB,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS,CAAC;gBACd,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;gBACtC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACxC,UAAU,CAAC,SAAS,CAAC;aACtB,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACxE,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC;QAC7F,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAE1C,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,2FAAiE,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QAEjE,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,gDAAmC,gBAAgB,CAAC,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,QAAQ,CAAC;YACxB,IAAI,EAAE,sBAAsB;YAC5B,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;SAC7D,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAE7D,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,cAAc,CAAC,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,0BAA0B,CAAC,CAAC;QACvE,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;QACzE,EAAE,CAAC,aAAa,CACd,eAAe,EACf,IAAI,CAAC,SAAS,CAAC;YACb,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,OAAO,CAAC;oBACf,GAAG,EAAE,EAAE;oBACP,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,EAAE;iBACT;gBACD,GAAG,EAAE,EAAE;gBACP,EAAE,EAAE,EAAE;aACP;SACF,CAAC,EACF,MAAM,CACP,CAAC;QACF,EAAE,CAAC,aAAa,CACd,gBAAgB,EAChB,IAAI,CAAC,SAAS,CAAC;YACb,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,aAAa,CAAC;oBACrB,GAAG,EAAE,EAAE;oBACP,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,EAAE;iBACT;gBACD,GAAG,EAAE,CAAC,WAAW,CAAC;gBAClB,EAAE,EAAE,EAAE;aACP;SACF,CAAC,EACF,MAAM,CACP,CAAC;QAEF,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;QAEvD,IAAI,CAAC;YACH,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,eAAe,CAAC;YAClD,aAAa,CAAC,eAAe,EAAE,CAAC;YAChC,MAAM,WAAW,GAAG,MAAM,qBAAqB,CAAC,eAAe,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC7E,MAAM,gBAAgB,GAAG,WAAW,CAAC,YAAY,CAC/C,WAAW,CAAC;gBACV,QAAQ,CAAC;oBACP,IAAI,EAAE,oBAAoB;oBAC1B,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACxD,CAAC;aACH,CAAC,CACH,CAAC;YACF,MAAM,CAAC,KAAK,CACV,cAAc,CAAC,gBAAgB,gDAAmC,oBAAoB,CAAC,EACvF,KAAK,CACN,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,gBAAgB,CAAC;YACnD,aAAa,CAAC,eAAe,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,MAAM,qBAAqB,CAAC,gBAAgB,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC/E,MAAM,kBAAkB,GAAG,YAAY,CAAC,YAAY,CAClD,WAAW,CAAC;gBACV,QAAQ,CAAC;oBACP,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;iBAC5D,CAAC;gBACF,QAAQ,CAAC;oBACP,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;iBACxD,CAAC;aACH,CAAC,CACH,CAAC;YACF,MAAM,CAAC,KAAK,CACV,cAAc,CAAC,kBAAkB,+CAAkC,eAAe,CAAC,EACnF,IAAI,CACL,CAAC;YACF,MAAM,CAAC,KAAK,CACV,cAAc,CAAC,kBAAkB,gDAAmC,mBAAmB,CAAC,EACxF,IAAI,CACL,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,cAAc,IAAI,iBAAiB,CAAC;YACtE,aAAa,CAAC,eAAe,EAAE,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,aAAa,GAAG,QAAQ,CAAC;YAC7B,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;YACxC,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SACzC,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAK,CAAC,CAAC,IAAgC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QACjH,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAExC,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,+FAAqE,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,+BAA+B;QAC/B,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QAEtC,2BAA2B;QAC3B,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,YAAY,CAAC,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,mCAAmC;QACnC,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QAEtC,4BAA4B;QAC5B,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,gDAAmC,YAAY,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,wBAAwB;QACxB,MAAM,eAAe,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,WAAW,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;QAEhD,wBAAwB;QACxB,MAAM,eAAe,GAAG,SAAS,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,WAAW,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;QAEhD,8BAA8B;QAC9B,MAAM,gBAAgB,GAAG,QAAQ,CAAC;YAChC,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SACxE,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,+CAAkC,kBAAkB,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,0BAA0B;QAC1B,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QAEtC,gBAAgB;QAChB,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,WAAW,+CAAkC,YAAY,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -503,5 +503,35 @@ describe('Core IR 解释器', () => {
|
|
|
503
503
|
assert.equal(result.value, null);
|
|
504
504
|
});
|
|
505
505
|
});
|
|
506
|
+
describe('裸枚举变体求值(return Gold)', () => {
|
|
507
|
+
// 回归守卫:`return <枚举变体>` 此前抛 `Undefined variable`(resolveName 不认枚举变体,
|
|
508
|
+
// 与 Java 引擎分歧)。修复后求值成枚举值,键名/顺序与 aster-lang-truffle AsterEnumValue
|
|
509
|
+
// 序列化逐字节对齐({__type:"?", _enum, value, variant, args:[]}),双引擎 eval parity 全等。
|
|
510
|
+
const enumDecl = { kind: 'Enum', name: 'Tier', variants: ['Gold', 'Silver'] };
|
|
511
|
+
it('裸变体引用求值成枚举值(对齐 Java 序列化形状)', () => {
|
|
512
|
+
const mod = mkModule([enumDecl, mkFunc('f', [], [mkReturn(mkName('Gold'))])]);
|
|
513
|
+
const result = evaluate(mod, 'f', {});
|
|
514
|
+
assert.ok(result.success);
|
|
515
|
+
assert.deepEqual(result.value, {
|
|
516
|
+
__type: '?',
|
|
517
|
+
_enum: 'Tier',
|
|
518
|
+
value: 'Gold',
|
|
519
|
+
variant: 'Gold',
|
|
520
|
+
args: [],
|
|
521
|
+
});
|
|
522
|
+
});
|
|
523
|
+
it('键顺序与 Java 一致(JSON.stringify 全等——eval parity 按此比对)', () => {
|
|
524
|
+
const mod = mkModule([enumDecl, mkFunc('f', [], [mkReturn(mkName('Silver'))])]);
|
|
525
|
+
const result = evaluate(mod, 'f', {});
|
|
526
|
+
assert.ok(result.success);
|
|
527
|
+
assert.equal(JSON.stringify(result.value), '{"__type":"?","_enum":"Tier","value":"Silver","variant":"Silver","args":[]}');
|
|
528
|
+
});
|
|
529
|
+
it('非枚举变体的未定义大写名仍抛 Undefined variable(不误吞)', () => {
|
|
530
|
+
const mod = mkModule([enumDecl, mkFunc('f', [], [mkReturn(mkName('Bronze'))])]);
|
|
531
|
+
const result = evaluate(mod, 'f', {});
|
|
532
|
+
assert.ok(!result.success);
|
|
533
|
+
assert.match(result.error ?? '', /Undefined variable 'Bronze'/);
|
|
534
|
+
});
|
|
535
|
+
});
|
|
506
536
|
});
|
|
507
537
|
//# sourceMappingURL=interpreter.test.js.map
|