@tsonic/frontend 0.0.62 → 0.0.64
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/.tsbuildinfo +1 -1
- package/dist/dependency-graph.d.ts +1 -1
- package/dist/dependency-graph.d.ts.map +1 -1
- package/dist/dependency-graph.js +1 -1
- package/dist/dependency-graph.js.map +1 -1
- package/dist/dotnet-metadata.d.ts +0 -12
- package/dist/dotnet-metadata.d.ts.map +1 -1
- package/dist/dotnet-metadata.js +0 -24
- package/dist/dotnet-metadata.js.map +1 -1
- package/dist/generic-function-values.d.ts +11 -0
- package/dist/generic-function-values.d.ts.map +1 -0
- package/dist/generic-function-values.js +243 -0
- package/dist/generic-function-values.js.map +1 -0
- package/dist/generic-function-values.test.d.ts +2 -0
- package/dist/generic-function-values.test.d.ts.map +1 -0
- package/dist/generic-function-values.test.js +256 -0
- package/dist/generic-function-values.test.js.map +1 -0
- package/dist/graph/extraction/imports.d.ts +5 -0
- package/dist/graph/extraction/imports.d.ts.map +1 -1
- package/dist/graph/extraction/imports.js +39 -1
- package/dist/graph/extraction/imports.js.map +1 -1
- package/dist/graph/extraction/index.d.ts +1 -1
- package/dist/graph/extraction/index.d.ts.map +1 -1
- package/dist/graph/extraction/index.js +1 -1
- package/dist/graph/extraction/index.js.map +1 -1
- package/dist/graph/extraction/orchestrator.d.ts.map +1 -1
- package/dist/graph/extraction/orchestrator.js +16 -2
- package/dist/graph/extraction/orchestrator.js.map +1 -1
- package/dist/graph/extraction.d.ts +1 -1
- package/dist/graph/extraction.d.ts.map +1 -1
- package/dist/graph/extraction.js +1 -1
- package/dist/graph/extraction.js.map +1 -1
- package/dist/ir/binding/binding-factory.d.ts +17 -0
- package/dist/ir/binding/binding-factory.d.ts.map +1 -0
- package/dist/ir/binding/binding-factory.js +765 -0
- package/dist/ir/binding/binding-factory.js.map +1 -0
- package/dist/ir/binding/binding-helpers.d.ts +90 -0
- package/dist/ir/binding/binding-helpers.d.ts.map +1 -0
- package/dist/ir/binding/binding-helpers.js +387 -0
- package/dist/ir/binding/binding-helpers.js.map +1 -0
- package/dist/ir/binding/binding-types.d.ts +203 -0
- package/dist/ir/binding/binding-types.d.ts.map +1 -0
- package/dist/ir/binding/binding-types.js +9 -0
- package/dist/ir/binding/binding-types.js.map +1 -0
- package/dist/ir/binding/index.d.ts +4 -158
- package/dist/ir/binding/index.d.ts.map +1 -1
- package/dist/ir/binding/index.js +3 -1134
- package/dist/ir/binding/index.js.map +1 -1
- package/dist/ir/binding-resolution.test.js +248 -0
- package/dist/ir/binding-resolution.test.js.map +1 -1
- package/dist/ir/builder/imports.d.ts.map +1 -1
- package/dist/ir/builder/imports.js +8 -1
- package/dist/ir/builder/imports.js.map +1 -1
- package/dist/ir/builder.test.js +360 -0
- package/dist/ir/builder.test.js.map +1 -1
- package/dist/ir/converters/anonymous-synthesis.d.ts +3 -3
- package/dist/ir/converters/anonymous-synthesis.d.ts.map +1 -1
- package/dist/ir/converters/anonymous-synthesis.js +45 -8
- package/dist/ir/converters/anonymous-synthesis.js.map +1 -1
- package/dist/ir/converters/expressions/access/access-converter.d.ts +14 -0
- package/dist/ir/converters/expressions/access/access-converter.d.ts.map +1 -0
- package/dist/ir/converters/expressions/access/access-converter.js +141 -0
- package/dist/ir/converters/expressions/access/access-converter.js.map +1 -0
- package/dist/ir/converters/expressions/access/binding-resolution.d.ts +35 -0
- package/dist/ir/converters/expressions/access/binding-resolution.d.ts.map +1 -0
- package/dist/ir/converters/expressions/access/binding-resolution.js +447 -0
- package/dist/ir/converters/expressions/access/binding-resolution.js.map +1 -0
- package/dist/ir/converters/expressions/access/member-resolution.d.ts +67 -0
- package/dist/ir/converters/expressions/access/member-resolution.d.ts.map +1 -0
- package/dist/ir/converters/expressions/access/member-resolution.js +262 -0
- package/dist/ir/converters/expressions/access/member-resolution.js.map +1 -0
- package/dist/ir/converters/expressions/access.d.ts +1 -7
- package/dist/ir/converters/expressions/access.d.ts.map +1 -1
- package/dist/ir/converters/expressions/access.js +1 -720
- package/dist/ir/converters/expressions/access.js.map +1 -1
- package/dist/ir/converters/expressions/calls/call-converter.d.ts +23 -0
- package/dist/ir/converters/expressions/calls/call-converter.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-converter.js +526 -0
- package/dist/ir/converters/expressions/calls/call-converter.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts +53 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.js +554 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.js.map +1 -0
- package/dist/ir/converters/expressions/calls/new-converter.d.ts +21 -0
- package/dist/ir/converters/expressions/calls/new-converter.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/new-converter.js +182 -0
- package/dist/ir/converters/expressions/calls/new-converter.js.map +1 -0
- package/dist/ir/converters/expressions/calls.d.ts +2 -28
- package/dist/ir/converters/expressions/calls.d.ts.map +1 -1
- package/dist/ir/converters/expressions/calls.js +2 -1344
- package/dist/ir/converters/expressions/calls.js.map +1 -1
- package/dist/ir/converters/expressions/collections.d.ts.map +1 -1
- package/dist/ir/converters/expressions/collections.js +37 -6
- package/dist/ir/converters/expressions/collections.js.map +1 -1
- package/dist/ir/converters/expressions/functions.js +1 -1
- package/dist/ir/converters/expressions/functions.js.map +1 -1
- package/dist/ir/converters/expressions/helpers.d.ts.map +1 -1
- package/dist/ir/converters/expressions/helpers.js +1 -0
- package/dist/ir/converters/expressions/helpers.js.map +1 -1
- package/dist/ir/converters/expressions/other.d.ts.map +1 -1
- package/dist/ir/converters/expressions/other.js +3 -2
- package/dist/ir/converters/expressions/other.js.map +1 -1
- package/dist/ir/converters/flow-narrowing.d.ts.map +1 -1
- package/dist/ir/converters/flow-narrowing.js +3 -2
- package/dist/ir/converters/flow-narrowing.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/methods.js +1 -1
- package/dist/ir/converters/statements/declarations/classes/methods.js.map +1 -1
- package/dist/ir/converters/statements/declarations/type-aliases.js +1 -1
- package/dist/ir/converters/statements/declarations/type-aliases.js.map +1 -1
- package/dist/ir/converters/statements/declarations/variables.d.ts +2 -2
- package/dist/ir/converters/statements/declarations/variables.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/variables.js +289 -2
- package/dist/ir/converters/statements/declarations/variables.js.map +1 -1
- package/dist/ir/expression-converter.d.ts +0 -1
- package/dist/ir/expression-converter.d.ts.map +1 -1
- package/dist/ir/expression-converter.js +0 -2
- package/dist/ir/expression-converter.js.map +1 -1
- package/dist/ir/generic-function-value-lowering.test.d.ts +2 -0
- package/dist/ir/generic-function-value-lowering.test.d.ts.map +1 -0
- package/dist/ir/generic-function-value-lowering.test.js +312 -0
- package/dist/ir/generic-function-value-lowering.test.js.map +1 -0
- package/dist/ir/generic-validator.d.ts +3 -4
- package/dist/ir/generic-validator.d.ts.map +1 -1
- package/dist/ir/generic-validator.js +3 -35
- package/dist/ir/generic-validator.js.map +1 -1
- package/dist/ir/program-context.d.ts +12 -0
- package/dist/ir/program-context.d.ts.map +1 -1
- package/dist/ir/program-context.js +2 -0
- package/dist/ir/program-context.js.map +1 -1
- package/dist/ir/statement-converter.d.ts +0 -2
- package/dist/ir/statement-converter.d.ts.map +1 -1
- package/dist/ir/statement-converter.js +0 -3
- package/dist/ir/statement-converter.js.map +1 -1
- package/dist/ir/type-system/internal/handle-types.d.ts +16 -16
- package/dist/ir/type-system/internal/handle-types.d.ts.map +1 -1
- package/dist/ir/type-system/internal/nominal-env.d.ts +0 -2
- package/dist/ir/type-system/internal/nominal-env.d.ts.map +1 -1
- package/dist/ir/type-system/internal/nominal-env.js +2 -6
- package/dist/ir/type-system/internal/nominal-env.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/converter.d.ts +3 -1
- package/dist/ir/type-system/internal/type-converter/converter.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/converter.js +3 -1
- package/dist/ir/type-system/internal/type-converter/converter.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/objects.js +7 -1
- package/dist/ir/type-system/internal/type-converter/objects.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts +0 -2
- package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.js +322 -23
- package/dist/ir/type-system/internal/type-converter/orchestrator.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.d.ts +2 -0
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.js +265 -0
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/primitives.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/primitives.js +5 -0
- package/dist/ir/type-system/internal/type-converter/primitives.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/references.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/references.js +67 -29
- package/dist/ir/type-system/internal/type-converter/references.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.js +145 -0
- package/dist/ir/type-system/internal/type-converter/utility-types.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.test.js +91 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.test.js.map +1 -1
- package/dist/ir/type-system/internal/type-registry.d.ts +1 -1
- package/dist/ir/type-system/internal/type-registry.js +7 -7
- package/dist/ir/type-system/internal/type-registry.js.map +1 -1
- package/dist/ir/type-system/internal/universe/alias-table.d.ts +0 -14
- package/dist/ir/type-system/internal/universe/alias-table.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/alias-table.js +0 -17
- package/dist/ir/type-system/internal/universe/alias-table.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-catalog.d.ts +3 -0
- package/dist/ir/type-system/internal/universe/clr-catalog.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-catalog.js +4 -1044
- package/dist/ir/type-system/internal/universe/clr-catalog.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-entry-converter.d.ts +51 -0
- package/dist/ir/type-system/internal/universe/clr-entry-converter.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-entry-converter.js +657 -0
- package/dist/ir/type-system/internal/universe/clr-entry-converter.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.d.ts +52 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.js +481 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.test.d.ts +2 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.test.js +55 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.test.js.map +1 -0
- package/dist/ir/type-system/internal/universe/index.d.ts +1 -1
- package/dist/ir/type-system/internal/universe/index.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/index.js +1 -3
- package/dist/ir/type-system/internal/universe/index.js.map +1 -1
- package/dist/ir/type-system/internal/universe/unified-universe.test.js +2 -0
- package/dist/ir/type-system/internal/universe/unified-universe.test.js.map +1 -1
- package/dist/ir/type-system/type-system-call-resolution.d.ts +69 -0
- package/dist/ir/type-system/type-system-call-resolution.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-call-resolution.js +1121 -0
- package/dist/ir/type-system/type-system-call-resolution.js.map +1 -0
- package/dist/ir/type-system/type-system-inference.d.ts +98 -0
- package/dist/ir/type-system/type-system-inference.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-inference.js +1121 -0
- package/dist/ir/type-system/type-system-inference.js.map +1 -0
- package/dist/ir/type-system/type-system-relations.d.ts +15 -0
- package/dist/ir/type-system/type-system-relations.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-relations.js +152 -0
- package/dist/ir/type-system/type-system-relations.js.map +1 -0
- package/dist/ir/type-system/type-system-state.d.ts +436 -0
- package/dist/ir/type-system/type-system-state.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-state.js +212 -0
- package/dist/ir/type-system/type-system-state.js.map +1 -0
- package/dist/ir/type-system/type-system-utilities.d.ts +56 -0
- package/dist/ir/type-system/type-system-utilities.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-utilities.js +373 -0
- package/dist/ir/type-system/type-system-utilities.js.map +1 -0
- package/dist/ir/type-system/type-system.d.ts +17 -358
- package/dist/ir/type-system/type-system.d.ts.map +1 -1
- package/dist/ir/type-system/type-system.js +67 -2945
- package/dist/ir/type-system/type-system.js.map +1 -1
- package/dist/ir/types/index.d.ts +1 -0
- package/dist/ir/types/index.d.ts.map +1 -1
- package/dist/ir/types/index.js +1 -0
- package/dist/ir/types/index.js.map +1 -1
- package/dist/ir/types/ir-substitution.js +1 -1
- package/dist/ir/types/ir-substitution.js.map +1 -1
- package/dist/ir/types/statements.d.ts +1 -1
- package/dist/ir/types/type-ops.d.ts +9 -0
- package/dist/ir/types/type-ops.d.ts.map +1 -0
- package/dist/ir/types/type-ops.js +134 -0
- package/dist/ir/types/type-ops.js.map +1 -0
- package/dist/ir/types/type-ops.test.d.ts +2 -0
- package/dist/ir/types/type-ops.test.d.ts.map +1 -0
- package/dist/ir/types/type-ops.test.js +73 -0
- package/dist/ir/types/type-ops.test.js.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-pass.d.ts.map +1 -1
- package/dist/ir/validation/anonymous-type-lowering-pass.js +34 -0
- package/dist/ir/validation/anonymous-type-lowering-pass.js.map +1 -1
- package/dist/ir/validation/anonymous-type-lowering-regressions.test.d.ts +2 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions.test.d.ts.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions.test.js +121 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions.test.js.map +1 -0
- package/dist/ir/validation/attribute-collection/arg-extractor.d.ts +58 -0
- package/dist/ir/validation/attribute-collection/arg-extractor.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/arg-extractor.js +284 -0
- package/dist/ir/validation/attribute-collection/arg-extractor.js.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-parser.d.ts +28 -0
- package/dist/ir/validation/attribute-collection/marker-parser.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-parser.js +404 -0
- package/dist/ir/validation/attribute-collection/marker-parser.js.map +1 -0
- package/dist/ir/validation/attribute-collection/orchestrator.d.ts +28 -0
- package/dist/ir/validation/attribute-collection/orchestrator.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/orchestrator.js +332 -0
- package/dist/ir/validation/attribute-collection/orchestrator.js.map +1 -0
- package/dist/ir/validation/attribute-collection-pass.d.ts +1 -23
- package/dist/ir/validation/attribute-collection-pass.d.ts.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.js +1 -961
- package/dist/ir/validation/attribute-collection-pass.js.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.test.js +12 -6
- package/dist/ir/validation/attribute-collection-pass.test.js.map +1 -1
- package/dist/ir/validation/numeric-invariants.test.js +29 -0
- package/dist/ir/validation/numeric-invariants.test.js.map +1 -1
- package/dist/ir/validation/numeric-proof-pass.d.ts.map +1 -1
- package/dist/ir/validation/numeric-proof-pass.js +21 -0
- package/dist/ir/validation/numeric-proof-pass.js.map +1 -1
- package/dist/ir/validation/soundness-gate.d.ts.map +1 -1
- package/dist/ir/validation/soundness-gate.js +2 -1
- package/dist/ir/validation/soundness-gate.js.map +1 -1
- package/dist/ir/validation/soundness-gate.test.js +69 -0
- package/dist/ir/validation/soundness-gate.test.js.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.d.ts +11 -5
- package/dist/ir/validation/yield-lowering-pass.d.ts.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.js +942 -48
- package/dist/ir/validation/yield-lowering-pass.js.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.test.js +1333 -127
- package/dist/ir/validation/yield-lowering-pass.test.js.map +1 -1
- package/dist/program/binding-loader.d.ts +37 -0
- package/dist/program/binding-loader.d.ts.map +1 -0
- package/dist/program/binding-loader.js +155 -0
- package/dist/program/binding-loader.js.map +1 -0
- package/dist/program/binding-registry.d.ts +106 -0
- package/dist/program/binding-registry.d.ts.map +1 -0
- package/dist/program/binding-registry.js +590 -0
- package/dist/program/binding-registry.js.map +1 -0
- package/dist/program/binding-types.d.ts +166 -0
- package/dist/program/binding-types.d.ts.map +1 -0
- package/dist/program/binding-types.js +57 -0
- package/dist/program/binding-types.js.map +1 -0
- package/dist/program/bindings.d.ts +6 -271
- package/dist/program/bindings.d.ts.map +1 -1
- package/dist/program/bindings.js +7 -781
- package/dist/program/bindings.js.map +1 -1
- package/dist/program/creation.d.ts.map +1 -1
- package/dist/program/creation.js +104 -13
- package/dist/program/creation.js.map +1 -1
- package/dist/program/creation.test.js +133 -1
- package/dist/program/creation.test.js.map +1 -1
- package/dist/program/diagnostics.d.ts +1 -1
- package/dist/program/diagnostics.d.ts.map +1 -1
- package/dist/program/diagnostics.js +47 -2
- package/dist/program/diagnostics.js.map +1 -1
- package/dist/program/diagnostics.test.d.ts +2 -0
- package/dist/program/diagnostics.test.d.ts.map +1 -0
- package/dist/program/diagnostics.test.js +58 -0
- package/dist/program/diagnostics.test.js.map +1 -0
- package/dist/program/types.d.ts +2 -0
- package/dist/program/types.d.ts.map +1 -1
- package/dist/resolver/clr-bindings-resolver.d.ts +0 -1
- package/dist/resolver/clr-bindings-resolver.d.ts.map +1 -1
- package/dist/resolver/clr-bindings-resolver.js +22 -32
- package/dist/resolver/clr-bindings-resolver.js.map +1 -1
- package/dist/resolver/clr-bindings-resolver.test.js +0 -27
- package/dist/resolver/clr-bindings-resolver.test.js.map +1 -1
- package/dist/resolver/import-resolution.d.ts +3 -1
- package/dist/resolver/import-resolution.d.ts.map +1 -1
- package/dist/resolver/import-resolution.js +14 -11
- package/dist/resolver/import-resolution.js.map +1 -1
- package/dist/resolver/naming.d.ts.map +1 -1
- package/dist/resolver/naming.js +1 -0
- package/dist/resolver/naming.js.map +1 -1
- package/dist/resolver/node-module-aliases.d.ts +6 -0
- package/dist/resolver/node-module-aliases.d.ts.map +1 -0
- package/dist/resolver/node-module-aliases.js +164 -0
- package/dist/resolver/node-module-aliases.js.map +1 -0
- package/dist/resolver/node-module-aliases.test.d.ts +2 -0
- package/dist/resolver/node-module-aliases.test.d.ts.map +1 -0
- package/dist/resolver/node-module-aliases.test.js +64 -0
- package/dist/resolver/node-module-aliases.test.js.map +1 -0
- package/dist/resolver.test.js +103 -0
- package/dist/resolver.test.js.map +1 -1
- package/dist/surface/js-surface-shims.d.ts +3 -0
- package/dist/surface/js-surface-shims.d.ts.map +1 -0
- package/dist/surface/js-surface-shims.js +332 -0
- package/dist/surface/js-surface-shims.js.map +1 -0
- package/dist/surface/js-surface-shims.test.d.ts +2 -0
- package/dist/surface/js-surface-shims.test.d.ts.map +1 -0
- package/dist/surface/js-surface-shims.test.js +53 -0
- package/dist/surface/js-surface-shims.test.js.map +1 -0
- package/dist/surface/profiles.d.ts +10 -0
- package/dist/surface/profiles.d.ts.map +1 -0
- package/dist/surface/profiles.js +65 -0
- package/dist/surface/profiles.js.map +1 -0
- package/dist/surface/profiles.test.d.ts +2 -0
- package/dist/surface/profiles.test.d.ts.map +1 -0
- package/dist/surface/profiles.test.js +44 -0
- package/dist/surface/profiles.test.js.map +1 -0
- package/dist/types/diagnostic.d.ts +1 -1
- package/dist/types/diagnostic.d.ts.map +1 -1
- package/dist/types/diagnostic.js.map +1 -1
- package/dist/validation/features.d.ts.map +1 -1
- package/dist/validation/features.js +38 -13
- package/dist/validation/features.js.map +1 -1
- package/dist/validation/features.test.d.ts +2 -0
- package/dist/validation/features.test.d.ts.map +1 -0
- package/dist/validation/features.test.js +273 -0
- package/dist/validation/features.test.js.map +1 -0
- package/dist/validation/generics.d.ts +1 -1
- package/dist/validation/generics.d.ts.map +1 -1
- package/dist/validation/generics.js +2 -26
- package/dist/validation/generics.js.map +1 -1
- package/dist/validation/imports.d.ts.map +1 -1
- package/dist/validation/imports.js +29 -5
- package/dist/validation/imports.js.map +1 -1
- package/dist/validation/imports.test.d.ts +2 -0
- package/dist/validation/imports.test.d.ts.map +1 -0
- package/dist/validation/imports.test.js +211 -0
- package/dist/validation/imports.test.js.map +1 -0
- package/dist/validation/static-safety.d.ts +6 -6
- package/dist/validation/static-safety.d.ts.map +1 -1
- package/dist/validation/static-safety.js +163 -109
- package/dist/validation/static-safety.js.map +1 -1
- package/dist/validation/unsupported-utility-types.d.ts +3 -3
- package/dist/validation/unsupported-utility-types.d.ts.map +1 -1
- package/dist/validation/unsupported-utility-types.js +4 -7
- package/dist/validation/unsupported-utility-types.js.map +1 -1
- package/dist/validator.maximus.test.d.ts +2 -0
- package/dist/validator.maximus.test.d.ts.map +1 -0
- package/dist/validator.maximus.test.js +1214 -0
- package/dist/validator.maximus.test.js.map +1 -0
- package/dist/validator.test.js +152 -18
- package/dist/validator.test.js.map +1 -1
- package/package.json +1 -1
- package/dist/ir/converters/statements/declarations/registry.d.ts +0 -96
- package/dist/ir/converters/statements/declarations/registry.d.ts.map +0 -1
- package/dist/ir/converters/statements/declarations/registry.js +0 -130
- package/dist/ir/converters/statements/declarations/registry.js.map +0 -1
- package/dist/ir/this-parameter-inference.test.d.ts +0 -13
- package/dist/ir/this-parameter-inference.test.d.ts.map +0 -1
- package/dist/ir/this-parameter-inference.test.js +0 -165
- package/dist/ir/this-parameter-inference.test.js.map +0 -1
- package/dist/metadata/bindings-loader.d.ts +0 -41
- package/dist/metadata/bindings-loader.d.ts.map +0 -1
- package/dist/metadata/bindings-loader.js +0 -308
- package/dist/metadata/bindings-loader.js.map +0 -1
- package/dist/metadata/bindings-loader.test.d.ts +0 -5
- package/dist/metadata/bindings-loader.test.d.ts.map +0 -1
- package/dist/metadata/bindings-loader.test.js +0 -117
- package/dist/metadata/bindings-loader.test.js.map +0 -1
- package/dist/metadata/index.d.ts +0 -8
- package/dist/metadata/index.d.ts.map +0 -1
- package/dist/metadata/index.js +0 -7
- package/dist/metadata/index.js.map +0 -1
- package/dist/metadata/library-loader.d.ts +0 -42
- package/dist/metadata/library-loader.d.ts.map +0 -1
- package/dist/metadata/library-loader.js +0 -126
- package/dist/metadata/library-loader.js.map +0 -1
- package/dist/metadata/loader.d.ts +0 -26
- package/dist/metadata/loader.d.ts.map +0 -1
- package/dist/metadata/loader.js +0 -333
- package/dist/metadata/loader.js.map +0 -1
- package/dist/metadata/loader.test.d.ts +0 -5
- package/dist/metadata/loader.test.d.ts.map +0 -1
- package/dist/metadata/loader.test.js +0 -119
- package/dist/metadata/loader.test.js.map +0 -1
- package/dist/resolver/naming-policy.d.ts +0 -20
- package/dist/resolver/naming-policy.d.ts.map +0 -1
- package/dist/resolver/naming-policy.js +0 -40
- package/dist/resolver/naming-policy.js.map +0 -1
- package/dist/types/bindings.d.ts +0 -153
- package/dist/types/bindings.d.ts.map +0 -1
- package/dist/types/bindings.js +0 -14
- package/dist/types/bindings.js.map +0 -1
- package/dist/types/metadata.d.ts +0 -196
- package/dist/types/metadata.d.ts.map +0 -1
- package/dist/types/metadata.js +0 -10
- package/dist/types/metadata.js.map +0 -1
- package/dist/types/nested-types.d.ts +0 -111
- package/dist/types/nested-types.d.ts.map +0 -1
- package/dist/types/nested-types.js +0 -176
- package/dist/types/nested-types.js.map +0 -1
- package/dist/types/nested-types.test.d.ts +0 -5
- package/dist/types/nested-types.test.d.ts.map +0 -1
- package/dist/types/nested-types.test.js +0 -135
- package/dist/types/nested-types.test.js.map +0 -1
- package/dist/types/ref-parameters.d.ts +0 -123
- package/dist/types/ref-parameters.d.ts.map +0 -1
- package/dist/types/ref-parameters.js +0 -203
- package/dist/types/ref-parameters.js.map +0 -1
- package/dist/types/ref-parameters.test.d.ts +0 -5
- package/dist/types/ref-parameters.test.d.ts.map +0 -1
- package/dist/types/ref-parameters.test.js +0 -147
- package/dist/types/ref-parameters.test.js.map +0 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"type-system-call-resolution.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-call-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAWH,OAAO,EACL,gBAAgB,IAAI,YAAY,GAEjC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE/E,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAWnD,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,4BAA4B,EAC5B,YAAY,GACb,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAExD,4EAA4E;AAC5E,8DAA8D;AAC9D,4EAA4E;AAE5E;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAsB,EACtB,KAAkB,EACY,EAAE;IAChC,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,oDAAoD;IACpD,MAAM,cAAc,GAA2B,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1E,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ;YACzB,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;YACpC,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChC,gFAAgF;QAChF,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,yEAAyE;IACzE,MAAM,iBAAiB,GAAuB,CAAC,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,OAAO,CAAC,YAAuC,CAAC;QAC1D,OAAO,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,CAAC,CAAC,EAAE,CAAC;IAEL,0BAA0B;IAC1B,MAAM,cAAc,GAAoB,OAAO,CAAC,UAAU,CAAC,GAAG,CAC5D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CACzB,CAAC;IAEF,0BAA0B;IAC1B,MAAM,cAAc,GAAa,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEvE,0BAA0B;IAC1B,MAAM,cAAc,GAAwB,CAC1C,OAAO,CAAC,cAAc,IAAI,EAAE,CAC7B,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACb,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,UAAU,EAAE,EAAE,CAAC,cAAc;YAC3B,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC;YAC3C,CAAC,CAAC,SAAS;QACb,WAAW,EAAE,EAAE,CAAC,WAAW;YACzB,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC;YACxC,CAAC,CAAC,SAAS;KACd,CAAC,CAAC,CAAC;IAEJ,MAAM,aAAa,GAAG,OAAO,CAAC,mBAAmB,KAAK,aAAa,CAAC;IAEpE,sBAAsB;IACtB,MAAM,UAAU,GAAW,CAAC,GAAG,EAAE;QAC/B,IAAI,OAAO,CAAC,cAAc;YACxB,OAAO,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;QAExD,mFAAmF;QACnF,iFAAiF;QACjF,gFAAgF;QAChF,yBAAyB;QACzB,IAAI,aAAa,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;YACjD,MAAM,aAAa,GAAG,cAAc,CAAC,GAAG,CACtC,CAAC,EAAE,EAAE,EAAE,CACL,CAAC;gBACC,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,EAAE,CAAC,IAAI;aACd,CAAkB,CACtB,CAAC;YAEF,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC;QACJ,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,EAAE,CAAC;IAEL,6EAA6E;IAC7E,IAAI,aAA8C,CAAC;IACnD,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC;QACnC,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,aAAa,GAAG;gBACd,IAAI,EAAE,OAAO;gBACb,cAAc,EAAE,IAAI,CAAC,cAAc;gBACnC,UAAU;aACX,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,aAAa,GAAG;gBACd,IAAI,EAAE,MAAM;gBACZ,UAAU;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAqB;QAC/B,cAAc;QACd,iBAAiB;QACjB,UAAU;QACV,cAAc;QACd,cAAc;QACd,cAAc;QACd,aAAa;QACb,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;KACjD,CAAC;IAEF,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,4DAA4D;AAC5D,4EAA4E;AAE5E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAsB,EACtB,CAAc,EACD,EAAE,CAAC,CAAC;IACjB,GAAG,CAAC;IACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;CACxD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAsB,EACtB,EAAmB,EACF,EAAE,CAAC,CAAC;IACrB,GAAG,EAAE;IACL,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;IAC3E,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;IAClE,iBAAiB,EAAE,EAAE,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjD,4BAA4B,CAAC,KAAK,EAAE,CAAC,CAAC,CACvC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAsB,EACtB,CAAoB,EACD,EAAE;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACtD,CAAC;IAED,OAAO;QACL,GAAG,CAAC;QACJ,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAC3C,0BAA0B,CAAC,KAAK,EAAE,EAAE,CAAC,CACtC;QACD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACrE,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;KAC1E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAsB,EAAE,IAAY,EAAU,EAAE;IAC5E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,MAAM,GACV,IAAI,CAAC,MAAM;gBACX,mBAAmB,CACjB,KAAK,EACL,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,EACjC,IAAI,CAAC,aAAa,EAAE,MAAM,CAC3B,CAAC;YAEJ,OAAO;gBACL,GAAG,IAAI;gBACP,GAAG,CAAC,IAAI,CAAC,aAAa;oBACpB,CAAC,CAAC;wBACE,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CACxB;qBACF;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,IAAI,CAAC,iBAAiB;oBACxB,CAAC,CAAC;wBACE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClD,4BAA4B,CAAC,KAAK,EAAE,CAAC,CAAC,CACvC;qBACF;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9B,CAAC;QACJ,CAAC;QAED,KAAK,WAAW;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAE1E,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;aACpE,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpC,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC,CACjC;gBACD,UAAU,EAAE,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC;aAClD,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,4BAA4B,CAAC,KAAK,EAAE,CAAC,CAAC,CACvC;aACF,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;gBAC3C,SAAS,EAAE,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC;aAChD,CAAC;QAEJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE5E;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,4EAA4E;AAC5E,yDAAyD;AACzD,4EAA4E;AAE5E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAsB,EACtB,IAAa,EACL,EAAE;IACV,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,4EAA4E;AAC5E,gEAAgE;AAChE,4EAA4E;AAE5E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAsB,EACtB,IAAY,EACgB,EAAE;IAC9B,2EAA2E;IAC3E,0CAA0C;IAC1C,EAAE;IACF,wEAAwE;IACxE,2EAA2E;IAC3E,oCAAoC;IACpC,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EACvC,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,KAAK,CAAC;QAChD,OAAO,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,YAAY,GAChB,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC3D,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KACE,IAAI,CAAC,GAAG,CAAC,EACT,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAC3D,CAAC,EAAE,EACH,CAAC;QACD,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,EAAE,IAAI,GAAG;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE,CACvC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE;gBACP,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1C;YACD,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,CAAC,CAAC,IAAI;SAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU;QACV,UAAU,EAAE,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF,4EAA4E;AAC5E,kEAAkE;AAClE,4EAA4E;AAE5E;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAsB,EACtB,IAAY,EACZ,UAAkB,EAClB,IAAW,EACH,EAAE;IACV,MAAM,uBAAuB,GAAG,CAAC,CAAS,EAAU,EAAE;QACpD,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,WAAW;SAClB,CAAC;QACF,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3B,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC;YACF,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,CAAC;IAC1D,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC/D,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACxC,OAAO,MAAM,CAAC,UAAU;oBACtB,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC;oBACtC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAClB,CAAC;YACD,oEAAoE;YACpE,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACtC,MAAM,QAAQ,GAAmB;oBAC/B,IAAI,EAAE,cAAc;oBACpB,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,QAAQ;iBAC1C,CAAC;gBACF,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,IAAI,CAAC,iBAAiB;QACtB,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACjC,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACzE,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACxC,OAAO,MAAM,CAAC,UAAU;oBACtB,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC;oBACtC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAClB,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACtC,MAAM,QAAQ,GAAmB;oBAC/B,IAAI,EAAE,cAAc;oBACpB,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,QAAQ;iBAC1C,CAAC;gBACF,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,cAAc,CACZ,KAAK,EACL,SAAS,EACT,WAAW,UAAU,gCAAgC,EACrD,IAAI,CACL,CAAC;IACF,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,iEAAiE;AACjE,4EAA4E;AAE5E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAsB,EACtB,YAAoB,EACpB,mBAA2B,EAC3B,oBAA4B,EACK,EAAE;IACnC,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,MAAM,eAAe,GAAG,mBAAmB,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IACxE,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,OAAO,KAAK,CAAC,UAAU,CAAC,gBAAgB,CACtC,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,QAAQ,EACnB,eAAe,CAChB,CAAC;AACJ,CAAC,CAAC;AAEF,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAE5E;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,KAAsB,EACtB,gBAA8C,EAC9C,cAA+C,EAC/C,QAAyC,EACR,EAAE;IACnC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAEpD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE/C,MAAM,QAAQ,GAAG,CAAC,aAAqB,EAAE,YAAoB,EAAW,EAAE;QACxE,iDAAiD;QACjD,IAAI,aAAa,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC/C,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClD,gEAAgE;gBAChE,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,QAAQ,EAAE,CAAC;gBACb,gFAAgF;gBAChF,6EAA6E;gBAC7E,gEAAgE;gBAChE,IACE,QAAQ,CAAC,IAAI,KAAK,mBAAmB;oBACrC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,IAAI,EACpC,CAAC;oBACD,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACnD,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,OAAO,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC5C,CAAC;YAED,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACnD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,mDAAmD;QACnD,IACE,YAAY,CAAC,IAAI,KAAK,aAAa;YACnC,YAAY,CAAC,IAAI,KAAK,SAAS,EAC/B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,+DAA+D;QAC/D,EAAE;QACF,iFAAiF;QACjF,sEAAsE;QACtE,gGAAgG;QAChG,IAAI,YAAY,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC7C,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;gBACtC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;YACnD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,8EAA8E;QAC9E,sEAAsE;QACtE,IACE,aAAa,CAAC,IAAI,KAAK,eAAe;YACtC,aAAa,CAAC,IAAI,KAAK,cAAc;YACrC,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAChD,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/C,OAAO,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,CAAC;QAED,6EAA6E;QAC7E,4EAA4E;QAC5E,4CAA4C;QAC5C,EAAE;QACF,sCAAsC;QACtC,sDAAsD;QACtD,wEAAwE;QACxE,IACE,aAAa,CAAC,IAAI,KAAK,eAAe;YACtC,YAAY,CAAC,IAAI,KAAK,cAAc,EACpC,CAAC;YACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YAChE,IAAI,UAAU;gBAAE,OAAO,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QAC5D,CAAC;QACD,IACE,aAAa,CAAC,IAAI,KAAK,cAAc;YACrC,YAAY,CAAC,IAAI,KAAK,eAAe,EACrC,CAAC;YACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YAC/D,IAAI,UAAU;gBAAE,OAAO,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QAC7D,CAAC;QAED,6BAA6B;QAC7B,IACE,aAAa,CAAC,IAAI,KAAK,eAAe;YACtC,aAAa,CAAC,IAAI,KAAK,OAAO;YAC9B,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;YAChD,YAAY,CAAC,IAAI,KAAK,WAAW,EACjC,CAAC;YACD,MAAM,YAAY,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACtD,OAAO,YAAY;gBACjB,CAAC,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,WAAW,CAAC;gBAClD,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,qFAAqF;QACrF,iEAAiE;QACjE,IAAI,aAAa,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CACnC,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAClC,CAAC;YAEF,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,CAAC;gBACjD,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,UAAU,CAAC;YACf,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACpD,CAAC;YAED,kEAAkE;YAClE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,YAAY,CAAC,IAAI,KAAK,eAAe;YACrC,YAAY,CAAC,IAAI,KAAK,OAAO;YAC7B,CAAC,YAAY,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAC/C,CAAC;YACD,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACnD,OAAO,UAAU;gBACf,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,WAAW,EAAE,UAAU,CAAC;gBACjD,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,mCAAmC;QACnC,IAAI,aAAa,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC;YAC7C,4DAA4D;YAC5D,OAAO,IAAI,CAAC;QACd,CAAC;QAED,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC;YAC3B,KAAK,eAAe;gBAClB,OAAO,IAAI,CAAC;YAEd,KAAK,aAAa;gBAChB,OAAO,IAAI,CAAC;YAEd,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,MAAM,GAAG,YAA+B,CAAC;gBAE/C,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE;oBACxB,IAAI,aAAa,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;wBAC1C,OAAO,aAAa,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;oBAClE,CAAC;oBACD,OAAO,aAAa,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;gBAC5C,CAAC,CAAC,EAAE,CAAC;gBAEL,qDAAqD;gBACrD,IAAI,WAAW,EAAE,CAAC;oBAChB,MAAM,SAAS,GAAG,aAAa,CAAC,aAAa,IAAI,EAAE,CAAC;oBACpD,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;oBAC3C,IAAI,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;wBAAE,OAAO,IAAI,CAAC;oBAErD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;wBACxB,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;wBACtB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;4BAAE,SAAS;wBACzB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;4BAAE,OAAO,KAAK,CAAC;oBACtC,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,wEAAwE;gBACxE,gFAAgF;gBAChF,MAAM,YAAY,GAAG,kBAAkB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;gBAC9D,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrD,IAAI,YAAY,IAAI,UAAU,EAAE,CAAC;oBAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,gBAAgB,CAC5C,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,QAAQ,EACnB,YAAY,CAAC,MAAM,CACpB,CAAC;oBAEF,IAAI,IAAI,EAAE,CAAC;wBACT,MAAM,gBAAgB,GAAG,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAC7D,YAAY,CAAC,MAAM,CACpB,CAAC;wBACF,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACnD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAClB,CAAC;wBAEF,MAAM,SAAS,GAAG,aAAa,CAAC,aAAa,IAAI,EAAE,CAAC;wBACpD,IACE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;4BAC9C,SAAS,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAC5C,CAAC;4BACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gCAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gCACxB,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gCAC/B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;oCAAE,SAAS;gCACzB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;oCAAE,OAAO,KAAK,CAAC;4BACtC,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,WAAW;gBACd,OAAO,QAAQ,CACb,aAAa,CAAC,WAAW,EACxB,YAAqC,CAAC,WAAW,CACnD,CAAC;YAEJ,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,YAAoC,CAAC;gBACtD,IACE,aAAa,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,CAAC,YAAY,CAAC,MAAM,EAClE,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC3D,MAAM,EAAE,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBACzC,MAAM,EAAE,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBACpC,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;wBAAE,SAAS;oBACzB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;wBAAE,OAAO,KAAK,CAAC;gBACtC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,KAAK,GAAG,YAAoC,CAAC;gBACnD,IAAI,aAAa,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;oBAChE,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzD,MAAM,EAAE,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvC,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC/B,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;oBACpB,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;oBACpB,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;wBACb,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;4BAAE,OAAO,KAAK,CAAC;oBACtC,CAAC;gBACH,CAAC;gBAED,OAAO,QAAQ,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;YAC9D,CAAC;YAED,KAAK,YAAY,CAAC;YAClB,KAAK,gBAAgB;gBACnB,4EAA4E;gBAC5E,OAAO,IAAI,CAAC;YAEd,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC;YAEd;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO;YAAE,SAAS;QACrC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;IACtD,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,mDAAmD;AACnD,4EAA4E;AAE5E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAiC,EACjC,KAAkC,EACzB,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,4EAA4E;AAC5E,oEAAoE;AACpE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,KAAsB,EACtB,IAAY,EACO,EAAE;IACrB,MAAM,KAAK,GAAa,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,CAAC,SAA6B,EAAQ,EAAE;QACtD,IAAI,CAAC,SAAS;YAAE,OAAO;QACvB,MAAM,GAAG,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC;IAEF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAElB,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACjC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,KAAK;gBAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YAC9D,MAAM,MAAM,GACV,OAAO,CAAC,MAAM;gBACd,mBAAmB,CACjB,KAAK,EACL,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,IAAI,EACvC,OAAO,CAAC,aAAa,CAAC,MAAM,CAC7B,CAAC;YACJ,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBACvD,IAAI,KAAK,EAAE,WAAW,EAAE,CAAC;oBACvB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;oBAC7C,MAAM,eAAe,GAAG,KAAK,CAAC,cAAc,CAAC;oBAC7C,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;oBAC5C,KACE,IAAI,CAAC,GAAG,CAAC,EACT,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAC1D,CAAC,EAAE,EACH,CAAC;wBACD,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;wBAC9B,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;wBAC5B,IAAI,EAAE,IAAI,EAAE;4BAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC5C,CAAC;oBACD,MAAM,QAAQ,GACZ,UAAU,CAAC,IAAI,GAAG,CAAC;wBACjB,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,UAA+B,CAAC;wBAClE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;oBACxB,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;YACD,OAAO,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,4EAA4E;AAC5E,oEAAoE;AACpE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAY,EACZ,UAA+B,EACtB,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,2BAA2B,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACjE,CAAC;QACF,OAAO,CACL,aAAa,IAAI,2BAA2B,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3B,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACnC,OAAO,2BAA2B,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACjC,MAAM,aAAa,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACjE,CAAC;gBACF,OAAO,CACL,aAAa;oBACb,CAAC,CAAC,CAAC,UAAU;wBACX,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC;wBACvD,CAAC,CAAC,KAAK,CAAC,CACX,CAAC;YACJ,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,4EAA4E;AAC5E,2DAA2D;AAC3D,4EAA4E;AAE5E,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC7D,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,4EAA4E;AAC5E,+DAA+D;AAC/D,4EAA4E;AAE5E,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAA+B,EAC/B,aAAqB,EACZ,EAAE;IACX,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC;IACpC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,aAAa,KAAK,CAAC,CAAC;IAEpD,4CAA4C;IAC5C,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnB,+CAA+C;QAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAElD,uCAAuC;QACvC,IAAI,aAAa,GAAG,SAAS;YAAE,OAAO,KAAK,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wCAAwC;IACxC,IAAI,aAAa,GAAG,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEhD,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,aAAa,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;IACxC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,4EAA4E;AAC5E,yCAAyC;AACzC,4EAA4E;AAE5E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,cAA+C,EAC/C,QAAyC,EACzC,aAAqB,EACb,EAAE;IACV,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;YAAE,SAAS;QAEzB,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;YACvB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,SAAS;QAE7B,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAClD,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,gBAAgB,CAC5C,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,IAAI,IAAI;YAAE,KAAK,IAAI,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,4EAA4E;AAC5E,yEAAyE;AACzE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,KAAsB,EACtB,mBAA2B,EAC3B,mBAA2B,EAC3B,KAAgB,EACU,EAAE;IAC5B,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAE1E,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,GAAG,aAAa;QAAE,OAAO,SAAS,CAAC;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;IACrC,CAAC;IAED,MAAM,eAAe,GAAG,sBAAsB,CAAC,mBAAmB,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,mBAAmB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACpE,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IAChE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,SAAS,CAC3C,eAAe,EACf,mBAAmB,CACpB,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,EAAE,UAAU,CAAC;IACtC,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAU7D,MAAM,gBAAgB,GAAG,CACvB,SAA+B,EACL,EAAE;QAC5B,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,aAAa,CAAC;YAAE,OAAO,SAAS,CAAC;QAEnE,IAAI,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC;QAEzC,gEAAgE;QAChE,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,aAAa,GAAG,2BAA2B,CAC/C,KAAK,EACL,YAAY,EACZ,eAAe,EACf,mBAAmB,CACpB,CAAC;YACF,IAAI,aAAa,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBAC5C,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtC,YAAY,CAAC,CAAC,EAAE,aAAa,CAAC,CAC/B,CAAC;gBACF,aAAa,GAAG,YAAY,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;QAED,sCAAsC;QACtC,MAAM,gBAAgB,GAAwB,SAAS,CAAC,cAAc,CAAC,GAAG,CACxE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACP,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,WAAW,EAAE,EAAE,CAAC,WAAW;SAC5B,CAAC,CACH,CAAC;QAEF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;YAE5C,IAAI,gBAAgB,EAAE,CAAC;gBACrB,KACE,IAAI,CAAC,GAAG,CAAC,EACT,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAC9D,CAAC,EAAE,EACH,CAAC;oBACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;oBAClC,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;oBAChC,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;wBACjB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBACjC,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,kBAAkB,GACtB,SAAS,CAAC,IAAI,GAAG,CAAC;gBAChB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBACtD,CAAC,CAAC,aAAa,CAAC;YAEpB,MAAM,QAAQ,GAAG,gCAAgC,CAC/C,KAAK,EACL,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,CACT,CAAC;YACF,IAAI,CAAC,QAAQ;gBAAE,OAAO,SAAS,CAAC;YAEhC,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC;wBAAE,OAAO,SAAS,CAAC;oBAC1D,SAAS;gBACX,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACpC,CAAC;YAED,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;gBAClC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;oBAC9C,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACvB,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;gBACrE,aAAa,GAAG,YAAY,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;YACzD,CAAC;YAED,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,gBAAgB;iBACb,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;iBACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC1C,CAAC;YACF,IACE,UAAU,CAAC,IAAI,GAAG,CAAC;gBACnB,2BAA2B,CAAC,aAAa,EAAE,UAAU,CAAC,EACtD,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO;YACL,cAAc,EAAE,aAAa;YAC7B,cAAc,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACvD,UAAU,EAAE,aAAa;YACzB,aAAa,EAAE,SAAS;YACxB,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC,CAAC;IAEF,IAAI,IAA2B,CAAC;IAEhC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;YAAE,SAAS;QAEzD,MAAM,SAAS,GAAc;YAC3B,QAAQ;YACR,KAAK,EAAE,mBAAmB,CACxB,KAAK,EACL,QAAQ,CAAC,cAAc,EACvB,QAAQ,EACR,aAAa,CACd;YACD,cAAc,EAAE,GAAG,CAAC,cAAc,CAAC,MAAM;YACzC,cAAc,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM;YACrC,QAAQ,EAAE,GAAG,CAAC,QAAQ;SACvB,CAAC;QAEF,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,GAAG,SAAS,CAAC;YACjB,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GACV,SAAS,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;YAC5B,CAAC,SAAS,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;gBAC7B,SAAS,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;YACjD,CAAC,SAAS,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;gBAC7B,SAAS,CAAC,cAAc,KAAK,IAAI,CAAC,cAAc;gBAChD,SAAS,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;YACjD,CAAC,SAAS,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;gBAC7B,SAAS,CAAC,cAAc,KAAK,IAAI,CAAC,cAAc;gBAChD,SAAS,CAAC,cAAc,KAAK,IAAI,CAAC,cAAc;gBAChD,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QAExC,IAAI,MAAM;YAAE,IAAI,GAAG,SAAS,CAAC;IAC/B,CAAC;IAED,OAAO,IAAI,EAAE,QAAQ,CAAC;AACxB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,qDAAqD;AACrD,4EAA4E;AAE5E,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAsB,EACtB,KAAgB,EACF,EAAE;IAChB,MAAM,EACJ,KAAK,EACL,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,QAAQ,EACR,kBAAkB,EAClB,IAAI,GACL,GAAG,KAAK,CAAC;IAEV,yFAAyF;IACzF,mFAAmF;IACnF,MAAM,qBAAqB,GAAG,YAAY;QACxC,CAAC,CAAC,4BAA4B,CAAC,YAAY,CAAC;QAC5C,CAAC,CAAC,SAAS,CAAC;IAEd,iCAAiC;IACjC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,mEAAmE;QACnE,gEAAgE;QAChE,mEAAmE;QACnE,EAAE;QACF,iEAAiE;QACjE,mEAAmE;QACnE,6BAA6B;QAC7B,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4DAA4D,KAAK,CAAC,EAAE,yBAAyB,EAC7F,IAAI,CACL,CAAC;QACF,OAAO,YAAY,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,0BAA0B;IAC1B,IAAI,aAAa,GAAG,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IAC/C,IAAI,gBAAgB,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAChD,IAAI,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC;IACtC,IAAI,gBAAgB,GAAG,MAAM,CAAC,aAAa,CAAC;IAE5C,uDAAuD;IACvD,IACE,qBAAqB;QACrB,MAAM,CAAC,mBAAmB;QAC1B,MAAM,CAAC,mBAAmB,EAC1B,CAAC;QACD,MAAM,aAAa,GAAG,2BAA2B,CAC/C,KAAK,EACL,qBAAqB,EACrB,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,CAC3B,CAAC;QACF,IAAI,aAAa,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC5C,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/C,CAAC;YACF,IAAI,gBAAgB,EAAE,CAAC;gBACrB,gBAAgB,GAAG,YAAY,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;YACnE,CAAC;YACD,aAAa,GAAG,YAAY,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;YAC3D,IAAI,gBAAgB,EAAE,CAAC;gBACrB,gBAAgB;oBACd,gBAAgB,CAAC,IAAI,KAAK,OAAO;wBAC/B,CAAC,CAAC;4BACE,GAAG,gBAAgB;4BACnB,UAAU,EAAE,YAAY,CACtB,gBAAgB,CAAC,UAAU,EAC3B,aAAa,CACd;yBACF;wBACH,CAAC,CAAC;4BACE,GAAG,gBAAgB;4BACnB,UAAU,EAAE,YAAY,CACtB,gBAAgB,CAAC,UAAU,EAC3B,aAAa,CACd;yBACF,CAAC;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,MAAM,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC;IAC/C,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE5C,gDAAgD;QAChD,IAAI,gBAAgB,EAAE,CAAC;YACrB,KACE,IAAI,CAAC,GAAG,CAAC,EACT,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAC9D,CAAC,EAAE,EACH,CAAC;gBACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBAClC,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;oBACjB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,2DAA2D;QAC3D,EAAE;QACF,yFAAyF;QACzF,kDAAkD;QAClD,yDAAyD;QACzD,0EAA0E;QAC1E,EAAE;QACF,yFAAyF;QACzF,oEAAoE;QACpE,IAAI,qBAAqB,IAAI,gBAAgB,EAAE,CAAC;YAC9C,MAAM,yBAAyB,GAC7B,SAAS,CAAC,IAAI,GAAG,CAAC;gBAChB,CAAC,CAAC,YAAY,CAAC,gBAAgB,EAAE,SAAS,CAAC;gBAC3C,CAAC,CAAC,gBAAgB,CAAC;YAEvB,MAAM,oBAAoB,GAAG,gCAAgC,CAC3D,KAAK,EACL,gBAAgB,EAChB,CAAC,yBAAyB,CAAC,EAC3B,CAAC,qBAAqB,CAAC,CACxB,CAAC;YAEF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,oBAAoB,EAAE,CAAC;oBACxD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACrC,IAAI,QAAQ,EAAE,CAAC;wBACb,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;4BACxC,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4CAA4C,IAAI,cAAc,EAC9D,IAAI,CACL,CAAC;4BACF,OAAO,YAAY,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;wBAChE,CAAC;wBACD,SAAS;oBACX,CAAC;oBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,kBAAkB,GACtB,SAAS,CAAC,IAAI,GAAG,CAAC;gBAChB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtB,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAC3C;gBACH,CAAC,CAAC,aAAa,CAAC;YAEpB,MAAM,QAAQ,GAAG,gCAAgC,CAC/C,KAAK,EACL,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,CACT,CAAC;YAEF,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,cAAc,CACZ,KAAK,EACL,SAAS,EACT,oEAAoE,EACpE,IAAI,CACL,CAAC;gBACF,OAAO,YAAY,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;YAChE,CAAC;YAED,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;wBACxC,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4CAA4C,IAAI,GAAG,EACnD,IAAI,CACL,CAAC;wBACF,OAAO,YAAY,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;oBAChE,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,gEAAgE;QAChE,wEAAwE;QACxE,2EAA2E;QAC3E,IAAI,kBAAkB,EAAE,CAAC;YACvB,MAAM,kBAAkB,GACtB,SAAS,CAAC,IAAI,GAAG,CAAC;gBAChB,CAAC,CAAC,YAAY,CAAC,aAAa,EAAE,SAAS,CAAC;gBACxC,CAAC,CAAC,aAAa,CAAC;YACpB,MAAM,kBAAkB,GAAG,+BAA+B,CACxD,KAAK,EACL,kBAAkB,CACnB,CAAC;YACF,IAAI,OAAwC,CAAC;YAE7C,KAAK,MAAM,SAAS,IAAI,kBAAkB,EAAE,CAAC;gBAC3C,MAAM,QAAQ,GAAG,gCAAgC,CAC/C,KAAK,EACL,gBAAgB,EAChB,CAAC,kBAAkB,CAAC,EACpB,CAAC,SAAS,CAAC,CACZ,CAAC;gBACF,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;oBAAE,SAAS;gBAE/C,IAAI,qBAAqB,GAAG,KAAK,CAAC;gBAClC,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;oBAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACrC,IAAI,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;wBACpD,qBAAqB,GAAG,IAAI,CAAC;wBAC7B,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,qBAAqB;oBAAE,SAAS;gBAEpC,IAAI,OAAO,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACnD,gEAAgE;oBAChE,oDAAoD;oBACpD,OAAO,GAAG,SAAS,CAAC;oBACpB,MAAM;gBACR,CAAC;gBACD,OAAO,GAAG,QAAQ,CAAC;YACrB,CAAC;YAED,IAAI,OAAO,EAAE,CAAC;gBACZ,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,OAAO,EAAE,CAAC;oBAC3C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACrC,IAAI,QAAQ,EAAE,CAAC;wBACb,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;4BACxC,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4CAA4C,IAAI,6BAA6B,EAC7E,IAAI,CACL,CAAC;4BACF,OAAO,YAAY,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;wBAChE,CAAC;wBACD,SAAS;oBACX,CAAC;oBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;QACH,CAAC;QAED,oCAAoC;QACpC,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;YAClC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;gBAC9C,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvB,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAC3C,CAAC;YACF,aAAa,GAAG,YAAY,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;YACvD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,gBAAgB;oBACd,gBAAgB,CAAC,IAAI,KAAK,OAAO;wBAC/B,CAAC,CAAC;4BACE,GAAG,gBAAgB;4BACnB,UAAU,EAAE,YAAY,CACtB,gBAAgB,CAAC,UAAU,EAC3B,SAA8B,CAC/B;yBACF;wBACH,CAAC,CAAC;4BACE,GAAG,gBAAgB;4BACnB,UAAU,EAAE,YAAY,CACtB,gBAAgB,CAAC,UAAU,EAC3B,SAA8B,CAC/B;yBACF,CAAC;YACV,CAAC;QACH,CAAC;QAED,qFAAqF;QACrF,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,gBAAgB;aACb,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;aACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC1C,CAAC;QACF,IACE,UAAU,CAAC,IAAI,GAAG,CAAC;YACnB,2BAA2B,CAAC,aAAa,EAAE,UAAU,CAAC,EACtD,CAAC;YACD,MAAM,QAAQ,GACZ,QAAQ,IAAI,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,mBAAmB;gBAClE,CAAC,CAAC,gCAAgC,CAC9B,KAAK,EACL,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,EAC1B,KAAK,CACN;gBACH,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,cAAc,CACZ,KAAK,EACL,SAAS,EACT,oFAAoF,EACpF,IAAI,CACL,CAAC;YACF,aAAa,GAAG,WAAW,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAiB;QAC7B,cAAc,EAAE,aAAa;QAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,UAAU,EAAE,aAAa;QACzB,aAAa,EAAE,gBAAgB;QAC/B,WAAW,EAAE,EAAE;KAChB,CAAC;IAEF,wDAAwD;IACxD,EAAE;IACF,iFAAiF;IACjF,sFAAsF;IACtF,kFAAkF;IAClF,kFAAkF;IAClF,EAAE;IACF,kFAAkF;IAClF,oFAAoF;IACpF,kCAAkC;IAElC,IACE,CAAC,QAAQ,CAAC,aAAa;QACvB,QAAQ;QACR,MAAM,CAAC,mBAAmB;QAC1B,MAAM,CAAC,mBAAmB,EAC1B,CAAC;QACD,MAAM,cAAc,GAClB,QAAQ,CAAC,MAAM,IAAI,aAAa;YAChC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAChE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CACvB,CAAC;QAEJ,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,eAAe,GAAG,gCAAgC,CACtD,KAAK,EACL,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,EAC1B,KAAK,CACN,CAAC;YAEF,IAAI,eAAe,EAAE,CAAC;gBACpB,MAAM,YAAY,GAAG,mBAAmB,CACtC,KAAK,EACL,QAAQ,CAAC,cAAc,EACvB,QAAQ,EACR,aAAa,CACd,CAAC;gBACF,MAAM,YAAY,GAAG,mBAAmB,CACtC,KAAK,EACL,eAAe,CAAC,cAAc,EAC9B,QAAQ,EACR,aAAa,CACd,CAAC;gBAEF,IAAI,YAAY,GAAG,YAAY,EAAE,CAAC;oBAChC,OAAO,eAAe,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}
|
|
@@ -0,0 +1,98 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* TypeSystem Inference — Expression Type Inference, Declaration/Member Queries,
|
|
3
|
+
* and Declaration Inspection Utilities
|
|
4
|
+
*
|
|
5
|
+
* Extracted from the monolithic type-system.ts. Contains:
|
|
6
|
+
* - Expression type inference (inferExpressionType, inferLambdaType)
|
|
7
|
+
* - Declaration type queries (typeOfDecl, typeOfMember, typeOfMemberId)
|
|
8
|
+
* - Initializer inference (tryInferTypeFromLiteralInitializer, tryInferTypeFromInitializer)
|
|
9
|
+
* - Call return type inference (tryInferReturnTypeFromCallExpression)
|
|
10
|
+
* - Declaration inspection utilities (hasTypeParameters, isTypeDecl, etc.)
|
|
11
|
+
*
|
|
12
|
+
* DAG position: depends on type-system-state, type-system-relations, type-system-call-resolution
|
|
13
|
+
*/
|
|
14
|
+
import type { IrType, IrFunctionType } from "../types/index.js";
|
|
15
|
+
import * as ts from "typescript";
|
|
16
|
+
import type { NumericKind } from "../types/numeric-kind.js";
|
|
17
|
+
import type { DeclId, SignatureId, MemberId, TypeSyntaxId } from "./types.js";
|
|
18
|
+
import type { TypeSystemState, Site, MemberRef } from "./type-system-state.js";
|
|
19
|
+
/**
|
|
20
|
+
* Derive IrType from NumericKind (deterministic, no TypeScript).
|
|
21
|
+
* Mirrors the logic in literals.ts deriveTypeFromNumericIntent.
|
|
22
|
+
*/
|
|
23
|
+
export declare const deriveTypeFromNumericKind: (kind: NumericKind) => IrType;
|
|
24
|
+
export declare const unwrapParens: (expr: ts.Expression) => ts.Expression;
|
|
25
|
+
export declare const isLambdaExpression: (expr: ts.Expression) => boolean;
|
|
26
|
+
export declare const getNumericKindFromIrType: (type: IrType) => NumericKind | undefined;
|
|
27
|
+
export declare const unwrapAwaitedForInference: (type: IrType) => IrType;
|
|
28
|
+
/**
|
|
29
|
+
* Deterministically infer an expression's type using only:
|
|
30
|
+
* - local lambda parameter environment
|
|
31
|
+
* - declaration types (typeOfDecl)
|
|
32
|
+
* - numeric literal lexeme rules
|
|
33
|
+
*
|
|
34
|
+
* This is intentionally small: it's used only to type lambda bodies for
|
|
35
|
+
* initializer-driven generic inference (e.g., `Enumerable.select(..., x => x * 2)`).
|
|
36
|
+
*/
|
|
37
|
+
export declare const inferExpressionType: (state: TypeSystemState, expr: ts.Expression, env: ReadonlyMap<string, IrType>) => IrType | undefined;
|
|
38
|
+
export declare const inferLambdaType: (state: TypeSystemState, expr: ts.Expression, expectedType: IrType | undefined) => IrFunctionType | undefined;
|
|
39
|
+
/**
|
|
40
|
+
* Try to infer type from a variable declaration's literal initializer.
|
|
41
|
+
*
|
|
42
|
+
* DETERMINISM: Uses the raw lexeme form of the literal, not TS computed types.
|
|
43
|
+
* Only handles simple literal initializers:
|
|
44
|
+
* - Numeric literals → inferred via inferNumericKindFromRaw
|
|
45
|
+
* - String literals → primitiveType("string")
|
|
46
|
+
* - Boolean literals → primitiveType("boolean")
|
|
47
|
+
*
|
|
48
|
+
* Returns undefined if the initializer is not a simple literal.
|
|
49
|
+
*/
|
|
50
|
+
export declare const tryInferTypeFromLiteralInitializer: (_state: TypeSystemState, declNode: unknown) => IrType | undefined;
|
|
51
|
+
/**
|
|
52
|
+
* Try to infer type from a variable declaration's initializer using only
|
|
53
|
+
* deterministic sources (declarations + explicit syntax).
|
|
54
|
+
*
|
|
55
|
+
* Handles:
|
|
56
|
+
* - simple literals (delegates to tryInferTypeFromLiteralInitializer)
|
|
57
|
+
* - call expressions where the callee has an explicit declared return type
|
|
58
|
+
* - new expressions with explicit type arguments (or best-effort nominal type)
|
|
59
|
+
* - identifier initializers (propagate deterministically)
|
|
60
|
+
*/
|
|
61
|
+
export declare const tryInferReturnTypeFromCallExpression: (state: TypeSystemState, call: ts.CallExpression, env: ReadonlyMap<string, IrType>) => IrType | undefined;
|
|
62
|
+
export declare const tryInferTypeFromInitializer: (state: TypeSystemState, declNode: unknown) => IrType | undefined;
|
|
63
|
+
export declare const typeOfDecl: (state: TypeSystemState, declId: DeclId) => IrType;
|
|
64
|
+
export declare const typeOfMember: (state: TypeSystemState, receiver: IrType, member: MemberRef, site?: Site) => IrType;
|
|
65
|
+
export declare const parseIndexerKeyClrType: (stableId: string) => string | undefined;
|
|
66
|
+
export declare const getIndexerInfo: (state: TypeSystemState, receiver: IrType, _site?: Site) => {
|
|
67
|
+
readonly keyClrType: string;
|
|
68
|
+
readonly valueType: IrType;
|
|
69
|
+
} | undefined;
|
|
70
|
+
export declare const hasTypeParameters: (state: TypeSystemState, declId: DeclId) => boolean;
|
|
71
|
+
export declare const typeOfMemberId: (state: TypeSystemState, memberId: MemberId) => IrType;
|
|
72
|
+
export declare const getFQNameOfDecl: (state: TypeSystemState, declId: DeclId) => string | undefined;
|
|
73
|
+
export declare const isTypeDecl: (state: TypeSystemState, declId: DeclId) => boolean;
|
|
74
|
+
export declare const isInterfaceDecl: (state: TypeSystemState, declId: DeclId) => boolean;
|
|
75
|
+
export declare const isTypeAliasToObjectLiteral: (state: TypeSystemState, declId: DeclId) => boolean;
|
|
76
|
+
export declare const signatureHasConditionalReturn: (state: TypeSystemState, sigId: SignatureId) => boolean;
|
|
77
|
+
export declare const signatureHasVariadicTypeParams: (state: TypeSystemState, sigId: SignatureId) => boolean;
|
|
78
|
+
export declare const declHasTypeAnnotation: (state: TypeSystemState, declId: DeclId) => boolean;
|
|
79
|
+
/**
|
|
80
|
+
* Check if a class member overrides a base class member.
|
|
81
|
+
*
|
|
82
|
+
* ALICE'S SPEC: Uses captured ClassMemberNames (pure data) from Binding.
|
|
83
|
+
* No TS AST inspection, no SyntaxKind numbers. TS-version safe.
|
|
84
|
+
*/
|
|
85
|
+
export declare const checkTsClassMemberOverride: (state: TypeSystemState, declId: DeclId, memberName: string, memberKind: "method" | "property") => {
|
|
86
|
+
isOverride: boolean;
|
|
87
|
+
isShadow: boolean;
|
|
88
|
+
};
|
|
89
|
+
/**
|
|
90
|
+
* Convert a captured type syntax to IrType.
|
|
91
|
+
*
|
|
92
|
+
* This method takes a TypeSyntaxId handle (opaque to caller) and looks up
|
|
93
|
+
* the captured TypeNode in the HandleRegistry, then converts it.
|
|
94
|
+
*
|
|
95
|
+
* ALICE'S SPEC (Phase 2): TypeSystem receives opaque handles, not ts.TypeNode.
|
|
96
|
+
*/
|
|
97
|
+
export declare const typeFromSyntax: (state: TypeSystemState, typeSyntaxId: TypeSyntaxId) => IrType;
|
|
98
|
+
//# sourceMappingURL=type-system-inference.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"type-system-inference.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EAGf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAUjC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE9E,OAAO,KAAK,EACV,eAAe,EACf,IAAI,EACJ,SAAS,EAEV,MAAM,wBAAwB,CAAC;AAoBhC;;;GAGG;AACH,eAAO,MAAM,yBAAyB,GAAI,MAAM,WAAW,KAAG,MAa7D,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,EAAE,CAAC,UAMrD,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,OAGxD,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,KACX,WAAW,GAAG,SAShB,CAAC;AAEF,eAAO,MAAM,yBAAyB,GAAI,MAAM,MAAM,KAAG,MAmCxD,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAC/B,MAAM,GAAG,SA4LX,CAAC;AAEF,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,MAAM,EAAE,CAAC,UAAU,EACnB,cAAc,MAAM,GAAG,SAAS,KAC/B,cAAc,GAAG,SAsFnB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,kCAAkC,GAC7C,QAAQ,eAAe,EACvB,UAAU,OAAO,KAChB,MAAM,GAAG,SA0CX,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,oCAAoC,GAC/C,OAAO,eAAe,EACtB,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAC/B,MAAM,GAAG,SA8IX,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,OAAO,eAAe,EACtB,UAAU,OAAO,KAChB,MAAM,GAAG,SAiLX,CAAC;AAEF,eAAO,MAAM,UAAU,GAAI,OAAO,eAAe,EAAE,QAAQ,MAAM,KAAG,MA+DnE,CAAC;AAMF,eAAO,MAAM,YAAY,GACvB,OAAO,eAAe,EACtB,UAAU,MAAM,EAChB,QAAQ,SAAS,EACjB,OAAO,IAAI,KACV,MA+IF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,UAAU,MAAM,KACf,MAAM,GAAG,SAqDX,CAAC;AAEF,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,UAAU,MAAM,EAChB,QAAQ,IAAI,KACX;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,SAmChE,CAAC;AAMF,eAAO,MAAM,iBAAiB,GAC5B,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,OAWF,CAAC;AAMF,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,UAAU,QAAQ,KACjB,MAmDF,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,MAAM,GAAG,SAGX,CAAC;AAMF,eAAO,MAAM,UAAU,GAAI,OAAO,eAAe,EAAE,QAAQ,MAAM,KAAG,OAWnE,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,OAGF,CAAC;AAMF,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,OAYF,CAAC;AAMF,eAAO,MAAM,6BAA6B,GACxC,OAAO,eAAe,EACtB,OAAO,WAAW,KACjB,OAUF,CAAC;AAMF,eAAO,MAAM,8BAA8B,GACzC,OAAO,eAAe,EACtB,OAAO,WAAW,KACjB,OAqCF,CAAC;AAMF,eAAO,MAAM,qBAAqB,GAChC,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,OAGF,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,EACtB,QAAQ,MAAM,EACd,YAAY,MAAM,EAClB,YAAY,QAAQ,GAAG,UAAU,KAChC;IAAE,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAmB1C,CAAC;AAMF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,cAAc,YAAY,KACzB,MAQF,CAAC"}
|