@aster-cloud/aster-lang-ts 1.0.36 → 1.1.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 +28 -0
- package/README.md +13 -7
- package/dist/scripts/aster.js +10 -5
- package/dist/scripts/aster.js.map +1 -1
- package/dist/scripts/core-ir-json.js +8 -3
- package/dist/scripts/core-ir-json.js.map +1 -1
- package/dist/scripts/emit-classfiles.js +3 -2
- package/dist/scripts/emit-classfiles.js.map +1 -1
- package/dist/scripts/emit-core.js +8 -5
- package/dist/scripts/emit-core.js.map +1 -1
- package/dist/scripts/generate-casefold.d.ts +2 -0
- package/dist/scripts/generate-casefold.d.ts.map +1 -0
- package/dist/scripts/generate-casefold.js +34 -0
- package/dist/scripts/generate-casefold.js.map +1 -0
- package/dist/scripts/generate-lexicons.js +17 -1
- package/dist/scripts/generate-lexicons.js.map +1 -1
- package/dist/scripts/golden.js +16 -16
- package/dist/scripts/golden.js.map +1 -1
- package/dist/scripts/perf-benchmark.js +1 -0
- package/dist/scripts/perf-benchmark.js.map +1 -1
- package/dist/scripts/profile-medium-project.js +1 -1
- package/dist/scripts/profile-medium-project.js.map +1 -1
- package/dist/scripts/repl.js +3 -8
- package/dist/scripts/repl.js.map +1 -1
- package/dist/scripts/typecheck-cli.js +10 -9
- package/dist/scripts/typecheck-cli.js.map +1 -1
- package/dist/scripts/update-eff-violation-expected.js +6 -6
- package/dist/scripts/update-eff-violation-expected.js.map +1 -1
- package/dist/scripts/verify-capabilities.js +3 -6
- package/dist/scripts/verify-capabilities.js.map +1 -1
- package/dist/scripts/verify-lexicon-sync.js +10 -0
- package/dist/scripts/verify-lexicon-sync.js.map +1 -1
- package/dist/src/ai/validator.d.ts +1 -1
- package/dist/src/ai/validator.d.ts.map +1 -1
- package/dist/src/ai/validator.js +12 -12
- package/dist/src/ai/validator.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.map +1 -1
- package/dist/src/browser.d.ts +27 -10
- package/dist/src/browser.d.ts.map +1 -1
- package/dist/src/browser.js +42 -54
- package/dist/src/browser.js.map +1 -1
- package/dist/src/cli/policy-converter.js +5 -9
- package/dist/src/cli/policy-converter.js.map +1 -1
- package/dist/src/compile-pipeline.d.ts +48 -0
- package/dist/src/compile-pipeline.d.ts.map +1 -0
- package/dist/src/compile-pipeline.js +89 -0
- package/dist/src/compile-pipeline.js.map +1 -0
- package/dist/src/config/lexicons/diagnostic-messages.d.ts.map +1 -1
- package/dist/src/config/lexicons/diagnostic-messages.js +20 -0
- package/dist/src/config/lexicons/diagnostic-messages.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/casefold-table.generated.d.ts +9 -0
- package/dist/src/config/lexicons/identifiers/casefold-table.generated.d.ts.map +1 -0
- package/dist/src/config/lexicons/identifiers/casefold-table.generated.js +1467 -0
- package/dist/src/config/lexicons/identifiers/casefold-table.generated.js.map +1 -0
- package/dist/src/config/lexicons/identifiers/casefold.d.ts +7 -0
- package/dist/src/config/lexicons/identifiers/casefold.d.ts.map +1 -0
- package/dist/src/config/lexicons/identifiers/casefold.js +37 -0
- package/dist/src/config/lexicons/identifiers/casefold.js.map +1 -0
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.js +8 -0
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.de-DE.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.js +8 -0
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.en-US.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.js +8 -0
- package/dist/src/config/lexicons/identifiers/domains/finance.loan.zh-CN.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.js +6 -0
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.de-DE.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.js +6 -0
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.en-US.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.js +6 -0
- package/dist/src/config/lexicons/identifiers/domains/insurance.auto.zh-CN.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/index.d.ts +7 -9
- package/dist/src/config/lexicons/identifiers/index.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/index.js +8 -9
- package/dist/src/config/lexicons/identifiers/index.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/registry.d.ts +11 -5
- package/dist/src/config/lexicons/identifiers/registry.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/registry.js +20 -14
- package/dist/src/config/lexicons/identifiers/registry.js.map +1 -1
- package/dist/src/config/lexicons/identifiers/scopes.d.ts +52 -0
- package/dist/src/config/lexicons/identifiers/scopes.d.ts.map +1 -0
- package/dist/src/config/lexicons/identifiers/scopes.js +166 -0
- package/dist/src/config/lexicons/identifiers/scopes.js.map +1 -0
- package/dist/src/config/lexicons/identifiers/types.d.ts +15 -29
- package/dist/src/config/lexicons/identifiers/types.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/types.js +91 -101
- package/dist/src/config/lexicons/identifiers/types.js.map +1 -1
- package/dist/src/config/lexicons/lsp-ui-texts.d.ts +7 -0
- package/dist/src/config/lexicons/lsp-ui-texts.d.ts.map +1 -1
- package/dist/src/config/lexicons/lsp-ui-texts.js +12 -0
- package/dist/src/config/lexicons/lsp-ui-texts.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 +5 -0
- package/dist/src/config/semantic.d.ts.map +1 -1
- package/dist/src/config/semantic.js +12 -0
- package/dist/src/config/semantic.js.map +1 -1
- package/dist/src/core/inferred_fields.d.ts +10 -0
- package/dist/src/core/inferred_fields.d.ts.map +1 -1
- package/dist/src/core/inferred_fields.js +9 -0
- package/dist/src/core/inferred_fields.js.map +1 -1
- package/dist/src/core/interpreter.d.ts.map +1 -1
- package/dist/src/core/interpreter.js +37 -16
- package/dist/src/core/interpreter.js.map +1 -1
- package/dist/src/core/resolution-mark.d.ts +28 -0
- package/dist/src/core/resolution-mark.d.ts.map +1 -0
- package/dist/src/core/resolution-mark.js +19 -0
- package/dist/src/core/resolution-mark.js.map +1 -0
- package/dist/src/core/resolve-typed-references.d.ts +36 -0
- package/dist/src/core/resolve-typed-references.d.ts.map +1 -0
- package/dist/src/core/resolve-typed-references.js +703 -0
- package/dist/src/core/resolve-typed-references.js.map +1 -0
- package/dist/src/diagnostics/error_codes.d.ts +11 -1
- package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
- package/dist/src/diagnostics/error_codes.js +80 -0
- package/dist/src/diagnostics/error_codes.js.map +1 -1
- package/dist/src/frontend/canonicalizer.d.ts +8 -13
- package/dist/src/frontend/canonicalizer.d.ts.map +1 -1
- package/dist/src/frontend/canonicalizer.js +21 -50
- package/dist/src/frontend/canonicalizer.js.map +1 -1
- package/dist/src/frontend/resolution-choice.d.ts +34 -0
- package/dist/src/frontend/resolution-choice.d.ts.map +1 -0
- package/dist/src/frontend/resolution-choice.js +69 -0
- package/dist/src/frontend/resolution-choice.js.map +1 -0
- package/dist/src/frontend/resolution-context.d.ts +28 -0
- package/dist/src/frontend/resolution-context.d.ts.map +1 -0
- package/dist/src/frontend/resolution-context.js +7 -0
- package/dist/src/frontend/resolution-context.js.map +1 -0
- package/dist/src/frontend/resolve-declarations.d.ts +13 -0
- package/dist/src/frontend/resolve-declarations.d.ts.map +1 -0
- package/dist/src/frontend/resolve-declarations.js +611 -0
- package/dist/src/frontend/resolve-declarations.js.map +1 -0
- package/dist/src/frontend/resolve-policy-types.d.ts +54 -0
- package/dist/src/frontend/resolve-policy-types.d.ts.map +1 -0
- package/dist/src/frontend/resolve-policy-types.js +71 -0
- package/dist/src/frontend/resolve-policy-types.js.map +1 -0
- package/dist/src/frontend/transformers.d.ts +11 -2
- package/dist/src/frontend/transformers.d.ts.map +1 -1
- package/dist/src/frontend/transformers.js +153 -10
- package/dist/src/frontend/transformers.js.map +1 -1
- package/dist/src/index.d.ts +14 -7
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js +14 -7
- package/dist/src/index.js.map +1 -1
- package/dist/src/lower_to_core.d.ts +2 -16
- package/dist/src/lower_to_core.d.ts.map +1 -1
- package/dist/src/lower_to_core.js +101 -44
- package/dist/src/lower_to_core.js.map +1 -1
- package/dist/src/lsp/canonicalize-options.d.ts +8 -11
- package/dist/src/lsp/canonicalize-options.d.ts.map +1 -1
- package/dist/src/lsp/canonicalize-options.js +8 -8
- package/dist/src/lsp/canonicalize-options.js.map +1 -1
- package/dist/src/lsp/completion.d.ts +32 -5
- package/dist/src/lsp/completion.d.ts.map +1 -1
- package/dist/src/lsp/completion.js +59 -0
- package/dist/src/lsp/completion.js.map +1 -1
- package/dist/src/lsp/diagnostics.d.ts +2 -0
- package/dist/src/lsp/diagnostics.d.ts.map +1 -1
- package/dist/src/lsp/diagnostics.js +77 -73
- package/dist/src/lsp/diagnostics.js.map +1 -1
- package/dist/src/lsp/navigation/hover.d.ts +12 -5
- package/dist/src/lsp/navigation/hover.d.ts.map +1 -1
- package/dist/src/lsp/navigation/hover.js +136 -90
- package/dist/src/lsp/navigation/hover.js.map +1 -1
- package/dist/src/lsp/parse-document.d.ts +3 -0
- package/dist/src/lsp/parse-document.d.ts.map +1 -1
- package/dist/src/lsp/parse-document.js +5 -17
- package/dist/src/lsp/parse-document.js.map +1 -1
- package/dist/src/lsp/resolution.d.ts +40 -0
- package/dist/src/lsp/resolution.d.ts.map +1 -0
- package/dist/src/lsp/resolution.js +179 -0
- package/dist/src/lsp/resolution.js.map +1 -0
- package/dist/src/lsp/server.js +3 -1
- package/dist/src/lsp/server.js.map +1 -1
- package/dist/src/lsp/source-positions.d.ts +3 -9
- package/dist/src/lsp/source-positions.d.ts.map +1 -1
- package/dist/src/lsp/source-positions.js +25 -19
- package/dist/src/lsp/source-positions.js.map +1 -1
- package/dist/src/mapping/candidate-generator.d.ts +19 -9
- package/dist/src/mapping/candidate-generator.d.ts.map +1 -1
- package/dist/src/mapping/candidate-generator.js +79 -40
- package/dist/src/mapping/candidate-generator.js.map +1 -1
- package/dist/src/mapping/pipeline.d.ts +6 -0
- package/dist/src/mapping/pipeline.d.ts.map +1 -1
- package/dist/src/mapping/pipeline.js +69 -75
- package/dist/src/mapping/pipeline.js.map +1 -1
- package/dist/src/mapping/review-queue.d.ts.map +1 -1
- package/dist/src/mapping/review-queue.js +3 -2
- package/dist/src/mapping/review-queue.js.map +1 -1
- package/dist/src/nodeid/node-id-map.d.ts +7 -0
- package/dist/src/nodeid/node-id-map.d.ts.map +1 -1
- package/dist/src/nodeid/node-id-map.js +23 -13
- package/dist/src/nodeid/node-id-map.js.map +1 -1
- package/dist/src/parser/context.d.ts +2 -0
- package/dist/src/parser/context.d.ts.map +1 -1
- package/dist/src/parser/context.js +1 -0
- 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 +1 -0
- package/dist/src/parser/decl-parser.js.map +1 -1
- package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -1
- package/dist/src/parser/expr-stmt-parser.js +2 -16
- package/dist/src/parser/expr-stmt-parser.js.map +1 -1
- package/dist/src/parser.d.ts.map +1 -1
- package/dist/src/parser.js +3 -1
- package/dist/src/parser.js.map +1 -1
- package/dist/src/typecheck/expression.d.ts.map +1 -1
- package/dist/src/typecheck/expression.js +35 -1
- package/dist/src/typecheck/expression.js.map +1 -1
- package/dist/src/typecheck/generics.d.ts +5 -0
- package/dist/src/typecheck/generics.d.ts.map +1 -1
- package/dist/src/typecheck/generics.js +15 -8
- package/dist/src/typecheck/generics.js.map +1 -1
- package/dist/src/typecheck/statement.d.ts +10 -0
- package/dist/src/typecheck/statement.d.ts.map +1 -1
- package/dist/src/typecheck/statement.js +19 -5
- package/dist/src/typecheck/statement.js.map +1 -1
- package/dist/src/types.d.ts +45 -13
- package/dist/src/types.d.ts.map +1 -1
- package/dist/src/types.js.map +1 -1
- package/dist/src/version.d.ts +17 -0
- package/dist/src/version.d.ts.map +1 -0
- package/dist/src/version.js +17 -0
- package/dist/src/version.js.map +1 -0
- package/dist/test/integration/builtin-enum-vocabulary.test.d.ts +2 -0
- package/dist/test/integration/builtin-enum-vocabulary.test.d.ts.map +1 -0
- package/dist/test/integration/builtin-enum-vocabulary.test.js +51 -0
- package/dist/test/integration/builtin-enum-vocabulary.test.js.map +1 -0
- package/dist/test/integration/compliance/compliance-smoke.test.js +16 -9
- package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -1
- package/dist/test/integration/lsp/lsp-rename-safety.test.js +0 -13
- package/dist/test/integration/lsp/lsp-rename-safety.test.js.map +1 -1
- package/dist/test/integration/name-resolution-entrypoints.test.d.ts +2 -0
- package/dist/test/integration/name-resolution-entrypoints.test.d.ts.map +1 -0
- package/dist/test/integration/name-resolution-entrypoints.test.js +109 -0
- package/dist/test/integration/name-resolution-entrypoints.test.js.map +1 -0
- package/dist/test/integration/vocabulary-resolution.test.d.ts +2 -0
- package/dist/test/integration/vocabulary-resolution.test.d.ts.map +1 -0
- package/dist/test/integration/vocabulary-resolution.test.js +291 -0
- package/dist/test/integration/vocabulary-resolution.test.js.map +1 -0
- package/dist/test/property/property.test.js +2 -1
- package/dist/test/property/property.test.js.map +1 -1
- package/dist/test/unit/allocation-budget.test.js +41 -0
- package/dist/test/unit/allocation-budget.test.js.map +1 -1
- package/dist/test/unit/canonicalizer/canonicalizer.test.js +7 -79
- package/dist/test/unit/canonicalizer/canonicalizer.test.js.map +1 -1
- package/dist/test/unit/canonicalizer/chinese-function-syntax.test.d.ts +2 -0
- package/dist/test/unit/canonicalizer/chinese-function-syntax.test.d.ts.map +1 -0
- package/dist/test/unit/canonicalizer/chinese-function-syntax.test.js +86 -0
- package/dist/test/unit/canonicalizer/chinese-function-syntax.test.js.map +1 -0
- package/dist/test/unit/canonicalizer/transformers.test.d.ts +2 -0
- package/dist/test/unit/canonicalizer/transformers.test.d.ts.map +1 -0
- package/dist/test/unit/canonicalizer/transformers.test.js +25 -0
- package/dist/test/unit/canonicalizer/transformers.test.js.map +1 -0
- package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.js +134 -31
- package/dist/test/unit/config/lexicons/identifiers/identifier-mapping.test.js.map +1 -1
- package/dist/test/unit/config/lexicons/identifiers/literal-macro.test.js +16 -18
- package/dist/test/unit/config/lexicons/identifiers/literal-macro.test.js.map +1 -1
- package/dist/test/unit/core/resolve-typed-references.test.d.ts +2 -0
- package/dist/test/unit/core/resolve-typed-references.test.d.ts.map +1 -0
- package/dist/test/unit/core/resolve-typed-references.test.js +600 -0
- package/dist/test/unit/core/resolve-typed-references.test.js.map +1 -0
- package/dist/test/unit/diagnostics/resolution-codes.test.d.ts +6 -0
- package/dist/test/unit/diagnostics/resolution-codes.test.d.ts.map +1 -0
- package/dist/test/unit/diagnostics/resolution-codes.test.js +83 -0
- package/dist/test/unit/diagnostics/resolution-codes.test.js.map +1 -0
- package/dist/test/unit/formatter-corpus-roundtrip.test.js +9 -0
- package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
- package/dist/test/unit/frontend/resolve-declarations.test.d.ts +2 -0
- package/dist/test/unit/frontend/resolve-declarations.test.d.ts.map +1 -0
- package/dist/test/unit/frontend/resolve-declarations.test.js +400 -0
- package/dist/test/unit/frontend/resolve-declarations.test.js.map +1 -0
- package/dist/test/unit/identifiers/casefold.test.d.ts +2 -0
- package/dist/test/unit/identifiers/casefold.test.d.ts.map +1 -0
- package/dist/test/unit/identifiers/casefold.test.js +77 -0
- package/dist/test/unit/identifiers/casefold.test.js.map +1 -0
- package/dist/test/unit/identifiers/scopes.test.d.ts +2 -0
- package/dist/test/unit/identifiers/scopes.test.d.ts.map +1 -0
- package/dist/test/unit/identifiers/scopes.test.js +109 -0
- package/dist/test/unit/identifiers/scopes.test.js.map +1 -0
- package/dist/test/unit/lambda-capture-parity.test.js +12 -5
- package/dist/test/unit/lambda-capture-parity.test.js.map +1 -1
- package/dist/test/unit/lsp/lsp-locale-fixes.test.js +10 -11
- package/dist/test/unit/lsp/lsp-locale-fixes.test.js.map +1 -1
- package/dist/test/unit/lsp/parse-document.test.js +39 -0
- package/dist/test/unit/lsp/parse-document.test.js.map +1 -1
- package/dist/test/unit/lsp/resolution-completion.test.d.ts +2 -0
- package/dist/test/unit/lsp/resolution-completion.test.d.ts.map +1 -0
- package/dist/test/unit/lsp/resolution-completion.test.js +79 -0
- package/dist/test/unit/lsp/resolution-completion.test.js.map +1 -0
- package/dist/test/unit/lsp/resolution-diagnostics.test.d.ts +2 -0
- package/dist/test/unit/lsp/resolution-diagnostics.test.d.ts.map +1 -0
- package/dist/test/unit/lsp/resolution-diagnostics.test.js +88 -0
- package/dist/test/unit/lsp/resolution-diagnostics.test.js.map +1 -0
- package/dist/test/unit/lsp/resolution-fixture.d.ts +32 -0
- package/dist/test/unit/lsp/resolution-fixture.d.ts.map +1 -0
- package/dist/test/unit/lsp/resolution-fixture.js +69 -0
- package/dist/test/unit/lsp/resolution-fixture.js.map +1 -0
- package/dist/test/unit/lsp/resolution-hover.test.d.ts +2 -0
- package/dist/test/unit/lsp/resolution-hover.test.d.ts.map +1 -0
- package/dist/test/unit/lsp/resolution-hover.test.js +107 -0
- package/dist/test/unit/lsp/resolution-hover.test.js.map +1 -0
- package/dist/test/unit/lsp/tenant-vocabulary.test.js +21 -47
- package/dist/test/unit/lsp/tenant-vocabulary.test.js.map +1 -1
- package/dist/test/unit/mapping/candidate-generator.test.js +54 -1
- package/dist/test/unit/mapping/candidate-generator.test.js.map +1 -1
- package/dist/test/unit/mapping/pipeline.test.js +22 -1
- package/dist/test/unit/mapping/pipeline.test.js.map +1 -1
- package/dist/test/unit/parser/parser.test.js +22 -0
- package/dist/test/unit/parser/parser.test.js.map +1 -1
- package/dist/test/unit/public-api-checked-entries.test.d.ts +2 -0
- package/dist/test/unit/public-api-checked-entries.test.d.ts.map +1 -0
- package/dist/test/unit/public-api-checked-entries.test.js +28 -0
- package/dist/test/unit/public-api-checked-entries.test.js.map +1 -0
- package/dist/test/unit/typecheck/e104-block-scope-parity.test.d.ts +2 -0
- package/dist/test/unit/typecheck/e104-block-scope-parity.test.d.ts.map +1 -0
- package/dist/test/unit/typecheck/e104-block-scope-parity.test.js +82 -0
- package/dist/test/unit/typecheck/e104-block-scope-parity.test.js.map +1 -0
- package/dist/test/unit/typecheck/qualified-enum-member.test.d.ts +2 -0
- package/dist/test/unit/typecheck/qualified-enum-member.test.d.ts.map +1 -0
- package/dist/test/unit/typecheck/qualified-enum-member.test.js +73 -0
- package/dist/test/unit/typecheck/qualified-enum-member.test.js.map +1 -0
- package/dist/test/unit/typecheck/type-inference.test.js +22 -0
- package/dist/test/unit/typecheck/type-inference.test.js.map +1 -1
- package/dist/test/unit/version.test.d.ts +9 -0
- package/dist/test/unit/version.test.d.ts.map +1 -0
- package/dist/test/unit/version.test.js +34 -0
- package/dist/test/unit/version.test.js.map +1 -0
- package/package.json +1 -1
- package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts +0 -47
- package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.d.ts.map +0 -1
- package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js +0 -142
- package/dist/src/config/lexicons/identifiers/examples/canonicalizer-integration.js.map +0 -1
|
@@ -0,0 +1,400 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @module test/unit/frontend/resolve-declarations.test
|
|
3
|
+
*
|
|
4
|
+
* R1 声明与类型位置名称解析(ADR 0051 §5、§6.1、§6.2 第 1/2/4/5 步)。
|
|
5
|
+
* 源码在无词汇替换的情况下解析,再直接调用 resolveDeclarations。
|
|
6
|
+
*/
|
|
7
|
+
import { describe, it } from 'node:test';
|
|
8
|
+
import assert from 'node:assert/strict';
|
|
9
|
+
import { canonicalize } from '../../../src/frontend/canonicalizer.js';
|
|
10
|
+
import { lex } from '../../../src/frontend/lexer.js';
|
|
11
|
+
import { parseWithLexicon } from '../../../src/parser.js';
|
|
12
|
+
import { Node } from '../../../src/ast/ast.js';
|
|
13
|
+
import { EN_US } from '../../../src/config/lexicons/en-US.js';
|
|
14
|
+
import { DE_DE } from '../../../src/config/lexicons/de-DE.js';
|
|
15
|
+
import { buildVocabularyScopes } from '../../../src/config/lexicons/identifiers/scopes.js';
|
|
16
|
+
import { IdentifierKind } from '../../../src/config/lexicons/identifiers/types.js';
|
|
17
|
+
import { resolveDeclarations } from '../../../src/frontend/resolve-declarations.js';
|
|
18
|
+
import { NO_IMPORTS } from '../../../src/frontend/resolution-context.js';
|
|
19
|
+
function parse(source, lexicon = DE_DE) {
|
|
20
|
+
const tokens = lex(canonicalize(source, lexicon), lexicon);
|
|
21
|
+
const result = parseWithLexicon(tokens, lexicon);
|
|
22
|
+
const errors = result.diagnostics.filter((d) => d.severity === 'error');
|
|
23
|
+
assert.equal(errors.length, 0, JSON.stringify(errors));
|
|
24
|
+
return result.ast;
|
|
25
|
+
}
|
|
26
|
+
const struct = (canonical, localized) => ({
|
|
27
|
+
canonical, localized, kind: IdentifierKind.STRUCT,
|
|
28
|
+
});
|
|
29
|
+
const field = (parent, canonical, localized) => ({
|
|
30
|
+
canonical, localized, kind: IdentifierKind.FIELD, parent,
|
|
31
|
+
});
|
|
32
|
+
const member = (parent, canonical, localized) => ({
|
|
33
|
+
canonical, localized, kind: IdentifierKind.ENUM_VALUE, parent,
|
|
34
|
+
});
|
|
35
|
+
const fn = (canonical, localized) => ({
|
|
36
|
+
canonical, localized, kind: IdentifierKind.FUNCTION,
|
|
37
|
+
});
|
|
38
|
+
function ctxOf(mappings, imports = NO_IMPORTS) {
|
|
39
|
+
const vocab = {
|
|
40
|
+
id: 't', name: 't', locale: 'de-DE', version: '1',
|
|
41
|
+
structs: mappings.filter((m) => m.kind === IdentifierKind.STRUCT),
|
|
42
|
+
fields: mappings.filter((m) => m.kind === IdentifierKind.FIELD),
|
|
43
|
+
functions: mappings.filter((m) => m.kind === IdentifierKind.FUNCTION),
|
|
44
|
+
enumValues: mappings.filter((m) => m.kind === IdentifierKind.ENUM_VALUE),
|
|
45
|
+
};
|
|
46
|
+
return { scopes: buildVocabularyScopes(vocab), imports };
|
|
47
|
+
}
|
|
48
|
+
const DRIVER = [struct('Driver', 'Fahrer'), field('Driver', 'age', 'alter')];
|
|
49
|
+
const LEVEL = [
|
|
50
|
+
struct('Level', 'Stufe'),
|
|
51
|
+
field('Driver', 'level', 'stufe'),
|
|
52
|
+
member('Level', 'High', 'Hoch'),
|
|
53
|
+
member('Level', 'Low', 'Niedrig'),
|
|
54
|
+
];
|
|
55
|
+
function decl(m, i, kind) {
|
|
56
|
+
const d = m.decls[i];
|
|
57
|
+
assert.ok(d && d.kind === kind, `decls[${i}] 应为 ${kind}`);
|
|
58
|
+
return d;
|
|
59
|
+
}
|
|
60
|
+
function bodyStmt(f, i) {
|
|
61
|
+
const s = f.body?.statements[i];
|
|
62
|
+
assert.ok(s, `body[${i}] 不存在`);
|
|
63
|
+
return s;
|
|
64
|
+
}
|
|
65
|
+
const codes = (r) => r.diagnostics.map((d) => d.code);
|
|
66
|
+
describe('resolveDeclarations(R1)', () => {
|
|
67
|
+
it('Definiere Fahrer hat alter → Data Driver,字段 age', () => {
|
|
68
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n');
|
|
69
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
70
|
+
const data = decl(r.module, 0, 'Data');
|
|
71
|
+
assert.equal(data.name, 'Fahrer', '原写法保持');
|
|
72
|
+
assert.deepEqual(data.resolved, { canonical: 'Driver', role: 'TYPE_DECL', written: 'Fahrer' });
|
|
73
|
+
assert.deepEqual(data.fields[0].resolved, { canonical: 'age', role: 'FIELD_DECL', written: 'alter' });
|
|
74
|
+
assert.deepEqual(codes(r), []);
|
|
75
|
+
});
|
|
76
|
+
it('struct Stufe↔Level 与 field stufe↔level 并存 → 类型位置 Level、字段声明 level', () => {
|
|
77
|
+
const m = parse('Modul m.\n\nDefiniere Stufe als eines von Hoch, Niedrig.\n\nDefiniere Fahrer hat stufe als Stufe.\n');
|
|
78
|
+
const r = resolveDeclarations(m, ctxOf([...DRIVER, ...LEVEL]));
|
|
79
|
+
const en = decl(r.module, 0, 'Enum');
|
|
80
|
+
assert.equal(en.resolved?.canonical, 'Level');
|
|
81
|
+
assert.deepEqual(en.resolvedVariants?.map((v) => [v.canonical, v.role]), [['High', 'MEMBER_DECL'], ['Low', 'MEMBER_DECL']]);
|
|
82
|
+
const data = decl(r.module, 1, 'Data');
|
|
83
|
+
const f = data.fields[0];
|
|
84
|
+
assert.deepEqual(f.resolved, { canonical: 'level', role: 'FIELD_DECL', written: 'stufe' });
|
|
85
|
+
assert.equal(f.type.kind, 'TypeName');
|
|
86
|
+
assert.deepEqual(f.type.resolved, { canonical: 'Level', role: 'TYPE', written: 'Stufe' });
|
|
87
|
+
assert.deepEqual(codes(r), []);
|
|
88
|
+
});
|
|
89
|
+
it('参数 fahrer als Fahrer → 参数名保持 fahrer(LOCAL),类型 Driver', () => {
|
|
90
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n\n' +
|
|
91
|
+
'Regel f gegeben fahrer als Fahrer, liefert Fahrer:\n gib zurueck fahrer.\n');
|
|
92
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
93
|
+
const f = decl(r.module, 1, 'Func');
|
|
94
|
+
const p = f.params[0];
|
|
95
|
+
assert.equal(p.name, 'fahrer');
|
|
96
|
+
assert.deepEqual(p.resolved, { canonical: 'fahrer', role: 'LOCAL', written: 'fahrer' });
|
|
97
|
+
assert.equal(p.type.resolved?.canonical, 'Driver');
|
|
98
|
+
assert.equal(f.retType.resolved?.canonical, 'Driver');
|
|
99
|
+
const ret = bodyStmt(f, 0);
|
|
100
|
+
assert.deepEqual(ret.expr.resolved, { canonical: 'fahrer', role: 'LOCAL', written: 'fahrer' });
|
|
101
|
+
assert.deepEqual(codes(r), [], '折叠命中词汇不构成遮蔽');
|
|
102
|
+
});
|
|
103
|
+
it('list of / Result of / Map 嵌套类型参数全部解析为 Driver', () => {
|
|
104
|
+
const m = parse('Module m.\n\nDefine Fahrer has freunde as list of Fahrer, index as map Text to Fahrer.\n\n' +
|
|
105
|
+
'Rule f given fahrer as Fahrer, produce Result of Fahrer or Text:\n Return ok of fahrer.\n', EN_US);
|
|
106
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
107
|
+
const data = decl(r.module, 0, 'Data');
|
|
108
|
+
const list = data.fields[0].type;
|
|
109
|
+
assert.equal(list.type.resolved?.canonical, 'Driver');
|
|
110
|
+
const map = data.fields[1].type;
|
|
111
|
+
assert.equal(map.val.resolved?.canonical, 'Driver');
|
|
112
|
+
assert.equal(map.key.resolved?.canonical, 'Text');
|
|
113
|
+
const f = decl(r.module, 1, 'Func');
|
|
114
|
+
const res = f.retType;
|
|
115
|
+
assert.equal(res.ok.resolved?.canonical, 'Driver');
|
|
116
|
+
assert.equal(res.err.resolved?.canonical, 'Text');
|
|
117
|
+
});
|
|
118
|
+
it('FuncType 参数与返回、TypeApp 参数、TypePii 内层解析为 Driver', () => {
|
|
119
|
+
const fahrer = () => Node.TypeName('Fahrer');
|
|
120
|
+
const funcType = {
|
|
121
|
+
kind: 'FuncType', params: [fahrer()], ret: Node.Maybe(fahrer()), span: Node.TypeName('x').span,
|
|
122
|
+
};
|
|
123
|
+
const m = Node.Module('m', null, [
|
|
124
|
+
Node.Data('Fahrer', []),
|
|
125
|
+
Node.Func('f', [], [
|
|
126
|
+
{ name: 'cb', type: funcType, span: funcType.span },
|
|
127
|
+
{ name: 'box', type: Node.TypeApp('Fahrer', [fahrer()]), span: funcType.span },
|
|
128
|
+
{ name: 'pii', type: Node.TypePii(fahrer(), 'L2', 'name'), span: funcType.span },
|
|
129
|
+
], Node.Option(fahrer()), [], [], false, null),
|
|
130
|
+
]);
|
|
131
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
132
|
+
const f = decl(r.module, 1, 'Func');
|
|
133
|
+
const ft = f.params[0].type;
|
|
134
|
+
assert.equal(ft.params[0].resolved?.canonical, 'Driver');
|
|
135
|
+
assert.equal(ft.ret.type.resolved?.canonical, 'Driver');
|
|
136
|
+
const app = f.params[1].type;
|
|
137
|
+
assert.deepEqual(app.resolved, { canonical: 'Driver', role: 'TYPE', written: 'Fahrer' });
|
|
138
|
+
assert.equal(app.args[0].resolved?.canonical, 'Driver');
|
|
139
|
+
assert.equal(f.params[2].type.baseType.resolved?.canonical, 'Driver');
|
|
140
|
+
assert.equal(f.retType.type.resolved?.canonical, 'Driver');
|
|
141
|
+
});
|
|
142
|
+
it('同 struct 字段 Alter / alter 映射到不同规范字段 → 各自精确命中', () => {
|
|
143
|
+
// 解析器的字段名须为小写起始标识符,故直接构造 AST
|
|
144
|
+
const m = Node.Module('m', null, [
|
|
145
|
+
Node.Data('Fahrer', [
|
|
146
|
+
{ name: 'alter', type: Node.TypeName('Int'), span: Node.TypeName('x').span },
|
|
147
|
+
{ name: 'Alter', type: Node.TypeName('Text'), span: Node.TypeName('x').span },
|
|
148
|
+
]),
|
|
149
|
+
]);
|
|
150
|
+
const r = resolveDeclarations(m, ctxOf([...DRIVER, field('Driver', 'ageGroup', 'Alter')]));
|
|
151
|
+
const data = decl(r.module, 0, 'Data');
|
|
152
|
+
assert.equal(data.fields[0].resolved?.canonical, 'age');
|
|
153
|
+
assert.equal(data.fields[1].resolved?.canonical, 'ageGroup');
|
|
154
|
+
assert.deepEqual(codes(r), []);
|
|
155
|
+
});
|
|
156
|
+
it('导入模块声明 Fahrer 与词汇同名 → 取导入声明,并提示遮蔽', () => {
|
|
157
|
+
const m = parse('Modul m.\n\nRegel f gegeben x als Fahrer, liefert Fahrer:\n gib zurueck x.\n');
|
|
158
|
+
const imports = { ...NO_IMPORTS, types: ['Fahrer'] };
|
|
159
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER, imports));
|
|
160
|
+
const f = decl(r.module, 0, 'Func');
|
|
161
|
+
assert.equal(f.params[0].type.resolved?.canonical, 'Fahrer');
|
|
162
|
+
assert.equal(f.retType.resolved?.canonical, 'Fahrer');
|
|
163
|
+
assert.ok(codes(r).every((c) => c === "W800" /* ErrorCode.SHADOWED_VOCABULARY */));
|
|
164
|
+
assert.ok(codes(r).length > 0, '应有 W800');
|
|
165
|
+
});
|
|
166
|
+
it('Stufe.Hoch → MEMBER_REF Level.High', () => {
|
|
167
|
+
const m = parse('Modul m.\n\nDefiniere Stufe als eines von Hoch, Niedrig.\n\n' +
|
|
168
|
+
'Regel f gegeben x als Ganzzahl, liefert Stufe:\n gib zurueck Stufe.Hoch.\n');
|
|
169
|
+
const r = resolveDeclarations(m, ctxOf(LEVEL));
|
|
170
|
+
const ret = bodyStmt(decl(r.module, 1, 'Func'), 0);
|
|
171
|
+
const name = ret.expr;
|
|
172
|
+
assert.equal(name.name, 'Stufe.Hoch');
|
|
173
|
+
assert.deepEqual(name.resolved, { canonical: 'Level.High', role: 'MEMBER_REF', written: 'Stufe.Hoch' });
|
|
174
|
+
assert.deepEqual(codes(r), []);
|
|
175
|
+
});
|
|
176
|
+
it('函数声明、调用目标与构造表达式(类型名与字段名)', () => {
|
|
177
|
+
const m = parse('Module m.\n\nDefine Fahrer has alter as Int.\n\n' +
|
|
178
|
+
'Rule pruefe given n as Int, produce Fahrer:\n Return Fahrer with alter set to n.\n\n' +
|
|
179
|
+
'Rule g given n as Int, produce Fahrer:\n Return pruefe(n).\n', EN_US);
|
|
180
|
+
const r = resolveDeclarations(m, ctxOf([...DRIVER, fn('check', 'pruefe')]));
|
|
181
|
+
const f = decl(r.module, 1, 'Func');
|
|
182
|
+
assert.deepEqual(f.resolved, { canonical: 'check', role: 'FUNC_DECL', written: 'pruefe' });
|
|
183
|
+
const ctor = bodyStmt(f, 0).expr;
|
|
184
|
+
assert.deepEqual(ctor.resolved, { canonical: 'Driver', role: 'TYPE', written: 'Fahrer' });
|
|
185
|
+
assert.deepEqual(ctor.fields[0].resolved, { canonical: 'age', role: 'FIELD_REF', written: 'alter' });
|
|
186
|
+
const call = bodyStmt(decl(r.module, 2, 'Func'), 0).expr;
|
|
187
|
+
assert.deepEqual(call.target.resolved, { canonical: 'check', role: 'FUNC_REF', written: 'pruefe' });
|
|
188
|
+
assert.deepEqual(call.args[0].resolved?.role, 'LOCAL');
|
|
189
|
+
});
|
|
190
|
+
it('两个声明解析到同一规范名 → E807', () => {
|
|
191
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n\nDefiniere Driver hat age als Ganzzahl.\n');
|
|
192
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
193
|
+
assert.deepEqual(codes(r), ["E807" /* ErrorCode.DUPLICATE_DECLARATION */]);
|
|
194
|
+
const d = r.diagnostics[0];
|
|
195
|
+
assert.match(d.message, /Driver/);
|
|
196
|
+
assert.equal(d.severity, 'error');
|
|
197
|
+
});
|
|
198
|
+
it('折叠后多候选且无精确命中 → E804', () => {
|
|
199
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n');
|
|
200
|
+
const vocab = [struct('Driver', 'Fahrer'), field('Driver', 'ageGroup', 'Alter'), field('Driver', 'maxAge', 'ALTER')];
|
|
201
|
+
const r = resolveDeclarations(m, ctxOf(vocab));
|
|
202
|
+
assert.deepEqual(codes(r), ["E804" /* ErrorCode.AMBIGUOUS_NAME */]);
|
|
203
|
+
assert.match(r.diagnostics[0].message, /ageGroup/);
|
|
204
|
+
assert.match(r.diagnostics[0].message, /maxAge/);
|
|
205
|
+
});
|
|
206
|
+
it('精确命中优先于折叠命中', () => {
|
|
207
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n');
|
|
208
|
+
const vocab = [...DRIVER, field('Driver', 'ageGroup', 'Alter'), field('Driver', 'maxAge', 'ALTER')];
|
|
209
|
+
const r = resolveDeclarations(m, ctxOf(vocab));
|
|
210
|
+
assert.equal(decl(r.module, 0, 'Data').fields[0].resolved?.canonical, 'age');
|
|
211
|
+
assert.deepEqual(codes(r), []);
|
|
212
|
+
});
|
|
213
|
+
it('局部名与词汇同写法 → 局部名胜出并发 W800', () => {
|
|
214
|
+
const m = parse('Module m.\n\nRule f given pruefe as Int, produce Int:\n Return pruefe.\n', EN_US);
|
|
215
|
+
const r = resolveDeclarations(m, ctxOf([fn('check', 'pruefe')]));
|
|
216
|
+
const ret = bodyStmt(decl(r.module, 0, 'Func'), 0);
|
|
217
|
+
assert.equal(ret.expr.resolved?.role, 'LOCAL');
|
|
218
|
+
assert.deepEqual(codes(r), ["W800" /* ErrorCode.SHADOWED_VOCABULARY */]);
|
|
219
|
+
});
|
|
220
|
+
it('Module 路径、TypeVar、workflow / step 名、注解参数不被改写', () => {
|
|
221
|
+
const src = 'Module fahrer.pruefe.\n\n@id("Fahrer")\nRule run, produce. It performs io:\n' +
|
|
222
|
+
' workflow:\n step pruefe:\n Return ok of 1.\n\n .\n';
|
|
223
|
+
const m = parse(src, EN_US);
|
|
224
|
+
const ctx = ctxOf([...DRIVER, fn('check', 'pruefe')]);
|
|
225
|
+
const r = resolveDeclarations(m, ctx);
|
|
226
|
+
assert.equal(r.module.name, 'fahrer.pruefe');
|
|
227
|
+
assert.equal('resolved' in r.module, false);
|
|
228
|
+
const f = decl(r.module, 0, 'Func');
|
|
229
|
+
assert.deepEqual(f.annotations, [{ name: 'id', args: [{ name: '$0', value: 'Fahrer' }] }]);
|
|
230
|
+
const wf = bodyStmt(f, 0);
|
|
231
|
+
assert.equal(wf.steps[0].name, 'pruefe');
|
|
232
|
+
assert.equal('resolved' in wf.steps[0], false);
|
|
233
|
+
});
|
|
234
|
+
it('主语为已知 Data 类型参数时 PatternCtor 按 TYPE 解析,绑定名为局部名', () => {
|
|
235
|
+
const m = parse('Module m.\n\nDefine Fahrer has alter as Int.\n\n' +
|
|
236
|
+
'Rule f given fahrer as Fahrer, produce Int:\n Match fahrer:\n When Fahrer(a), Return a.\n', EN_US);
|
|
237
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
238
|
+
const match = bodyStmt(decl(r.module, 1, 'Func'), 0);
|
|
239
|
+
const pat = match.cases[0].pattern;
|
|
240
|
+
assert.deepEqual(pat.resolved, { canonical: 'Driver', role: 'TYPE', written: 'Fahrer' });
|
|
241
|
+
const ret = match.cases[0].body;
|
|
242
|
+
assert.equal(ret.expr.resolved?.role, 'LOCAL');
|
|
243
|
+
});
|
|
244
|
+
it('期望枚举下的裸名留给 R2:不写 resolved、不报错', () => {
|
|
245
|
+
const m = parse('Modul m.\n\nDefiniere Stufe als eines von Hoch, Niedrig.\n\n' +
|
|
246
|
+
'Regel f gegeben x als Ganzzahl, liefert Stufe:\n gib zurueck Hoch.\n');
|
|
247
|
+
const r = resolveDeclarations(m, ctxOf(LEVEL));
|
|
248
|
+
const ret = bodyStmt(decl(r.module, 1, 'Func'), 0);
|
|
249
|
+
assert.equal('resolved' in ret.expr, false);
|
|
250
|
+
assert.deepEqual(codes(r), []);
|
|
251
|
+
});
|
|
252
|
+
describe('隐式类型参数(裁决 R13)', () => {
|
|
253
|
+
it('隐式推断的类型参数命中词汇 → 从 typeParams 移除并按 TYPE 解析', () => {
|
|
254
|
+
const m = parse('Modul m.\n\nRegel f gegeben x als Fahrer, liefert Fahrer:\n gib zurueck x.\n');
|
|
255
|
+
assert.deepEqual(decl(m, 0, 'Func').typeParams, ['Fahrer'], '前提:解析器把 Fahrer 推断为类型参数');
|
|
256
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
257
|
+
const f = decl(r.module, 0, 'Func');
|
|
258
|
+
assert.deepEqual(f.typeParams, []);
|
|
259
|
+
assert.equal(f.params[0].type.resolved?.canonical, 'Driver');
|
|
260
|
+
assert.deepEqual(codes(r), []);
|
|
261
|
+
});
|
|
262
|
+
it('隐式推断且全部未命中 → 保留为类型参数,使用处不写 TYPE resolved、不报 E800', () => {
|
|
263
|
+
const m = parse('Modul m.\n\nRegel f gegeben x als Element, liefert Element:\n gib zurueck x.\n');
|
|
264
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
265
|
+
const f = decl(r.module, 0, 'Func');
|
|
266
|
+
assert.deepEqual(f.typeParams, ['Element']);
|
|
267
|
+
assert.equal('resolved' in f.params[0].type, false);
|
|
268
|
+
assert.equal('resolved' in f.retType, false);
|
|
269
|
+
assert.deepEqual(codes(r), []);
|
|
270
|
+
});
|
|
271
|
+
it('隐式参数在词汇中折叠歧义 → 报 E804 并保留为类型参数', () => {
|
|
272
|
+
const m = parse('Modul m.\n\nRegel f gegeben x als FaHrer, liefert Ganzzahl:\n gib zurueck 1.\n');
|
|
273
|
+
assert.deepEqual(decl(m, 0, 'Func').typeParams, ['FaHrer'], '前提:解析器推断为类型参数');
|
|
274
|
+
const r = resolveDeclarations(m, ctxOf([struct('Driver', 'Fahrer'), struct('Pilot', 'FAHRER')]));
|
|
275
|
+
assert.deepEqual(codes(r), ["E804" /* ErrorCode.AMBIGUOUS_NAME */]);
|
|
276
|
+
assert.deepEqual(decl(r.module, 0, 'Func').typeParams, ['FaHrer']);
|
|
277
|
+
});
|
|
278
|
+
it('显式 of T → 保留,TypeVar 不查词汇', () => {
|
|
279
|
+
const m = parse('Modul m.\n\nRegel f of Fahrer gegeben x als Fahrer, liefert Fahrer:\n gib zurueck x.\n');
|
|
280
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
281
|
+
const f = decl(r.module, 0, 'Func');
|
|
282
|
+
assert.deepEqual(f.typeParams, ['Fahrer']);
|
|
283
|
+
assert.deepEqual(f.params[0].type, decl(m, 0, 'Func').params[0].type);
|
|
284
|
+
assert.equal(f.params[0].type.kind, 'TypeVar');
|
|
285
|
+
assert.deepEqual(codes(r), []);
|
|
286
|
+
});
|
|
287
|
+
});
|
|
288
|
+
describe('未解析诊断(裁决 R14)', () => {
|
|
289
|
+
it('TYPE 位置在声明 / 导入 / 词汇 / 内置中均未命中 → E800', () => {
|
|
290
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Unbekannt.\n');
|
|
291
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
292
|
+
assert.deepEqual(codes(r), ["E800" /* ErrorCode.UNRESOLVED_TYPE */]);
|
|
293
|
+
assert.match(r.diagnostics[0].message, /Unbekannt/);
|
|
294
|
+
});
|
|
295
|
+
it('已声明、内置、导入、词汇类型不报 E800', () => {
|
|
296
|
+
const m = parse('Modul m.\n\nDefiniere Stufe als eines von Hoch, Niedrig.\n\n' +
|
|
297
|
+
'Definiere Fahrer hat alter als Ganzzahl, stufe als Stufe, konto als Konto, name als Text, ' +
|
|
298
|
+
'betrag als Decimal, frei als Boolesch, freund als Driver.\n');
|
|
299
|
+
const imports = { ...NO_IMPORTS, types: ['Konto'] };
|
|
300
|
+
const r = resolveDeclarations(m, ctxOf([...DRIVER, ...LEVEL], imports));
|
|
301
|
+
assert.deepEqual(codes(r), []);
|
|
302
|
+
});
|
|
303
|
+
it('DateTime 为内置类型,不报 E800', () => {
|
|
304
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat seit als DateTime.\n');
|
|
305
|
+
assert.deepEqual(codes(resolveDeclarations(m, ctxOf(DRIVER))), []);
|
|
306
|
+
});
|
|
307
|
+
it('构造类型未解析(E800)时不再对字段逐个报 E801', () => {
|
|
308
|
+
const m = parse('Modul m.\n\nRegel f gegeben x als Ganzzahl, liefert Ganzzahl:\n' +
|
|
309
|
+
' sei p gleich Unbekannt mit a setze auf x, b setze auf x.\n gib zurueck x.\n');
|
|
310
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
311
|
+
assert.deepEqual(codes(r), ["E800" /* ErrorCode.UNRESOLVED_TYPE */]);
|
|
312
|
+
});
|
|
313
|
+
it('构造字段未命中 → E801', () => {
|
|
314
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n\n' +
|
|
315
|
+
'Regel f gegeben x als Ganzzahl, liefert Fahrer:\n gib zurueck Fahrer mit gewicht setze auf x.\n');
|
|
316
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
317
|
+
assert.deepEqual(codes(r), ["E801" /* ErrorCode.UNRESOLVED_FIELD */]);
|
|
318
|
+
assert.match(r.diagnostics[0].message, /gewicht/);
|
|
319
|
+
});
|
|
320
|
+
it('构造字段折叠后多候选 → E805', () => {
|
|
321
|
+
const m = parse('Modul m.\n\nRegel f gegeben x als Ganzzahl, liefert Driver:\n gib zurueck Driver mit alter setze auf x.\n');
|
|
322
|
+
const imports = { ...NO_IMPORTS, types: ['Driver'], fields: new Map([['Driver', ['age']]]) };
|
|
323
|
+
const vocab = [struct('Driver', 'Fahrer'), field('Driver', 'ageGroup', 'Alter'), field('Driver', 'maxAge', 'ALTER')];
|
|
324
|
+
const r = resolveDeclarations(m, ctxOf(vocab, imports));
|
|
325
|
+
assert.deepEqual(codes(r), ["E805" /* ErrorCode.AMBIGUOUS_FIELD */]);
|
|
326
|
+
});
|
|
327
|
+
it('E.M 成员未命中 → E802(MEMBER_REF)', () => {
|
|
328
|
+
const m = parse('Modul m.\n\nDefiniere Stufe als eines von Hoch, Niedrig.\n\n' +
|
|
329
|
+
'Regel f gegeben x als Ganzzahl, liefert Stufe:\n gib zurueck Stufe.Mittel.\n');
|
|
330
|
+
const r = resolveDeclarations(m, ctxOf(LEVEL));
|
|
331
|
+
assert.deepEqual(codes(r), ["E802" /* ErrorCode.UNRESOLVED_NAME */]);
|
|
332
|
+
assert.match(r.diagnostics[0].message, /Mittel/);
|
|
333
|
+
assert.match(r.diagnostics[0].message, /MEMBER_REF/);
|
|
334
|
+
});
|
|
335
|
+
it('主语为已知枚举时 PatternCtor 成员未命中 → E803', () => {
|
|
336
|
+
const span = Node.TypeName('x').span;
|
|
337
|
+
const m = Node.Module('m', null, [
|
|
338
|
+
Node.Enum('Stufe', ['Hoch']),
|
|
339
|
+
Node.Func('f', [], [{ name: 's', type: Node.TypeName('Stufe'), span }], Node.TypeName('Int'), [], [], false, Node.Block([Node.Match(Node.Name('s'), [Node.Case(Node.PatternCtor('Mittel', []), Node.Return(Node.Int(1)))])])),
|
|
340
|
+
]);
|
|
341
|
+
const r = resolveDeclarations(m, ctxOf(LEVEL));
|
|
342
|
+
assert.deepEqual(codes(r), ["E803" /* ErrorCode.UNRESOLVED_PATTERN */]);
|
|
343
|
+
});
|
|
344
|
+
it('值位置未命中的单段名不报 E802(留给 R2)', () => {
|
|
345
|
+
const m = parse('Modul m.\n\nRegel f gegeben x als Ganzzahl, liefert Ganzzahl:\n gib zurueck unbekannt.\n');
|
|
346
|
+
assert.deepEqual(codes(resolveDeclarations(m, ctxOf(DRIVER))), []);
|
|
347
|
+
});
|
|
348
|
+
it('点分首段静默探测:非枚举首段不产生诊断;词汇函数首段不按 E.M 解析', () => {
|
|
349
|
+
const src = 'Modul m.\n\nDefiniere Stufe als eines von Hoch, Niedrig.\n\n' +
|
|
350
|
+
'Regel f gegeben x als Text, liefert Stufe:\n sei n gleich Unbekannt.laenge.\n gib zurueck Stufe.Hoch.\n';
|
|
351
|
+
const r = resolveDeclarations(parse(src), ctxOf([...LEVEL, fn('grade', 'Stufe')]));
|
|
352
|
+
assert.deepEqual(codes(r), []);
|
|
353
|
+
const f = decl(r.module, 1, 'Func');
|
|
354
|
+
assert.equal('resolved' in (bodyStmt(f, 0).expr), false);
|
|
355
|
+
assert.equal('resolved' in (bodyStmt(f, 1).expr), false);
|
|
356
|
+
});
|
|
357
|
+
});
|
|
358
|
+
describe('类型别名(裁决 R15)', () => {
|
|
359
|
+
it('引用类型别名不报 E800,按别名声明解析', () => {
|
|
360
|
+
const m = parse('Module m.\n\nType Score as Int.\n\nDefine Fahrer has punkte as Score.\n\n' +
|
|
361
|
+
'Rule f given s as Score, produce Score:\n Return s.\n', EN_US);
|
|
362
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
363
|
+
assert.deepEqual(codes(r), []);
|
|
364
|
+
assert.deepEqual(r.module.resolvedTypeAliases, [{ canonical: 'Score', role: 'TYPE_DECL', written: 'Score' }]);
|
|
365
|
+
const f = decl(r.module, 1, 'Func');
|
|
366
|
+
assert.deepEqual(f.typeParams, []);
|
|
367
|
+
assert.equal(f.params[0].type.resolved?.canonical, 'Score');
|
|
368
|
+
assert.equal(decl(r.module, 0, 'Data').fields[0].type.resolved?.canonical, 'Score');
|
|
369
|
+
});
|
|
370
|
+
it('别名声明命中词汇 → 取规范名,引用随之解析', () => {
|
|
371
|
+
const m = parse('Module m.\n\nType Punktzahl as Int.\n\nDefine Fahrer has punkte as Punktzahl.\n', EN_US);
|
|
372
|
+
const r = resolveDeclarations(m, ctxOf([...DRIVER, struct('Score', 'Punktzahl')]));
|
|
373
|
+
assert.deepEqual(codes(r), []);
|
|
374
|
+
assert.deepEqual(r.module.typeAliases, ['Punktzahl'], '原写法保留');
|
|
375
|
+
assert.deepEqual(r.module.resolvedTypeAliases, [{ canonical: 'Score', role: 'TYPE_DECL', written: 'Punktzahl' }]);
|
|
376
|
+
const t = decl(r.module, 0, 'Data').fields[0].type;
|
|
377
|
+
assert.deepEqual(t.resolved, { canonical: 'Score', role: 'TYPE', written: 'Punktzahl' });
|
|
378
|
+
});
|
|
379
|
+
it('别名与 Data 解析到同一规范名 → E807', () => {
|
|
380
|
+
const m = parse('Module m.\n\nType Fahrer as Int.\n\nDefine Driver has age as Int.\n', EN_US);
|
|
381
|
+
const r = resolveDeclarations(m, ctxOf(DRIVER));
|
|
382
|
+
assert.deepEqual(codes(r), ["E807" /* ErrorCode.DUPLICATE_DECLARATION */]);
|
|
383
|
+
});
|
|
384
|
+
});
|
|
385
|
+
it('不修改输入 AST', () => {
|
|
386
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n');
|
|
387
|
+
const before = JSON.stringify(m);
|
|
388
|
+
resolveDeclarations(m, ctxOf(DRIVER));
|
|
389
|
+
assert.equal(JSON.stringify(m), before);
|
|
390
|
+
});
|
|
391
|
+
it('无词汇时声明与类型取原写法', () => {
|
|
392
|
+
const m = parse('Modul m.\n\nDefiniere Fahrer hat alter als Ganzzahl.\n');
|
|
393
|
+
const r = resolveDeclarations(m, { imports: NO_IMPORTS });
|
|
394
|
+
const data = decl(r.module, 0, 'Data');
|
|
395
|
+
assert.equal(data.resolved?.canonical, 'Fahrer');
|
|
396
|
+
assert.equal(data.fields[0].resolved?.canonical, 'alter');
|
|
397
|
+
assert.equal(data.fields[0].type.resolved?.canonical, 'Int');
|
|
398
|
+
});
|
|
399
|
+
});
|
|
400
|
+
//# sourceMappingURL=resolve-declarations.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"resolve-declarations.test.js","sourceRoot":"","sources":["../../../../test/unit/frontend/resolve-declarations.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAE9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oDAAoD,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,MAAM,mDAAmD,CAAC;AAEnF,OAAO,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,MAAM,6CAA6C,CAAC;AAKzE,SAAS,KAAK,CAAC,MAAc,EAAE,UAAmB,KAAK;IACrD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,OAAO,MAAM,CAAC,GAAG,CAAC;AACpB,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,SAAiB,EAAE,SAAiB,EAAqB,EAAE,CAAC,CAAC;IAC3E,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM;CAClD,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAqB,EAAE,CAAC,CAAC;IAC1F,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM;CACzD,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAqB,EAAE,CAAC,CAAC;IAC3F,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC,UAAU,EAAE,MAAM;CAC9D,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,SAAiB,EAAE,SAAiB,EAAqB,EAAE,CAAC,CAAC;IACvE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC,QAAQ;CACpD,CAAC,CAAC;AAEH,SAAS,KAAK,CAAC,QAA6B,EAAE,UAAgC,UAAU;IACtF,MAAM,KAAK,GAAqB;QAC9B,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG;QACjD,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,CAAC;QACjE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,KAAK,CAAC;QAC/D,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,QAAQ,CAAC;QACrE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,CAAC;KACzE,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAC7E,MAAM,KAAK,GAAG;IACZ,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;IACxB,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC;IACjC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;IAC/B,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC;CAClC,CAAC;AAEF,SAAS,IAAI,CAAoC,CAAa,EAAE,CAAS,EAAE,IAAO;IAChF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC1D,OAAO,CAA0C,CAAC;AACpD,CAAC;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAS;IACtC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAA+C,EAAY,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAE9G,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/F,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACvG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,KAAK,CACb,qGAAqG,CACtG,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CACd,EAAE,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EACtD,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAClD,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAC1B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,SAAS,CAAE,CAAC,CAAC,IAAqB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5G,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,KAAK,CACb,0DAA0D;YACxD,6EAA6E,CAChF,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QACvB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC/B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACxF,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC,OAAwB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAe,CAAC;QACzC,MAAM,CAAC,SAAS,CAAE,GAAG,CAAC,IAAiB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7G,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,KAAK,CACb,4FAA4F;YAC1F,4FAA4F,EAC9F,KAAK,CACN,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAgB,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAe,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,GAAoB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,GAAoB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAqB,CAAC;QACpC,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,EAAmB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,GAAoB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,MAAM,GAAG,GAAiB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAiB;YAC7B,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI;SAC/F,CAAC;QACF,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE;YAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CACP,GAAG,EACH,EAAE,EACF;gBACE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACnD,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBAC9E,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;aACjF,EACD,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EACrB,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,CACpB;SACF,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAoB,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAkB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC3E,MAAM,CAAC,KAAK,CAAG,EAAE,CAAC,GAAiB,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACzF,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAmB,CAAC;QAC7C,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAkB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAoB,CAAC,QAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC1G,MAAM,CAAC,KAAK,CAAG,CAAC,CAAC,OAAsB,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,6BAA6B;QAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE;YAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE;gBAClB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;gBAC5E,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;aAC9E,CAAC;SACH,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QAC9D,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,+EAA+E,CAAC,CAAC;QACjG,MAAM,OAAO,GAAyB,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC,OAAwB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACxE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,+CAAkC,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,KAAK,CACb,8DAA8D;YAC5D,6EAA6E,CAChF,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAe,CAAC;QACjE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAgB,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACtC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;QACxG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,KAAK,CACb,kDAAkD;YAChD,uFAAuF;YACvF,+DAA+D,EACjE,KAAK,CACN,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3F,MAAM,IAAI,GAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAgB,CAAC,IAAqB,CAAC;QAClE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACtG,MAAM,IAAI,GAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAgB,CAAC,IAAgB,CAAC;QACrF,MAAM,CAAC,SAAS,CAAE,IAAI,CAAC,MAAmB,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClH,MAAM,CAAC,SAAS,CAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,KAAK,CACb,kGAAkG,CACnG,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,8CAAiC,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QACrH,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,uCAA0B,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QACpG,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAC9E,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,KAAK,CACb,2EAA2E,EAC3E,KAAK,CACN,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAe,CAAC;QACjE,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,IAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7D,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,4CAA+B,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GACP,8EAA8E;YAC9E,+DAA+D,CAAC;QAClE,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3F,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAqB,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC;IAElD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,KAAK,CACb,kDAAkD;YAChD,+FAA+F,EACjG,KAAK,CACN,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAc,CAAC;QAClE,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,OAA0B,CAAC;QACvD,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzF,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAkB,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,IAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,KAAK,CACb,8DAA8D;YAC5D,uEAAuE,CAC1E,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAe,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,CAAC,GAAG,KAAK,CAAC,+EAA+E,CAAC,CAAC;YACjG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,wBAAwB,CAAC,CAAC;YACtF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACpC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YAChF,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,CAAC,GAAG,KAAK,CAAC,iFAAiF,CAAC,CAAC;YACnG,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACpC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrD,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC7C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,GAAG,KAAK,CAAC,iFAAiF,CAAC,CAAC;YACnG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC,CAAC;YAC7E,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACjG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,uCAA0B,CAAC,CAAC;YACvD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,CAAC,GAAG,KAAK,CAAC,yFAAyF,CAAC,CAAC;YAC3G,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACpC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;YACxE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,yDAAyD,CAAC,CAAC;YAC3E,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,wCAA2B,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,GAAG,KAAK,CACb,8DAA8D;gBAC5D,4FAA4F;gBAC5F,6DAA6D,CAChE,CAAC;YACF,MAAM,OAAO,GAAyB,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1E,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;YACxE,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,CAAC,GAAG,KAAK,CAAC,uDAAuD,CAAC,CAAC;YACzE,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,GAAG,KAAK,CACb,iEAAiE;gBAC/D,gFAAgF,CACnF,CAAC;YACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,wCAA2B,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,MAAM,CAAC,GAAG,KAAK,CACb,0DAA0D;gBACxD,kGAAkG,CACrG,CAAC;YACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,yCAA4B,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,CAAC,GAAG,KAAK,CACb,4GAA4G,CAC7G,CAAC;YACF,MAAM,OAAO,GAAyB,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnH,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YACrH,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;YACxD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,wCAA2B,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,GAAG,KAAK,CACb,8DAA8D;gBAC5D,+EAA+E,CAClF,CAAC;YACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,wCAA2B,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE;gBAC/B,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;gBAC5B,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EACzG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACnH,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,2CAA8B,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,GAAG,KAAK,CAAC,2FAA2F,CAAC,CAAC;YAC7G,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,GAAG,GACP,8DAA8D;gBAC9D,2GAA2G,CAAC;YAC9G,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACpC,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,CAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAa,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YACtE,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,CAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,GAAG,KAAK,CACb,2EAA2E;gBACzE,wDAAwD,EAC1D,KAAK,CACN,CAAC;YACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YAC9G,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACpC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAC/E,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACzG,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,CAAC,GAAG,KAAK,CACb,iFAAiF,EACjF,KAAK,CACN,CAAC;YACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;YAC/D,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;YAClH,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAoB,CAAC;YACpE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QAC3F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,GAAG,KAAK,CAAC,qEAAqE,EAAE,KAAK,CAAC,CAAC;YAC9F,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,8CAAiC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,CAAC,GAAG,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACjC,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"casefold.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/identifiers/casefold.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,77 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @module test/unit/identifiers/casefold.test
|
|
3
|
+
*
|
|
4
|
+
* Unicode 15.1 简单折叠:跨语言测试向量 + 辅助函数。
|
|
5
|
+
*/
|
|
6
|
+
import { describe, it } from 'node:test';
|
|
7
|
+
import assert from 'node:assert';
|
|
8
|
+
import { createHash } from 'node:crypto';
|
|
9
|
+
import { existsSync, readFileSync } from 'node:fs';
|
|
10
|
+
import { dirname, join } from 'node:path';
|
|
11
|
+
import { fileURLToPath } from 'node:url';
|
|
12
|
+
import { compareCodePoints, foldKey, nfc } from '../../../src/config/lexicons/identifiers/casefold.js';
|
|
13
|
+
const repoRoot = join(dirname(fileURLToPath(import.meta.url)), '..', '..', '..', '..');
|
|
14
|
+
const vectorsPath = join(repoRoot, 'test', 'fixtures', 'casefold', 'test-vectors.json');
|
|
15
|
+
// aster-lang-locales/casefold/test-vectors.json 原件的 sha256;副本必须逐字节一致。
|
|
16
|
+
const VECTORS_SHA256 = '0d8a9a43d7a7a90f1a8ccd964f868f8043dd0e5b2b9ded1ea850071799a71bb3';
|
|
17
|
+
describe('casefold 测试向量', () => {
|
|
18
|
+
const raw = readFileSync(vectorsPath);
|
|
19
|
+
it('向量文件副本与 locales 原件一致', () => {
|
|
20
|
+
assert.strictEqual(createHash('sha256').update(raw).digest('hex'), VECTORS_SHA256);
|
|
21
|
+
});
|
|
22
|
+
const vectors = JSON.parse(raw.toString('utf8'));
|
|
23
|
+
it('向量非空', () => assert.ok(vectors.length > 0));
|
|
24
|
+
for (const v of vectors) {
|
|
25
|
+
it(`${v.note}: ${JSON.stringify(v.a)} / ${JSON.stringify(v.b)} => ${v.equal}`, () => {
|
|
26
|
+
// 以码点数组还原输入,避免文件编码影响
|
|
27
|
+
const a = String.fromCodePoint(...v.codepoints.a);
|
|
28
|
+
const b = String.fromCodePoint(...v.codepoints.b);
|
|
29
|
+
assert.strictEqual(foldKey(a) === foldKey(b), v.equal);
|
|
30
|
+
});
|
|
31
|
+
}
|
|
32
|
+
});
|
|
33
|
+
describe('foldKey / compareCodePoints', () => {
|
|
34
|
+
it('不依赖宿主 toLowerCase:土耳其 İ 保持不变', () => {
|
|
35
|
+
assert.strictEqual(foldKey('İ'), 'İ');
|
|
36
|
+
});
|
|
37
|
+
it('未映射码点(含增补平面)保持不变', () => {
|
|
38
|
+
assert.strictEqual(foldKey('天城文𝒜'), '天城文𝒜');
|
|
39
|
+
});
|
|
40
|
+
it('增补平面大小写:U+10400 折叠为 U+10428', () => {
|
|
41
|
+
assert.strictEqual(foldKey('\u{10400}'), '\u{10428}');
|
|
42
|
+
});
|
|
43
|
+
it('nfc 合成组合字符', () => {
|
|
44
|
+
assert.strictEqual(nfc('é'), 'é');
|
|
45
|
+
});
|
|
46
|
+
it('码点序而非 UTF-16 单元序:U+FF5E < U+10000', () => {
|
|
47
|
+
assert.ok(compareCodePoints('~', '\u{10000}') < 0);
|
|
48
|
+
assert.ok('~' > '\u{10000}'); // UTF-16 单元序相反,证明确有差异
|
|
49
|
+
assert.strictEqual(compareCodePoints('abc', 'abc'), 0);
|
|
50
|
+
assert.ok(compareCodePoints('ab', 'abc') < 0);
|
|
51
|
+
});
|
|
52
|
+
});
|
|
53
|
+
describe('foldKey NFC 闭包', () => {
|
|
54
|
+
const GREEK_A = 'Ϊ́'; // Ϊ + 组合锐音
|
|
55
|
+
const GREEK_B = 'ΐ'; // ΐ
|
|
56
|
+
it('Ϊ́ 与 ΐ 折叠相等', () => {
|
|
57
|
+
assert.strictEqual(foldKey(GREEK_A), foldKey(GREEK_B));
|
|
58
|
+
});
|
|
59
|
+
it('折叠结果恒为 NFC(测试向量与希腊文用例)', () => {
|
|
60
|
+
const vectors = JSON.parse(readFileSync(vectorsPath, 'utf8'));
|
|
61
|
+
const inputs = [GREEK_A, GREEK_B, ...vectors.flatMap((v) => [v.a, v.b])];
|
|
62
|
+
for (const s of inputs)
|
|
63
|
+
assert.strictEqual(foldKey(s), nfc(foldKey(s)));
|
|
64
|
+
});
|
|
65
|
+
});
|
|
66
|
+
describe('折叠表与 locales 数据一致', () => {
|
|
67
|
+
it('生成表等于 casefold-15.1.json', async (t) => {
|
|
68
|
+
const src = join(repoRoot, '..', 'aster-lang-locales', 'casefold', 'casefold-15.1.json');
|
|
69
|
+
if (!existsSync(src))
|
|
70
|
+
return t.skip('兄弟仓库 aster-lang-locales 不存在');
|
|
71
|
+
const { CASEFOLD_TABLE } = await import('../../../src/config/lexicons/identifiers/casefold-table.generated.js');
|
|
72
|
+
const map = JSON.parse(readFileSync(src, 'utf8')).map;
|
|
73
|
+
const expected = Object.entries(map).map(([k, v]) => [parseInt(k, 16), parseInt(v, 16)]).sort((a, b) => a[0] - b[0]);
|
|
74
|
+
assert.deepStrictEqual([...CASEFOLD_TABLE].sort((a, b) => a[0] - b[0]), expected);
|
|
75
|
+
});
|
|
76
|
+
});
|
|
77
|
+
//# sourceMappingURL=casefold.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"casefold.test.js","sourceRoot":"","sources":["../../../../test/unit/identifiers/casefold.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,sDAAsD,CAAC;AAEvG,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACvF,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;AAExF,sEAAsE;AACtE,MAAM,cAAc,GAAG,kEAAkE,CAAC;AAU1F,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAEtC,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAa,CAAC;IAC7D,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAEhD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE;YAClF,qBAAqB;YACrB,MAAM,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,sBAAsB;QACpD,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,WAAW;IACjC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,IAAI;IACzB,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAa,CAAC;QAC1E,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,0BAA0B,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,oBAAoB,CAAC,CAAC;QACzF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QACnE,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,MAAM,CAAC,sEAAsE,CAAC,CAAC;QAChH,MAAM,GAAG,GAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAqC,CAAC,GAAG,CAAC;QAC3F,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACvH,MAAM,CAAC,eAAe,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"scopes.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/identifiers/scopes.test.ts"],"names":[],"mappings":""}
|