@aster-cloud/aster-lang-ts 1.1.0 → 1.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +40 -0
- package/dist/scripts/generate-diagnostic-overlays.d.ts +29 -0
- package/dist/scripts/generate-diagnostic-overlays.d.ts.map +1 -0
- package/dist/scripts/generate-diagnostic-overlays.js +90 -0
- package/dist/scripts/generate-diagnostic-overlays.js.map +1 -0
- package/dist/scripts/golden.js +29 -4
- package/dist/scripts/golden.js.map +1 -1
- package/dist/scripts/verify-lexicon-sync.js +26 -0
- package/dist/scripts/verify-lexicon-sync.js.map +1 -1
- package/dist/src/ast/ast.d.ts +1 -0
- package/dist/src/ast/ast.d.ts.map +1 -1
- package/dist/src/ast/ast.js +6 -0
- package/dist/src/ast/ast.js.map +1 -1
- package/dist/src/ast/type-nodes.d.ts +25 -0
- package/dist/src/ast/type-nodes.d.ts.map +1 -0
- package/dist/src/ast/type-nodes.js +56 -0
- package/dist/src/ast/type-nodes.js.map +1 -0
- package/dist/src/browser.d.ts.map +1 -1
- package/dist/src/browser.js +3 -2
- package/dist/src/browser.js.map +1 -1
- package/dist/src/cnl-printer.d.ts.map +1 -1
- package/dist/src/cnl-printer.js +10 -9
- package/dist/src/cnl-printer.js.map +1 -1
- package/dist/src/config/lexicons/diagnostic-messages.d.ts +7 -5
- package/dist/src/config/lexicons/diagnostic-messages.d.ts.map +1 -1
- package/dist/src/config/lexicons/diagnostic-messages.js +17 -125
- package/dist/src/config/lexicons/diagnostic-messages.js.map +1 -1
- package/dist/src/config/lexicons/diagnostic-overlays.generated.d.ts +9 -0
- package/dist/src/config/lexicons/diagnostic-overlays.generated.d.ts.map +1 -0
- package/dist/src/config/lexicons/diagnostic-overlays.generated.js +615 -0
- package/dist/src/config/lexicons/diagnostic-overlays.generated.js.map +1 -0
- package/dist/src/core/core_ir.d.ts +2 -0
- package/dist/src/core/core_ir.d.ts.map +1 -1
- package/dist/src/core/core_ir.js +6 -0
- package/dist/src/core/core_ir.js.map +1 -1
- package/dist/src/frontend/resolve-declarations.d.ts.map +1 -1
- package/dist/src/frontend/resolve-declarations.js +24 -40
- package/dist/src/frontend/resolve-declarations.js.map +1 -1
- package/dist/src/lower_to_core.js +4 -0
- package/dist/src/lower_to_core.js.map +1 -1
- package/dist/src/lsp/completion.d.ts +23 -0
- package/dist/src/lsp/completion.d.ts.map +1 -1
- package/dist/src/lsp/completion.js +95 -5
- package/dist/src/lsp/completion.js.map +1 -1
- package/dist/src/lsp/diagnostics.d.ts.map +1 -1
- package/dist/src/lsp/diagnostics.js +8 -1
- package/dist/src/lsp/diagnostics.js.map +1 -1
- package/dist/src/lsp/navigation/definition.d.ts +2 -1
- package/dist/src/lsp/navigation/definition.d.ts.map +1 -1
- package/dist/src/lsp/navigation/definition.js +35 -1
- package/dist/src/lsp/navigation/definition.js.map +1 -1
- package/dist/src/lsp/parse-document.d.ts +1 -1
- package/dist/src/lsp/parse-document.d.ts.map +1 -1
- package/dist/src/lsp/parse-document.js +16 -1
- package/dist/src/lsp/parse-document.js.map +1 -1
- package/dist/src/parser/context.d.ts +3 -3
- package/dist/src/parser/context.d.ts.map +1 -1
- package/dist/src/parser/context.js +1 -1
- package/dist/src/parser/context.js.map +1 -1
- package/dist/src/parser/decl-parser.d.ts.map +1 -1
- package/dist/src/parser/decl-parser.js +7 -6
- package/dist/src/parser/decl-parser.js.map +1 -1
- package/dist/src/parser/type-parser.d.ts.map +1 -1
- package/dist/src/parser/type-parser.js +42 -0
- package/dist/src/parser/type-parser.js.map +1 -1
- package/dist/src/parser.d.ts.map +1 -1
- package/dist/src/parser.js +5 -2
- package/dist/src/parser.js.map +1 -1
- package/dist/src/typecheck/diagnostics.d.ts +10 -0
- package/dist/src/typecheck/diagnostics.d.ts.map +1 -1
- package/dist/src/typecheck/diagnostics.js +27 -0
- package/dist/src/typecheck/diagnostics.js.map +1 -1
- package/dist/src/types.d.ts +14 -0
- package/dist/src/types.d.ts.map +1 -1
- package/dist/src/types.js.map +1 -1
- package/dist/src/version.d.ts +2 -1
- package/dist/src/version.d.ts.map +1 -1
- package/dist/src/version.js +2 -1
- package/dist/src/version.js.map +1 -1
- package/dist/test/integration/scripts/typecheck-cli-repl.test.d.ts +2 -0
- package/dist/test/integration/scripts/typecheck-cli-repl.test.d.ts.map +1 -0
- package/dist/test/integration/scripts/typecheck-cli-repl.test.js +133 -0
- package/dist/test/integration/scripts/typecheck-cli-repl.test.js.map +1 -0
- package/dist/test/unit/diagnostics/diagnostic-overlays.test.d.ts +2 -0
- package/dist/test/unit/diagnostics/diagnostic-overlays.test.d.ts.map +1 -0
- package/dist/test/unit/diagnostics/diagnostic-overlays.test.js +156 -0
- package/dist/test/unit/diagnostics/diagnostic-overlays.test.js.map +1 -0
- package/dist/test/unit/diagnostics/resolution-codes.test.d.ts +1 -1
- package/dist/test/unit/diagnostics/resolution-codes.test.js +38 -25
- package/dist/test/unit/diagnostics/resolution-codes.test.js.map +1 -1
- package/dist/test/unit/formatter-corpus-roundtrip.test.js +0 -4
- package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
- package/dist/test/unit/formatter-roundtrip.test.js +84 -0
- package/dist/test/unit/formatter-roundtrip.test.js.map +1 -1
- package/dist/test/unit/frontend/resolve-declarations.test.js +59 -0
- package/dist/test/unit/frontend/resolve-declarations.test.js.map +1 -1
- package/dist/test/unit/lsp/parse-document.test.js +42 -0
- package/dist/test/unit/lsp/parse-document.test.js.map +1 -1
- package/dist/test/unit/lsp/resolution-completion.test.js +53 -0
- package/dist/test/unit/lsp/resolution-completion.test.js.map +1 -1
- package/dist/test/unit/lsp/resolution-definition.test.d.ts +2 -0
- package/dist/test/unit/lsp/resolution-definition.test.d.ts.map +1 -0
- package/dist/test/unit/lsp/resolution-definition.test.js +75 -0
- package/dist/test/unit/lsp/resolution-definition.test.js.map +1 -0
- package/dist/test/unit/parser/func-type.test.d.ts +2 -0
- package/dist/test/unit/parser/func-type.test.d.ts.map +1 -0
- package/dist/test/unit/parser/func-type.test.js +161 -0
- package/dist/test/unit/parser/func-type.test.js.map +1 -0
- package/dist/test/unit/parser/parser.test.js +11 -0
- package/dist/test/unit/parser/parser.test.js.map +1 -1
- package/package.json +2 -1
|
@@ -0,0 +1,133 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* scripts/typecheck-cli.ts 与 scripts/repl.ts 的子进程级集成测试(#248)。
|
|
3
|
+
*
|
|
4
|
+
* 两个入口此前没有任何测试;这里按用户实际调用方式运行编译产物 dist/scripts/*.js,
|
|
5
|
+
* 校验输出格式、退出码与名称解析(ADR 0051)拦截。
|
|
6
|
+
*/
|
|
7
|
+
import { describe, it, before, after } from 'node:test';
|
|
8
|
+
import assert from 'node:assert/strict';
|
|
9
|
+
import { spawnSync } from 'node:child_process';
|
|
10
|
+
import fs from 'node:fs';
|
|
11
|
+
import os from 'node:os';
|
|
12
|
+
import path from 'node:path';
|
|
13
|
+
import { fileURLToPath } from 'node:url';
|
|
14
|
+
// 编译后位于 dist/test/integration/scripts:上溯 4 级到仓库根
|
|
15
|
+
const ROOT = fileURLToPath(new URL('../../../../', import.meta.url));
|
|
16
|
+
const TYPECHECK_CLI = path.join(ROOT, 'dist', 'scripts', 'typecheck-cli.js');
|
|
17
|
+
const REPL = path.join(ROOT, 'dist', 'scripts', 'repl.js');
|
|
18
|
+
const VALID = 'Module m.\n\nRule f given x as Int, produce Int:\n Return x.\n';
|
|
19
|
+
/** y 未定义:解析通过,名称解析报 E802 */
|
|
20
|
+
const UNRESOLVED = 'Module m.\n\nRule f given x as Int, produce Int:\n Return y.\n';
|
|
21
|
+
/** 返回类型不符:类型检查报 E003 */
|
|
22
|
+
const TYPE_ERROR = 'Module m.\n\nRule f given x as Int, produce Int:\n Return "s".\n';
|
|
23
|
+
let dir = '';
|
|
24
|
+
const write = (name, content) => {
|
|
25
|
+
const p = path.join(dir, name);
|
|
26
|
+
fs.writeFileSync(p, content);
|
|
27
|
+
return p;
|
|
28
|
+
};
|
|
29
|
+
function run(script, args, options = {}) {
|
|
30
|
+
return spawnSync(process.execPath, [script, ...args], {
|
|
31
|
+
cwd: dir,
|
|
32
|
+
encoding: 'utf8',
|
|
33
|
+
input: options.input ?? '',
|
|
34
|
+
env: { ...process.env, ...options.env },
|
|
35
|
+
timeout: 30_000,
|
|
36
|
+
});
|
|
37
|
+
}
|
|
38
|
+
/** stdout 必须是单个 JSON 文档(日志走 stderr) */
|
|
39
|
+
function payloadOf(r) {
|
|
40
|
+
assert.equal(r.status, 0, r.stderr);
|
|
41
|
+
return JSON.parse(r.stdout);
|
|
42
|
+
}
|
|
43
|
+
before(() => {
|
|
44
|
+
dir = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-cli-scripts-'));
|
|
45
|
+
});
|
|
46
|
+
after(() => {
|
|
47
|
+
fs.rmSync(dir, { recursive: true, force: true });
|
|
48
|
+
});
|
|
49
|
+
describe('typecheck-cli', () => {
|
|
50
|
+
it('合法程序:输出 JSON,无诊断', () => {
|
|
51
|
+
const file = write('ok.aster', VALID);
|
|
52
|
+
const p = payloadOf(run(TYPECHECK_CLI, [file]));
|
|
53
|
+
assert.equal(p.source, file);
|
|
54
|
+
assert.deepEqual(p.diagnostics, []);
|
|
55
|
+
assert.deepEqual(p.summary, { total: 0, error: 0, warning: 0, info: 0 });
|
|
56
|
+
});
|
|
57
|
+
it('类型错误:报告诊断并汇总严重级别(退出码仍为 0,由调用方读 summary)', () => {
|
|
58
|
+
const p = payloadOf(run(TYPECHECK_CLI, [write('type.aster', TYPE_ERROR)]));
|
|
59
|
+
assert.deepEqual(p.diagnostics.map((d) => d.code), ['E003']);
|
|
60
|
+
assert.equal(p.summary.error, 1);
|
|
61
|
+
});
|
|
62
|
+
it('★名称解析失败(E8xx)只报告名称解析诊断,不再对不可信的 Core 做类型检查', () => {
|
|
63
|
+
const p = payloadOf(run(TYPECHECK_CLI, [write('unresolved.aster', UNRESOLVED)]));
|
|
64
|
+
assert.deepEqual(p.diagnostics.map((d) => d.code), ['E802']);
|
|
65
|
+
assert.match(p.diagnostics[0].message, /'y'/);
|
|
66
|
+
});
|
|
67
|
+
it('--filter-codes 只保留指定码(大小写不敏感)', () => {
|
|
68
|
+
const file = write('filter.aster', TYPE_ERROR);
|
|
69
|
+
assert.deepEqual(payloadOf(run(TYPECHECK_CLI, ['--filter-codes=e003', file])).diagnostics.map((d) => d.code), ['E003']);
|
|
70
|
+
const none = payloadOf(run(TYPECHECK_CLI, ['--filter-codes=E999', file]));
|
|
71
|
+
assert.deepEqual(none.diagnostics, []);
|
|
72
|
+
assert.equal(none.summary.total, 0);
|
|
73
|
+
});
|
|
74
|
+
it('--help 打印用法并以 0 退出;缺少文件参数打印用法并以 2 退出', () => {
|
|
75
|
+
const help = run(TYPECHECK_CLI, ['--help']);
|
|
76
|
+
assert.equal(help.status, 0);
|
|
77
|
+
assert.match(help.stdout, /typecheck-cli\.js <file\.aster>/);
|
|
78
|
+
const missing = run(TYPECHECK_CLI, []);
|
|
79
|
+
assert.equal(missing.status, 2);
|
|
80
|
+
assert.match(missing.stdout, /typecheck-cli\.js <file\.aster>/);
|
|
81
|
+
});
|
|
82
|
+
it('输入文件不存在、ASTER_CAPS 无法读取时以 1 退出并在 stderr 说明', () => {
|
|
83
|
+
const noFile = run(TYPECHECK_CLI, [path.join(dir, 'nope.aster')]);
|
|
84
|
+
assert.equal(noFile.status, 1);
|
|
85
|
+
assert.match(noFile.stderr, /nope\.aster/);
|
|
86
|
+
const badCaps = run(TYPECHECK_CLI, [write('caps.aster', VALID)], { env: { ASTER_CAPS: path.join(dir, 'missing-caps.json') } });
|
|
87
|
+
assert.equal(badCaps.status, 1);
|
|
88
|
+
assert.match(badCaps.stderr, /ASTER_CAPS/);
|
|
89
|
+
});
|
|
90
|
+
it('ASTER_CAPS 指向合法 manifest 时照常输出', () => {
|
|
91
|
+
const caps = write('caps.json', JSON.stringify({ allow: {} }));
|
|
92
|
+
const p = payloadOf(run(TYPECHECK_CLI, [write('caps-ok.aster', VALID)], { env: { ASTER_CAPS: caps } }));
|
|
93
|
+
assert.equal(p.summary.error, 0);
|
|
94
|
+
});
|
|
95
|
+
});
|
|
96
|
+
/** REPL:空行触发求值,所以每段输入必须没有内部空行 */
|
|
97
|
+
const replInput = (...chunks) => `${chunks.join('\n\n')}\n\n:q\n`;
|
|
98
|
+
const COMPACT_VALID = 'Module m.\nRule f given x as Int, produce Int:\n Return x.';
|
|
99
|
+
const COMPACT_UNRESOLVED = 'Module m.\nRule f given x as Int, produce Int:\n Return y.';
|
|
100
|
+
describe('repl', () => {
|
|
101
|
+
it('求值模块并输出 Core 伪代码,:q 正常退出', () => {
|
|
102
|
+
const r = run(REPL, [], { input: replInput(COMPACT_VALID) });
|
|
103
|
+
assert.equal(r.status, 0, r.stderr);
|
|
104
|
+
assert.match(r.stdout, /Aster REPL/);
|
|
105
|
+
assert.match(r.stdout, /func f\(x: Int\): Int = \{\s+return x\s+\}/);
|
|
106
|
+
assert.equal(r.stderr, '');
|
|
107
|
+
});
|
|
108
|
+
it(':f 切换为 JSON 输出', () => {
|
|
109
|
+
const r = run(REPL, [], { input: `:f\n${replInput(COMPACT_VALID)}` });
|
|
110
|
+
assert.equal(r.status, 0, r.stderr);
|
|
111
|
+
assert.match(r.stdout, /Formatter: off/);
|
|
112
|
+
assert.match(r.stdout, /"kind": "Module"/);
|
|
113
|
+
});
|
|
114
|
+
it('★名称解析失败(E8xx)报错且不输出 IR,之后的输入继续可用', () => {
|
|
115
|
+
const r = run(REPL, [], { input: replInput(COMPACT_UNRESOLVED, COMPACT_VALID) });
|
|
116
|
+
assert.equal(r.status, 0);
|
|
117
|
+
assert.match(r.stderr, /E802/);
|
|
118
|
+
assert.match(r.stdout, /func f\(x: Int\): Int/);
|
|
119
|
+
assert.equal((r.stdout.match(/func f/g) ?? []).length, 1, '出错的那段不应输出 IR');
|
|
120
|
+
});
|
|
121
|
+
it('词法错误按诊断格式输出位置', () => {
|
|
122
|
+
const r = run(REPL, [], { input: replInput('Module m.\nRule g, produce Text:\n Return "abc.') });
|
|
123
|
+
assert.equal(r.status, 0);
|
|
124
|
+
assert.match(r.stderr, /L002/);
|
|
125
|
+
assert.match(r.stderr, /3:10/);
|
|
126
|
+
});
|
|
127
|
+
it(':h 打印帮助;输入流结束(无 :q)也以 0 退出', () => {
|
|
128
|
+
const r = run(REPL, [], { input: ':h\n' });
|
|
129
|
+
assert.equal(r.status, 0);
|
|
130
|
+
assert.match(r.stdout, /:f {2}toggle formatter output/);
|
|
131
|
+
});
|
|
132
|
+
});
|
|
133
|
+
//# sourceMappingURL=typecheck-cli-repl.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"typecheck-cli-repl.test.js","sourceRoot":"","sources":["../../../../test/integration/scripts/typecheck-cli-repl.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAyB,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,iDAAiD;AACjD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrE,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC;AAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AAE3D,MAAM,KAAK,GAAG,iEAAiE,CAAC;AAChF,4BAA4B;AAC5B,MAAM,UAAU,GAAG,iEAAiE,CAAC;AACrF,wBAAwB;AACxB,MAAM,UAAU,GAAG,mEAAmE,CAAC;AAEvF,IAAI,GAAG,GAAG,EAAE,CAAC;AACb,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,OAAe,EAAU,EAAE;IACtD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,SAAS,GAAG,CAAC,MAAc,EAAE,IAAuB,EAAE,UAAuD,EAAE;IAC7G,OAAO,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE;QACpD,GAAG,EAAE,GAAG;QACR,QAAQ,EAAE,MAAM;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE;QAC1B,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;QACvC,OAAO,EAAE,MAAM;KAChB,CAAC,CAAC;AACL,CAAC;AAQD,uCAAuC;AACvC,SAAS,SAAS,CAAC,CAA2B;IAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAY,CAAC;AACzC,CAAC;AAED,MAAM,CAAC,GAAG,EAAE;IACV,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AACH,KAAK,CAAC,GAAG,EAAE;IACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QACxH,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,mBAAmB,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/H,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACxG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iCAAiC;AACjC,MAAM,SAAS,GAAG,CAAC,GAAG,MAAgB,EAAU,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;AACpF,MAAM,aAAa,GAAG,6DAA6D,CAAC;AACpF,MAAM,kBAAkB,GAAG,6DAA6D,CAAC;AAEzF,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;IACpB,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,4CAA4C,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,kDAAkD,CAAC,EAAE,CAAC,CAAC;QAClG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,+BAA+B,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"diagnostic-overlays.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/diagnostics/diagnostic-overlays.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,156 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 诊断译文 overlay 接入(aster-cloud/aster-lang-locales#107)。
|
|
3
|
+
*
|
|
4
|
+
* 英文基准是 shared/error_codes.json;各语言的 message/help 译文唯一来源是语言包 overlay
|
|
5
|
+
* (aster-lang-locales 的 zh/de、aster-lang-hi 的 hi),经 core exportLexicons 进入
|
|
6
|
+
* lexicons.json,再由 scripts/generate-diagnostic-overlays.ts 生成
|
|
7
|
+
* src/config/lexicons/diagnostic-overlays.generated.ts。本文件校验:
|
|
8
|
+
* - 生成表经 registerOverlayDiagnostic* 注册,且每个语言覆盖全部错误码、占位符与英文一致;
|
|
9
|
+
* - 生成脚本的渲染规则(确定性、只收诊断 overlay、拒绝畸形输入);
|
|
10
|
+
* - localizeDiagnostics 与浏览器入口 compile / compileAndTypecheck 输出本地化诊断。
|
|
11
|
+
*/
|
|
12
|
+
import { describe, it } from 'node:test';
|
|
13
|
+
import assert from 'node:assert/strict';
|
|
14
|
+
import { readFileSync } from 'node:fs';
|
|
15
|
+
import { resolve } from 'node:path';
|
|
16
|
+
import { compile, compileAndTypecheck, DE_DE, EN_US, ZH_CN } from '../../../src/browser.js';
|
|
17
|
+
import { HI_IN } from '../../../src/config/lexicons/hi-IN.js';
|
|
18
|
+
import { DIAGNOSTIC_OVERLAYS } from '../../../src/config/lexicons/diagnostic-overlays.generated.js';
|
|
19
|
+
import { HELP_BY_LEXICON, MESSAGES_BY_LEXICON } from '../../../src/config/lexicons/diagnostic-messages.js';
|
|
20
|
+
import { localizeDiagnostics } from '../../../src/typecheck/diagnostics.js';
|
|
21
|
+
import { renderDiagnosticOverlays } from '../../../scripts/generate-diagnostic-overlays.js';
|
|
22
|
+
const TABLE = Object.values(JSON.parse(readFileSync(resolve(process.cwd(), 'shared', 'error_codes.json'), 'utf8')));
|
|
23
|
+
const LOCALIZED = ['de-DE', 'hi-IN', 'zh-CN'];
|
|
24
|
+
function placeholders(text) {
|
|
25
|
+
return [...new Set([...text.matchAll(/\{(\w+)\}/g)].map((m) => m[1]))].sort();
|
|
26
|
+
}
|
|
27
|
+
function coverageProblems(texts, pick) {
|
|
28
|
+
if (!texts)
|
|
29
|
+
return ['未注册'];
|
|
30
|
+
const problems = [];
|
|
31
|
+
for (const spec of TABLE) {
|
|
32
|
+
const text = texts[spec.code];
|
|
33
|
+
if (!text || text.trim() === '') {
|
|
34
|
+
problems.push(`${spec.code}: 缺少译文`);
|
|
35
|
+
}
|
|
36
|
+
else if (placeholders(text).join() !== placeholders(pick(spec)).join()) {
|
|
37
|
+
problems.push(`${spec.code}: 占位符 ${placeholders(text)} 与英文 ${placeholders(pick(spec))} 不一致`);
|
|
38
|
+
}
|
|
39
|
+
}
|
|
40
|
+
const codes = new Set(TABLE.map((s) => s.code));
|
|
41
|
+
for (const code of Object.keys(texts))
|
|
42
|
+
if (!codes.has(code))
|
|
43
|
+
problems.push(`${code}: 码表中不存在`);
|
|
44
|
+
return problems;
|
|
45
|
+
}
|
|
46
|
+
describe('诊断译文 overlay:生成表与注册', () => {
|
|
47
|
+
it('生成表恰好包含 de-DE、hi-IN、zh-CN,且全部注册到 MESSAGES/HELP_BY_LEXICON', () => {
|
|
48
|
+
assert.deepEqual(Object.keys(DIAGNOSTIC_OVERLAYS).sort(), [...LOCALIZED]);
|
|
49
|
+
for (const id of LOCALIZED) {
|
|
50
|
+
assert.deepEqual(MESSAGES_BY_LEXICON[id], DIAGNOSTIC_OVERLAYS[id]?.diagnosticMessages?.messages, `${id} messages`);
|
|
51
|
+
assert.deepEqual(HELP_BY_LEXICON[id], DIAGNOSTIC_OVERLAYS[id]?.diagnosticHelp?.help, `${id} help`);
|
|
52
|
+
}
|
|
53
|
+
assert.equal(MESSAGES_BY_LEXICON['en-US'], undefined, 'en-US 使用码表英文,不注册 overlay');
|
|
54
|
+
});
|
|
55
|
+
for (const id of LOCALIZED) {
|
|
56
|
+
it(`${id}:message 覆盖全部 ${TABLE.length} 个错误码且占位符与英文一致`, () => {
|
|
57
|
+
assert.deepEqual(coverageProblems(MESSAGES_BY_LEXICON[id], (s) => s.message), []);
|
|
58
|
+
});
|
|
59
|
+
it(`${id}:help 覆盖全部错误码且占位符与英文一致`, () => {
|
|
60
|
+
assert.deepEqual(coverageProblems(HELP_BY_LEXICON[id], (s) => s.help), []);
|
|
61
|
+
});
|
|
62
|
+
}
|
|
63
|
+
});
|
|
64
|
+
describe('generate-diagnostic-overlays 渲染', () => {
|
|
65
|
+
const lexiconsJson = {
|
|
66
|
+
lexicons: {
|
|
67
|
+
'zz-ZZ': { overlays: { diagnosticHelp: { version: 1, help: { E001: "z'help" } } } },
|
|
68
|
+
'aa-AA': {
|
|
69
|
+
overlays: {
|
|
70
|
+
lspUiTexts: { version: 1, texts: { a: 'b' } },
|
|
71
|
+
diagnosticMessages: { version: 1, messages: { E001: 'a {expected} {actual}' } },
|
|
72
|
+
diagnosticHelp: { version: 1, help: { E001: 'a-help' } },
|
|
73
|
+
},
|
|
74
|
+
},
|
|
75
|
+
'en-US': { overlays: { lspUiTexts: { version: 1, texts: {} } } },
|
|
76
|
+
'xx-XX': {},
|
|
77
|
+
},
|
|
78
|
+
};
|
|
79
|
+
it('按语言 id 排序,只收诊断 overlay,跳过没有诊断 overlay 的语言', () => {
|
|
80
|
+
const out = renderDiagnosticOverlays(lexiconsJson);
|
|
81
|
+
assert.ok(out.indexOf("'aa-AA'") < out.indexOf("'zz-ZZ'"));
|
|
82
|
+
assert.ok(!out.includes('en-US') && !out.includes('xx-XX') && !out.includes('lspUiTexts'));
|
|
83
|
+
assert.ok(out.includes('"z\'help"'), '值以 JSON 字面量写出');
|
|
84
|
+
assert.equal(renderDiagnosticOverlays(lexiconsJson), out, '输出确定');
|
|
85
|
+
});
|
|
86
|
+
it('译文不是字符串时拒绝生成', () => {
|
|
87
|
+
const bad = { lexicons: { 'aa-AA': { overlays: { diagnosticMessages: { version: 1, messages: { E001: 1 } } } } } };
|
|
88
|
+
assert.throws(() => renderDiagnosticOverlays(bad), /aa-AA.*diagnosticMessages.*E001/);
|
|
89
|
+
});
|
|
90
|
+
it('译文节点缺失时拒绝生成', () => {
|
|
91
|
+
const bad = { lexicons: { 'aa-AA': { overlays: { diagnosticHelp: { version: 1 } } } } };
|
|
92
|
+
assert.throws(() => renderDiagnosticOverlays(bad), /aa-AA.*diagnosticHelp/);
|
|
93
|
+
});
|
|
94
|
+
});
|
|
95
|
+
describe('localizeDiagnostics', () => {
|
|
96
|
+
const english = {
|
|
97
|
+
severity: 'error',
|
|
98
|
+
code: "E801" /* ErrorCode.UNRESOLVED_FIELD */,
|
|
99
|
+
message: "Cannot resolve field 'gewicht' in FIELD_REF position",
|
|
100
|
+
help: 'Check the field name against the data type declaration or the active vocabulary.',
|
|
101
|
+
data: { written: 'gewicht', role: 'FIELD_REF', candidates: '' },
|
|
102
|
+
};
|
|
103
|
+
it('按诊断参数用目标语言模板重新渲染 message,并替换 help', () => {
|
|
104
|
+
const [de] = localizeDiagnostics([english], DE_DE);
|
|
105
|
+
assert.equal(de.message, "Feld 'gewicht' kann an Position FIELD_REF nicht aufgelöst werden");
|
|
106
|
+
assert.equal(de.help, DIAGNOSTIC_OVERLAYS['de-DE'].diagnosticHelp.help['E801']);
|
|
107
|
+
const [hi] = localizeDiagnostics([english], HI_IN);
|
|
108
|
+
assert.equal(hi.message, "FIELD_REF स्थान पर फ़ील्ड 'gewicht' हल नहीं हो सका");
|
|
109
|
+
assert.equal(english.message, "Cannot resolve field 'gewicht' in FIELD_REF position", '不修改输入');
|
|
110
|
+
});
|
|
111
|
+
it('参数不足以填满模板时保留原 message,只替换 help', () => {
|
|
112
|
+
const noData = { ...english };
|
|
113
|
+
delete noData.data;
|
|
114
|
+
const [zh] = localizeDiagnostics([noData], ZH_CN);
|
|
115
|
+
assert.equal(zh.message, english.message);
|
|
116
|
+
assert.equal(zh.help, HELP_BY_LEXICON['zh-CN']['E801']);
|
|
117
|
+
});
|
|
118
|
+
it('原诊断没有 help 时不补 help', () => {
|
|
119
|
+
const noHelp = { ...english };
|
|
120
|
+
delete noHelp.help;
|
|
121
|
+
const [zh] = localizeDiagnostics([noHelp], ZH_CN);
|
|
122
|
+
assert.equal(zh.help, undefined);
|
|
123
|
+
assert.equal(zh.message, "无法在 FIELD_REF 位置解析字段 'gewicht'");
|
|
124
|
+
});
|
|
125
|
+
it('无 lexicon 或 en-US 时原样返回', () => {
|
|
126
|
+
assert.deepEqual(localizeDiagnostics([english], undefined), [english]);
|
|
127
|
+
assert.deepEqual(localizeDiagnostics([english], EN_US), [english]);
|
|
128
|
+
});
|
|
129
|
+
});
|
|
130
|
+
describe('浏览器入口输出本地化诊断(cloud 编辑器路径)', () => {
|
|
131
|
+
const unresolvedField = 'Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n\n' +
|
|
132
|
+
'Regel f gegeben x als Fahrer, liefert Ganzzahl:\n gib zurueck x.gewicht.\n';
|
|
133
|
+
it('compile 的名称解析诊断按 lexicon 本地化', () => {
|
|
134
|
+
const result = compile(unresolvedField, { lexicon: DE_DE });
|
|
135
|
+
const e801 = result.resolutionDiagnostics?.find((d) => d.code === "E801" /* ErrorCode.UNRESOLVED_FIELD */);
|
|
136
|
+
assert.ok(e801, JSON.stringify(result.resolutionDiagnostics));
|
|
137
|
+
assert.match(e801.message, /^Feld 'gewicht' kann an Position \w+ nicht aufgelöst werden$/);
|
|
138
|
+
assert.equal(e801.help, HELP_BY_LEXICON['de-DE']['E801']);
|
|
139
|
+
});
|
|
140
|
+
it('compileAndTypecheck 的类型检查诊断按 lexicon 本地化', () => {
|
|
141
|
+
const source = readFileSync(resolve(process.cwd(), 'test', 'fixtures', 'e104-shadowing', 'auto-insurance.de.aster'), 'utf8');
|
|
142
|
+
const result = compileAndTypecheck(source, { lexicon: DE_DE });
|
|
143
|
+
const e104 = result.typeErrors.filter((d) => d.code === "E104" /* ErrorCode.DUPLICATE_SYMBOL */);
|
|
144
|
+
assert.ok(e104.length > 0, JSON.stringify(result.typeErrors));
|
|
145
|
+
for (const d of e104)
|
|
146
|
+
assert.match(d.message, /ist in diesem Gültigkeitsbereich bereits definiert\.$/);
|
|
147
|
+
});
|
|
148
|
+
it('英文源码不带 lexicon 时诊断保持英文', () => {
|
|
149
|
+
const src = 'Module m.\n\nRule r given x as Int, produce Int:\n Let x be 1.\n Return x.\n';
|
|
150
|
+
const result = compileAndTypecheck(src);
|
|
151
|
+
const e104 = result.typeErrors.find((d) => d.code === "E104" /* ErrorCode.DUPLICATE_SYMBOL */);
|
|
152
|
+
assert.ok(e104);
|
|
153
|
+
assert.match(e104.message, /already defined in this scope/);
|
|
154
|
+
});
|
|
155
|
+
});
|
|
156
|
+
//# sourceMappingURL=diagnostic-overlays.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"diagnostic-overlays.test.js","sourceRoot":"","sources":["../../../../test/unit/diagnostics/diagnostic-overlays.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,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;AAEpC,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAC5F,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,+DAA+D,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,qDAAqD,CAAC;AAC3G,OAAO,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAG5E,OAAO,EAAE,wBAAwB,EAAE,MAAM,kDAAkD,CAAC;AAQ5F,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CACzB,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,kBAAkB,CAAC,EAAE,MAAM,CAAC,CAAyB,CAC/G,CAAC;AACF,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAU,CAAC;AAEvD,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA4D,EAAE,IAAyB;IAC/G,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACzE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,YAAY,CAAC,IAAI,CAAC,QAAQ,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC;IAC9F,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;QAC1E,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,SAAS,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACnH,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACrG,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,0BAA0B,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,CAAC,MAAM,gBAAgB,EAAE,GAAG,EAAE;YAC1D,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,MAAM,YAAY,GAAG;QACnB,QAAQ,EAAE;YACR,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE;YACnF,OAAO,EAAE;gBACP,QAAQ,EAAE;oBACR,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE;oBAC7C,kBAAkB,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,EAAE;oBAC/E,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;iBACzD;aACF;YACD,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE;YAChE,OAAO,EAAE,EAAE;SACZ;KACF,CAAC;IAEF,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAG,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,kBAAkB,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACnH,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,EAAE,iCAAiC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,GAAG,GAAG,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACxF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,EAAE,uBAAuB,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,MAAM,OAAO,GAAwB;QACnC,QAAQ,EAAE,OAAO;QACjB,IAAI,yCAA4B;QAChC,OAAO,EAAE,sDAAsD;QAC/D,IAAI,EAAE,kFAAkF;QACxF,IAAI,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE;KAChE,CAAC;IAEF,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,OAAO,EAAE,kEAAkE,CAAC,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,IAAI,EAAE,mBAAmB,CAAC,OAAO,CAAE,CAAC,cAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,OAAO,EAAE,oDAAoD,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,sDAAsD,EAAE,OAAO,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,IAAI,CAAC;QACnB,MAAM,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,IAAI,CAAC;QACnB,MAAM,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,OAAO,EAAE,gCAAgC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,eAAe,GACnB,0DAA0D;QAC1D,6EAA6E,CAAC;IAEhF,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,4CAA+B,CAAC,CAAC;QAC9F,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,8DAA8D,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,yBAAyB,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7H,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,4CAA+B,CAAC,CAAC;QACpF,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,uDAAuD,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG,gFAAgF,CAAC;QAC7F,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,4CAA+B,CAAC,CAAC;QAClF,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,+BAA+B,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,33 +1,38 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* 名称解析诊断码 E800–E807 / W800–W801(ADR 0051)。
|
|
3
|
-
* 校验码值、严重级别、英文文案约束与中文
|
|
3
|
+
* 校验码值、严重级别、英文文案约束与中文 overlay 覆盖(全语言覆盖见 diagnostic-overlays.test.ts)。
|
|
4
4
|
*/
|
|
5
5
|
import { describe, it } from 'node:test';
|
|
6
6
|
import assert from 'node:assert/strict';
|
|
7
7
|
import { readFileSync } from 'node:fs';
|
|
8
|
-
import {
|
|
8
|
+
import { fileURLToPath } from 'node:url';
|
|
9
9
|
import { ERROR_MESSAGES, ERROR_METADATA } from '../../../src/diagnostics/error_codes.js';
|
|
10
10
|
import { MESSAGES_BY_LEXICON, HELP_BY_LEXICON } from '../../../src/config/lexicons/diagnostic-messages.js';
|
|
11
|
+
const NAME_ROLE = ['role', 'written'];
|
|
12
|
+
const AMBIGUOUS = ['candidates', 'role', 'written'];
|
|
11
13
|
const EXPECTED = [
|
|
12
|
-
{ code: 'E800', severity: 'error' },
|
|
13
|
-
{ code: 'E801', severity: 'error' },
|
|
14
|
-
{ code: 'E802', severity: 'error' },
|
|
15
|
-
{ code: 'E803', severity: 'error' },
|
|
16
|
-
{ code: 'E804', severity: 'error' },
|
|
17
|
-
{ code: 'E805', severity: 'error' },
|
|
18
|
-
{ code: 'E806', severity: 'error' },
|
|
19
|
-
{ code: 'E807', severity: 'error' },
|
|
20
|
-
{ code: 'W800', severity: 'warning' },
|
|
21
|
-
{ code: 'W801', severity: 'warning' },
|
|
14
|
+
{ code: 'E800', name: 'UNRESOLVED_TYPE', severity: 'error', placeholders: NAME_ROLE },
|
|
15
|
+
{ code: 'E801', name: 'UNRESOLVED_FIELD', severity: 'error', placeholders: NAME_ROLE },
|
|
16
|
+
{ code: 'E802', name: 'UNRESOLVED_NAME', severity: 'error', placeholders: NAME_ROLE },
|
|
17
|
+
{ code: 'E803', name: 'UNRESOLVED_PATTERN', severity: 'error', placeholders: NAME_ROLE },
|
|
18
|
+
{ code: 'E804', name: 'AMBIGUOUS_NAME', severity: 'error', placeholders: AMBIGUOUS },
|
|
19
|
+
{ code: 'E805', name: 'AMBIGUOUS_FIELD', severity: 'error', placeholders: AMBIGUOUS },
|
|
20
|
+
{ code: 'E806', name: 'AMBIGUOUS_PATTERN', severity: 'error', placeholders: AMBIGUOUS },
|
|
21
|
+
{ code: 'E807', name: 'DUPLICATE_DECLARATION', severity: 'error', placeholders: NAME_ROLE },
|
|
22
|
+
{ code: 'W800', name: 'SHADOWED_VOCABULARY', severity: 'warning', placeholders: NAME_ROLE },
|
|
23
|
+
{ code: 'W801', name: 'RESOLVED_WITHOUT_TYPE', severity: 'warning', placeholders: NAME_ROLE },
|
|
22
24
|
];
|
|
25
|
+
/** 文案中出现的占位符名(去重、排序) */
|
|
26
|
+
function placeholdersOf(text) {
|
|
27
|
+
return [...new Set([...text.matchAll(/\{(\w+)\}/g)].map((m) => m[1]))].sort();
|
|
28
|
+
}
|
|
23
29
|
// Han、平假名/片假名、谚文
|
|
24
30
|
const CJK = /[-ヿ㐀-䶿一-鿿가-豈-]/;
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
}
|
|
31
|
+
// 按测试文件自身位置定位仓库根(dist/test/unit/diagnostics → 上溯 4 级),不依赖 cwd
|
|
32
|
+
const repoFile = (rel) => readFileSync(fileURLToPath(new URL(`../../../../${rel}`, import.meta.url)), 'utf8');
|
|
33
|
+
const table = JSON.parse(repoFile('shared/error_codes.json'));
|
|
34
|
+
// ErrorCode 是 const enum,运行时没有键名 → 从生成的源码里读出「枚举键 → 码值」
|
|
35
|
+
const enumKeys = new Map([...repoFile('src/diagnostics/error_codes.ts').matchAll(/^\s+([A-Z][A-Z0-9_]*) = "([EWI]\d+)",?$/gm)].map((m) => [m[1], m[2]]));
|
|
31
36
|
describe('名称解析诊断码 E800–E807 / W800–W801', () => {
|
|
32
37
|
it('枚举值与码表名称一致', () => {
|
|
33
38
|
assert.equal("E800" /* ErrorCode.UNRESOLVED_TYPE */, 'E800');
|
|
@@ -41,7 +46,7 @@ describe('名称解析诊断码 E800–E807 / W800–W801', () => {
|
|
|
41
46
|
assert.equal("W800" /* ErrorCode.SHADOWED_VOCABULARY */, 'W800');
|
|
42
47
|
assert.equal("W801" /* ErrorCode.RESOLVED_WITHOUT_TYPE */, 'W801');
|
|
43
48
|
});
|
|
44
|
-
for (const { code, severity } of EXPECTED) {
|
|
49
|
+
for (const { code, name, severity, placeholders } of EXPECTED) {
|
|
45
50
|
describe(code, () => {
|
|
46
51
|
const meta = Object.values(ERROR_METADATA).find(m => m.code === code);
|
|
47
52
|
it('存在且严重级别正确', () => {
|
|
@@ -49,24 +54,32 @@ describe('名称解析诊断码 E800–E807 / W800–W801', () => {
|
|
|
49
54
|
assert.equal(meta.severity, severity);
|
|
50
55
|
assert.equal(meta.category, 'scope');
|
|
51
56
|
});
|
|
52
|
-
it('英文文案非空、无 CJK
|
|
57
|
+
it('英文文案非空、无 CJK 且恰好引用约定的占位符', () => {
|
|
53
58
|
assert.ok(meta);
|
|
54
59
|
const message = ERROR_MESSAGES[meta.code];
|
|
55
60
|
assert.ok(message && message.length > 0);
|
|
56
61
|
assert.ok(meta.help.length > 0);
|
|
57
|
-
assert.
|
|
62
|
+
assert.deepEqual(placeholdersOf(message), placeholders, `${code} 英文 message 占位符`);
|
|
58
63
|
assert.ok(!CJK.test(message), `${code} message 含 CJK`);
|
|
59
64
|
assert.ok(!CJK.test(meta.help), `${code} help 含 CJK`);
|
|
60
65
|
});
|
|
61
|
-
it('中文
|
|
66
|
+
it('中文 overlay 的消息与帮助非空,消息占位符与英文一致', () => {
|
|
62
67
|
const zhMsg = MESSAGES_BY_LEXICON['zh-CN']?.[code];
|
|
63
68
|
const zhHelp = HELP_BY_LEXICON['zh-CN']?.[code];
|
|
64
69
|
assert.ok(zhMsg && zhMsg.length > 0, `${code} 缺少 zh-CN 消息`);
|
|
65
|
-
assert.
|
|
70
|
+
assert.deepEqual(placeholdersOf(zhMsg), placeholders, `${code} zh-CN message 占位符`);
|
|
66
71
|
assert.ok(zhHelp && zhHelp.length > 0, `${code} 缺少 zh-CN 帮助`);
|
|
67
72
|
});
|
|
68
|
-
it('码表键名与
|
|
69
|
-
|
|
73
|
+
it('码表键名与 ErrorCode 枚举键一致,条目与生成的元数据一致', () => {
|
|
74
|
+
const entry = table[name];
|
|
75
|
+
assert.ok(entry, `shared/error_codes.json 缺少键 ${name}`);
|
|
76
|
+
assert.equal(entry.code, code);
|
|
77
|
+
assert.equal(enumKeys.get(name), code, `ErrorCode.${name} 应为 ${code}`);
|
|
78
|
+
assert.equal(Object.entries(table).filter(([, v]) => v.code === code).length, 1, `${code} 在码表中应唯一`);
|
|
79
|
+
assert.ok(meta);
|
|
80
|
+
assert.equal(entry.severity, meta.severity);
|
|
81
|
+
assert.equal(entry.message, ERROR_MESSAGES[meta.code]);
|
|
82
|
+
assert.equal(entry.help, meta.help);
|
|
70
83
|
});
|
|
71
84
|
});
|
|
72
85
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"resolution-codes.test.js","sourceRoot":"","sources":["../../../../test/unit/diagnostics/resolution-codes.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;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,
|
|
1
|
+
{"version":3,"file":"resolution-codes.test.js","sourceRoot":"","sources":["../../../../test/unit/diagnostics/resolution-codes.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;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,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAa,cAAc,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACpG,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,qDAAqD,CAAC;AAW3G,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AACtC,MAAM,SAAS,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAEpD,MAAM,QAAQ,GAA4B;IACxC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE;IACrF,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE;IACtF,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE;IACrF,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE;IACxF,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE;IACpF,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE;IACrF,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE;IACvF,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,uBAAuB,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE;IAC3F,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE;IAC3F,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,uBAAuB,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE;CAC9F,CAAC;AAEF,wBAAwB;AACxB,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACjF,CAAC;AAED,iBAAiB;AACjB,MAAM,GAAG,GAAG,mBAAmB,CAAC;AAEhC,8DAA8D;AAC9D,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,eAAe,GAAG,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAE9H,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAG3D,CAAC;AAEF,uDAAuD;AACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,QAAQ,CAAC,gCAAgC,CAAC,CAAC,QAAQ,CAAC,2CAA2C,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CACjI,CAAC;AAEF,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,KAAK,yCAA4B,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,0CAA6B,MAAM,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,yCAA4B,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,4CAA+B,MAAM,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,wCAA2B,MAAM,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,yCAA4B,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,2CAA8B,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,+CAAkC,MAAM,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,6CAAgC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,+CAAkC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC9D,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE;YAClB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,IAAe,KAAK,IAAI,CAAC,CAAC;YAElF,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;gBACnB,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,sBAAsB,CAAC,CAAC;gBAC/C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;gBAClC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAChB,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1C,MAAM,CAAC,EAAE,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACzC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAChC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;gBAClF,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;gBACvD,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;gBACxC,MAAM,KAAK,GAAG,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACnD,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAChD,MAAM,CAAC,EAAE,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;gBAC5D,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,GAAG,IAAI,oBAAoB,CAAC,CAAC;gBACnF,MAAM,CAAC,EAAE,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;YAChE,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;gBAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,+BAA+B,IAAI,EAAE,CAAC,CAAC;gBACxD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC/B,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;gBACvE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;gBACpG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAChB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC5C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBACvD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACpC,EAAE,CAAC,GAAG,IAAI,iBAAiB,EAAE,GAAG,EAAE;YAChC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,IAAe,KAAK,IAAI,CAAC,CAAC;YAClF,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAChB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}
|
|
@@ -47,10 +47,6 @@ const ALLOW_LIST = new Map([
|
|
|
47
47
|
['corpus/tier1-parity/vocab-zh/synonyms.aster', CJK_IDENTIFIERS],
|
|
48
48
|
['corpus/tier1-parity/vocab-zh/type-equals-field.aster', CJK_IDENTIFIERS],
|
|
49
49
|
['corpus/tier1-reject/vocab-e804-zh-member-vs-rule.aster', CJK_IDENTIFIERS],
|
|
50
|
-
[
|
|
51
|
-
'corpus/tier1-parity/vocab-de/type-alias-localized.aster',
|
|
52
|
-
'格式化器不输出类型别名声明(AST 不含 TypeAlias 节点),签名引用别名时重写后 Core IR 改变;待格式化器支持别名',
|
|
53
|
-
],
|
|
54
50
|
]);
|
|
55
51
|
function asterFiles(dir, out = []) {
|
|
56
52
|
for (const entry of readdirSync(dir)) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formatter-corpus-roundtrip.test.js","sourceRoot":"","sources":["../../../test/unit/formatter-corpus-roundtrip.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAE/D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAI3D,oCAAoC;AACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;AACnG,MAAM,QAAQ,GAAsC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAEvG,uEAAuE;AACvE,2CAA2C;AAC3C,MAAM,eAAe,GAAG,wCAAwC,CAAC;AACjE,MAAM,UAAU,GAAgC,IAAI,GAAG,CAAC;IACtD,CAAC,sDAAsD,EAAE,eAAe,CAAC;IACzE,CAAC,wDAAwD,EAAE,eAAe,CAAC;IAC3E,CAAC,4DAA4D,EAAE,eAAe,CAAC;IAC/E,CAAC,+DAA+D,EAAE,eAAe,CAAC;IAClF,CAAC,+DAA+D,EAAE,eAAe,CAAC;IAClF,CAAC,mEAAmE,EAAE,eAAe,CAAC;IACtF,CAAC,sEAAsE,EAAE,eAAe,CAAC;IACzF,CAAC,kEAAkE,EAAE,eAAe,CAAC;IACrF,CAAC,mEAAmE,EAAE,eAAe,CAAC;IACtF,CAAC,wDAAwD,EAAE,eAAe,CAAC;IAC3E,6DAA6D;IAC7D,CAAC,2DAA2D,EAAE,eAAe,CAAC;IAC9E,CAAC,6CAA6C,EAAE,eAAe,CAAC;IAChE,CAAC,sDAAsD,EAAE,eAAe,CAAC;IACzE,CAAC,wDAAwD,EAAE,eAAe,CAAC;
|
|
1
|
+
{"version":3,"file":"formatter-corpus-roundtrip.test.js","sourceRoot":"","sources":["../../../test/unit/formatter-corpus-roundtrip.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAE/D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAI3D,oCAAoC;AACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;AACnG,MAAM,QAAQ,GAAsC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAEvG,uEAAuE;AACvE,2CAA2C;AAC3C,MAAM,eAAe,GAAG,wCAAwC,CAAC;AACjE,MAAM,UAAU,GAAgC,IAAI,GAAG,CAAC;IACtD,CAAC,sDAAsD,EAAE,eAAe,CAAC;IACzE,CAAC,wDAAwD,EAAE,eAAe,CAAC;IAC3E,CAAC,4DAA4D,EAAE,eAAe,CAAC;IAC/E,CAAC,+DAA+D,EAAE,eAAe,CAAC;IAClF,CAAC,+DAA+D,EAAE,eAAe,CAAC;IAClF,CAAC,mEAAmE,EAAE,eAAe,CAAC;IACtF,CAAC,sEAAsE,EAAE,eAAe,CAAC;IACzF,CAAC,kEAAkE,EAAE,eAAe,CAAC;IACrF,CAAC,mEAAmE,EAAE,eAAe,CAAC;IACtF,CAAC,wDAAwD,EAAE,eAAe,CAAC;IAC3E,6DAA6D;IAC7D,CAAC,2DAA2D,EAAE,eAAe,CAAC;IAC9E,CAAC,6CAA6C,EAAE,eAAe,CAAC;IAChE,CAAC,sDAAsD,EAAE,eAAe,CAAC;IACzE,CAAC,wDAAwD,EAAE,eAAe,CAAC;CAC5E,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,GAAW,EAAE,MAAgB,EAAE;IACjD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE;YAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACnD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe;IACtB,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;SAChF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,MAAM,CAAC,MAAc,EAAE,OAAgB;IAC9C,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;IAC3D,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrH,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACpD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACjH,CAAC;AAED,8CAA8C;AAC9C,SAAS,qBAAqB,CAAC,IAAY,EAAE,MAAc;IACzD,MAAM,KAAK,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC;IAClH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAE,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAE,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QAAC,MAAM,CAAC;YACP,UAAU;QACZ,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yCAAyC;AACzC,SAAS,WAAW,CAAC,CAAsC;IACzD,MAAM,OAAO,GAAG,eAAe,EAAE,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,qEAAqE,CAAC,CAAC;QAClG,CAAC,CAAC,UAAU,CAAC,sCAAsC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO;QACL,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7G,CAAC;AACJ,CAAC;AAED,yDAAyD;AACzD,SAAS,WAAW,CAAC,MAAc;IACjC,IAAI,CAAC;QACH,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,GAAc;IACjC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,KAAK,GAAG,CAAC;IAC1G,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM;SACpB,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SAC3E,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACzE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,qEAAqE;AACrE,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,mBAAmB,CAAC;IACtD,IAAI,eAAe,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,IAAI;QAAE,OAAO,gBAAgB,CAAC;IACjF,IAAI,WAAW,CAAC,OAAO,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACxE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC7E,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,KAAK,SAAS,IAAI,eAAe,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACrG,OAAO,8BAA8B,CAAC;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAQ,CAAW,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,IAAI,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAQ,CAAW,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,IAAI,CAAC,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE;IAChC,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC;SAC5B,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAClE,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,CAAC,CAAC,EAAE,EAAE;IAC7D,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC;SAC5B,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAC/D,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAClD,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4BAA4B,EAAE,CAAC,CAAC,EAAE,EAAE;IACvC,MAAM,OAAO,GAAG,eAAe,EAAE,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACzG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC"}
|