@tsonic/emitter 0.0.76 → 0.0.77
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/array.test.js +3 -3
- package/dist/array.test.js.map +1 -1
- package/dist/core/format/backend-ast/invariants.test.js +5 -0
- package/dist/core/format/backend-ast/invariants.test.js.map +1 -1
- package/dist/core/format/backend-ast/printer-colon-detection.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-colon-detection.js +2 -0
- package/dist/core/format/backend-ast/printer-colon-detection.js.map +1 -1
- package/dist/core/format/backend-ast/printer-expressions.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-expressions.js +4 -0
- package/dist/core/format/backend-ast/printer-expressions.js.map +1 -1
- package/dist/core/format/backend-ast/printer-precedence.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-precedence.js +1 -0
- package/dist/core/format/backend-ast/printer-precedence.js.map +1 -1
- package/dist/core/format/backend-ast/types/expression-ast.d.ts +5 -1
- package/dist/core/format/backend-ast/types/expression-ast.d.ts.map +1 -1
- package/dist/core/format/backend-ast/utils.d.ts +3 -0
- package/dist/core/format/backend-ast/utils.d.ts.map +1 -1
- package/dist/core/format/backend-ast/utils.js +39 -0
- package/dist/core/format/backend-ast/utils.js.map +1 -1
- package/dist/core/format/backend-ast/utils.test.js +13 -1
- package/dist/core/format/backend-ast/utils.test.js.map +1 -1
- package/dist/core/format/local-names.d.ts.map +1 -1
- package/dist/core/format/local-names.js +3 -2
- package/dist/core/format/local-names.js.map +1 -1
- package/dist/core/format/local-names.test.js +7 -6
- package/dist/core/format/local-names.test.js.map +1 -1
- package/dist/core/format/module-emitter/orchestrator.d.ts.map +1 -1
- package/dist/core/format/module-emitter/orchestrator.js +3 -1
- package/dist/core/format/module-emitter/orchestrator.js.map +1 -1
- package/dist/core/format/module-emitter/static-container.d.ts.map +1 -1
- package/dist/core/format/module-emitter/static-container.js +2 -4
- package/dist/core/format/module-emitter/static-container.js.map +1 -1
- package/dist/core/module-emitter-cases/class-and-recursion.test.js +4 -1
- package/dist/core/module-emitter-cases/class-and-recursion.test.js.map +1 -1
- package/dist/core/module-emitter-cases/static-containers.test.js +111 -1
- package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
- package/dist/core/semantic/adapt-result.d.ts +20 -0
- package/dist/core/semantic/adapt-result.d.ts.map +1 -0
- package/dist/core/semantic/adapt-result.js +30 -0
- package/dist/core/semantic/adapt-result.js.map +1 -0
- package/dist/core/semantic/array-expected-types.d.ts.map +1 -1
- package/dist/core/semantic/array-expected-types.js.map +1 -1
- package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
- package/dist/core/semantic/assignment-flow.js +26 -3
- package/dist/core/semantic/assignment-flow.js.map +1 -1
- package/dist/core/semantic/async-wrapper-types.d.ts +1 -0
- package/dist/core/semantic/async-wrapper-types.d.ts.map +1 -1
- package/dist/core/semantic/async-wrapper-types.js +19 -1
- package/dist/core/semantic/async-wrapper-types.js.map +1 -1
- package/dist/core/semantic/boolean-condition-main.d.ts.map +1 -1
- package/dist/core/semantic/boolean-condition-main.js +6 -2
- package/dist/core/semantic/boolean-condition-main.js.map +1 -1
- package/dist/core/semantic/boolean-context.test.js +2 -1
- package/dist/core/semantic/boolean-context.test.js.map +1 -1
- package/dist/core/semantic/broad-array-storage.d.ts.map +1 -1
- package/dist/core/semantic/broad-array-storage.js +2 -5
- package/dist/core/semantic/broad-array-storage.js.map +1 -1
- package/dist/core/semantic/broad-object-types.d.ts +1 -0
- package/dist/core/semantic/broad-object-types.d.ts.map +1 -1
- package/dist/core/semantic/broad-object-types.js +39 -0
- package/dist/core/semantic/broad-object-types.js.map +1 -1
- package/dist/core/semantic/clr-type-identity.d.ts +1 -2
- package/dist/core/semantic/clr-type-identity.d.ts.map +1 -1
- package/dist/core/semantic/clr-type-identity.js +3 -65
- package/dist/core/semantic/clr-type-identity.js.map +1 -1
- package/dist/core/semantic/comparable-types.d.ts.map +1 -1
- package/dist/core/semantic/comparable-types.js +61 -27
- package/dist/core/semantic/comparable-types.js.map +1 -1
- package/dist/core/semantic/comparable-types.test.js.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.d.ts.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.js +90 -37
- package/dist/core/semantic/deterministic-type-keys.js.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.test.d.ts +2 -0
- package/dist/core/semantic/deterministic-type-keys.test.d.ts.map +1 -0
- package/dist/core/semantic/deterministic-type-keys.test.js +38 -0
- package/dist/core/semantic/deterministic-type-keys.test.js.map +1 -0
- package/dist/core/semantic/direct-storage-ir-types.d.ts +1 -1
- package/dist/core/semantic/direct-storage-ir-types.d.ts.map +1 -1
- package/dist/core/semantic/direct-storage-ir-types.js +12 -3
- package/dist/core/semantic/direct-storage-ir-types.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.d.ts.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.js +165 -6
- package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.test.js +69 -6
- package/dist/core/semantic/direct-value-surfaces.test.js.map +1 -1
- package/dist/core/semantic/expected-type-matching.d.ts.map +1 -1
- package/dist/core/semantic/expected-type-matching.js +4 -5
- package/dist/core/semantic/expected-type-matching.js.map +1 -1
- package/dist/core/semantic/implicit-interfaces.d.ts.map +1 -1
- package/dist/core/semantic/implicit-interfaces.js.map +1 -1
- package/dist/core/semantic/imports-cases/basic-and-local.test.js +8 -8
- package/dist/core/semantic/imports-cases/basic-and-local.test.js.map +1 -1
- package/dist/core/semantic/imports.js +3 -2
- package/dist/core/semantic/imports.js.map +1 -1
- package/dist/core/semantic/index.d.ts +1 -1
- package/dist/core/semantic/index.d.ts.map +1 -1
- package/dist/core/semantic/index.js +1 -1
- package/dist/core/semantic/index.js.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js +1 -9
- package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
- package/dist/core/semantic/js-array-surface-members.d.ts +4 -0
- package/dist/core/semantic/js-array-surface-members.d.ts.map +1 -0
- package/dist/core/semantic/js-array-surface-members.js +32 -0
- package/dist/core/semantic/js-array-surface-members.js.map +1 -0
- package/dist/core/semantic/materialized-narrowing.d.ts +1 -0
- package/dist/core/semantic/materialized-narrowing.d.ts.map +1 -1
- package/dist/core/semantic/materialized-narrowing.js +170 -34
- package/dist/core/semantic/materialized-narrowing.js.map +1 -1
- package/dist/core/semantic/materialized-narrowing.test.js +24 -6
- package/dist/core/semantic/materialized-narrowing.test.js.map +1 -1
- package/dist/core/semantic/module-map.d.ts.map +1 -1
- package/dist/core/semantic/module-map.js +4 -6
- package/dist/core/semantic/module-map.js.map +1 -1
- package/dist/core/semantic/module-type-collisions.d.ts +7 -0
- package/dist/core/semantic/module-type-collisions.d.ts.map +1 -0
- package/dist/core/semantic/module-type-collisions.js +24 -0
- package/dist/core/semantic/module-type-collisions.js.map +1 -0
- package/dist/core/semantic/mutable-storage-helpers.d.ts +1 -1
- package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.js +4 -12
- package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
- package/dist/core/semantic/naming-collisions.d.ts.map +1 -1
- package/dist/core/semantic/naming-collisions.js +13 -3
- package/dist/core/semantic/naming-collisions.js.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.d.ts +3 -1
- package/dist/core/semantic/narrowed-expression-types.d.ts.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.js +138 -16
- package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.d.ts.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js +13 -2
- package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.d.ts +3 -2
- package/dist/core/semantic/narrowing-builder-core.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.js +85 -126
- package/dist/core/semantic/narrowing-builder-core.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.test.js +3 -2
- package/dist/core/semantic/narrowing-builder-core.test.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-unions.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builder-unions.js +43 -7
- package/dist/core/semantic/narrowing-builder-unions.js.map +1 -1
- package/dist/core/semantic/narrowing-builders.d.ts +1 -1
- package/dist/core/semantic/narrowing-builders.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builders.js +1 -1
- package/dist/core/semantic/narrowing-builders.js.map +1 -1
- package/dist/core/semantic/narrowing-refinements.d.ts +1 -1
- package/dist/core/semantic/narrowing-refinements.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-refinements.js +1 -1
- package/dist/core/semantic/narrowing-refinements.js.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.d.ts +1 -5
- package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.js +128 -57
- package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
- package/dist/core/semantic/nullish-value-helpers.d.ts +1 -1
- package/dist/core/semantic/nullish-value-helpers.d.ts.map +1 -1
- package/dist/core/semantic/nullish-value-helpers.js +18 -9
- package/dist/core/semantic/nullish-value-helpers.js.map +1 -1
- package/dist/core/semantic/runtime-materialization-targets.js +1 -1
- package/dist/core/semantic/runtime-materialization-targets.js.map +1 -1
- package/dist/core/semantic/runtime-reification.d.ts +1 -0
- package/dist/core/semantic/runtime-reification.d.ts.map +1 -1
- package/dist/core/semantic/runtime-reification.js +141 -35
- package/dist/core/semantic/runtime-reification.js.map +1 -1
- package/dist/core/semantic/runtime-union-family-preservation.js +1 -1
- package/dist/core/semantic/runtime-union-family-preservation.js.map +1 -1
- package/dist/core/semantic/runtime-union-matching.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-matching.js +13 -0
- package/dist/core/semantic/runtime-union-matching.js.map +1 -1
- package/dist/core/semantic/runtime-union-member-mapping.test.js +1 -1
- package/dist/core/semantic/runtime-union-member-mapping.test.js.map +1 -1
- package/dist/core/semantic/runtime-union-ordering.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-ordering.js +10 -22
- package/dist/core/semantic/runtime-union-ordering.js.map +1 -1
- package/dist/core/semantic/runtime-union-projection.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-projection.js +23 -7
- package/dist/core/semantic/runtime-union-projection.js.map +1 -1
- package/dist/core/semantic/runtime-union-projection.test.js +19 -1
- package/dist/core/semantic/runtime-union-projection.test.js.map +1 -1
- package/dist/core/semantic/runtime-union-registry.js +13 -13
- package/dist/core/semantic/runtime-union-registry.js.map +1 -1
- package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
- package/dist/core/semantic/runtime-unions.js +47 -21
- package/dist/core/semantic/runtime-unions.js.map +1 -1
- package/dist/core/semantic/runtime-unions.test.js +12 -7
- package/dist/core/semantic/runtime-unions.test.js.map +1 -1
- package/dist/core/semantic/semantic-union-members.d.ts.map +1 -1
- package/dist/core/semantic/semantic-union-members.js.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.d.ts.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.js +8 -11
- package/dist/core/semantic/storage-erased-adaptation.js.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.test.js +4 -1
- package/dist/core/semantic/storage-erased-adaptation.test.js.map +1 -1
- package/dist/core/semantic/storage-types.d.ts.map +1 -1
- package/dist/core/semantic/storage-types.js +4 -2
- package/dist/core/semantic/storage-types.js.map +1 -1
- package/dist/core/semantic/structural-shape-matching.d.ts +5 -1
- package/dist/core/semantic/structural-shape-matching.d.ts.map +1 -1
- package/dist/core/semantic/structural-shape-matching.js +29 -4
- package/dist/core/semantic/structural-shape-matching.js.map +1 -1
- package/dist/core/semantic/symbol-types.d.ts +2 -9
- package/dist/core/semantic/symbol-types.d.ts.map +1 -1
- package/dist/core/semantic/symbol-types.js +7 -11
- package/dist/core/semantic/symbol-types.js.map +1 -1
- package/dist/core/semantic/truthiness-evaluation.d.ts.map +1 -1
- package/dist/core/semantic/truthiness-evaluation.js +3 -3
- package/dist/core/semantic/truthiness-evaluation.js.map +1 -1
- package/dist/core/semantic/type-compatibility.d.ts +4 -2
- package/dist/core/semantic/type-compatibility.d.ts.map +1 -1
- package/dist/core/semantic/type-compatibility.js +62 -2
- package/dist/core/semantic/type-compatibility.js.map +1 -1
- package/dist/core/semantic/type-domains.d.ts +17 -0
- package/dist/core/semantic/type-domains.d.ts.map +1 -0
- package/dist/core/semantic/type-domains.js +7 -0
- package/dist/core/semantic/type-domains.js.map +1 -0
- package/dist/core/semantic/type-equivalence.d.ts.map +1 -1
- package/dist/core/semantic/type-equivalence.js +12 -7
- package/dist/core/semantic/type-equivalence.js.map +1 -1
- package/dist/core/semantic/type-equivalence.test.js +34 -0
- package/dist/core/semantic/type-equivalence.test.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/array-like-element.test.js +13 -4
- package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/helpers.d.ts +2 -2
- package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map +1 -1
- package/dist/core/semantic/type-resolution-cases/helpers.js +2 -2
- package/dist/core/semantic/type-resolution-cases/helpers.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts +2 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts.map +1 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js +36 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js.map +1 -0
- package/dist/core/semantic/type-resolution.test.d.ts +1 -1
- package/dist/core/semantic/type-resolution.test.d.ts.map +1 -1
- package/dist/core/semantic/type-resolution.test.js +1 -1
- package/dist/core/semantic/type-resolution.test.js.map +1 -1
- package/dist/core/semantic/type-substitution.d.ts.map +1 -1
- package/dist/core/semantic/type-substitution.js +2 -1
- package/dist/core/semantic/type-substitution.js.map +1 -1
- package/dist/core/semantic/union-predicate-matching.d.ts.map +1 -1
- package/dist/core/semantic/union-predicate-matching.js +1 -1
- package/dist/core/semantic/union-predicate-matching.js.map +1 -1
- package/dist/core/semantic/union-typeof-matching.d.ts.map +1 -1
- package/dist/core/semantic/union-typeof-matching.js +72 -22
- package/dist/core/semantic/union-typeof-matching.js.map +1 -1
- package/dist/core/semantic/variable-type-resolution.d.ts +1 -0
- package/dist/core/semantic/variable-type-resolution.d.ts.map +1 -1
- package/dist/core/semantic/variable-type-resolution.js +62 -6
- package/dist/core/semantic/variable-type-resolution.js.map +1 -1
- package/dist/duplicate-type-suppression.d.ts.map +1 -1
- package/dist/duplicate-type-suppression.js.map +1 -1
- package/dist/emitter-types/context.d.ts +1 -0
- package/dist/emitter-types/context.d.ts.map +1 -1
- package/dist/emitter-types/context.js +12 -1
- package/dist/emitter-types/context.js.map +1 -1
- package/dist/emitter-types/core.d.ts +10 -9
- package/dist/emitter-types/core.d.ts.map +1 -1
- package/dist/emitter-types/fqn.d.ts +0 -1
- package/dist/emitter-types/fqn.d.ts.map +1 -1
- package/dist/emitter-types/fqn.js +0 -1
- package/dist/emitter-types/fqn.js.map +1 -1
- package/dist/emitter-types/index.d.ts +1 -1
- package/dist/emitter-types/index.d.ts.map +1 -1
- package/dist/emitter-types/index.js +1 -1
- package/dist/emitter-types/index.js.map +1 -1
- package/dist/emitter.d.ts +3 -3
- package/dist/emitter.d.ts.map +1 -1
- package/dist/emitter.js +1 -7
- package/dist/emitter.js.map +1 -1
- package/dist/expression-emitter.d.ts.map +1 -1
- package/dist/expression-emitter.js +7 -2
- package/dist/expression-emitter.js.map +1 -1
- package/dist/expressions/access-binding.d.ts.map +1 -1
- package/dist/expressions/access-binding.js +32 -46
- package/dist/expressions/access-binding.js.map +1 -1
- package/dist/expressions/access-computed.d.ts.map +1 -1
- package/dist/expressions/access-computed.js +7 -8
- package/dist/expressions/access-computed.js.map +1 -1
- package/dist/expressions/access-length.d.ts +5 -9
- package/dist/expressions/access-length.d.ts.map +1 -1
- package/dist/expressions/access-length.js +17 -225
- package/dist/expressions/access-length.js.map +1 -1
- package/dist/expressions/access-property.d.ts +1 -2
- package/dist/expressions/access-property.d.ts.map +1 -1
- package/dist/expressions/access-property.js +20 -94
- package/dist/expressions/access-property.js.map +1 -1
- package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
- package/dist/expressions/access-resolution-receivers.js +14 -5
- package/dist/expressions/access-resolution-receivers.js.map +1 -1
- package/dist/expressions/access-resolution-types.d.ts.map +1 -1
- package/dist/expressions/access-resolution-types.js +7 -0
- package/dist/expressions/access-resolution-types.js.map +1 -1
- package/dist/expressions/access.d.ts +2 -2
- package/dist/expressions/access.d.ts.map +1 -1
- package/dist/expressions/access.js +6 -5
- package/dist/expressions/access.js.map +1 -1
- package/dist/expressions/architecture-invariants.test.js +18 -0
- package/dist/expressions/architecture-invariants.test.js.map +1 -1
- package/dist/expressions/await-normalization.d.ts.map +1 -1
- package/dist/expressions/await-normalization.js +53 -13
- package/dist/expressions/await-normalization.js.map +1 -1
- package/dist/expressions/calls/call-analysis.d.ts +0 -1
- package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
- package/dist/expressions/calls/call-analysis.js +0 -7
- package/dist/expressions/calls/call-analysis.js.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.js +219 -36
- package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
- package/dist/expressions/calls/call-arguments-helpers.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
- package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-mutation.js +8 -33
- package/dist/expressions/calls/call-array-mutation.js.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.js +6 -4
- package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
- package/dist/expressions/calls/call-emitter.d.ts +1 -1
- package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
- package/dist/expressions/calls/call-emitter.js +85 -7
- package/dist/expressions/calls/call-emitter.js.map +1 -1
- package/dist/expressions/calls/call-json.d.ts +1 -1
- package/dist/expressions/calls/call-json.d.ts.map +1 -1
- package/dist/expressions/calls/call-json.js +50 -84
- package/dist/expressions/calls/call-json.js.map +1 -1
- package/dist/expressions/calls/call-promise-ir-types.d.ts.map +1 -1
- package/dist/expressions/calls/call-promise-ir-types.js.map +1 -1
- package/dist/expressions/calls/call-runtime-union-guards.d.ts.map +1 -1
- package/dist/expressions/calls/call-runtime-union-guards.js +10 -1
- package/dist/expressions/calls/call-runtime-union-guards.js.map +1 -1
- package/dist/expressions/calls/new-emitter-collections.d.ts +7 -4
- package/dist/expressions/calls/new-emitter-collections.d.ts.map +1 -1
- package/dist/expressions/calls/new-emitter-collections.js +64 -25
- package/dist/expressions/calls/new-emitter-collections.js.map +1 -1
- package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
- package/dist/expressions/calls/new-emitter.js +4 -5
- package/dist/expressions/calls/new-emitter.js.map +1 -1
- package/dist/expressions/direct-storage-types.d.ts.map +1 -1
- package/dist/expressions/direct-storage-types.js +76 -15
- package/dist/expressions/direct-storage-types.js.map +1 -1
- package/dist/expressions/exact-comparison.d.ts.map +1 -1
- package/dist/expressions/exact-comparison.js +3 -1
- package/dist/expressions/exact-comparison.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
- package/dist/expressions/expected-type-adaptation.js +149 -29
- package/dist/expressions/expected-type-adaptation.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.test.js +81 -26
- package/dist/expressions/expected-type-adaptation.test.js.map +1 -1
- package/dist/expressions/identifier-storage.d.ts +5 -0
- package/dist/expressions/identifier-storage.d.ts.map +1 -1
- package/dist/expressions/identifier-storage.js +200 -25
- package/dist/expressions/identifier-storage.js.map +1 -1
- package/dist/expressions/identifiers.d.ts.map +1 -1
- package/dist/expressions/identifiers.js +7 -16
- package/dist/expressions/identifiers.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +3 -3
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
- package/dist/expressions/index-cases/basic-literals-and-calls.test.js +3 -3
- package/dist/expressions/index-cases/basic-literals-and-calls.test.js.map +1 -1
- package/dist/expressions/index-cases/defaults-and-char-context.test.js +8 -2
- package/dist/expressions/index-cases/defaults-and-char-context.test.js.map +1 -1
- package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js +17 -20
- package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js.map +1 -1
- package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js +7 -8
- package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js.map +1 -1
- package/dist/expressions/index-cases/helpers.d.ts +5 -4
- package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
- package/dist/expressions/index-cases/helpers.js +3 -2
- package/dist/expressions/index-cases/helpers.js.map +1 -1
- package/dist/expressions/index-cases/nullable-and-comparisons.test.js +9 -9
- package/dist/expressions/index-cases/nullable-and-comparisons.test.js.map +1 -1
- package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js +3 -3
- package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map +1 -1
- package/dist/expressions/index-cases/runtime-union-reification-b.test.js +19 -13
- package/dist/expressions/index-cases/runtime-union-reification-b.test.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +4 -4
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
- package/dist/expressions/lambda-parameters.d.ts.map +1 -1
- package/dist/expressions/lambda-parameters.js +97 -12
- package/dist/expressions/lambda-parameters.js.map +1 -1
- package/dist/expressions/object-literal.d.ts.map +1 -1
- package/dist/expressions/object-literal.js +48 -18
- package/dist/expressions/object-literal.js.map +1 -1
- package/dist/expressions/operators/binary-dispatch.d.ts +1 -1
- package/dist/expressions/operators/binary-dispatch.d.ts.map +1 -1
- package/dist/expressions/operators/binary-dispatch.js +52 -12
- package/dist/expressions/operators/binary-dispatch.js.map +1 -1
- package/dist/expressions/operators/binary-helpers.d.ts.map +1 -1
- package/dist/expressions/operators/binary-helpers.js +11 -1
- package/dist/expressions/operators/binary-helpers.js.map +1 -1
- package/dist/expressions/operators/binary-special-ops.d.ts +1 -11
- package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
- package/dist/expressions/operators/binary-special-ops.js +217 -195
- package/dist/expressions/operators/binary-special-ops.js.map +1 -1
- package/dist/expressions/operators/conditional-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/conditional-emitter.js +89 -19
- package/dist/expressions/operators/conditional-emitter.js.map +1 -1
- package/dist/expressions/operators/logical-emitter.js +1 -1
- package/dist/expressions/operators/logical-emitter.js.map +1 -1
- package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/unary-emitter.js +7 -50
- package/dist/expressions/operators/unary-emitter.js.map +1 -1
- package/dist/expressions/other.d.ts +2 -6
- package/dist/expressions/other.d.ts.map +1 -1
- package/dist/expressions/other.js +6 -13
- package/dist/expressions/other.js.map +1 -1
- package/dist/expressions/post-emission-adaptation.d.ts +1 -1
- package/dist/expressions/post-emission-adaptation.d.ts.map +1 -1
- package/dist/expressions/post-emission-adaptation.js +55 -150
- package/dist/expressions/post-emission-adaptation.js.map +1 -1
- package/dist/expressions/precedence.test.js +5 -46
- package/dist/expressions/precedence.test.js.map +1 -1
- package/dist/expressions/runtime-union-adaptation-projection.d.ts.map +1 -1
- package/dist/expressions/runtime-union-adaptation-projection.js +25 -4
- package/dist/expressions/runtime-union-adaptation-projection.js.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.js +268 -31
- package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
- package/dist/expressions/structural-anonymous-targets.d.ts.map +1 -1
- package/dist/expressions/structural-anonymous-targets.js +5 -0
- package/dist/expressions/structural-anonymous-targets.js.map +1 -1
- package/dist/expressions/structural-collection-adaptation.d.ts.map +1 -1
- package/dist/expressions/structural-collection-adaptation.js +4 -2
- package/dist/expressions/structural-collection-adaptation.js.map +1 -1
- package/dist/expressions/structural-object-adaptation.d.ts.map +1 -1
- package/dist/expressions/structural-object-adaptation.js +58 -3
- package/dist/expressions/structural-object-adaptation.js.map +1 -1
- package/dist/expressions/structural-property-model.d.ts.map +1 -1
- package/dist/expressions/structural-property-model.js +7 -3
- package/dist/expressions/structural-property-model.js.map +1 -1
- package/dist/expressions/structural-type-shapes.d.ts.map +1 -1
- package/dist/expressions/structural-type-shapes.js +1 -1
- package/dist/expressions/structural-type-shapes.js.map +1 -1
- package/dist/expressions/structural-type-shapes.test.js +2 -1
- package/dist/expressions/structural-type-shapes.test.js.map +1 -1
- package/dist/expressions/type-assertion-emitters.d.ts.map +1 -1
- package/dist/expressions/type-assertion-emitters.js +231 -15
- package/dist/expressions/type-assertion-emitters.js.map +1 -1
- package/dist/fixture-regression-mirrors.test.js +43 -112
- package/dist/fixture-regression-mirrors.test.js.map +1 -1
- package/dist/generated-files.d.ts +0 -1
- package/dist/generated-files.d.ts.map +1 -1
- package/dist/generated-files.js +0 -229
- package/dist/generated-files.js.map +1 -1
- package/dist/generated-files.test.js +53 -1
- package/dist/generated-files.test.js.map +1 -1
- package/dist/golden-tests/runner.d.ts.map +1 -1
- package/dist/golden-tests/runner.js +1 -0
- package/dist/golden-tests/runner.js.map +1 -1
- package/dist/integration-cases/arrow-and-generics-a.test.js +52 -32
- package/dist/integration-cases/arrow-and-generics-a.test.js.map +1 -1
- package/dist/integration-cases/arrow-and-generics-b.test.js +17 -23
- package/dist/integration-cases/arrow-and-generics-b.test.js.map +1 -1
- package/dist/integration-cases/await-and-intrinsics.test.js +12 -10
- package/dist/integration-cases/await-and-intrinsics.test.js.map +1 -1
- package/dist/integration-cases/clr-iterable-overloads.test.js +58 -27
- package/dist/integration-cases/clr-iterable-overloads.test.js.map +1 -1
- package/dist/integration-cases/full-module-and-promises.test.js +21 -19
- package/dist/integration-cases/full-module-and-promises.test.js.map +1 -1
- package/dist/integration-cases/helpers.d.ts.map +1 -1
- package/dist/integration-cases/helpers.js +12 -33
- package/dist/integration-cases/helpers.js.map +1 -1
- package/dist/integration-cases/may14-downstream-contracts.test.d.ts +2 -0
- package/dist/integration-cases/may14-downstream-contracts.test.d.ts.map +1 -0
- package/dist/integration-cases/may14-downstream-contracts.test.js +522 -0
- package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -0
- package/dist/integration-cases/object-literals-and-channels.test.js +10 -4
- package/dist/integration-cases/object-literals-and-channels.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-a.test.js +36 -30
- package/dist/integration-cases/regression-coverage-a.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-b.test.js +95 -111
- package/dist/integration-cases/regression-coverage-b.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-c.test.js +499 -197
- package/dist/integration-cases/regression-coverage-c.test.js.map +1 -1
- package/dist/integration.test.d.ts +1 -0
- package/dist/integration.test.d.ts.map +1 -1
- package/dist/integration.test.js +1 -0
- package/dist/integration.test.js.map +1 -1
- package/dist/json-aot-generic.test.js +48 -200
- package/dist/json-aot-generic.test.js.map +1 -1
- package/dist/statements/block-emitters/block-and-return.d.ts +1 -1
- package/dist/statements/block-emitters/block-and-return.d.ts.map +1 -1
- package/dist/statements/block-emitters/block-and-return.js +9 -3
- package/dist/statements/block-emitters/block-and-return.js.map +1 -1
- package/dist/statements/classes/properties.d.ts.map +1 -1
- package/dist/statements/classes/properties.js.map +1 -1
- package/dist/statements/control/conditionals/architecture-invariants.test.d.ts +2 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.d.ts.map +1 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.js +19 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.js.map +1 -0
- package/dist/statements/control/conditionals/branch-context.d.ts +4 -6
- package/dist/statements/control/conditionals/branch-context.d.ts.map +1 -1
- package/dist/statements/control/conditionals/branch-context.js +104 -31
- package/dist/statements/control/conditionals/branch-context.js.map +1 -1
- package/dist/statements/control/conditionals/guard-analysis.d.ts +2 -2
- package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-analysis.js +1 -1
- package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts +2 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.js +83 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-structural.d.ts +2 -7
- package/dist/statements/control/conditionals/guard-detectors-structural.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-structural.js +47 -82
- package/dist/statements/control/conditionals/guard-detectors-structural.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors.d.ts +2 -2
- package/dist/statements/control/conditionals/guard-detectors.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors.js +2 -2
- package/dist/statements/control/conditionals/guard-detectors.js.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.d.ts +5 -7
- package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.js +3 -158
- package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
- package/dist/statements/control/conditionals/guard-types.d.ts +16 -26
- package/dist/statements/control/conditionals/guard-types.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-types.js +23 -1
- package/dist/statements/control/conditionals/guard-types.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.js +5 -8
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts +2 -8
- package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-predicate-guards.js +4 -84
- package/dist/statements/control/conditionals/if-emit-predicate-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts +2 -0
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js +87 -3
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js +254 -20
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-union-guards.d.ts +2 -2
- package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-union-guards.js +2 -2
- package/dist/statements/control/conditionals/if-emit-union-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emitter.js +36 -43
- package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
- package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts +5 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts.map +1 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.js +16 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.js.map +1 -0
- package/dist/statements/control/loops.d.ts +2 -9
- package/dist/statements/control/loops.d.ts.map +1 -1
- package/dist/statements/control/loops.js +56 -48
- package/dist/statements/control/loops.js.map +1 -1
- package/dist/statements/declarations/classes.d.ts.map +1 -1
- package/dist/statements/declarations/classes.js.map +1 -1
- package/dist/statements/declarations/interfaces.d.ts.map +1 -1
- package/dist/statements/declarations/interfaces.js.map +1 -1
- package/dist/statements/declarations/structs.test.js +5 -4
- package/dist/statements/declarations/structs.test.js.map +1 -1
- package/dist/statements/declarations/type-aliases.js.map +1 -1
- package/dist/statements/declarations/variables.d.ts.map +1 -1
- package/dist/statements/declarations/variables.js +7 -4
- package/dist/statements/declarations/variables.js.map +1 -1
- package/dist/statements/statement-cases/flow-and-void.test.js +3 -3
- package/dist/statements/statement-cases/flow-and-void.test.js.map +1 -1
- package/dist/statements/statement-cases/helpers.d.ts +3 -2
- package/dist/statements/statement-cases/helpers.d.ts.map +1 -1
- package/dist/statements/statement-cases/helpers.js +1 -1
- package/dist/statements/statement-cases/helpers.js.map +1 -1
- package/dist/statements/statement-cases/if-and-instanceof-guards.test.js +21 -21
- package/dist/statements/statement-cases/if-and-instanceof-guards.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-basic.test.js +3 -80
- package/dist/statements/statement-cases/union-guards-basic.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js +0 -196
- package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js +15 -15
- package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-remapped-a.test.js +7 -189
- package/dist/statements/statement-cases/union-guards-remapped-a.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-remapped-b.test.js +7 -193
- package/dist/statements/statement-cases/union-guards-remapped-b.test.js.map +1 -1
- package/dist/test-ir-strict.d.ts +7 -0
- package/dist/test-ir-strict.d.ts.map +1 -0
- package/dist/test-ir-strict.js +9 -0
- package/dist/test-ir-strict.js.map +1 -0
- package/dist/type-assertion.test.js +5 -4
- package/dist/type-assertion.test.js.map +1 -1
- package/dist/types/emitter.d.ts.map +1 -1
- package/dist/types/emitter.js +7 -1
- package/dist/types/emitter.js.map +1 -1
- package/dist/types/intersections.d.ts +2 -2
- package/dist/types/intersections.d.ts.map +1 -1
- package/dist/types/intersections.js +26 -6
- package/dist/types/intersections.js.map +1 -1
- package/dist/types/parameters.d.ts.map +1 -1
- package/dist/types/parameters.js +30 -5
- package/dist/types/parameters.js.map +1 -1
- package/dist/types/reference-structural-signatures.d.ts.map +1 -1
- package/dist/types/reference-structural-signatures.js +3 -6
- package/dist/types/reference-structural-signatures.js.map +1 -1
- package/dist/types/references-cases/array-and-cross-module.test.js +2 -4
- package/dist/types/references-cases/array-and-cross-module.test.js.map +1 -1
- package/dist/types/references-cases/bindings-and-local.test.js +2 -4
- package/dist/types/references-cases/bindings-and-local.test.js.map +1 -1
- package/dist/types/references-cases/helpers.d.ts +3 -2
- package/dist/types/references-cases/helpers.d.ts.map +1 -1
- package/dist/types/references-cases/helpers.js +2 -1
- package/dist/types/references-cases/helpers.js.map +1 -1
- package/dist/types/references.d.ts.map +1 -1
- package/dist/types/references.js +21 -2
- package/dist/types/references.js.map +1 -1
- package/dist/types/unions-cases/basic-and-ordering.test.js +51 -0
- package/dist/types/unions-cases/basic-and-ordering.test.js.map +1 -1
- package/dist/types/unions.d.ts.map +1 -1
- package/dist/types/unions.js +17 -1
- package/dist/types/unions.js.map +1 -1
- package/dist/types.d.ts +3 -1
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js +2 -1
- package/dist/types.js.map +1 -1
- package/package.json +2 -2
- package/dist/core/semantic/js-value-types.d.ts +0 -5
- package/dist/core/semantic/js-value-types.d.ts.map +0 -1
- package/dist/core/semantic/js-value-types.js +0 -42
- package/dist/core/semantic/js-value-types.js.map +0 -1
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts +0 -2
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map +0 -1
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js +0 -98
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map +0 -1
- package/dist/expressions/calls/call-dynamic-import.d.ts +0 -11
- package/dist/expressions/calls/call-dynamic-import.d.ts.map +0 -1
- package/dist/expressions/calls/call-dynamic-import.js +0 -148
- package/dist/expressions/calls/call-dynamic-import.js.map +0 -1
|
@@ -10,7 +10,11 @@ import { emitStatementAst } from "../../../statement-emitter.js";
|
|
|
10
10
|
import { materializeDirectNarrowingAst } from "../../../core/semantic/materialized-narrowing.js";
|
|
11
11
|
import { normalizeRuntimeStorageType } from "../../../core/semantic/storage-types.js";
|
|
12
12
|
import { areIrTypesEquivalent } from "../../../core/semantic/type-equivalence.js";
|
|
13
|
+
import { willCarryAsRuntimeUnion } from "../../../core/semantic/union-semantics.js";
|
|
14
|
+
import { buildMappedUnionNarrowAst, buildUnionNarrowAst, } from "../../../core/semantic/narrowing-builders.js";
|
|
15
|
+
import { buildRuntimeUnionLayout } from "../../../core/semantic/runtime-unions.js";
|
|
13
16
|
import { identifierType, nullLiteral, } from "../../../core/format/backend-ast/builders.js";
|
|
17
|
+
export { buildUnionNarrowAst };
|
|
14
18
|
/** Standard emitExpressionAst adapter for emitBooleanConditionAst callback. */
|
|
15
19
|
export const emitExprAstCb = (e, ctx) => emitExpressionAst(e, ctx);
|
|
16
20
|
export const mergeBranchContextMeta = (preferred, alternate) => ({
|
|
@@ -29,12 +33,23 @@ const joinTypes = (left, right, context) => {
|
|
|
29
33
|
if (!right) {
|
|
30
34
|
return left;
|
|
31
35
|
}
|
|
36
|
+
if (left.kind === "anyType" || right.kind === "anyType") {
|
|
37
|
+
return { kind: "anyType" };
|
|
38
|
+
}
|
|
39
|
+
if (left.kind === "unknownType" || right.kind === "unknownType") {
|
|
40
|
+
return { kind: "unknownType" };
|
|
41
|
+
}
|
|
32
42
|
return areIrTypesEquivalent(left, right, context)
|
|
33
43
|
? left
|
|
34
44
|
: normalizedUnionType([left, right]);
|
|
35
45
|
};
|
|
36
46
|
const getBindingEffectiveType = (binding) => binding?.type ?? binding?.sourceType;
|
|
37
47
|
const getBindingSourceType = (binding) => binding?.sourceType ?? binding?.type;
|
|
48
|
+
const getRuntimeCarrierBindingSourceType = (binding, fallbackMembers, context) => {
|
|
49
|
+
const candidates = [binding?.sourceType, binding?.type].filter((candidate) => candidate !== undefined);
|
|
50
|
+
const runtimeCarrier = candidates.find((candidate) => willCarryAsRuntimeUnion(candidate, context));
|
|
51
|
+
return runtimeCarrier ?? buildSubsetUnionType(fallbackMembers);
|
|
52
|
+
};
|
|
38
53
|
const getBindingCarrierAst = (binding) => {
|
|
39
54
|
if (!binding) {
|
|
40
55
|
return undefined;
|
|
@@ -61,7 +76,36 @@ const getBindingStorageType = (binding) => {
|
|
|
61
76
|
return undefined;
|
|
62
77
|
}
|
|
63
78
|
};
|
|
64
|
-
const
|
|
79
|
+
const carrierAstKey = (ast) => {
|
|
80
|
+
if (!ast) {
|
|
81
|
+
return undefined;
|
|
82
|
+
}
|
|
83
|
+
switch (ast.kind) {
|
|
84
|
+
case "identifierExpression":
|
|
85
|
+
return `id:${ast.identifier}`;
|
|
86
|
+
case "memberAccessExpression": {
|
|
87
|
+
const receiverKey = carrierAstKey(ast.expression);
|
|
88
|
+
return receiverKey
|
|
89
|
+
? `member:${receiverKey}.${ast.memberName}`
|
|
90
|
+
: undefined;
|
|
91
|
+
}
|
|
92
|
+
case "parenthesizedExpression":
|
|
93
|
+
return carrierAstKey(ast.expression);
|
|
94
|
+
case "castExpression":
|
|
95
|
+
case "asExpression":
|
|
96
|
+
return carrierAstKey(ast.expression);
|
|
97
|
+
default:
|
|
98
|
+
return undefined;
|
|
99
|
+
}
|
|
100
|
+
};
|
|
101
|
+
const sameCarrierAst = (left, right) => {
|
|
102
|
+
if (!left || !right) {
|
|
103
|
+
return true;
|
|
104
|
+
}
|
|
105
|
+
const leftKey = carrierAstKey(left);
|
|
106
|
+
const rightKey = carrierAstKey(right);
|
|
107
|
+
return leftKey !== undefined && leftKey === rightKey;
|
|
108
|
+
};
|
|
65
109
|
const mergeJoinedBinding = (baseBinding, preferredBinding, alternateBinding, context) => {
|
|
66
110
|
const preferredType = getBindingEffectiveType(preferredBinding) ??
|
|
67
111
|
getBindingEffectiveType(baseBinding);
|
|
@@ -133,37 +177,46 @@ export const resetBranchFlowState = (base, branchContext) => mergeBranchContextM
|
|
|
133
177
|
export const toReceiverAst = (receiver) => typeof receiver === "string"
|
|
134
178
|
? { kind: "identifierExpression", identifier: receiver }
|
|
135
179
|
: receiver;
|
|
136
|
-
|
|
180
|
+
const mayProduceNullableValueAst = (ast) => {
|
|
181
|
+
switch (ast.kind) {
|
|
182
|
+
case "conditionalMemberAccessExpression":
|
|
183
|
+
case "conditionalElementAccessExpression":
|
|
184
|
+
return true;
|
|
185
|
+
case "conditionalExpression":
|
|
186
|
+
return (mayProduceNullableValueAst(ast.whenTrue) ||
|
|
187
|
+
mayProduceNullableValueAst(ast.whenFalse));
|
|
188
|
+
case "memberAccessExpression":
|
|
189
|
+
case "elementAccessExpression":
|
|
190
|
+
case "invocationExpression":
|
|
191
|
+
return mayProduceNullableValueAst(ast.expression);
|
|
192
|
+
case "parenthesizedExpression":
|
|
193
|
+
case "castExpression":
|
|
194
|
+
case "asExpression":
|
|
195
|
+
case "suppressNullableWarningExpression":
|
|
196
|
+
return mayProduceNullableValueAst(ast.expression);
|
|
197
|
+
default:
|
|
198
|
+
return false;
|
|
199
|
+
}
|
|
200
|
+
};
|
|
201
|
+
export const buildExprBinding = (exprAst, type, sourceType, storageExprAst, storageType, carrierExprAst, carrierType) => ({
|
|
137
202
|
kind: "expr",
|
|
138
203
|
exprAst,
|
|
139
204
|
storageExprAst,
|
|
140
205
|
carrierExprAst,
|
|
206
|
+
carrierType,
|
|
141
207
|
storageType,
|
|
142
208
|
type,
|
|
143
209
|
sourceType,
|
|
144
210
|
});
|
|
145
|
-
export const buildProjectedExprBinding = (exprAst, type, sourceType, carrierExprAst, storageType) => buildExprBinding(exprAst, type, sourceType, exprAst, storageType ?? type, carrierExprAst);
|
|
146
|
-
/**
|
|
147
|
-
* Build AST for a union narrowing expression: (escapedOrig.AsN())
|
|
148
|
-
*/
|
|
149
|
-
export const buildUnionNarrowAst = (receiver, memberN) => ({
|
|
150
|
-
kind: "parenthesizedExpression",
|
|
151
|
-
expression: {
|
|
152
|
-
kind: "invocationExpression",
|
|
153
|
-
expression: {
|
|
154
|
-
kind: "memberAccessExpression",
|
|
155
|
-
expression: toReceiverAst(receiver),
|
|
156
|
-
memberName: `As${memberN}`,
|
|
157
|
-
},
|
|
158
|
-
arguments: [],
|
|
159
|
-
},
|
|
160
|
-
});
|
|
211
|
+
export const buildProjectedExprBinding = (exprAst, type, sourceType, carrierExprAst, storageType, carrierType) => buildExprBinding(exprAst, type, sourceType, exprAst, storageType ?? type, carrierExprAst, carrierType ?? sourceType);
|
|
161
212
|
export const buildSubsetUnionType = (members) => {
|
|
162
213
|
if (members.length === 0)
|
|
163
214
|
return undefined;
|
|
164
215
|
if (members.length === 1)
|
|
165
216
|
return members[0];
|
|
166
|
-
return normalizedUnionType(members
|
|
217
|
+
return normalizedUnionType(members, {
|
|
218
|
+
runtimeUnionLayout: "carrierSlotOrder",
|
|
219
|
+
});
|
|
167
220
|
};
|
|
168
221
|
export const buildComplementNarrowedBinding = (receiver, runtimeUnionArity, candidateMemberNs, candidateMembers, selectedMemberN, sourceType, sourceMembers, sourceCandidateMemberNs) => {
|
|
169
222
|
const remainingPairs = candidateMemberNs.flatMap((runtimeMemberN, index) => {
|
|
@@ -183,7 +236,7 @@ export const buildComplementNarrowedBinding = (receiver, runtimeUnionArity, cand
|
|
|
183
236
|
const remaining = remainingPairs[0];
|
|
184
237
|
if (!remaining)
|
|
185
238
|
return undefined;
|
|
186
|
-
const narrowedAst =
|
|
239
|
+
const narrowedAst = buildMappedUnionNarrowAst(receiver, remaining.runtimeMemberN);
|
|
187
240
|
return buildProjectedExprBinding(narrowedAst, remaining.memberType, sourceType, toReceiverAst(receiver));
|
|
188
241
|
}
|
|
189
242
|
return {
|
|
@@ -218,7 +271,7 @@ export const buildComplementNarrowedBindingForMembers = (receiver, runtimeUnionA
|
|
|
218
271
|
const remaining = remainingPairs[0];
|
|
219
272
|
if (!remaining)
|
|
220
273
|
return undefined;
|
|
221
|
-
const narrowedAst =
|
|
274
|
+
const narrowedAst = buildMappedUnionNarrowAst(receiver, remaining.runtimeMemberN);
|
|
222
275
|
return buildProjectedExprBinding(narrowedAst, remaining.memberType, sourceType, toReceiverAst(receiver));
|
|
223
276
|
}
|
|
224
277
|
return {
|
|
@@ -260,7 +313,7 @@ export const withoutNarrowedBinding = (context, bindingKey) => {
|
|
|
260
313
|
};
|
|
261
314
|
export const withComplementNarrowing = (originalName, receiver, runtimeUnionArity, candidateMemberNs, candidateMembers, selectedMemberN, baseContext) => {
|
|
262
315
|
const existingBinding = baseContext.narrowedBindings?.get(originalName);
|
|
263
|
-
const sourceType = existingBinding
|
|
316
|
+
const sourceType = getRuntimeCarrierBindingSourceType(existingBinding, candidateMembers, baseContext);
|
|
264
317
|
const sourceMembers = existingBinding?.kind === "runtimeSubset" &&
|
|
265
318
|
existingBinding.sourceMembers &&
|
|
266
319
|
existingBinding.sourceCandidateMemberNs &&
|
|
@@ -285,7 +338,7 @@ export const withComplementNarrowing = (originalName, receiver, runtimeUnionArit
|
|
|
285
338
|
};
|
|
286
339
|
export const withComplementNarrowingForMembers = (originalName, receiver, runtimeUnionArity, candidateMemberNs, candidateMembers, selectedMemberNs, baseContext) => {
|
|
287
340
|
const existingBinding = baseContext.narrowedBindings?.get(originalName);
|
|
288
|
-
const sourceType = existingBinding
|
|
341
|
+
const sourceType = getRuntimeCarrierBindingSourceType(existingBinding, candidateMembers, baseContext);
|
|
289
342
|
const sourceMembers = existingBinding?.kind === "runtimeSubset" &&
|
|
290
343
|
existingBinding.sourceMembers &&
|
|
291
344
|
existingBinding.sourceCandidateMemberNs &&
|
|
@@ -309,12 +362,20 @@ export const withComplementNarrowingForMembers = (originalName, receiver, runtim
|
|
|
309
362
|
return { ...baseContext, narrowedBindings };
|
|
310
363
|
};
|
|
311
364
|
export const withRuntimeUnionMemberNarrowing = (originalName, receiver, memberN, memberType, sourceType, baseContext, storageType) => {
|
|
312
|
-
const narrowedBindings = new Map(baseContext.narrowedBindings ?? []);
|
|
313
365
|
const narrowedAst = buildUnionNarrowAst(receiver, memberN);
|
|
314
|
-
|
|
315
|
-
|
|
316
|
-
|
|
317
|
-
|
|
366
|
+
const [sourceLayout, sourceLayoutContext] = sourceType && willCarryAsRuntimeUnion(sourceType, baseContext)
|
|
367
|
+
? buildRuntimeUnionLayout(sourceType, baseContext, emitTypeAst)
|
|
368
|
+
: [undefined, baseContext];
|
|
369
|
+
const narrowedBindings = new Map(sourceLayoutContext.narrowedBindings ?? []);
|
|
370
|
+
const sourceMemberType = sourceLayout?.members[memberN - 1];
|
|
371
|
+
const narrowedType = sourceMemberType ?? memberType;
|
|
372
|
+
narrowedBindings.set(originalName, buildExprBinding(narrowedAst, narrowedType, sourceType, narrowedAst, sourceMemberType
|
|
373
|
+
? (normalizeRuntimeStorageType(sourceMemberType, sourceLayoutContext) ??
|
|
374
|
+
sourceMemberType)
|
|
375
|
+
: (storageType ??
|
|
376
|
+
normalizeRuntimeStorageType(memberType, sourceLayoutContext) ??
|
|
377
|
+
memberType), toReceiverAst(receiver)));
|
|
378
|
+
return { ...sourceLayoutContext, narrowedBindings };
|
|
318
379
|
};
|
|
319
380
|
/** Wrap an array of statements in a single statement (block if >1). */
|
|
320
381
|
export const wrapInBlock = (stmts) => {
|
|
@@ -460,10 +521,22 @@ export const buildIsNCondition = (receiver, memberN, negate, guardNullish = fals
|
|
|
460
521
|
},
|
|
461
522
|
arguments: [],
|
|
462
523
|
};
|
|
524
|
+
const effectiveIsCall = mayProduceNullableValueAst(receiverAst)
|
|
525
|
+
? {
|
|
526
|
+
kind: "binaryExpression",
|
|
527
|
+
operatorToken: "==",
|
|
528
|
+
left: isCall,
|
|
529
|
+
right: { kind: "booleanLiteralExpression", value: true },
|
|
530
|
+
}
|
|
531
|
+
: isCall;
|
|
463
532
|
if (!guardNullish) {
|
|
464
533
|
return negate
|
|
465
|
-
? {
|
|
466
|
-
|
|
534
|
+
? {
|
|
535
|
+
kind: "prefixUnaryExpression",
|
|
536
|
+
operatorToken: "!",
|
|
537
|
+
operand: effectiveIsCall,
|
|
538
|
+
}
|
|
539
|
+
: effectiveIsCall;
|
|
467
540
|
}
|
|
468
541
|
const guardedIsCall = {
|
|
469
542
|
kind: "binaryExpression",
|
|
@@ -484,7 +557,7 @@ export const buildIsNCondition = (receiver, memberN, negate, guardNullish = fals
|
|
|
484
557
|
},
|
|
485
558
|
right: nullLiteral(),
|
|
486
559
|
},
|
|
487
|
-
right:
|
|
560
|
+
right: effectiveIsCall,
|
|
488
561
|
};
|
|
489
562
|
return negate
|
|
490
563
|
? {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"branch-context.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/branch-context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAIL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAOvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,kDAAkD,CAAC;AACjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EACL,cAAc,EACd,WAAW,GACZ,MAAM,8CAA8C,CAAC;AAOtD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,aAAa,GAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CACrD,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAyB,EACzB,SAAyB,EACT,EAAE,CAAC,CAAC;IACpB,GAAG,SAAS;IACZ,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,EAAE,SAAS,CAAC,SAAS,IAAI,CAAC,CAAC;IACvE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3E,cAAc,EAAE,IAAI,GAAG,CAAC;QACtB,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;QACnC,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;KACpC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAChB,IAAwB,EACxB,KAAyB,EACzB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;QAC/C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,OAAoC,EAChB,EAAE,CAAC,OAAO,EAAE,IAAI,IAAI,OAAO,EAAE,UAAU,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAC3B,OAAoC,EAChB,EAAE,CAAC,OAAO,EAAE,UAAU,IAAI,OAAO,EAAE,IAAI,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAC3B,OAAoC,EACH,EAAE;IACnC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,CACL,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,OAAO,CACpE,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,cAAc,CAAC;QAChC,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,OAAoC,EAChB,EAAE;IACtB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;QACnE,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAqC,EACrC,KAAsC,EAC7B,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAEhF,MAAM,kBAAkB,GAAG,CACzB,WAAwC,EACxC,gBAA6C,EAC7C,gBAA6C,EAC7C,OAAuB,EACwB,EAAE;IACjD,MAAM,aAAa,GACjB,uBAAuB,CAAC,gBAAgB,CAAC;QACzC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,aAAa,GACjB,uBAAuB,CAAC,gBAAgB,CAAC;QACzC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,SAAS,CAChC,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAC3E,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAC3E,OAAO,CACR,CAAC;IACF,IAAI,CAAC,UAAU,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,oBAAoB,CAAC,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,mBAAmB,GACvB,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC9E,MAAM,mBAAmB,GACvB,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC9E,IAAI,CAAC,cAAc,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,mBAAmB,IAAI,mBAAmB,CAAC;IAC9D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,iBAAiB,GACrB,SAAS,CACP,qBAAqB,CAAC,gBAAgB,CAAC;QACrC,qBAAqB,CAAC,WAAW,CAAC,EACpC,qBAAqB,CAAC,gBAAgB,CAAC;QACrC,qBAAqB,CAAC,WAAW,CAAC,EACpC,OAAO,CACR,IAAI,gBAAgB,CAAC;IACxB,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,6BAA6B,CAChE,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,OAAO,CACR,CAAC;IAEF,OAAO;QACL,gBAAgB,CACd,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,iBAAiB,EACjB,UAAU,CACX;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAoB,EACpB,SAAyB,EACzB,SAAyB,EACzB,OAAuB,EAC6C,EAAE;IACtE,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC;IAC3C,MAAM,iBAAiB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACrD,MAAM,iBAAiB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS;QAC3B,GAAG,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC/B,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACpC,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;KACrC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAC3C,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,kBAAkB,CACnD,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,EACtB,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,EAC3B,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,EAC3B,cAAc,CACf,CAAC;QACF,cAAc,GAAG,WAAW,CAAC;QAC7B,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,SAAyB,EACzB,SAAyB,EACT,EAAE;IAClB,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAChE,MAAM,CAAC,gBAAgB,EAAE,aAAa,CAAC,GAAG,oBAAoB,CAC5D,IAAI,EACJ,SAAS,EACT,SAAS,EACT,UAAU,CACX,CAAC;IAEF,OAAO;QACL,GAAG,aAAa;QAChB,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAoB,EACpB,aAA6B,EACb,EAAE,CAClB,sBAAsB,CACpB;IACE,GAAG,IAAI;IACP,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;CACxC,EACD,aAAa,CACd,CAAC;AAEJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAsC,EACjB,EAAE,CACvB,OAAO,QAAQ,KAAK,QAAQ;IAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACxD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAoC,EACpC,WAAoB,EACpB,cAAoC,EACQ,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM;IACZ,OAAO;IACP,cAAc;IACd,cAAc;IACd,WAAW;IACX,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAmC,EACnC,WAAoB,EACwB,EAAE,CAC9C,gBAAgB,CACd,OAAO,EACP,IAAI,EACJ,UAAU,EACV,OAAO,EACP,WAAW,IAAI,IAAI,EACnB,cAAc,CACf,CAAC;AAEJ;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAsC,EACtC,OAAe,EACM,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,UAAU,EAAE;QACV,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;YACnC,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAA0B,EACN,EAAE;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,eAAuB,EACvB,UAAmB,EACnB,aAAiC,EACjC,uBAA2C,EACd,EAAE;IAC/B,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACzE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;YACvC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;QAE5E,OAAO,yBAAyB,CAC9B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,aAAa,CAAC,QAAQ,CAAC,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB;QACjB,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC,CAAC;QACvD,uBAAuB,EAAE;YACvB,GAAG,CAAC,uBAAuB,IAAI,iBAAiB,CAAC;SAClD;QACD,IAAI,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,gBAAmC,EACnC,UAAmB,EACnB,aAAiC,EACjC,uBAA2C,EACd,EAAE;IAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9C,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACzE,IAAI,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;QAE5E,OAAO,yBAAyB,CAC9B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,aAAa,CAAC,QAAQ,CAAC,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB;QACjB,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC,CAAC;QACvD,uBAAuB,EAAE;YACvB,GAAG,CAAC,uBAAuB,IAAI,iBAAiB,CAAC;SAClD;QACD,IAAI,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,YAAoB,EACpB,OAA4B,EAC5B,YAAoB,EACpB,WAA2B,EAC3B,YAA4B,EAC5B,WAAoB,EACJ,EAAE;IAClB,MAAM,CAAC,eAAe,EAAE,eAAe,CAAC,GAAG,WAAW,CACpD,YAAY,EACZ,YAAY,CACb,CAAC;IACF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACxE,mBAAmB,CAAC,GAAG,CACrB,YAAY,EACZ,gBAAgB,CACd;QACE,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,OAAO;KACpB,EACD,YAAY,EACZ,SAAS,EACT,OAAO,EACP,WAAW,EACX,OAAO,CACR,CACF,CAAC;IAEF,OAAO;QACL,GAAG,eAAe;QAClB,gBAAgB,EAAE,mBAAmB;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAuB,EACvB,UAAkB,EACF,EAAE;IAClB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAEpC,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,YAAoB,EACpB,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,eAAuB,EACvB,WAA2B,EACX,EAAE;IAClB,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,UAAU,GACd,eAAe,EAAE,UAAU,IAAI,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;IACxE,MAAM,aAAa,GACjB,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,aAAa;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,uBAAuB;QACzC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,8BAA8B,CAC5C,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,aAAa,EACb,uBAAuB,CACxB,CAAC;IAEF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAoB,EACpB,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,gBAAmC,EACnC,WAA2B,EACX,EAAE;IAClB,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,UAAU,GACd,eAAe,EAAE,UAAU,IAAI,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;IACxE,MAAM,aAAa,GACjB,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,aAAa;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,uBAAuB;QACzC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,wCAAwC,CACtD,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,uBAAuB,CACxB,CAAC;IAEF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,QAAsC,EACtC,OAAe,EACf,UAAkB,EAClB,UAA8B,EAC9B,WAA2B,EAC3B,WAAoB,EACJ,EAAE;IAClB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,gBAAgB,CAAC,GAAG,CAClB,YAAY,EACZ,gBAAgB,CACd,WAAW,EACX,UAAU,EACV,UAAU,EACV,WAAW,EACX,WAAW;QACT,2BAA2B,CAAC,UAAU,EAAE,WAAW,CAAC;QACpD,UAAU,EACZ,aAAa,CAAC,QAAQ,CAAC,CACxB,CACF,CAAC;IACF,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAoC,EAChB,EAAE;IACtB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,UAAkB,EAAU,EAAE;IAC1D,IAAI,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,eAAwD,EACxD,eAAwD,EACnC,EAAE;IACvB,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,GAAG,EAAU,CAAC;IAC3B,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,IAAI,eAAe,EAAE,CAAC;QAC1D,IAAI,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,WAAW,EAAE,CAAC;YACvD,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,YAA4B,EAC5B,YAA4B,EACsB,EAAE;IACpD,MAAM,aAAa,GAAG,YAAY,CAAC,gBAAgB,CAAC;IACpD,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,wBAAwB,CAC5C,YAAY,CAAC,YAAY,EACzB,YAAY,CAAC,YAAY,CAC1B,CAAC;IACF,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IACnD,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,YAA4B,EAC5B,YAA4B,EACZ,EAAE,CAAC,CAAC;IACpB,GAAG,YAAY;IACf,YAAY,EAAE,YAAY,CAAC,YAAY;IACvC,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;IAC/C,kBAAkB,EAAE,YAAY,CAAC,kBAAkB;IACnD,eAAe,EAAE,YAAY,CAAC,eAAe;IAC7C,gBAAgB,EAAE,6BAA6B,CAAC,YAAY,EAAE,YAAY,CAAC;CAC5E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAqB,EACrB,OAAuB,EAC0B,EAAE;IACnD,MAAM,aAAa,GAAmB;QACpC,GAAG,OAAO;QACV,YAAY,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QACjD,gBAAgB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;QACzD,kBAAkB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC7D,eAAe,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC;KACxD,CAAC;IAEF,IAAI,iBAAgD,CAAC;IACrD,IAAI,YAA4B,CAAC;IAEjC,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,MAAM,mBAAmB,GAAyB,EAAE,CAAC;QACrD,IAAI,cAAc,GAAG,aAAa,CAAC;QACnC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YAC5C,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,GAAG,gBAAgB,CACpD,SAAS,EACT,cAAc,CACf,CAAC;YACF,mBAAmB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;YAC5C,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;QACD,iBAAiB,GAAG,mBAAmB,CAAC;QACxC,YAAY,GAAG,cAAc,CAAC;IAChC,CAAC;SAAM,CAAC;QACN,CAAC,iBAAiB,EAAE,YAAY,CAAC,GAAG,gBAAgB,CAClD,QAAQ,EACR,aAAa,CACd,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,iBAAiB,EAAE,yBAAyB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,aAA4C,EAC5C,QAAqB,EACrB,OAAuB,EACoB,EAAE;IAC7C,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,4BAA4B,CACjE,QAAQ,EACR,OAAO,CACR,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,cAAc,CAAC;SAClD;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAe,EACf,QAAsC,EACtC,OAAe,EACf,eAA+B,EACX,EAAE,CAAC,CAAC;IACxB,IAAI,EAAE,2BAA2B;IACjC,SAAS,EAAE,EAAE;IACb,IAAI,EAAE,eAAe,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;IAC5C,WAAW,EAAE;QACX;YACE,IAAI,EAAE,OAAO;YACb,WAAW,EACT,eAAe,KAAK,SAAS;gBAC3B,CAAC,CAAC;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;wBACnC,UAAU,EAAE,KAAK,OAAO,EAAE;qBAC3B;oBACD,SAAS,EAAE,EAAE;iBACd;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE;4BACV,IAAI,EAAE,wBAAwB;4BAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;4BACnC,UAAU,EAAE,KAAK,OAAO,EAAE;yBAC3B;wBACD,SAAS,EAAE,EAAE;qBACd;iBACF;SACR;KACF;CACF,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAsC,EACtC,OAAe,EACf,MAAe,EACf,YAAY,GAAG,KAAK,EACC,EAAE;IACvB,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAwB;QAClC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,MAAM;YACX,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE;YACxE,CAAC,CAAC,MAAM,CAAC;IACb,CAAC;IAED,MAAM,aAAa,GAAwB;QACzC,IAAI,EAAE,kBAAkB;QACxB,aAAa,EAAE,IAAI;QACnB,IAAI,EAAE;YACJ,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE;gBACJ,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE;oBACV,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,cAAc,CAAC,uBAAuB,CAAC;oBAC7C,UAAU,EAAE;wBACV,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,WAAW;qBACxB;iBACF;aACF;YACD,KAAK,EAAE,WAAW,EAAE;SACrB;QACD,KAAK,EAAE,MAAM;KACd,CAAC;IACF,OAAO,MAAM;QACX,CAAC,CAAC;YACE,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,GAAG;YAClB,OAAO,EAAE;gBACP,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,aAAa;aAC1B;SACF;QACH,CAAC,CAAC,aAAa,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAAsC,EACtC,QAA2B,EAC3B,MAAe,EACf,YAAY,GAAG,KAAK,EACC,EAAE;IACvB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC1C,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,CAC1D,CAAC;IACF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CACrB,OAAO;QACL,CAAC,CAAC;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,SAAS;aACjB;SACF;QACH,CAAC,CAAC,SAAS,EACf,SAAS,CACV,CAAC;IACF,MAAM,IAAI,GAAG,QAAQ,IAAI,iBAAiB,CAAC,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;QACtE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAsC,EACtC,UAAyB,EACzB,aAAqB,EACA,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;IACnC,OAAO,EAAE;QACP,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,UAAU;QAChB,WAAW,EAAE,aAAa;KAC3B;CACF,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"branch-context.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/branch-context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAIL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAOvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,kDAAkD,CAAC;AACjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACpF,OAAO,EACL,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EACL,cAAc,EACd,WAAW,GACZ,MAAM,8CAA8C,CAAC;AAOtD,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAE/B,+EAA+E;AAC/E,MAAM,CAAC,MAAM,aAAa,GAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CACrD,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAyB,EACzB,SAAyB,EACT,EAAE,CAAC,CAAC;IACpB,GAAG,SAAS;IACZ,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,EAAE,SAAS,CAAC,SAAS,IAAI,CAAC,CAAC;IACvE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3E,cAAc,EAAE,IAAI,GAAG,CAAC;QACtB,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;QACnC,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;KACpC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAChB,IAAwB,EACxB,KAAyB,EACzB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;QAC/C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,OAAoC,EAChB,EAAE,CAAC,OAAO,EAAE,IAAI,IAAI,OAAO,EAAE,UAAU,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAC3B,OAAoC,EAChB,EAAE,CAAC,OAAO,EAAE,UAAU,IAAI,OAAO,EAAE,IAAI,CAAC;AAE9D,MAAM,kCAAkC,GAAG,CACzC,OAAoC,EACpC,eAAkC,EAClC,OAAuB,EACH,EAAE;IACtB,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,MAAM,CAC5D,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAC5D,CAAC;IACF,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACnD,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAC5C,CAAC;IACF,OAAO,cAAc,IAAI,oBAAoB,CAAC,eAAe,CAAC,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAoC,EACH,EAAE;IACnC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,CACL,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,OAAO,CACpE,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,cAAc,CAAC;QAChC,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,OAAoC,EAChB,EAAE;IACtB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;QACnE,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,GAAoC,EAChB,EAAE;IACtB,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB;YACzB,OAAO,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;QAChC,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAClD,OAAO,WAAW;gBAChB,CAAC,CAAC,UAAU,WAAW,IAAI,GAAG,CAAC,UAAU,EAAE;gBAC3C,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,yBAAyB;YAC5B,OAAO,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACvC,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACvC;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAqC,EACrC,KAAsC,EAC7B,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,QAAQ,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,WAAwC,EACxC,gBAA6C,EAC7C,gBAA6C,EAC7C,OAAuB,EACwB,EAAE;IACjD,MAAM,aAAa,GACjB,uBAAuB,CAAC,gBAAgB,CAAC;QACzC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,aAAa,GACjB,uBAAuB,CAAC,gBAAgB,CAAC;QACzC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,SAAS,CAChC,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAC3E,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAC3E,OAAO,CACR,CAAC;IACF,IAAI,CAAC,UAAU,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,oBAAoB,CAAC,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,mBAAmB,GACvB,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC9E,MAAM,mBAAmB,GACvB,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC9E,IAAI,CAAC,cAAc,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,mBAAmB,IAAI,mBAAmB,CAAC;IAC9D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,iBAAiB,GACrB,SAAS,CACP,qBAAqB,CAAC,gBAAgB,CAAC;QACrC,qBAAqB,CAAC,WAAW,CAAC,EACpC,qBAAqB,CAAC,gBAAgB,CAAC;QACrC,qBAAqB,CAAC,WAAW,CAAC,EACpC,OAAO,CACR,IAAI,gBAAgB,CAAC;IACxB,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,6BAA6B,CAChE,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,OAAO,CACR,CAAC;IAEF,OAAO;QACL,gBAAgB,CACd,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,iBAAiB,EACjB,UAAU,CACX;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAoB,EACpB,SAAyB,EACzB,SAAyB,EACzB,OAAuB,EAC6C,EAAE;IACtE,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC;IAC3C,MAAM,iBAAiB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACrD,MAAM,iBAAiB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS;QAC3B,GAAG,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC/B,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACpC,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;KACrC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAC3C,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,kBAAkB,CACnD,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,EACtB,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,EAC3B,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,EAC3B,cAAc,CACf,CAAC;QACF,cAAc,GAAG,WAAW,CAAC;QAC7B,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,SAAyB,EACzB,SAAyB,EACT,EAAE;IAClB,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAChE,MAAM,CAAC,gBAAgB,EAAE,aAAa,CAAC,GAAG,oBAAoB,CAC5D,IAAI,EACJ,SAAS,EACT,SAAS,EACT,UAAU,CACX,CAAC;IAEF,OAAO;QACL,GAAG,aAAa;QAChB,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAoB,EACpB,aAA6B,EACb,EAAE,CAClB,sBAAsB,CACpB;IACE,GAAG,IAAI;IACP,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;CACxC,EACD,aAAa,CACd,CAAC;AAEJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAsC,EACjB,EAAE,CACvB,OAAO,QAAQ,KAAK,QAAQ;IAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACxD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,0BAA0B,GAAG,CAAC,GAAwB,EAAW,EAAE;IACvE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,mCAAmC,CAAC;QACzC,KAAK,oCAAoC;YACvC,OAAO,IAAI,CAAC;QACd,KAAK,uBAAuB;YAC1B,OAAO,CACL,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACxC,0BAA0B,CAAC,GAAG,CAAC,SAAS,CAAC,CAC1C,CAAC;QACJ,KAAK,wBAAwB,CAAC;QAC9B,KAAK,yBAAyB,CAAC;QAC/B,KAAK,sBAAsB;YACzB,OAAO,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACpD,KAAK,yBAAyB,CAAC;QAC/B,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,mCAAmC;YACtC,OAAO,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACpD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAoC,EACpC,WAAoB,EACpB,cAAoC,EACpC,WAAoB,EACwB,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM;IACZ,OAAO;IACP,cAAc;IACd,cAAc;IACd,WAAW;IACX,WAAW;IACX,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAmC,EACnC,WAAoB,EACpB,WAAoB,EACwB,EAAE,CAC9C,gBAAgB,CACd,OAAO,EACP,IAAI,EACJ,UAAU,EACV,OAAO,EACP,WAAW,IAAI,IAAI,EACnB,cAAc,EACd,WAAW,IAAI,UAAU,CAC1B,CAAC;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAA0B,EACN,EAAE;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,mBAAmB,CAAC,OAAO,EAAE;QAClC,kBAAkB,EAAE,kBAAkB;KACvC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,eAAuB,EACvB,UAAmB,EACnB,aAAiC,EACjC,uBAA2C,EACd,EAAE;IAC/B,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACzE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;YACvC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,WAAW,GAAG,yBAAyB,CAC3C,QAAQ,EACR,SAAS,CAAC,cAAc,CACzB,CAAC;QAEF,OAAO,yBAAyB,CAC9B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,aAAa,CAAC,QAAQ,CAAC,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB;QACjB,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC,CAAC;QACvD,uBAAuB,EAAE;YACvB,GAAG,CAAC,uBAAuB,IAAI,iBAAiB,CAAC;SAClD;QACD,IAAI,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,gBAAmC,EACnC,UAAmB,EACnB,aAAiC,EACjC,uBAA2C,EACd,EAAE;IAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9C,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACzE,IAAI,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,WAAW,GAAG,yBAAyB,CAC3C,QAAQ,EACR,SAAS,CAAC,cAAc,CACzB,CAAC;QAEF,OAAO,yBAAyB,CAC9B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,aAAa,CAAC,QAAQ,CAAC,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB;QACjB,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC,CAAC;QACvD,uBAAuB,EAAE;YACvB,GAAG,CAAC,uBAAuB,IAAI,iBAAiB,CAAC;SAClD;QACD,IAAI,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,YAAoB,EACpB,OAA4B,EAC5B,YAAoB,EACpB,WAA2B,EAC3B,YAA4B,EAC5B,WAAoB,EACJ,EAAE;IAClB,MAAM,CAAC,eAAe,EAAE,eAAe,CAAC,GAAG,WAAW,CACpD,YAAY,EACZ,YAAY,CACb,CAAC;IACF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACxE,mBAAmB,CAAC,GAAG,CACrB,YAAY,EACZ,gBAAgB,CACd;QACE,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,OAAO;KACpB,EACD,YAAY,EACZ,SAAS,EACT,OAAO,EACP,WAAW,EACX,OAAO,CACR,CACF,CAAC;IAEF,OAAO;QACL,GAAG,eAAe;QAClB,gBAAgB,EAAE,mBAAmB;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAuB,EACvB,UAAkB,EACF,EAAE;IAClB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAEpC,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,YAAoB,EACpB,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,eAAuB,EACvB,WAA2B,EACX,EAAE;IAClB,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,kCAAkC,CACnD,eAAe,EACf,gBAAgB,EAChB,WAAW,CACZ,CAAC;IACF,MAAM,aAAa,GACjB,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,aAAa;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,uBAAuB;QACzC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,8BAA8B,CAC5C,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,aAAa,EACb,uBAAuB,CACxB,CAAC;IAEF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAoB,EACpB,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,gBAAmC,EACnC,WAA2B,EACX,EAAE;IAClB,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,kCAAkC,CACnD,eAAe,EACf,gBAAgB,EAChB,WAAW,CACZ,CAAC;IACF,MAAM,aAAa,GACjB,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,aAAa;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,uBAAuB;QACzC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,wCAAwC,CACtD,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,uBAAuB,CACxB,CAAC;IAEF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,QAAsC,EACtC,OAAe,EACf,UAAkB,EAClB,UAA8B,EAC9B,WAA2B,EAC3B,WAAoB,EACJ,EAAE;IAClB,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GACvC,UAAU,IAAI,uBAAuB,CAAC,UAAU,EAAE,WAAW,CAAC;QAC5D,CAAC,CAAC,uBAAuB,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC;QAC/D,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC/B,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG,YAAY,EAAE,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,gBAAgB,IAAI,UAAU,CAAC;IACpD,gBAAgB,CAAC,GAAG,CAClB,YAAY,EACZ,gBAAgB,CACd,WAAW,EACX,YAAY,EACZ,UAAU,EACV,WAAW,EACX,gBAAgB;QACd,CAAC,CAAC,CAAC,2BAA2B,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;YACjE,gBAAgB,CAAC;QACrB,CAAC,CAAC,CAAC,WAAW;YACV,2BAA2B,CAAC,UAAU,EAAE,mBAAmB,CAAC;YAC5D,UAAU,CAAC,EACjB,aAAa,CAAC,QAAQ,CAAC,CACxB,CACF,CAAC;IACF,OAAO,EAAE,GAAG,mBAAmB,EAAE,gBAAgB,EAAE,CAAC;AACtD,CAAC,CAAC;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAoC,EAChB,EAAE;IACtB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,UAAkB,EAAU,EAAE;IAC1D,IAAI,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,eAAwD,EACxD,eAAwD,EACnC,EAAE;IACvB,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,GAAG,EAAU,CAAC;IAC3B,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,IAAI,eAAe,EAAE,CAAC;QAC1D,IAAI,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,WAAW,EAAE,CAAC;YACvD,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,YAA4B,EAC5B,YAA4B,EACsB,EAAE;IACpD,MAAM,aAAa,GAAG,YAAY,CAAC,gBAAgB,CAAC;IACpD,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,wBAAwB,CAC5C,YAAY,CAAC,YAAY,EACzB,YAAY,CAAC,YAAY,CAC1B,CAAC;IACF,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IACnD,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,YAA4B,EAC5B,YAA4B,EACZ,EAAE,CAAC,CAAC;IACpB,GAAG,YAAY;IACf,YAAY,EAAE,YAAY,CAAC,YAAY;IACvC,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;IAC/C,kBAAkB,EAAE,YAAY,CAAC,kBAAkB;IACnD,eAAe,EAAE,YAAY,CAAC,eAAe;IAC7C,gBAAgB,EAAE,6BAA6B,CAAC,YAAY,EAAE,YAAY,CAAC;CAC5E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAqB,EACrB,OAAuB,EAC0B,EAAE;IACnD,MAAM,aAAa,GAAmB;QACpC,GAAG,OAAO;QACV,YAAY,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QACjD,gBAAgB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;QACzD,kBAAkB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC7D,eAAe,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC;KACxD,CAAC;IAEF,IAAI,iBAAgD,CAAC;IACrD,IAAI,YAA4B,CAAC;IAEjC,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,MAAM,mBAAmB,GAAyB,EAAE,CAAC;QACrD,IAAI,cAAc,GAAG,aAAa,CAAC;QACnC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YAC5C,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,GAAG,gBAAgB,CACpD,SAAS,EACT,cAAc,CACf,CAAC;YACF,mBAAmB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;YAC5C,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;QACD,iBAAiB,GAAG,mBAAmB,CAAC;QACxC,YAAY,GAAG,cAAc,CAAC;IAChC,CAAC;SAAM,CAAC;QACN,CAAC,iBAAiB,EAAE,YAAY,CAAC,GAAG,gBAAgB,CAClD,QAAQ,EACR,aAAa,CACd,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,iBAAiB,EAAE,yBAAyB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,aAA4C,EAC5C,QAAqB,EACrB,OAAuB,EACoB,EAAE;IAC7C,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,4BAA4B,CACjE,QAAQ,EACR,OAAO,CACR,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,cAAc,CAAC;SAClD;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAe,EACf,QAAsC,EACtC,OAAe,EACf,eAA+B,EACX,EAAE,CAAC,CAAC;IACxB,IAAI,EAAE,2BAA2B;IACjC,SAAS,EAAE,EAAE;IACb,IAAI,EAAE,eAAe,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;IAC5C,WAAW,EAAE;QACX;YACE,IAAI,EAAE,OAAO;YACb,WAAW,EACT,eAAe,KAAK,SAAS;gBAC3B,CAAC,CAAC;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;wBACnC,UAAU,EAAE,KAAK,OAAO,EAAE;qBAC3B;oBACD,SAAS,EAAE,EAAE;iBACd;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE;4BACV,IAAI,EAAE,wBAAwB;4BAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;4BACnC,UAAU,EAAE,KAAK,OAAO,EAAE;yBAC3B;wBACD,SAAS,EAAE,EAAE;qBACd;iBACF;SACR;KACF;CACF,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAsC,EACtC,OAAe,EACf,MAAe,EACf,YAAY,GAAG,KAAK,EACC,EAAE;IACvB,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAwB;QAClC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd,CAAC;IACF,MAAM,eAAe,GAAwB,0BAA0B,CACrE,WAAW,CACZ;QACC,CAAC,CAAC;YACE,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,IAAI,EAAE;SACzD;QACH,CAAC,CAAC,MAAM,CAAC;IACX,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,MAAM;YACX,CAAC,CAAC;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,GAAG;gBAClB,OAAO,EAAE,eAAe;aACzB;YACH,CAAC,CAAC,eAAe,CAAC;IACtB,CAAC;IAED,MAAM,aAAa,GAAwB;QACzC,IAAI,EAAE,kBAAkB;QACxB,aAAa,EAAE,IAAI;QACnB,IAAI,EAAE;YACJ,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE;gBACJ,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE;oBACV,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,cAAc,CAAC,uBAAuB,CAAC;oBAC7C,UAAU,EAAE;wBACV,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,WAAW;qBACxB;iBACF;aACF;YACD,KAAK,EAAE,WAAW,EAAE;SACrB;QACD,KAAK,EAAE,eAAe;KACvB,CAAC;IACF,OAAO,MAAM;QACX,CAAC,CAAC;YACE,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,GAAG;YAClB,OAAO,EAAE;gBACP,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,aAAa;aAC1B;SACF;QACH,CAAC,CAAC,aAAa,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAAsC,EACtC,QAA2B,EAC3B,MAAe,EACf,YAAY,GAAG,KAAK,EACC,EAAE;IACvB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC1C,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,CAC1D,CAAC;IACF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CACrB,OAAO;QACL,CAAC,CAAC;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,SAAS;aACjB;SACF;QACH,CAAC,CAAC,SAAS,EACf,SAAS,CACV,CAAC;IACF,MAAM,IAAI,GAAG,QAAQ,IAAI,iBAAiB,CAAC,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;QACtE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAsC,EACtC,UAAyB,EACzB,aAAqB,EACA,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;IACnC,OAAO,EAAE;QACP,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,UAAU;QAChB,WAAW,EAAE,aAAa;KAC3B;CACF,CAAC,CAAC"}
|
|
@@ -6,7 +6,7 @@
|
|
|
6
6
|
* - guard-types.ts: Guard info types, shared helpers, and utility functions
|
|
7
7
|
* - guard-detectors.ts: Guard detection/resolution functions (tryResolve*)
|
|
8
8
|
*/
|
|
9
|
-
export type { GuardInfo, InstanceofGuardInfo,
|
|
9
|
+
export type { GuardInfo, InstanceofGuardInfo, DiscriminantEqualityGuardInfo, PropertyExistenceGuardInfo, PropertyTruthinessGuardInfo, RuntimeUnionFrame, NullableGuardInfo, } from "./guard-types.js";
|
|
10
10
|
export { resolveRuntimeUnionFrame, isDefinitelyTerminating, isNullOrUndefined, tryResolveSimpleNullableGuard, tryResolveNullableGuard, } from "./guard-types.js";
|
|
11
|
-
export { tryResolveDiscriminantEqualityGuard,
|
|
11
|
+
export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyExistenceGuard, tryResolvePropertyTruthinessGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors.js";
|
|
12
12
|
//# sourceMappingURL=guard-analysis.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,YAAY,EACV,SAAS,EACT,mBAAmB,EACnB,
|
|
1
|
+
{"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,YAAY,EACV,SAAS,EACT,mBAAmB,EACnB,6BAA6B,EAC7B,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,mCAAmC,EACnC,gCAAgC,EAChC,iCAAiC,EACjC,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC"}
|
|
@@ -8,5 +8,5 @@
|
|
|
8
8
|
*/
|
|
9
9
|
export { resolveRuntimeUnionFrame, isDefinitelyTerminating, isNullOrUndefined, tryResolveSimpleNullableGuard, tryResolveNullableGuard, } from "./guard-types.js";
|
|
10
10
|
// Guard detection/resolution functions
|
|
11
|
-
export { tryResolveDiscriminantEqualityGuard,
|
|
11
|
+
export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyExistenceGuard, tryResolvePropertyTruthinessGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors.js";
|
|
12
12
|
//# sourceMappingURL=guard-analysis.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"guard-analysis.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAaH,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,uCAAuC;AACvC,OAAO,EACL,mCAAmC,EACnC,iCAAiC,EACjC,
|
|
1
|
+
{"version":3,"file":"guard-analysis.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAaH,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,uCAAuC;AACvC,OAAO,EACL,mCAAmC,EACnC,gCAAgC,EAChC,iCAAiC,EACjC,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC"}
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
*/
|
|
5
5
|
import { IrExpression } from "@tsonic/frontend";
|
|
6
6
|
import { EmitterContext } from "../../../types.js";
|
|
7
|
-
import type { DiscriminantEqualityGuardInfo, PropertyTruthinessGuardInfo } from "./guard-types.js";
|
|
7
|
+
import type { DiscriminantEqualityGuardInfo, PropertyExistenceGuardInfo, PropertyTruthinessGuardInfo } from "./guard-types.js";
|
|
8
8
|
/**
|
|
9
9
|
* Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
|
|
10
10
|
*
|
|
@@ -17,4 +17,5 @@ export declare const tryResolveDiscriminantEqualityGuard: (condition: IrExpressi
|
|
|
17
17
|
* boolean-style discriminant over a runtime union.
|
|
18
18
|
*/
|
|
19
19
|
export declare const tryResolvePropertyTruthinessGuard: (condition: IrExpression, context: EmitterContext) => PropertyTruthinessGuardInfo | undefined;
|
|
20
|
+
export declare const tryResolvePropertyExistenceGuard: (condition: IrExpression, context: EmitterContext) => PropertyExistenceGuardInfo | undefined;
|
|
20
21
|
//# sourceMappingURL=guard-detectors-discriminant.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"guard-detectors-discriminant.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAKnD,OAAO,KAAK,EACV,6BAA6B,EAC7B,2BAA2B,EAC5B,MAAM,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"guard-detectors-discriminant.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAKnD,OAAO,KAAK,EACV,6BAA6B,EAC7B,0BAA0B,EAC1B,2BAA2B,EAC5B,MAAM,kBAAkB,CAAC;AAW1B;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SAgJlC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iCAAiC,GAC5C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,2BAA2B,GAAG,SAyGhC,CAAC;AAEF,eAAO,MAAM,gCAAgC,GAC3C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,0BAA0B,GAAG,SAwG/B,CAAC"}
|
|
@@ -6,7 +6,7 @@ import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
|
|
|
6
6
|
import { emitRemappedLocalName } from "../../../core/format/local-names.js";
|
|
7
7
|
import { makeNarrowedLocalName } from "../../../core/semantic/narrowing-keys.js";
|
|
8
8
|
import { tryGetLiteralSet } from "../../../core/semantic/guard-primitives.js";
|
|
9
|
-
import { getGuardPropertyType, extractTransparentMemberAccessTarget, resolveGuardRuntimeUnionFrame, buildRenameNarrowedMap, isDefinitelyFalsyType, isDefinitelyTruthyType, } from "./guard-types.js";
|
|
9
|
+
import { getGuardPropertyType, extractTransparentIdentifierTarget, extractTransparentMemberAccessTarget, resolveGuardRuntimeUnionFrame, buildRenameNarrowedMap, isDefinitelyFalsyType, isDefinitelyTruthyType, } from "./guard-types.js";
|
|
10
10
|
/**
|
|
11
11
|
* Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
|
|
12
12
|
*
|
|
@@ -211,4 +211,86 @@ export const tryResolvePropertyTruthinessGuard = (condition, context) => {
|
|
|
211
211
|
narrowedMap,
|
|
212
212
|
};
|
|
213
213
|
};
|
|
214
|
+
export const tryResolvePropertyExistenceGuard = (condition, context) => {
|
|
215
|
+
const extract = (expr) => {
|
|
216
|
+
if (expr.kind === "unary" && expr.operator === "!") {
|
|
217
|
+
const inner = extract(expr.expression);
|
|
218
|
+
return inner ? { ...inner, wantPresent: !inner.wantPresent } : undefined;
|
|
219
|
+
}
|
|
220
|
+
if (expr.kind !== "binary" || expr.operator !== "in") {
|
|
221
|
+
return undefined;
|
|
222
|
+
}
|
|
223
|
+
if (expr.left.kind !== "literal" || typeof expr.left.value !== "string") {
|
|
224
|
+
return undefined;
|
|
225
|
+
}
|
|
226
|
+
const receiver = extractTransparentIdentifierTarget(expr.right);
|
|
227
|
+
if (!receiver) {
|
|
228
|
+
return undefined;
|
|
229
|
+
}
|
|
230
|
+
return {
|
|
231
|
+
receiver,
|
|
232
|
+
propertyName: expr.left.value,
|
|
233
|
+
wantPresent: true,
|
|
234
|
+
};
|
|
235
|
+
};
|
|
236
|
+
const match = extract(condition);
|
|
237
|
+
if (!match)
|
|
238
|
+
return undefined;
|
|
239
|
+
const { receiver, propertyName, wantPresent } = match;
|
|
240
|
+
const originalName = receiver.name;
|
|
241
|
+
const unionSourceType = receiver.inferredType;
|
|
242
|
+
if (!unionSourceType)
|
|
243
|
+
return undefined;
|
|
244
|
+
const frame = resolveGuardRuntimeUnionFrame(originalName, unionSourceType, receiver, context);
|
|
245
|
+
if (!frame)
|
|
246
|
+
return undefined;
|
|
247
|
+
const { members, candidateMemberNs, runtimeUnionArity } = frame;
|
|
248
|
+
const unionArity = members.length;
|
|
249
|
+
if (unionArity < 2)
|
|
250
|
+
return undefined;
|
|
251
|
+
const matchingIndices = [];
|
|
252
|
+
const matchingMemberNs = [];
|
|
253
|
+
for (let i = 0; i < members.length; i++) {
|
|
254
|
+
const member = members[i];
|
|
255
|
+
if (!member)
|
|
256
|
+
continue;
|
|
257
|
+
const hasProperty = getGuardPropertyType(member, propertyName, context) !== undefined;
|
|
258
|
+
if (hasProperty === wantPresent) {
|
|
259
|
+
matchingIndices.push(i);
|
|
260
|
+
matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
|
|
261
|
+
}
|
|
262
|
+
}
|
|
263
|
+
if (matchingMemberNs.length !== 1)
|
|
264
|
+
return undefined;
|
|
265
|
+
const memberN = matchingMemberNs[0];
|
|
266
|
+
if (!memberN)
|
|
267
|
+
return undefined;
|
|
268
|
+
const matchingIndex = matchingIndices[0];
|
|
269
|
+
if (matchingIndex === undefined)
|
|
270
|
+
return undefined;
|
|
271
|
+
const nextId = (context.tempVarId ?? 0) + 1;
|
|
272
|
+
const ctxWithId = { ...context, tempVarId: nextId };
|
|
273
|
+
const narrowedName = makeNarrowedLocalName(originalName, memberN, nextId);
|
|
274
|
+
const escapedOrig = emitRemappedLocalName(originalName, context);
|
|
275
|
+
const escapedNarrow = escapeCSharpIdentifier(narrowedName);
|
|
276
|
+
const memberType = members[matchingIndex];
|
|
277
|
+
if (!memberType)
|
|
278
|
+
return undefined;
|
|
279
|
+
const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, unionSourceType, ctxWithId);
|
|
280
|
+
return {
|
|
281
|
+
originalName,
|
|
282
|
+
propertyName,
|
|
283
|
+
wantPresent,
|
|
284
|
+
memberN,
|
|
285
|
+
unionArity,
|
|
286
|
+
runtimeUnionArity,
|
|
287
|
+
candidateMemberNs,
|
|
288
|
+
candidateMembers: members,
|
|
289
|
+
ctxWithId,
|
|
290
|
+
narrowedName,
|
|
291
|
+
escapedOrig,
|
|
292
|
+
escapedNarrow,
|
|
293
|
+
narrowedMap,
|
|
294
|
+
};
|
|
295
|
+
};
|
|
214
296
|
//# sourceMappingURL=guard-detectors-discriminant.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"guard-detectors-discriminant.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;
|
|
1
|
+
{"version":3,"file":"guard-detectors-discriminant.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAM9E,OAAO,EACL,oBAAoB,EACpB,kCAAkC,EAClC,oCAAoC,EACpC,6BAA6B,EAC7B,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAE1B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,SAAuB,EACvB,OAAuB,EACoB,EAAE;IAC7C,sEAAsE;IACtE,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,mCAAmC,CAC/C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,OAAO,GACX,KAAK,CAAC,QAAQ,KAAK,KAAK;YACtB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;oBACvB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;wBACvB,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;QAE3B,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,OAAgC,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IACE,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,IAAI;QAC3B,SAAS,CAAC,QAAQ,KAAK,IAAI,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpC,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,wFAAwF;IACxF,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,OAAO;QACP,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAAuB,EACvB,OAAuB,EACkB,EAAE;IAC3C,MAAM,OAAO,GAAG,CACd,IAAkB,EAON,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,CAAC;QAED,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpC,UAAU,EAAE,IAAI;SACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAEhC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,UAAU;QACV,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,SAAuB,EACvB,OAAuB,EACiB,EAAE;IAC1C,MAAM,OAAO,GAAG,CACd,IAAkB,EAON,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACrD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACxE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,QAAQ,GAAG,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,QAAQ;YACR,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;YAC7B,WAAW,EAAE,IAAI;SAClB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACtD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IACnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,WAAW,GACf,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;QACpE,IAAI,WAAW,KAAK,WAAW,EAAE,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,WAAW;QACX,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -1,14 +1,9 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Structural guard detectors:
|
|
3
|
-
* Handles tryResolveInGuard, tryResolvePredicateGuard, and tryResolveInstanceofGuard.
|
|
2
|
+
* Structural guard detectors: predicate guards and instanceof guards.
|
|
4
3
|
*/
|
|
5
4
|
import { IrExpression } from "@tsonic/frontend";
|
|
6
5
|
import { EmitterContext } from "../../../types.js";
|
|
7
|
-
import type { GuardInfo, InstanceofGuardInfo
|
|
8
|
-
/**
|
|
9
|
-
* Try to extract guard info from an `("prop" in x)` binary expression.
|
|
10
|
-
*/
|
|
11
|
-
export declare const tryResolveInGuard: (condition: IrExpression, context: EmitterContext) => InGuardInfo | undefined;
|
|
6
|
+
import type { GuardInfo, InstanceofGuardInfo } from "./guard-types.js";
|
|
12
7
|
/**
|
|
13
8
|
* Try to extract guard info from a predicate call expression.
|
|
14
9
|
* Returns GuardInfo if:
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"guard-detectors-structural.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-structural.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"guard-detectors-structural.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-structural.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAmB,MAAM,mBAAmB,CAAC;AA0BpE,OAAO,KAAK,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAuEvE;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,SAAS,GAAG,SAkHd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAwJxB,CAAC"}
|