@tsonic/frontend 0.0.14 → 0.0.16
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/graph/builder.js +2 -2
- package/dist/graph/builder.js.map +1 -1
- package/dist/graph/extraction/imports.js +1 -1
- package/dist/graph/extraction/imports.js.map +1 -1
- package/dist/graph/extraction/orchestrator.d.ts.map +1 -1
- package/dist/graph/extraction/orchestrator.js +3 -2
- package/dist/graph/extraction/orchestrator.js.map +1 -1
- package/dist/ir/binding/index.d.ts +155 -0
- package/dist/ir/binding/index.d.ts.map +1 -0
- package/dist/ir/binding/index.js +1035 -0
- package/dist/ir/binding/index.js.map +1 -0
- package/dist/ir/binding-resolution.test.js +193 -52
- package/dist/ir/binding-resolution.test.js.map +1 -1
- package/dist/ir/bindings-disambiguation.test.d.ts +11 -0
- package/dist/ir/bindings-disambiguation.test.d.ts.map +1 -0
- package/dist/ir/bindings-disambiguation.test.js +416 -0
- package/dist/ir/bindings-disambiguation.test.js.map +1 -0
- package/dist/ir/builder/exports.d.ts +20 -2
- package/dist/ir/builder/exports.d.ts.map +1 -1
- package/dist/ir/builder/exports.js +65 -6
- package/dist/ir/builder/exports.js.map +1 -1
- package/dist/ir/builder/imports.d.ts +9 -5
- package/dist/ir/builder/imports.d.ts.map +1 -1
- package/dist/ir/builder/imports.js +20 -31
- package/dist/ir/builder/imports.js.map +1 -1
- package/dist/ir/builder/orchestrator.d.ts +10 -1
- package/dist/ir/builder/orchestrator.d.ts.map +1 -1
- package/dist/ir/builder/orchestrator.js +32 -15
- package/dist/ir/builder/orchestrator.js.map +1 -1
- package/dist/ir/builder/statements.d.ts +7 -1
- package/dist/ir/builder/statements.d.ts.map +1 -1
- package/dist/ir/builder/statements.js +7 -2
- package/dist/ir/builder/statements.js.map +1 -1
- package/dist/ir/builder/types.d.ts +2 -0
- package/dist/ir/builder/types.d.ts.map +1 -1
- package/dist/ir/builder/validation.d.ts +4 -1
- package/dist/ir/builder/validation.d.ts.map +1 -1
- package/dist/ir/builder/validation.js +37 -37
- package/dist/ir/builder/validation.js.map +1 -1
- package/dist/ir/builder.test.js +55 -112
- package/dist/ir/builder.test.js.map +1 -1
- package/dist/ir/converters/anonymous-synthesis.d.ts +30 -8
- package/dist/ir/converters/anonymous-synthesis.d.ts.map +1 -1
- package/dist/ir/converters/anonymous-synthesis.js +46 -55
- package/dist/ir/converters/anonymous-synthesis.js.map +1 -1
- package/dist/ir/converters/context.d.ts +40 -0
- package/dist/ir/converters/context.d.ts.map +1 -0
- package/dist/ir/converters/context.js +25 -0
- package/dist/ir/converters/context.js.map +1 -0
- package/dist/ir/converters/expressions/access.d.ts +6 -1
- package/dist/ir/converters/expressions/access.d.ts.map +1 -1
- package/dist/ir/converters/expressions/access.js +389 -43
- package/dist/ir/converters/expressions/access.js.map +1 -1
- package/dist/ir/converters/expressions/calls.d.ts +24 -3
- package/dist/ir/converters/expressions/calls.d.ts.map +1 -1
- package/dist/ir/converters/expressions/calls.js +674 -397
- package/dist/ir/converters/expressions/calls.js.map +1 -1
- package/dist/ir/converters/expressions/collections.d.ts +16 -3
- package/dist/ir/converters/expressions/collections.d.ts.map +1 -1
- package/dist/ir/converters/expressions/collections.js +300 -46
- package/dist/ir/converters/expressions/collections.js.map +1 -1
- package/dist/ir/converters/expressions/functions.d.ts +10 -3
- package/dist/ir/converters/expressions/functions.d.ts.map +1 -1
- package/dist/ir/converters/expressions/functions.js +158 -32
- package/dist/ir/converters/expressions/functions.js.map +1 -1
- package/dist/ir/converters/expressions/helpers.d.ts +22 -23
- package/dist/ir/converters/expressions/helpers.d.ts.map +1 -1
- package/dist/ir/converters/expressions/helpers.js +242 -239
- package/dist/ir/converters/expressions/helpers.js.map +1 -1
- package/dist/ir/converters/expressions/index.d.ts +1 -1
- package/dist/ir/converters/expressions/index.d.ts.map +1 -1
- package/dist/ir/converters/expressions/index.js +1 -1
- package/dist/ir/converters/expressions/index.js.map +1 -1
- package/dist/ir/converters/expressions/literals.d.ts +12 -12
- package/dist/ir/converters/expressions/literals.d.ts.map +1 -1
- package/dist/ir/converters/expressions/literals.js +62 -17
- package/dist/ir/converters/expressions/literals.js.map +1 -1
- package/dist/ir/converters/expressions/numeric-recovery.test.d.ts +5 -2
- package/dist/ir/converters/expressions/numeric-recovery.test.d.ts.map +1 -1
- package/dist/ir/converters/expressions/numeric-recovery.test.js +62 -49
- package/dist/ir/converters/expressions/numeric-recovery.test.js.map +1 -1
- package/dist/ir/converters/expressions/operators.d.ts +13 -4
- package/dist/ir/converters/expressions/operators.d.ts.map +1 -1
- package/dist/ir/converters/expressions/operators.js +183 -33
- package/dist/ir/converters/expressions/operators.js.map +1 -1
- package/dist/ir/converters/expressions/other.d.ts +11 -3
- package/dist/ir/converters/expressions/other.d.ts.map +1 -1
- package/dist/ir/converters/expressions/other.js +26 -10
- package/dist/ir/converters/expressions/other.js.map +1 -1
- package/dist/ir/converters/flow-narrowing.d.ts +27 -0
- package/dist/ir/converters/flow-narrowing.d.ts.map +1 -0
- package/dist/ir/converters/flow-narrowing.js +73 -0
- package/dist/ir/converters/flow-narrowing.js.map +1 -0
- package/dist/ir/converters/statements/control/blocks.d.ts +8 -2
- package/dist/ir/converters/statements/control/blocks.d.ts.map +1 -1
- package/dist/ir/converters/statements/control/blocks.js +7 -2
- package/dist/ir/converters/statements/control/blocks.js.map +1 -1
- package/dist/ir/converters/statements/control/conditionals.d.ts +14 -4
- package/dist/ir/converters/statements/control/conditionals.d.ts.map +1 -1
- package/dist/ir/converters/statements/control/conditionals.js +36 -10
- package/dist/ir/converters/statements/control/conditionals.js.map +1 -1
- package/dist/ir/converters/statements/control/exceptions.d.ts +10 -3
- package/dist/ir/converters/statements/control/exceptions.d.ts.map +1 -1
- package/dist/ir/converters/statements/control/exceptions.js +13 -7
- package/dist/ir/converters/statements/control/exceptions.js.map +1 -1
- package/dist/ir/converters/statements/control/loops.d.ts +16 -5
- package/dist/ir/converters/statements/control/loops.d.ts.map +1 -1
- package/dist/ir/converters/statements/control/loops.js +25 -15
- package/dist/ir/converters/statements/control/loops.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/constructors.d.ts +3 -2
- package/dist/ir/converters/statements/declarations/classes/constructors.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/constructors.js +11 -7
- package/dist/ir/converters/statements/declarations/classes/constructors.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/methods.d.ts +2 -1
- package/dist/ir/converters/statements/declarations/classes/methods.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/methods.js +63 -11
- package/dist/ir/converters/statements/declarations/classes/methods.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/orchestrator.d.ts +2 -1
- package/dist/ir/converters/statements/declarations/classes/orchestrator.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/orchestrator.js +60 -40
- package/dist/ir/converters/statements/declarations/classes/orchestrator.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/override-detection.d.ts +6 -2
- package/dist/ir/converters/statements/declarations/classes/override-detection.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/override-detection.js +49 -50
- package/dist/ir/converters/statements/declarations/classes/override-detection.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/properties.d.ts +9 -1
- package/dist/ir/converters/statements/declarations/classes/properties.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/properties.js +119 -16
- package/dist/ir/converters/statements/declarations/classes/properties.js.map +1 -1
- package/dist/ir/converters/statements/declarations/enums.d.ts +2 -1
- package/dist/ir/converters/statements/declarations/enums.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/enums.js +8 -2
- package/dist/ir/converters/statements/declarations/enums.js.map +1 -1
- package/dist/ir/converters/statements/declarations/functions.d.ts +2 -1
- package/dist/ir/converters/statements/declarations/functions.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/functions.js +11 -6
- package/dist/ir/converters/statements/declarations/functions.js.map +1 -1
- package/dist/ir/converters/statements/declarations/index.d.ts +3 -1
- package/dist/ir/converters/statements/declarations/index.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/index.js +3 -1
- package/dist/ir/converters/statements/declarations/index.js.map +1 -1
- package/dist/ir/converters/statements/declarations/interfaces.d.ts +3 -2
- package/dist/ir/converters/statements/declarations/interfaces.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/interfaces.js +26 -20
- package/dist/ir/converters/statements/declarations/interfaces.js.map +1 -1
- package/dist/ir/converters/statements/declarations/registry.d.ts +72 -0
- package/dist/ir/converters/statements/declarations/registry.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/registry.js +92 -0
- package/dist/ir/converters/statements/declarations/registry.js.map +1 -1
- package/dist/ir/converters/statements/declarations/type-aliases.d.ts +2 -1
- package/dist/ir/converters/statements/declarations/type-aliases.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/type-aliases.js +6 -4
- package/dist/ir/converters/statements/declarations/type-aliases.js.map +1 -1
- package/dist/ir/converters/statements/declarations/variables.d.ts +11 -1
- package/dist/ir/converters/statements/declarations/variables.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/variables.js +123 -19
- package/dist/ir/converters/statements/declarations/variables.js.map +1 -1
- package/dist/ir/converters/statements/declarations.d.ts +4 -1
- package/dist/ir/converters/statements/declarations.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations.js +4 -1
- package/dist/ir/converters/statements/declarations.js.map +1 -1
- package/dist/ir/converters/statements/helpers.d.ts +4 -3
- package/dist/ir/converters/statements/helpers.d.ts.map +1 -1
- package/dist/ir/converters/statements/helpers.js +55 -31
- package/dist/ir/converters/statements/helpers.js.map +1 -1
- package/dist/ir/converters/statements/index.d.ts +1 -1
- package/dist/ir/converters/statements/index.d.ts.map +1 -1
- package/dist/ir/converters/statements/index.js +2 -1
- package/dist/ir/converters/statements/index.js.map +1 -1
- package/dist/ir/expression-converter.d.ts +10 -3
- package/dist/ir/expression-converter.d.ts.map +1 -1
- package/dist/ir/expression-converter.js +139 -57
- package/dist/ir/expression-converter.js.map +1 -1
- package/dist/ir/hierarchical-bindings-e2e.test.js +10 -6
- package/dist/ir/hierarchical-bindings-e2e.test.js.map +1 -1
- package/dist/ir/index.d.ts +5 -0
- package/dist/ir/index.d.ts.map +1 -1
- package/dist/ir/index.js +5 -0
- package/dist/ir/index.js.map +1 -1
- package/dist/ir/no-ts-type-inference.test.d.ts +17 -0
- package/dist/ir/no-ts-type-inference.test.d.ts.map +1 -0
- package/dist/ir/no-ts-type-inference.test.js +171 -0
- package/dist/ir/no-ts-type-inference.test.js.map +1 -0
- package/dist/ir/program-context.d.ts +87 -0
- package/dist/ir/program-context.d.ts.map +1 -0
- package/dist/ir/program-context.js +289 -0
- package/dist/ir/program-context.js.map +1 -0
- package/dist/ir/statement-converter.d.ts +14 -4
- package/dist/ir/statement-converter.d.ts.map +1 -1
- package/dist/ir/statement-converter.js +31 -21
- package/dist/ir/statement-converter.js.map +1 -1
- package/dist/ir/syntax/binding-patterns.d.ts +22 -0
- package/dist/ir/syntax/binding-patterns.d.ts.map +1 -0
- package/dist/ir/{type-converter/patterns.js → syntax/binding-patterns.js} +34 -8
- package/dist/ir/syntax/binding-patterns.js.map +1 -0
- package/dist/ir/thisarg-inference.test.d.ts +8 -0
- package/dist/ir/thisarg-inference.test.d.ts.map +1 -0
- package/dist/ir/thisarg-inference.test.js +94 -0
- package/dist/ir/thisarg-inference.test.js.map +1 -0
- package/dist/ir/type-system/index.d.ts +21 -0
- package/dist/ir/type-system/index.d.ts.map +1 -0
- package/dist/ir/type-system/index.js +43 -0
- package/dist/ir/type-system/index.js.map +1 -0
- package/dist/ir/type-system/internal/handle-types.d.ts +105 -0
- package/dist/ir/type-system/internal/handle-types.d.ts.map +1 -0
- package/dist/ir/type-system/internal/handle-types.js +13 -0
- package/dist/ir/type-system/internal/handle-types.js.map +1 -0
- package/dist/ir/type-system/internal/nominal-env.d.ts +66 -0
- package/dist/ir/type-system/internal/nominal-env.d.ts.map +1 -0
- package/dist/ir/type-system/internal/nominal-env.js +301 -0
- package/dist/ir/type-system/internal/nominal-env.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/arrays.d.ts +11 -0
- package/dist/ir/type-system/internal/type-converter/arrays.d.ts.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/arrays.js +2 -2
- package/dist/ir/type-system/internal/type-converter/arrays.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/converter.d.ts +17 -0
- package/dist/ir/type-system/internal/type-converter/converter.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/converter.js +16 -0
- package/dist/ir/type-system/internal/type-converter/converter.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/functions.d.ts +14 -0
- package/dist/ir/type-system/internal/type-converter/functions.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/functions.js +66 -0
- package/dist/ir/type-system/internal/type-converter/functions.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/index.d.ts +11 -0
- package/dist/ir/type-system/internal/type-converter/index.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/index.js +11 -0
- package/dist/ir/type-system/internal/type-converter/index.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/inference.d.ts +37 -0
- package/dist/ir/type-system/internal/type-converter/inference.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/inference.js +32 -0
- package/dist/ir/type-system/internal/type-converter/inference.js.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/literals.d.ts +1 -1
- package/dist/ir/type-system/internal/type-converter/literals.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/literals.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/objects.d.ts +20 -0
- package/dist/ir/type-system/internal/type-converter/objects.d.ts.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/objects.js +56 -6
- package/dist/ir/type-system/internal/type-converter/objects.js.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/orchestrator.d.ts +3 -2
- package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/orchestrator.js +63 -21
- package/dist/ir/type-system/internal/type-converter/orchestrator.js.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/primitives.d.ts +4 -4
- package/dist/ir/type-system/internal/type-converter/primitives.d.ts.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/primitives.js +2 -2
- package/dist/ir/type-system/internal/type-converter/primitives.js.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/references.d.ts +3 -2
- package/dist/ir/type-system/internal/type-converter/references.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references.js +545 -0
- package/dist/ir/type-system/internal/type-converter/references.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/unions-intersections.d.ts +15 -0
- package/dist/ir/type-system/internal/type-converter/unions-intersections.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/unions-intersections.js +22 -0
- package/dist/ir/type-system/internal/type-converter/unions-intersections.js.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/utility-types.d.ts +23 -36
- package/dist/ir/type-system/internal/type-converter/utility-types.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types.js +879 -0
- package/dist/ir/type-system/internal/type-converter/utility-types.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types.test.d.ts.map +1 -0
- package/dist/ir/{type-converter → type-system/internal/type-converter}/utility-types.test.js +398 -120
- package/dist/ir/type-system/internal/type-converter/utility-types.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter.d.ts +9 -0
- package/dist/ir/type-system/internal/type-converter.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter.js +9 -0
- package/dist/ir/type-system/internal/type-converter.js.map +1 -0
- package/dist/ir/type-system/internal/type-registry.d.ts +112 -0
- package/dist/ir/type-system/internal/type-registry.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-registry.js +535 -0
- package/dist/ir/type-system/internal/type-registry.js.map +1 -0
- package/dist/ir/type-system/internal/universe/alias-table.d.ts +92 -0
- package/dist/ir/type-system/internal/universe/alias-table.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/alias-table.js +222 -0
- package/dist/ir/type-system/internal/universe/alias-table.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-catalog.d.ts +44 -0
- package/dist/ir/type-system/internal/universe/clr-catalog.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-catalog.js +1192 -0
- package/dist/ir/type-system/internal/universe/clr-catalog.js.map +1 -0
- package/dist/ir/type-system/internal/universe/index.d.ts +26 -0
- package/dist/ir/type-system/internal/universe/index.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/index.js +30 -0
- package/dist/ir/type-system/internal/universe/index.js.map +1 -0
- package/dist/ir/type-system/internal/universe/resolution.d.ts +115 -0
- package/dist/ir/type-system/internal/universe/resolution.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/resolution.js +181 -0
- package/dist/ir/type-system/internal/universe/resolution.js.map +1 -0
- package/dist/ir/type-system/internal/universe/source-catalog.d.ts +64 -0
- package/dist/ir/type-system/internal/universe/source-catalog.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/source-catalog.js +96 -0
- package/dist/ir/type-system/internal/universe/source-catalog.js.map +1 -0
- package/dist/ir/type-system/internal/universe/types.d.ts +436 -0
- package/dist/ir/type-system/internal/universe/types.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/types.js +69 -0
- package/dist/ir/type-system/internal/universe/types.js.map +1 -0
- package/dist/ir/type-system/internal/universe/unified-universe.d.ts +70 -0
- package/dist/ir/type-system/internal/universe/unified-universe.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/unified-universe.js +319 -0
- package/dist/ir/type-system/internal/universe/unified-universe.js.map +1 -0
- package/dist/ir/type-system/type-system.d.ts +617 -0
- package/dist/ir/type-system/type-system.d.ts.map +1 -0
- package/dist/ir/type-system/type-system.js +2579 -0
- package/dist/ir/type-system/type-system.js.map +1 -0
- package/dist/ir/type-system/types.d.ts +176 -0
- package/dist/ir/type-system/types.d.ts.map +1 -0
- package/dist/ir/type-system/types.js +80 -0
- package/dist/ir/type-system/types.js.map +1 -0
- package/dist/ir/types/expressions.d.ts +35 -7
- package/dist/ir/types/expressions.d.ts.map +1 -1
- package/dist/ir/types/helpers.d.ts +22 -2
- package/dist/ir/types/helpers.d.ts.map +1 -1
- package/dist/ir/types/index.d.ts +4 -2
- package/dist/ir/types/index.d.ts.map +1 -1
- package/dist/ir/types/index.js +1 -0
- package/dist/ir/types/index.js.map +1 -1
- package/dist/ir/types/ir-substitution.d.ts +144 -0
- package/dist/ir/types/ir-substitution.d.ts.map +1 -0
- package/dist/ir/types/ir-substitution.js +569 -0
- package/dist/ir/types/ir-substitution.js.map +1 -0
- package/dist/ir/types/ir-types.d.ts +10 -4
- package/dist/ir/types/ir-types.d.ts.map +1 -1
- package/dist/ir/types/numeric-helpers.d.ts +2 -1
- package/dist/ir/types/numeric-helpers.d.ts.map +1 -1
- package/dist/ir/types/numeric-helpers.js +9 -3
- package/dist/ir/types/numeric-helpers.js.map +1 -1
- package/dist/ir/types/statements.d.ts +22 -1
- package/dist/ir/types/statements.d.ts.map +1 -1
- package/dist/ir/types.d.ts +1 -1
- package/dist/ir/types.d.ts.map +1 -1
- package/dist/ir/types.js.map +1 -1
- package/dist/ir/validation/anonymous-type-lowering-pass.d.ts.map +1 -1
- package/dist/ir/validation/anonymous-type-lowering-pass.js +153 -8
- package/dist/ir/validation/anonymous-type-lowering-pass.js.map +1 -1
- package/dist/ir/validation/arrow-return-finalization-pass.d.ts +28 -0
- package/dist/ir/validation/arrow-return-finalization-pass.d.ts.map +1 -0
- package/dist/ir/validation/arrow-return-finalization-pass.js +416 -0
- package/dist/ir/validation/arrow-return-finalization-pass.js.map +1 -0
- package/dist/ir/validation/attribute-collection-pass.d.ts.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.js +40 -6
- package/dist/ir/validation/attribute-collection-pass.js.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.test.js +43 -36
- package/dist/ir/validation/attribute-collection-pass.test.js.map +1 -1
- package/dist/ir/validation/char-validation-pass.d.ts +26 -0
- package/dist/ir/validation/char-validation-pass.d.ts.map +1 -0
- package/dist/ir/validation/char-validation-pass.js +495 -0
- package/dist/ir/validation/char-validation-pass.js.map +1 -0
- package/dist/ir/validation/index.d.ts +3 -0
- package/dist/ir/validation/index.d.ts.map +1 -1
- package/dist/ir/validation/index.js +3 -0
- package/dist/ir/validation/index.js.map +1 -1
- package/dist/ir/validation/numeric-coercion-pass.d.ts +22 -16
- package/dist/ir/validation/numeric-coercion-pass.d.ts.map +1 -1
- package/dist/ir/validation/numeric-coercion-pass.js +159 -51
- package/dist/ir/validation/numeric-coercion-pass.js.map +1 -1
- package/dist/ir/validation/numeric-invariants.test.js +72 -108
- package/dist/ir/validation/numeric-invariants.test.js.map +1 -1
- package/dist/ir/validation/numeric-proof-pass.d.ts.map +1 -1
- package/dist/ir/validation/numeric-proof-pass.js +71 -23
- package/dist/ir/validation/numeric-proof-pass.js.map +1 -1
- package/dist/ir/validation/rest-type-synthesis-pass.d.ts +24 -0
- package/dist/ir/validation/rest-type-synthesis-pass.d.ts.map +1 -0
- package/dist/ir/validation/rest-type-synthesis-pass.js +417 -0
- package/dist/ir/validation/rest-type-synthesis-pass.js.map +1 -0
- package/dist/ir/validation/soundness-gate.d.ts +11 -1
- package/dist/ir/validation/soundness-gate.d.ts.map +1 -1
- package/dist/ir/validation/soundness-gate.js +42 -10
- package/dist/ir/validation/soundness-gate.js.map +1 -1
- package/dist/ir/validation/soundness-gate.test.js +19 -2
- package/dist/ir/validation/soundness-gate.test.js.map +1 -1
- package/dist/ir/validation/virtual-marking-pass.d.ts +16 -0
- package/dist/ir/validation/virtual-marking-pass.d.ts.map +1 -0
- package/dist/ir/validation/virtual-marking-pass.js +77 -0
- package/dist/ir/validation/virtual-marking-pass.js.map +1 -0
- package/dist/ir/validation/yield-lowering-pass.test.js +2 -2
- package/dist/ir/validation/yield-lowering-pass.test.js.map +1 -1
- package/dist/program/bindings.d.ts +44 -0
- package/dist/program/bindings.d.ts.map +1 -1
- package/dist/program/bindings.js +248 -2
- package/dist/program/bindings.js.map +1 -1
- package/dist/program/bindings.test.js +30 -0
- package/dist/program/bindings.test.js.map +1 -1
- package/dist/program/creation.d.ts.map +1 -1
- package/dist/program/creation.js +158 -4
- package/dist/program/creation.js.map +1 -1
- package/dist/program/dependency-graph.d.ts.map +1 -1
- package/dist/program/dependency-graph.js +33 -26
- package/dist/program/dependency-graph.js.map +1 -1
- package/dist/program/index.d.ts +1 -1
- package/dist/program/index.d.ts.map +1 -1
- package/dist/program/types.d.ts +7 -8
- package/dist/program/types.d.ts.map +1 -1
- package/dist/resolver/clr-bindings-resolver.d.ts +6 -0
- package/dist/resolver/clr-bindings-resolver.d.ts.map +1 -1
- package/dist/resolver/clr-bindings-resolver.js +185 -39
- package/dist/resolver/clr-bindings-resolver.js.map +1 -1
- package/dist/resolver/clr-bindings-resolver.test.d.ts +2 -0
- package/dist/resolver/clr-bindings-resolver.test.d.ts.map +1 -0
- package/dist/resolver/clr-bindings-resolver.test.js +161 -0
- package/dist/resolver/clr-bindings-resolver.test.js.map +1 -0
- package/dist/resolver/import-resolution.d.ts +16 -1
- package/dist/resolver/import-resolution.d.ts.map +1 -1
- package/dist/resolver/import-resolution.js +29 -12
- package/dist/resolver/import-resolution.js.map +1 -1
- package/dist/resolver/namespace.d.ts +2 -1
- package/dist/resolver/namespace.d.ts.map +1 -1
- package/dist/resolver/namespace.js +5 -2
- package/dist/resolver/namespace.js.map +1 -1
- package/dist/resolver/namespace.test.js +6 -6
- package/dist/resolver/naming-policy.d.ts +20 -0
- package/dist/resolver/naming-policy.d.ts.map +1 -0
- package/dist/resolver/naming-policy.js +40 -0
- package/dist/resolver/naming-policy.js.map +1 -0
- package/dist/resolver/naming.d.ts +2 -5
- package/dist/resolver/naming.d.ts.map +1 -1
- package/dist/resolver/naming.js +3 -20
- package/dist/resolver/naming.js.map +1 -1
- package/dist/resolver.d.ts +2 -0
- package/dist/resolver.d.ts.map +1 -1
- package/dist/resolver.js +1 -0
- package/dist/resolver.js.map +1 -1
- package/dist/resolver.test.js +8 -3
- package/dist/resolver.test.js.map +1 -1
- package/dist/symbol-table/builder.d.ts +3 -1
- package/dist/symbol-table/builder.d.ts.map +1 -1
- package/dist/symbol-table/builder.js +9 -8
- package/dist/symbol-table/builder.js.map +1 -1
- package/dist/symbol-table/types.d.ts +2 -2
- package/dist/symbol-table/types.d.ts.map +1 -1
- package/dist/types/diagnostic.d.ts +12 -2
- package/dist/types/diagnostic.d.ts.map +1 -1
- package/dist/types/diagnostic.js +5 -1
- package/dist/types/diagnostic.js.map +1 -1
- package/dist/validation/core-intrinsics.d.ts +18 -0
- package/dist/validation/core-intrinsics.d.ts.map +1 -0
- package/dist/validation/core-intrinsics.js +186 -0
- package/dist/validation/core-intrinsics.js.map +1 -0
- package/dist/validation/extension-methods.d.ts +17 -0
- package/dist/validation/extension-methods.d.ts.map +1 -0
- package/dist/validation/extension-methods.js +133 -0
- package/dist/validation/extension-methods.js.map +1 -0
- package/dist/validation/generics.d.ts.map +1 -1
- package/dist/validation/generics.js +1 -129
- package/dist/validation/generics.js.map +1 -1
- package/dist/validation/imports.js +1 -1
- package/dist/validation/imports.js.map +1 -1
- package/dist/validation/index.d.ts +2 -0
- package/dist/validation/index.d.ts.map +1 -1
- package/dist/validation/index.js +2 -0
- package/dist/validation/index.js.map +1 -1
- package/dist/validation/orchestrator.d.ts.map +1 -1
- package/dist/validation/orchestrator.js +4 -0
- package/dist/validation/orchestrator.js.map +1 -1
- package/dist/validation/static-safety.d.ts +1 -0
- package/dist/validation/static-safety.d.ts.map +1 -1
- package/dist/validation/static-safety.js +366 -96
- package/dist/validation/static-safety.js.map +1 -1
- package/dist/validator.test.js +123 -1
- package/dist/validator.test.js.map +1 -1
- package/package.json +2 -2
- package/dist/ir/type-converter/arrays.d.ts +0 -10
- package/dist/ir/type-converter/arrays.d.ts.map +0 -1
- package/dist/ir/type-converter/arrays.js.map +0 -1
- package/dist/ir/type-converter/converter.d.ts +0 -6
- package/dist/ir/type-converter/converter.d.ts.map +0 -1
- package/dist/ir/type-converter/converter.js +0 -6
- package/dist/ir/type-converter/converter.js.map +0 -1
- package/dist/ir/type-converter/functions.d.ts +0 -10
- package/dist/ir/type-converter/functions.d.ts.map +0 -1
- package/dist/ir/type-converter/functions.js +0 -15
- package/dist/ir/type-converter/functions.js.map +0 -1
- package/dist/ir/type-converter/index.d.ts +0 -7
- package/dist/ir/type-converter/index.d.ts.map +0 -1
- package/dist/ir/type-converter/index.js +0 -7
- package/dist/ir/type-converter/index.js.map +0 -1
- package/dist/ir/type-converter/inference.d.ts +0 -32
- package/dist/ir/type-converter/inference.d.ts.map +0 -1
- package/dist/ir/type-converter/inference.js +0 -297
- package/dist/ir/type-converter/inference.js.map +0 -1
- package/dist/ir/type-converter/literals.d.ts.map +0 -1
- package/dist/ir/type-converter/literals.js.map +0 -1
- package/dist/ir/type-converter/objects.d.ts +0 -16
- package/dist/ir/type-converter/objects.d.ts.map +0 -1
- package/dist/ir/type-converter/objects.js.map +0 -1
- package/dist/ir/type-converter/orchestrator.d.ts.map +0 -1
- package/dist/ir/type-converter/orchestrator.js.map +0 -1
- package/dist/ir/type-converter/patterns.d.ts +0 -10
- package/dist/ir/type-converter/patterns.d.ts.map +0 -1
- package/dist/ir/type-converter/patterns.js.map +0 -1
- package/dist/ir/type-converter/primitives.d.ts.map +0 -1
- package/dist/ir/type-converter/primitives.js.map +0 -1
- package/dist/ir/type-converter/references.d.ts.map +0 -1
- package/dist/ir/type-converter/references.js +0 -371
- package/dist/ir/type-converter/references.js.map +0 -1
- package/dist/ir/type-converter/unions-intersections.d.ts +0 -14
- package/dist/ir/type-converter/unions-intersections.d.ts.map +0 -1
- package/dist/ir/type-converter/unions-intersections.js +0 -22
- package/dist/ir/type-converter/unions-intersections.js.map +0 -1
- package/dist/ir/type-converter/utility-types.d.ts.map +0 -1
- package/dist/ir/type-converter/utility-types.js +0 -528
- package/dist/ir/type-converter/utility-types.js.map +0 -1
- package/dist/ir/type-converter/utility-types.test.d.ts.map +0 -1
- package/dist/ir/type-converter/utility-types.test.js.map +0 -1
- package/dist/ir/type-converter.d.ts +0 -6
- package/dist/ir/type-converter.d.ts.map +0 -1
- package/dist/ir/type-converter.js +0 -6
- package/dist/ir/type-converter.js.map +0 -1
- /package/dist/ir/{type-converter → type-system/internal/type-converter}/literals.js +0 -0
- /package/dist/ir/{type-converter → type-system/internal/type-converter}/utility-types.test.d.ts +0 -0
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"numeric-proof-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAQL,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAuBrB;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,GAAiB,EAAkB,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACC,EAAE;IAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,mEAAmE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,iFAAiF;IACjF,mDAAmD;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAkB,EAClB,GAAiB,EACQ,EAAE;IAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnC,uEAAuE;gBACvE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,0CAA0C;gBAC1C,2EAA2E;gBAC3E,4BAA4B;gBAC5B,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;wBAClE,OAAO,OAAO,CAAC;oBACjB,CAAC;gBACH,CAAC;gBAED,6DAA6D;gBAC7D,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,mCAAmC;YACnC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,+BAA+B;YAC/B,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,+CAA+C;YAC/C,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,wEAAwE;YACxE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACzB,CAAC;YACD,6EAA6E;YAC7E,oEAAoE;YACpE,OAAO,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IACE,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACrB,IAAI,CAAC,QAAQ,KAAK,GAAG,EACrB,CAAC;gBACD,OAAO,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,gEAAgE;YAChE,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,YAAY,GAAG,CACnB,KAAa,EACb,GAAuB,EACvB,UAAuB,EACvB,GAAiB,EACjB,UAA2B,EACD,EAAE;IAC5B,MAAM,QAAQ,GAAG,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IACnD,sDAAsD;IACtD,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,KAAK,wBAAwB,UAAU,uBAAuB,EACzE,QAAQ,EACR,0DAA0D,CAC3D,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;SACnC,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2BAA2B,UAAU,4BAA4B,EACjE,QAAQ,EACR,iEAAiE,CAClE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,YAAY,GAAG,yBAAyB,UAAU,yBAAyB,EAC3E,QAAQ,EACR,6EAA6E,CAC9E,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6CAA6C;IAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,yBAAyB,GAAG,cAAc,EAC1C,QAAQ,EACR,sDAAsD,CACvD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,mBAAmB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW;IACnE,MAAM,mBAAmB,GAAG,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,cAAc;IACvE,IAAI,QAAQ,GAAG,mBAAmB,IAAI,QAAQ,GAAG,mBAAmB,EAAE,CAAC;QACrE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,GAAG,4CAA4C,mBAAmB,GAAG,EAChF,QAAQ,EACR,sEAAsE;YACpE,kEAAkE,CACrE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,cAAc;IACd,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,GAAG,6BAA6B,UAAU,kBAAkB,KAAK,EAAE,GAAG,OAAO,KAAK,EAAE,GAAG,GAAG,EACrG,QAAQ,EACR,0BAA0B,KAAK,EAAE,GAAG,OAAO,KAAK,EAAE,GAAG,QAAQ,UAAU,GAAG,CAC3E,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CACrB,IAAkC,EAClC,GAAiB,EACS,EAAE;IAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,mFAAmF;IACnF,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IAEjE,wCAAwC;IACxC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,YAAY,CACxB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,GAAG,EACb,UAAU,EACV,GAAG,EACH,SAAS,CAAC,UAAU,IAAI,QAAQ,CACjC,CAAC;QACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,6CAA6C;YAC7C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mEAAmE;IACnE,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,OAAO,IAAI,SAAS,CAAC;QAExC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;YACD,gDAAgD;YAChD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kBAAkB,SAAS,CAAC,IAAI,UAAU,UAAU,OAAO,UAAU,EAAE,EACvE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,aAAa,SAAS,CAAC,IAAI,kBAAkB,UAAU,IAAI;gBACzD,oBAAoB,UAAU,mBAAmB,CACpD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,2EAA2E;QAC3E,MAAM,SAAS,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YACxD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;aACnD,CAAC;QACJ,CAAC;QAED,+BAA+B;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8BAA8B,SAAS,CAAC,IAAI,QAAQ,UAAU,EAAE,EAChE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,eAAe,SAAS,CAAC,IAAI,8BAA8B;YACzD,kBAAkB,SAAS,CAAC,IAAI,OAAO,UAAU,oBAAoB;YACrE,yCAAyC,UAAU,UAAU,CAChE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iDAAiD;IACjD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEzD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,QAAQ;wBACR,SAAS;qBACV;iBACF,CAAC;YACJ,CAAC;YACD,2CAA2C;YAC3C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,cAAc,UAAU,SAAS,UAAU,EAAE,EACnG,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,uBAAuB,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,MAAM,UAAU,IAAI;gBACpF,oBAAoB,UAAU,mBAAmB,CACpD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,iCAAiC;QACjC,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kDAAkD,UAAU,EAAE,EAC9D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,kDAAkD;YAChD,+CAA+C,CAClD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,IACE,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG,EAC1B,CAAC;YACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC5D,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,WAAW;qBACZ;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iDAAiD,UAAU,EAAE,EAC7D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,2DAA2D;YACzD,8CAA8C,CACjD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iEAAiE;IACjE,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzE,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE;aAC1D,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oCAAoC,UAAU,EAAE,EAChD,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,oDAAoD,CACrD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,UAAU,GACd,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;gBACxC,OAAO,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAC3C,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ;gBAC3B,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,QAAQ,GACZ,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ;gBACpC,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpB,CAAC,CAAC,UAAU,CAAC;YACjB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE;oBACN,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,UAAU,EAAE,UAAU;iBACvB;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,6BAA6B,UAAU,EAAE,EACzC,QAAQ,EACR,uBAAuB,SAAS,CAAC,IAAI,iCAAiC,UAAU,IAAI;QAClF,mFAAmF;QACnF,yDAAyD,CAC5D,CACF,CAAC;IACF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAAkB,EAClB,GAAiB,EACH,EAAE;IAChB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,cAAc,CAC1B,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,EACvC,GAAG,CACJ,CAAC;YACF,4EAA4E;YAC5E,uFAAuF;YACvF,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,cAAc;gBAC1B,KAAK;aACN,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,mFAAmF;YACnF,oFAAoF;YACpF,8EAA8E;YAC9E,gFAAgF;YAChF,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBAC3C,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAC/B,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAChC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,EACrC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,sDAAsD;YACtD,kFAAkF;YAClF,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,WAAW,GAAG,OAAO,IAAI,SAAS,CAAC;YAEzC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,yDAAyD;gBACzD,iDAAiD;gBACjD,MAAM,YAAY,GAChB,WAAW,KAAK,OAAO;oBACrB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;oBAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;gBAC5D,OAAO;oBACL,GAAG,IAAI;oBACP,YAAY;iBACb,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CACxD;aACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAC1B,OAAO;4BACL,GAAG,CAAC;4BACJ,GAAG,EACD,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;gCACvB,CAAC,CAAC,CAAC,CAAC,GAAG;gCACP,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC;4BACnC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC;yBACvC,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC;qBACjD,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QAEJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAE1D,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;YAExD,kEAAkE;YAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC5D,iDAAiD;gBACjD,MAAM,YAAY,GAChB,UAAU,KAAK,OAAO;oBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;oBAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBAC3D,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,cAAc;oBACrB,YAAY;iBACb,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,cAAc;aACtB,CAAC;QACJ,CAAC;QAED,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aACpD,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC/C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;aAClD,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;oBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;oBAChC,CAAC,CAAC,IAAI,CAAC,IAAI;oBACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,eAAe,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC5D,MAAM,iBAAiB,GACrB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;gBACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAE5C,+EAA+E;YAC/E,6DAA6D;YAC7D,iFAAiF;YACjF,gEAAgE;YAChE,+EAA+E;YAE/E,gFAAgF;YAChF,uFAAuF;YACvF,IAAI,OAAO,iBAAiB,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;gBAEnC,yDAAyD;gBACzD,sFAAsF;gBACtF,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzD,iCAAiC;oBACjC,MAAM,UAAU,GAAG,eAAe,CAAC,YAAY,CAAC;oBAChD,MAAM,QAAQ,GAAG,UAAU;wBACzB,CAAC,CAAC,mBAAmB,UAAU,CAAC,IAAI,EAAE;4BACpC,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;gCAClC,CAAC,CAAC,UAAU,UAAU,CAAC,IAAI,qBAAqB,UAAU,CAAC,eAAe,IAAI,WAAW,EAAE;gCAC3F,CAAC,CAAC,EAAE,CAAC;wBACT,CAAC,CAAC,sBAAsB,CAAC;oBAE3B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uEAAuE,UAAU,IAAI,WAAW,KAAK,QAAQ,GAAG,EAChH,IAAI,CAAC,UAAU;wBACb,iBAAiB,CAAC,UAAU;wBAC5B,cAAc,CAAC,GAAG,CAAC,EACrB,qFAAqF;wBACnF,2DAA2D,CAC9D,CACF,CAAC;oBACF,kEAAkE;oBAClE,OAAO;wBACL,GAAG,IAAI;wBACP,MAAM,EAAE,eAAe;wBACvB,QAAQ,EAAE,iBAAiB;qBAC5B,CAAC;gBACJ,CAAC;gBAED,2BAA2B;gBAC3B,+DAA+D;gBAC/D,iDAAiD;gBACjD,wCAAwC;gBACxC,kFAAkF;gBAClF,MAAM,aAAa,GACjB,UAAU,KAAK,YAAY;oBAC3B,UAAU,KAAK,gBAAgB;oBAC/B,UAAU,KAAK,YAAY,CAAC;gBAE9B,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,SAAS,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;oBAC3D,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;wBAC1B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kCAAkC,SAAS,IAAI,SAAS,EAAE,EAC1D,iBAAiB,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACnD,6EAA6E,CAC9E,CACF,CAAC;wBACF,kEAAkE;wBAClE,OAAO;4BACL,GAAG,IAAI;4BACP,MAAM,EAAE,eAAe;4BACvB,QAAQ,EAAE,iBAAiB;yBAC5B,CAAC;oBACJ,CAAC;oBAED,sEAAsE;oBACtE,qFAAqF;oBACrF,6DAA6D;oBAC7D,MAAM,iBAAiB,GAAG;wBACxB,GAAG,iBAAiB;wBACpB,YAAY,EAAE;4BACZ,IAAI,EAAE,eAAwB;4BAC9B,IAAI,EAAE,KAAc;yBACrB;qBACF,CAAC;oBACF,OAAO;wBACL,GAAG,IAAI;wBACP,MAAM,EAAE,eAAe;wBACvB,QAAQ,EAAE,iBAAiB;qBAC5B,CAAC;gBACJ,CAAC;gBAED,4EAA4E;gBAC5E,iFAAiF;YACnF,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe;gBACvB,QAAQ,EAAE,iBAAiB;aAC5B,CAAC;QACJ,CAAC;QAED,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAChE,CAAC;QAEJ,KAAK,KAAK;YACR,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAChE,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aACpE,CAAC;QAEJ,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,uDAAuD;YACvD,MAAM,QAAQ,GAAiB;gBAC7B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBACjC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;oBACvC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;aAC7C,CAAC;QACJ,CAAC;QAED,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,4DAA4D;YAC5D,MAAM,OAAO,GAAiB;gBAC5B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBAChE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;aAC3C,CAAC;QACJ,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAO,EACP,GAAiB,EACd,EAAE;IACL,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,qBAAqB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACxD,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW;oBACjC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;oBACvC,CAAC,CAAC,SAAS,CAAC;gBAEd,mEAAmE;gBACnE,iBAAiB;gBACjB,qDAAqD;gBACrD,+DAA+D;gBAC/D,0CAA0C;gBAC1C,oFAAoF;gBACpF,IACE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACnC,aAAa,KAAK,SAAS,EAC3B,CAAC;oBACD,4CAA4C;oBAC5C,IACE,aAAa,CAAC,IAAI,KAAK,kBAAkB;wBACzC,aAAa,CAAC,KAAK,KAAK,SAAS,EACjC,CAAC;wBACD,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACjE,CAAC;yBAAM,CAAC;wBACN,+DAA+D;wBAC/D,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;wBAC1D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;4BAC/B,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;wBACrD,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO;oBACL,GAAG,CAAC;oBACJ,WAAW,EAAE,aAAa;iBAC3B,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,qBAAqB,EAAO,CAAC;QAC/D,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAiB;gBAC7B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;aACvC,CAAC;QACT,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC7C,MAAM,SAAS,GAAiB;wBAC9B,GAAG,GAAG;wBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;wBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;qBAC9C,CAAC;oBACF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;wBACjC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;4BAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;4BACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gCAC9B,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;4BAClE,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC7D,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBACtD,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAClD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvD,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAO,CAAC;QACrD,CAAC;QAED,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;gBACxD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBAC3C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC/C,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;wBACzC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;oBAC5C,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;oBACxC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBACrE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;oBACzD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;iBAC9D,CAAC,CAAC;aACC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC9C,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;qBACnD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAC5D,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;aACjE,CAAC;QAET,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAsB,EAAE;IAC7D,MAAM,GAAG,GAAiB;QACxB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,gBAAgB,EAAE,IAAI,GAAG,EAAE;KAC5B,CAAC;IAEF,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAE7E,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;QACxE,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,OAAO,EAAE,GAAG,GAAG,EAAE,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChC,MAAM,EAAE;YACN,GAAG,MAAM;YACT,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,gBAAgB;SAC1B;QACD,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAA4B,EAK5B,EAAE;IACF,MAAM,gBAAgB,GAAe,EAAE,CAAC;IACxC,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC;QAC/B,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,cAAc;KAC5B,CAAC;AACJ,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"numeric-proof-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAQL,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AAuBrB;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,GAAiB,EAAkB,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACC,EAAE;IAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,mEAAmE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,iFAAiF;IACjF,mDAAmD;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAkB,EAClB,GAAiB,EACQ,EAAE;IAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnC,uEAAuE;gBACvE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,0CAA0C;gBAC1C,iFAAiF;gBACjF,4BAA4B;gBAC5B,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,IAAI,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;4BACxC,OAAO,OAAO,CAAC;wBACjB,CAAC;wBACD,IAAI,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;4BACxC,OAAO,OAAO,CAAC;wBACjB,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,6DAA6D;gBAC7D,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,mCAAmC;YACnC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,+BAA+B;YAC/B,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,+CAA+C;YAC/C,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,wEAAwE;YACxE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACzB,CAAC;YACD,6EAA6E;YAC7E,oEAAoE;YACpE,OAAO,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IACE,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACrB,IAAI,CAAC,QAAQ,KAAK,GAAG,EACrB,CAAC;gBACD,OAAO,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,gEAAgE;YAChE,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,YAAY,GAAG,CACnB,KAAa,EACb,GAAuB,EACvB,UAAuB,EACvB,GAAiB,EACjB,UAA2B,EACD,EAAE;IAC5B,MAAM,QAAQ,GAAG,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IACnD,sDAAsD;IACtD,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,KAAK,wBAAwB,UAAU,uBAAuB,EACzE,QAAQ,EACR,0DAA0D,CAC3D,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;SACnC,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2BAA2B,UAAU,4BAA4B,EACjE,QAAQ,EACR,iEAAiE,CAClE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,YAAY,GAAG,yBAAyB,UAAU,yBAAyB,EAC3E,QAAQ,EACR,6EAA6E,CAC9E,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6CAA6C;IAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,yBAAyB,GAAG,cAAc,EAC1C,QAAQ,EACR,sDAAsD,CACvD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,mBAAmB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW;IACnE,MAAM,mBAAmB,GAAG,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,cAAc;IACvE,IAAI,QAAQ,GAAG,mBAAmB,IAAI,QAAQ,GAAG,mBAAmB,EAAE,CAAC;QACrE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,GAAG,4CAA4C,mBAAmB,GAAG,EAChF,QAAQ,EACR,sEAAsE;YACpE,kEAAkE,CACrE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,cAAc;IACd,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,GAAG,6BAA6B,UAAU,kBAAkB,KAAK,EAAE,GAAG,OAAO,KAAK,EAAE,GAAG,GAAG,EACrG,QAAQ,EACR,0BAA0B,KAAK,EAAE,GAAG,OAAO,KAAK,EAAE,GAAG,QAAQ,UAAU,GAAG,CAC3E,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CACrB,IAAkC,EAClC,GAAiB,EACS,EAAE;IAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,mFAAmF;IACnF,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IAEjE,wCAAwC;IACxC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,YAAY,CACxB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,GAAG,EACb,UAAU,EACV,GAAG,EACH,SAAS,CAAC,UAAU,IAAI,QAAQ,CACjC,CAAC;QACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,6CAA6C;YAC7C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mEAAmE;IACnE,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,OAAO,IAAI,SAAS,CAAC;QAExC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;YACD,4DAA4D;YAC5D,IAAI,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;gBACjD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;YACD,0CAA0C;YAC1C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kBAAkB,SAAS,CAAC,IAAI,UAAU,UAAU,OAAO,UAAU,EAAE,EACvE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,aAAa,SAAS,CAAC,IAAI,kBAAkB,UAAU,IAAI;gBACzD,kDAAkD,CACrD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,2EAA2E;QAC3E,MAAM,SAAS,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,IACE,SAAS,KAAK,UAAU;gBACxB,oBAAoB,CAAC,SAAS,EAAE,UAAU,CAAC,EAC3C,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8BAA8B,SAAS,CAAC,IAAI,QAAQ,UAAU,EAAE,EAChE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,eAAe,SAAS,CAAC,IAAI,8BAA8B;YACzD,kBAAkB,SAAS,CAAC,IAAI,OAAO,UAAU,oBAAoB;YACrE,yCAAyC,UAAU,UAAU,CAChE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iDAAiD;IACjD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEzD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,QAAQ;wBACR,SAAS;qBACV;iBACF,CAAC;YACJ,CAAC;YACD,2CAA2C;YAC3C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,cAAc,UAAU,SAAS,UAAU,EAAE,EACnG,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,uBAAuB,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,MAAM,UAAU,IAAI;gBACpF,oBAAoB,UAAU,mBAAmB,CACpD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,iCAAiC;QACjC,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kDAAkD,UAAU,EAAE,EAC9D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,kDAAkD;YAChD,+CAA+C,CAClD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,IACE,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG,EAC1B,CAAC;YACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC5D,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,WAAW;qBACZ;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iDAAiD,UAAU,EAAE,EAC7D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,2DAA2D;YACzD,8CAA8C,CACjD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iEAAiE;IACjE,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzE,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE;aAC1D,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oCAAoC,UAAU,EAAE,EAChD,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,oDAAoD,CACrD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,UAAU,GACd,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;gBACxC,OAAO,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAC3C,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ;gBAC3B,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,QAAQ,GACZ,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ;gBACpC,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpB,CAAC,CAAC,UAAU,CAAC;YACjB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE;oBACN,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,UAAU,EAAE,UAAU;iBACvB;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,6BAA6B,UAAU,EAAE,EACzC,QAAQ,EACR,uBAAuB,SAAS,CAAC,IAAI,iCAAiC,UAAU,IAAI;QAClF,mFAAmF;QACnF,yDAAyD,CAC5D,CACF,CAAC;IACF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAAkB,EAClB,GAAiB,EACH,EAAE;IAChB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,cAAc,CAC1B,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,EACvC,GAAG,CACJ,CAAC;YACF,4EAA4E;YAC5E,uFAAuF;YACvF,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,cAAc;gBAC1B,KAAK;aACN,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,mFAAmF;YACnF,oFAAoF;YACpF,8EAA8E;YAC9E,gFAAgF;YAChF,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBAC3C,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAC/B,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAChC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,EACrC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,sDAAsD;YACtD,kFAAkF;YAClF,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,WAAW,GAAG,OAAO,IAAI,SAAS,CAAC;YAEzC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,yDAAyD;gBACzD,iDAAiD;gBACjD,MAAM,YAAY,GAChB,WAAW,KAAK,OAAO;oBACrB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;oBAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;gBAC5D,OAAO;oBACL,GAAG,IAAI;oBACP,YAAY;iBACb,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CACxD;aACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAC1B,OAAO;4BACL,GAAG,CAAC;4BACJ,GAAG,EACD,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;gCACvB,CAAC,CAAC,CAAC,CAAC,GAAG;gCACP,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC;4BACnC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC;yBACvC,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC;qBACjD,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QAEJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAE1D,6EAA6E;YAC7E,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;gBAClC,GAAG;gBACH,GAAG;gBACH,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,KAAK;gBACL,KAAK;aACN,CAAC,CAAC;YAEH,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3C,0DAA0D;gBAC1D,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,cAAc;iBACtB,CAAC;YACJ,CAAC;YAED,+EAA+E;YAC/E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;YAExD,kEAAkE;YAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC5D,iDAAiD;gBACjD,MAAM,YAAY,GAChB,UAAU,KAAK,OAAO;oBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;oBAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBAC3D,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,cAAc;oBACrB,YAAY;iBACb,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,cAAc;aACtB,CAAC;QACJ,CAAC;QAED,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aACpD,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC/C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;aAClD,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;oBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;oBAChC,CAAC,CAAC,IAAI,CAAC,IAAI;oBACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,eAAe,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC5D,MAAM,iBAAiB,GACrB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;gBACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAE5C,+EAA+E;YAC/E,6DAA6D;YAC7D,iFAAiF;YACjF,gEAAgE;YAChE,+EAA+E;YAE/E,gFAAgF;YAChF,uFAAuF;YACvF,IAAI,OAAO,iBAAiB,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;gBAEnC,yDAAyD;gBACzD,sFAAsF;gBACtF,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzD,iCAAiC;oBACjC,MAAM,UAAU,GAAG,eAAe,CAAC,YAAY,CAAC;oBAChD,MAAM,QAAQ,GAAG,UAAU;wBACzB,CAAC,CAAC,mBAAmB,UAAU,CAAC,IAAI,EAAE;4BACpC,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;gCAClC,CAAC,CAAC,UAAU,UAAU,CAAC,IAAI,qBAAqB,UAAU,CAAC,eAAe,IAAI,WAAW,EAAE;gCAC3F,CAAC,CAAC,EAAE,CAAC;wBACT,CAAC,CAAC,sBAAsB,CAAC;oBAE3B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uEAAuE,UAAU,IAAI,WAAW,KAAK,QAAQ,GAAG,EAChH,IAAI,CAAC,UAAU;wBACb,iBAAiB,CAAC,UAAU;wBAC5B,cAAc,CAAC,GAAG,CAAC,EACrB,qFAAqF;wBACnF,2DAA2D,CAC9D,CACF,CAAC;oBACF,kEAAkE;oBAClE,OAAO;wBACL,GAAG,IAAI;wBACP,MAAM,EAAE,eAAe;wBACvB,QAAQ,EAAE,iBAAiB;qBAC5B,CAAC;gBACJ,CAAC;gBAED,2BAA2B;gBAC3B,+DAA+D;gBAC/D,iDAAiD;gBACjD,wCAAwC;gBACxC,kFAAkF;gBAClF,MAAM,aAAa,GACjB,UAAU,KAAK,YAAY;oBAC3B,UAAU,KAAK,gBAAgB;oBAC/B,UAAU,KAAK,YAAY,CAAC;gBAE9B,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,SAAS,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;oBAC3D,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;wBAC1B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kCAAkC,SAAS,IAAI,SAAS,EAAE,EAC1D,iBAAiB,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACnD,6EAA6E,CAC9E,CACF,CAAC;wBACF,kEAAkE;wBAClE,OAAO;4BACL,GAAG,IAAI;4BACP,MAAM,EAAE,eAAe;4BACvB,QAAQ,EAAE,iBAAiB;yBAC5B,CAAC;oBACJ,CAAC;oBAED,sEAAsE;oBACtE,qFAAqF;oBACrF,6DAA6D;oBAC7D,MAAM,iBAAiB,GAAG;wBACxB,GAAG,iBAAiB;wBACpB,YAAY,EAAE;4BACZ,IAAI,EAAE,eAAwB;4BAC9B,IAAI,EAAE,KAAc;yBACrB;qBACF,CAAC;oBACF,OAAO;wBACL,GAAG,IAAI;wBACP,MAAM,EAAE,eAAe;wBACvB,QAAQ,EAAE,iBAAiB;qBAC5B,CAAC;gBACJ,CAAC;gBAED,4EAA4E;gBAC5E,iFAAiF;YACnF,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe;gBACvB,QAAQ,EAAE,iBAAiB;aAC5B,CAAC;QACJ,CAAC;QAED,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAChE,CAAC;QAEJ,KAAK,KAAK;YACR,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAChE,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACxC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aACpE,CAAC;QAEJ,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,uDAAuD;YACvD,MAAM,QAAQ,GAAiB;gBAC7B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBACjC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;oBACvC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;aAC7C,CAAC;QACJ,CAAC;QAED,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,4DAA4D;YAC5D,MAAM,OAAO,GAAiB;gBAC5B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBAChE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;aAC3C,CAAC;QACJ,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAO,EACP,GAAiB,EACd,EAAE;IACL,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,qBAAqB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACxD,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW;oBACjC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;oBACvC,CAAC,CAAC,SAAS,CAAC;gBAEd,mEAAmE;gBACnE,iBAAiB;gBACjB,+CAA+C;gBAC/C,qDAAqD;gBACrD,+DAA+D;gBAC/D,0CAA0C;gBAC1C,oFAAoF;gBACpF,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,qFAAqF;oBACrF,6EAA6E;oBAC7E,2EAA2E;oBAC3E,MAAM,YAAY,GAAG,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACpD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;wBAC/B,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACrD,CAAC;yBAAM,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;wBACvC,4CAA4C;wBAC5C,IACE,aAAa,CAAC,IAAI,KAAK,kBAAkB;4BACzC,aAAa,CAAC,KAAK,KAAK,SAAS,EACjC,CAAC;4BACD,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBACjE,CAAC;6BAAM,CAAC;4BACN,+DAA+D;4BAC/D,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;4BAC1D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gCAC/B,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;4BACrD,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO;oBACL,GAAG,CAAC;oBACJ,WAAW,EAAE,aAAa;iBAC3B,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,qBAAqB,EAAO,CAAC;QAC/D,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAiB;gBAC7B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;aACvC,CAAC;QACT,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC7C,MAAM,SAAS,GAAiB;wBAC9B,GAAG,GAAG;wBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;wBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;qBAC9C,CAAC;oBACF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;wBACjC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;4BAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;4BACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gCAC9B,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;4BAClE,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC7D,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBACtD,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAClD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvD,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAO,CAAC;QACrD,CAAC;QAED,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;gBACxD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBAC3C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC/C,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;wBACzC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;oBAC5C,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;oBACxC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBACrE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;oBACzD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;iBAC9D,CAAC,CAAC;aACC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC9C,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;qBACnD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAC5D,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;aACjE,CAAC;QAET,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAsB,EAAE;IAC7D,MAAM,GAAG,GAAiB;QACxB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,gBAAgB,EAAE,IAAI,GAAG,EAAE;KAC5B,CAAC;IAEF,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAE7E,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;QACxE,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,OAAO,EAAE,GAAG,GAAG,EAAE,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChC,MAAM,EAAE;YACN,GAAG,MAAM;YACT,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,gBAAgB;SAC1B;QACD,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAA4B,EAK5B,EAAE;IACF,MAAM,gBAAgB,GAAe,EAAE,CAAC;IACxC,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC;QAC/B,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,cAAc;KAC5B,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Rest Type Synthesis Pass
|
|
3
|
+
*
|
|
4
|
+
* Computes and attaches rest type information to object destructuring patterns.
|
|
5
|
+
* For a pattern like `const { a, b, ...rest } = obj`, this pass:
|
|
6
|
+
* 1. Determines what properties `rest` will contain (all of obj's properties minus a and b)
|
|
7
|
+
* 2. Creates a synthetic type name for the rest object
|
|
8
|
+
* 3. Attaches this info to the pattern for the emitter
|
|
9
|
+
*
|
|
10
|
+
* This pass runs BEFORE soundness validation and emitting.
|
|
11
|
+
*/
|
|
12
|
+
import { IrModule } from "../types.js";
|
|
13
|
+
/**
|
|
14
|
+
* Result of rest type synthesis pass
|
|
15
|
+
*/
|
|
16
|
+
export type RestTypeSynthesisResult = {
|
|
17
|
+
readonly ok: boolean;
|
|
18
|
+
readonly modules: readonly IrModule[];
|
|
19
|
+
};
|
|
20
|
+
/**
|
|
21
|
+
* Run the rest type synthesis pass on a set of modules
|
|
22
|
+
*/
|
|
23
|
+
export declare const runRestTypeSynthesisPass: (modules: readonly IrModule[]) => RestTypeSynthesisResult;
|
|
24
|
+
//# sourceMappingURL=rest-type-synthesis-pass.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rest-type-synthesis-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/rest-type-synthesis-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EACL,QAAQ,EAeT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AAygBF;;GAEG;AACH,eAAO,MAAM,wBAAwB,GACnC,SAAS,SAAS,QAAQ,EAAE,KAC3B,uBAMF,CAAC"}
|
|
@@ -0,0 +1,417 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Rest Type Synthesis Pass
|
|
3
|
+
*
|
|
4
|
+
* Computes and attaches rest type information to object destructuring patterns.
|
|
5
|
+
* For a pattern like `const { a, b, ...rest } = obj`, this pass:
|
|
6
|
+
* 1. Determines what properties `rest` will contain (all of obj's properties minus a and b)
|
|
7
|
+
* 2. Creates a synthetic type name for the rest object
|
|
8
|
+
* 3. Attaches this info to the pattern for the emitter
|
|
9
|
+
*
|
|
10
|
+
* This pass runs BEFORE soundness validation and emitting.
|
|
11
|
+
*/
|
|
12
|
+
import { createHash } from "crypto";
|
|
13
|
+
/**
|
|
14
|
+
* Create a fresh synthesis context for a module
|
|
15
|
+
*/
|
|
16
|
+
const createContext = (moduleFilePath) => ({
|
|
17
|
+
generatedDeclarations: [],
|
|
18
|
+
shapeToName: new Map(),
|
|
19
|
+
moduleFilePath,
|
|
20
|
+
});
|
|
21
|
+
/**
|
|
22
|
+
* Generate a short hash from module path
|
|
23
|
+
*/
|
|
24
|
+
const generateModuleHash = (filePath) => {
|
|
25
|
+
return createHash("md5").update(filePath).digest("hex").slice(0, 4);
|
|
26
|
+
};
|
|
27
|
+
/**
|
|
28
|
+
* Compute shape signature for rest members
|
|
29
|
+
*/
|
|
30
|
+
const computeRestSignature = (members) => {
|
|
31
|
+
const sorted = [...members]
|
|
32
|
+
.map((m) => {
|
|
33
|
+
if (m.kind === "propertySignature") {
|
|
34
|
+
return `${m.name}:${m.type.kind}`;
|
|
35
|
+
}
|
|
36
|
+
return `method:${m.name}`;
|
|
37
|
+
})
|
|
38
|
+
.sort()
|
|
39
|
+
.join(";");
|
|
40
|
+
return `rest:{${sorted}}`;
|
|
41
|
+
};
|
|
42
|
+
/**
|
|
43
|
+
* Generate a short hash from shape signature
|
|
44
|
+
*/
|
|
45
|
+
const generateShapeHash = (signature) => {
|
|
46
|
+
return createHash("md5").update(signature).digest("hex").slice(0, 8);
|
|
47
|
+
};
|
|
48
|
+
/**
|
|
49
|
+
* Convert interface members to class property declarations
|
|
50
|
+
*/
|
|
51
|
+
const membersToClassMembers = (members) => {
|
|
52
|
+
return members
|
|
53
|
+
.filter((m) => m.kind === "propertySignature")
|
|
54
|
+
.map((m) => ({
|
|
55
|
+
kind: "propertyDeclaration",
|
|
56
|
+
name: m.name,
|
|
57
|
+
type: m.type,
|
|
58
|
+
initializer: undefined,
|
|
59
|
+
isStatic: false,
|
|
60
|
+
isReadonly: m.isReadonly ?? false,
|
|
61
|
+
accessibility: "public",
|
|
62
|
+
isRequired: !m.isOptional,
|
|
63
|
+
}));
|
|
64
|
+
};
|
|
65
|
+
/**
|
|
66
|
+
* Get or create a generated type name for rest members
|
|
67
|
+
*/
|
|
68
|
+
const getOrCreateRestTypeName = (members, ctx) => {
|
|
69
|
+
const signature = computeRestSignature(members);
|
|
70
|
+
const existing = ctx.shapeToName.get(signature);
|
|
71
|
+
if (existing) {
|
|
72
|
+
return existing;
|
|
73
|
+
}
|
|
74
|
+
const moduleHash = generateModuleHash(ctx.moduleFilePath);
|
|
75
|
+
const shapeHash = generateShapeHash(signature);
|
|
76
|
+
const name = `__Rest_${moduleHash}_${shapeHash}`;
|
|
77
|
+
ctx.shapeToName.set(signature, name);
|
|
78
|
+
// Create a class declaration for the rest type
|
|
79
|
+
const declaration = {
|
|
80
|
+
kind: "classDeclaration",
|
|
81
|
+
name,
|
|
82
|
+
typeParameters: undefined,
|
|
83
|
+
superClass: undefined,
|
|
84
|
+
implements: [],
|
|
85
|
+
members: membersToClassMembers(members),
|
|
86
|
+
isExported: true,
|
|
87
|
+
isStruct: false,
|
|
88
|
+
};
|
|
89
|
+
ctx.generatedDeclarations.push(declaration);
|
|
90
|
+
return name;
|
|
91
|
+
};
|
|
92
|
+
/**
|
|
93
|
+
* Extract property signatures from a type
|
|
94
|
+
* Works for object types, reference types (resolved to interface), etc.
|
|
95
|
+
*/
|
|
96
|
+
const extractMembers = (type) => {
|
|
97
|
+
switch (type.kind) {
|
|
98
|
+
case "objectType":
|
|
99
|
+
return type.members;
|
|
100
|
+
case "referenceType":
|
|
101
|
+
// For reference types, we'd need to resolve to the actual interface
|
|
102
|
+
// For now, check if structuralMembers is available
|
|
103
|
+
return type.structuralMembers;
|
|
104
|
+
default:
|
|
105
|
+
return undefined;
|
|
106
|
+
}
|
|
107
|
+
};
|
|
108
|
+
/**
|
|
109
|
+
* Compute rest members by removing picked keys from source members
|
|
110
|
+
*/
|
|
111
|
+
const computeRestMembers = (sourceMembers, pickedKeys) => {
|
|
112
|
+
const pickedSet = new Set(pickedKeys);
|
|
113
|
+
return sourceMembers.filter((m) => {
|
|
114
|
+
if (m.kind === "propertySignature") {
|
|
115
|
+
return !pickedSet.has(m.name);
|
|
116
|
+
}
|
|
117
|
+
if (m.kind === "methodSignature") {
|
|
118
|
+
return !pickedSet.has(m.name);
|
|
119
|
+
}
|
|
120
|
+
return true;
|
|
121
|
+
});
|
|
122
|
+
};
|
|
123
|
+
/**
|
|
124
|
+
* Get picked keys from object pattern properties (non-rest properties)
|
|
125
|
+
*/
|
|
126
|
+
const getPickedKeys = (properties) => {
|
|
127
|
+
return properties
|
|
128
|
+
.filter((p) => p.kind === "property")
|
|
129
|
+
.map((p) => p.key);
|
|
130
|
+
};
|
|
131
|
+
/**
|
|
132
|
+
* Synthesize rest type info for an object pattern
|
|
133
|
+
*/
|
|
134
|
+
const synthesizeObjectPattern = (pattern, rhsType, ctx) => {
|
|
135
|
+
// Find if there's a rest property
|
|
136
|
+
const restProp = pattern.properties.find((p) => p.kind === "rest");
|
|
137
|
+
if (!restProp) {
|
|
138
|
+
// No rest property, just recursively process nested patterns
|
|
139
|
+
return {
|
|
140
|
+
...pattern,
|
|
141
|
+
properties: pattern.properties.map((p) => {
|
|
142
|
+
if (p.kind === "property" && p.value.kind === "objectPattern") {
|
|
143
|
+
// Would need RHS type drilling - skip for now
|
|
144
|
+
return p;
|
|
145
|
+
}
|
|
146
|
+
return p;
|
|
147
|
+
}),
|
|
148
|
+
};
|
|
149
|
+
}
|
|
150
|
+
// We have a rest property, compute its type
|
|
151
|
+
if (!rhsType) {
|
|
152
|
+
// No type info available, can't synthesize
|
|
153
|
+
return pattern;
|
|
154
|
+
}
|
|
155
|
+
const sourceMembers = extractMembers(rhsType);
|
|
156
|
+
if (!sourceMembers || sourceMembers.length === 0) {
|
|
157
|
+
// Can't determine source members
|
|
158
|
+
return pattern;
|
|
159
|
+
}
|
|
160
|
+
const pickedKeys = getPickedKeys(pattern.properties);
|
|
161
|
+
const restMembers = computeRestMembers(sourceMembers, pickedKeys);
|
|
162
|
+
if (restMembers.length === 0) {
|
|
163
|
+
// Rest is empty - could use empty object
|
|
164
|
+
return pattern;
|
|
165
|
+
}
|
|
166
|
+
// Generate or reuse a type name for the rest shape
|
|
167
|
+
const restTypeName = getOrCreateRestTypeName(restMembers, ctx);
|
|
168
|
+
// Update the rest property with shape info
|
|
169
|
+
const updatedProperties = pattern.properties.map((p) => {
|
|
170
|
+
if (p.kind === "rest") {
|
|
171
|
+
return {
|
|
172
|
+
...p,
|
|
173
|
+
restShapeMembers: restMembers,
|
|
174
|
+
restSynthTypeName: restTypeName,
|
|
175
|
+
};
|
|
176
|
+
}
|
|
177
|
+
return p;
|
|
178
|
+
});
|
|
179
|
+
return {
|
|
180
|
+
...pattern,
|
|
181
|
+
properties: updatedProperties,
|
|
182
|
+
};
|
|
183
|
+
};
|
|
184
|
+
/**
|
|
185
|
+
* Synthesize rest types in a pattern, given the RHS type
|
|
186
|
+
*/
|
|
187
|
+
const synthesizePattern = (pattern, rhsType, ctx) => {
|
|
188
|
+
switch (pattern.kind) {
|
|
189
|
+
case "identifierPattern":
|
|
190
|
+
return pattern;
|
|
191
|
+
case "objectPattern":
|
|
192
|
+
return synthesizeObjectPattern(pattern, rhsType, ctx);
|
|
193
|
+
case "arrayPattern":
|
|
194
|
+
// Array patterns don't need rest type synthesis
|
|
195
|
+
// (rest is just slicing the array, no new type needed)
|
|
196
|
+
return pattern;
|
|
197
|
+
default:
|
|
198
|
+
return pattern;
|
|
199
|
+
}
|
|
200
|
+
};
|
|
201
|
+
/**
|
|
202
|
+
* Process a variable declarator to synthesize rest types
|
|
203
|
+
*/
|
|
204
|
+
const processDeclarator = (decl, ctx) => {
|
|
205
|
+
if (decl.name.kind === "identifierPattern") {
|
|
206
|
+
// Simple variable, no destructuring
|
|
207
|
+
return decl;
|
|
208
|
+
}
|
|
209
|
+
// Get the RHS type - either from annotation or inferred
|
|
210
|
+
const rhsType = decl.type ?? decl.initializer?.inferredType;
|
|
211
|
+
const synthesizedPattern = synthesizePattern(decl.name, rhsType, ctx);
|
|
212
|
+
if (synthesizedPattern === decl.name) {
|
|
213
|
+
return decl;
|
|
214
|
+
}
|
|
215
|
+
return {
|
|
216
|
+
...decl,
|
|
217
|
+
name: synthesizedPattern,
|
|
218
|
+
};
|
|
219
|
+
};
|
|
220
|
+
/**
|
|
221
|
+
* Process a statement to synthesize rest types
|
|
222
|
+
*/
|
|
223
|
+
const processStatement = (stmt, ctx) => {
|
|
224
|
+
switch (stmt.kind) {
|
|
225
|
+
case "variableDeclaration": {
|
|
226
|
+
const updatedDecls = stmt.declarations.map((d) => processDeclarator(d, ctx));
|
|
227
|
+
const hasChanges = updatedDecls.some((d, i) => d !== stmt.declarations[i]);
|
|
228
|
+
if (!hasChanges) {
|
|
229
|
+
return stmt;
|
|
230
|
+
}
|
|
231
|
+
return {
|
|
232
|
+
...stmt,
|
|
233
|
+
declarations: updatedDecls,
|
|
234
|
+
};
|
|
235
|
+
}
|
|
236
|
+
case "functionDeclaration": {
|
|
237
|
+
// Process function body and parameters
|
|
238
|
+
const bodyStmts = stmt.body.statements.map((s) => processStatement(s, ctx));
|
|
239
|
+
const hasBodyChanges = bodyStmts.some((s, i) => s !== stmt.body.statements[i]);
|
|
240
|
+
// Process parameters for destructuring patterns
|
|
241
|
+
const params = stmt.parameters.map((p) => processParameter(p, ctx));
|
|
242
|
+
const hasParamChanges = params.some((p, i) => p !== stmt.parameters[i]);
|
|
243
|
+
if (!hasBodyChanges && !hasParamChanges) {
|
|
244
|
+
return stmt;
|
|
245
|
+
}
|
|
246
|
+
return {
|
|
247
|
+
...stmt,
|
|
248
|
+
parameters: hasParamChanges ? params : stmt.parameters,
|
|
249
|
+
body: hasBodyChanges
|
|
250
|
+
? { ...stmt.body, statements: bodyStmts }
|
|
251
|
+
: stmt.body,
|
|
252
|
+
};
|
|
253
|
+
}
|
|
254
|
+
case "classDeclaration": {
|
|
255
|
+
// Process class methods
|
|
256
|
+
const members = stmt.members.map((m) => {
|
|
257
|
+
if (m.kind === "methodDeclaration" && m.body) {
|
|
258
|
+
const bodyStmts = m.body.statements.map((s) => processStatement(s, ctx));
|
|
259
|
+
const hasChanges = bodyStmts.some((s, i) => s !== m.body?.statements[i]);
|
|
260
|
+
if (!hasChanges) {
|
|
261
|
+
return m;
|
|
262
|
+
}
|
|
263
|
+
return {
|
|
264
|
+
...m,
|
|
265
|
+
body: { ...m.body, statements: bodyStmts },
|
|
266
|
+
};
|
|
267
|
+
}
|
|
268
|
+
if (m.kind === "constructorDeclaration" && m.body) {
|
|
269
|
+
const bodyStmts = m.body.statements.map((s) => processStatement(s, ctx));
|
|
270
|
+
const hasChanges = bodyStmts.some((s, i) => s !== m.body?.statements[i]);
|
|
271
|
+
if (!hasChanges) {
|
|
272
|
+
return m;
|
|
273
|
+
}
|
|
274
|
+
return {
|
|
275
|
+
...m,
|
|
276
|
+
body: { ...m.body, statements: bodyStmts },
|
|
277
|
+
};
|
|
278
|
+
}
|
|
279
|
+
return m;
|
|
280
|
+
});
|
|
281
|
+
const hasChanges = members.some((m, i) => m !== stmt.members[i]);
|
|
282
|
+
if (!hasChanges) {
|
|
283
|
+
return stmt;
|
|
284
|
+
}
|
|
285
|
+
return { ...stmt, members };
|
|
286
|
+
}
|
|
287
|
+
case "ifStatement": {
|
|
288
|
+
const thenStatement = processStatement(stmt.thenStatement, ctx);
|
|
289
|
+
const elseStatement = stmt.elseStatement
|
|
290
|
+
? processStatement(stmt.elseStatement, ctx)
|
|
291
|
+
: undefined;
|
|
292
|
+
if (thenStatement === stmt.thenStatement &&
|
|
293
|
+
elseStatement === stmt.elseStatement) {
|
|
294
|
+
return stmt;
|
|
295
|
+
}
|
|
296
|
+
return { ...stmt, thenStatement, elseStatement };
|
|
297
|
+
}
|
|
298
|
+
case "whileStatement": {
|
|
299
|
+
const body = processStatement(stmt.body, ctx);
|
|
300
|
+
if (body === stmt.body) {
|
|
301
|
+
return stmt;
|
|
302
|
+
}
|
|
303
|
+
return { ...stmt, body };
|
|
304
|
+
}
|
|
305
|
+
case "forStatement": {
|
|
306
|
+
let initializer = stmt.initializer;
|
|
307
|
+
if (initializer?.kind === "variableDeclaration") {
|
|
308
|
+
initializer = processStatement(initializer, ctx);
|
|
309
|
+
}
|
|
310
|
+
const body = processStatement(stmt.body, ctx);
|
|
311
|
+
if (initializer === stmt.initializer && body === stmt.body) {
|
|
312
|
+
return stmt;
|
|
313
|
+
}
|
|
314
|
+
return { ...stmt, initializer, body };
|
|
315
|
+
}
|
|
316
|
+
case "forOfStatement": {
|
|
317
|
+
// Process the variable pattern for rest types
|
|
318
|
+
const variable = synthesizePattern(stmt.variable, stmt.expression.inferredType
|
|
319
|
+
? extractElementType(stmt.expression.inferredType)
|
|
320
|
+
: undefined, ctx);
|
|
321
|
+
const body = processStatement(stmt.body, ctx);
|
|
322
|
+
if (variable === stmt.variable && body === stmt.body) {
|
|
323
|
+
return stmt;
|
|
324
|
+
}
|
|
325
|
+
return { ...stmt, variable, body };
|
|
326
|
+
}
|
|
327
|
+
case "blockStatement": {
|
|
328
|
+
const statements = stmt.statements.map((s) => processStatement(s, ctx));
|
|
329
|
+
const hasChanges = statements.some((s, i) => s !== stmt.statements[i]);
|
|
330
|
+
if (!hasChanges) {
|
|
331
|
+
return stmt;
|
|
332
|
+
}
|
|
333
|
+
return { ...stmt, statements };
|
|
334
|
+
}
|
|
335
|
+
case "tryStatement": {
|
|
336
|
+
const tryBlock = {
|
|
337
|
+
...stmt.tryBlock,
|
|
338
|
+
statements: stmt.tryBlock.statements.map((s) => processStatement(s, ctx)),
|
|
339
|
+
};
|
|
340
|
+
const catchClause = stmt.catchClause
|
|
341
|
+
? {
|
|
342
|
+
...stmt.catchClause,
|
|
343
|
+
body: {
|
|
344
|
+
...stmt.catchClause.body,
|
|
345
|
+
statements: stmt.catchClause.body.statements.map((s) => processStatement(s, ctx)),
|
|
346
|
+
},
|
|
347
|
+
}
|
|
348
|
+
: undefined;
|
|
349
|
+
const finallyBlock = stmt.finallyBlock
|
|
350
|
+
? {
|
|
351
|
+
...stmt.finallyBlock,
|
|
352
|
+
statements: stmt.finallyBlock.statements.map((s) => processStatement(s, ctx)),
|
|
353
|
+
}
|
|
354
|
+
: undefined;
|
|
355
|
+
return { ...stmt, tryBlock, catchClause, finallyBlock };
|
|
356
|
+
}
|
|
357
|
+
default:
|
|
358
|
+
return stmt;
|
|
359
|
+
}
|
|
360
|
+
};
|
|
361
|
+
/**
|
|
362
|
+
* Process a parameter for destructuring patterns
|
|
363
|
+
*/
|
|
364
|
+
const processParameter = (param, ctx) => {
|
|
365
|
+
if (param.pattern.kind === "identifierPattern") {
|
|
366
|
+
return param;
|
|
367
|
+
}
|
|
368
|
+
const synthesizedPattern = synthesizePattern(param.pattern, param.type, ctx);
|
|
369
|
+
if (synthesizedPattern === param.pattern) {
|
|
370
|
+
return param;
|
|
371
|
+
}
|
|
372
|
+
return {
|
|
373
|
+
...param,
|
|
374
|
+
pattern: synthesizedPattern,
|
|
375
|
+
};
|
|
376
|
+
};
|
|
377
|
+
/**
|
|
378
|
+
* Extract element type from array/iterable type
|
|
379
|
+
*/
|
|
380
|
+
const extractElementType = (type) => {
|
|
381
|
+
if (type.kind === "arrayType") {
|
|
382
|
+
return type.elementType;
|
|
383
|
+
}
|
|
384
|
+
// Could handle other iterables here
|
|
385
|
+
return undefined;
|
|
386
|
+
};
|
|
387
|
+
/**
|
|
388
|
+
* Process a module to synthesize rest types
|
|
389
|
+
*/
|
|
390
|
+
const processModule = (module) => {
|
|
391
|
+
const ctx = createContext(module.filePath);
|
|
392
|
+
const body = module.body.map((s) => processStatement(s, ctx));
|
|
393
|
+
const hasChanges = body.some((s, i) => s !== module.body[i]);
|
|
394
|
+
if (!hasChanges && ctx.generatedDeclarations.length === 0) {
|
|
395
|
+
return module;
|
|
396
|
+
}
|
|
397
|
+
// Prepend generated declarations to the module
|
|
398
|
+
const allStatements = [
|
|
399
|
+
...ctx.generatedDeclarations,
|
|
400
|
+
...(hasChanges ? body : module.body),
|
|
401
|
+
];
|
|
402
|
+
return {
|
|
403
|
+
...module,
|
|
404
|
+
body: allStatements,
|
|
405
|
+
};
|
|
406
|
+
};
|
|
407
|
+
/**
|
|
408
|
+
* Run the rest type synthesis pass on a set of modules
|
|
409
|
+
*/
|
|
410
|
+
export const runRestTypeSynthesisPass = (modules) => {
|
|
411
|
+
const processedModules = modules.map(processModule);
|
|
412
|
+
return {
|
|
413
|
+
ok: true,
|
|
414
|
+
modules: processedModules,
|
|
415
|
+
};
|
|
416
|
+
};
|
|
417
|
+
//# sourceMappingURL=rest-type-synthesis-pass.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rest-type-synthesis-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/rest-type-synthesis-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAuCpC;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,cAAsB,EAAoB,EAAE,CAAC,CAAC;IACnE,qBAAqB,EAAE,EAAE;IACzB,WAAW,EAAE,IAAI,GAAG,EAAE;IACtB,cAAc;CACf,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,QAAgB,EAAU,EAAE;IACtD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,OAAqC,EAC7B,EAAE;IACV,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACpC,CAAC;QACD,OAAO,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC,CAAC;SACD,IAAI,EAAE;SACN,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,OAAO,SAAS,MAAM,GAAG,CAAC;AAC5B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,SAAiB,EAAU,EAAE;IACtD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAC5B,OAAqC,EACX,EAAE;IAC5B,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,CAAC,EAA4B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;SACvE,GAAG,CACF,CAAC,CAAC,EAAyB,EAAE,CAAC,CAAC;QAC7B,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;QACjC,aAAa,EAAE,QAAQ;QACvB,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU;KAC1B,CAAC,CACH,CAAC;AACN,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,uBAAuB,GAAG,CAC9B,OAAqC,EACrC,GAAqB,EACb,EAAE;IACV,MAAM,SAAS,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,UAAU,IAAI,SAAS,EAAE,CAAC;IACjD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAErC,+CAA+C;IAC/C,MAAM,WAAW,GAAuB;QACtC,IAAI,EAAE,kBAAkB;QACxB,IAAI;QACJ,cAAc,EAAE,SAAS;QACzB,UAAU,EAAE,SAAS;QACrB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,qBAAqB,CAAC,OAAO,CAAC;QACvC,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,KAAK;KAChB,CAAC;IAEF,GAAG,CAAC,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CACrB,IAAY,EAC8B,EAAE;IAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,KAAK,eAAe;YAClB,oEAAoE;YACpE,mDAAmD;YACnD,OAAO,IAAI,CAAC,iBAAiB,CAAC;QAChC;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,kBAAkB,GAAG,CACzB,aAA2C,EAC3C,UAA6B,EACC,EAAE;IAChC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACtC,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACjC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CACpB,UAA8C,EAC3B,EAAE;IACrB,OAAO,UAAU;SACd,MAAM,CACL,CAAC,CAAC,EAAgD,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAC3E;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,uBAAuB,GAAG,CAC9B,OAAwB,EACxB,OAA2B,EAC3B,GAAqB,EACJ,EAAE;IACnB,kCAAkC;IAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACnE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,6DAA6D;QAC7D,OAAO;YACL,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACvC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBAC9D,8CAA8C;oBAC9C,OAAO,CAAC,CAAC;gBACX,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IAED,4CAA4C;IAC5C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,2CAA2C;QAC3C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,iCAAiC;QACjC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,kBAAkB,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAElE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,yCAAyC;QACzC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,mDAAmD;IACnD,MAAM,YAAY,GAAG,uBAAuB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAE/D,2CAA2C;IAC3C,MAAM,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,OAAO;gBACL,GAAG,CAAC;gBACJ,gBAAgB,EAAE,WAAW;gBAC7B,iBAAiB,EAAE,YAAY;aAChC,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,OAAO;QACV,UAAU,EAAE,iBAAiB;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CACxB,OAAkB,EAClB,OAA2B,EAC3B,GAAqB,EACV,EAAE;IACb,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC;QACjB,KAAK,eAAe;YAClB,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACxD,KAAK,cAAc;YACjB,gDAAgD;YAChD,uDAAuD;YACvD,OAAO,OAAO,CAAC;QACjB;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,GAAqB,EACC,EAAE;IACxB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC3C,oCAAoC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wDAAwD;IACxD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC;IAE5D,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACtE,IAAI,kBAAkB,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,kBAAkB;KACzB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAiB,EACjB,GAAqB,EACR,EAAE;IACf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAC1B,CAAC;YACF,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CACrC,CAAC;YACF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,YAAY;aAC3B,CAAC;QACJ,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,uCAAuC;YACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB,CAAC;YACF,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CACxC,CAAC;YAEF,gDAAgD;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACpE,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAExE,IAAI,CAAC,cAAc,IAAI,CAAC,eAAe,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;gBACtD,IAAI,EAAE,cAAc;oBAClB,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE;oBACzC,CAAC,CAAC,IAAI,CAAC,IAAI;aACd,CAAC;QACJ,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,wBAAwB;YACxB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC7C,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB,CAAC;oBACF,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CACtC,CAAC;oBACF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,OAAO,CAAC,CAAC;oBACX,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAsB;qBAC/D,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAClD,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB,CAAC;oBACF,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CACtC,CAAC;oBACF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,OAAO,CAAC,CAAC;oBACX,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAsB;qBAC/D,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC;QAC9B,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAChE,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa;gBACtC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;gBAC3C,CAAC,CAAC,SAAS,CAAC;YACd,IACE,aAAa,KAAK,IAAI,CAAC,aAAa;gBACpC,aAAa,KAAK,IAAI,CAAC,aAAa,EACpC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;QACnD,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC;QAC3B,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YACnC,IAAI,WAAW,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAChD,WAAW,GAAG,gBAAgB,CAC5B,WAAW,EACX,GAAG,CACqB,CAAC;YAC7B,CAAC;YACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,WAAW,KAAK,IAAI,CAAC,WAAW,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACxC,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,8CAA8C;YAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAChC,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,UAAU,CAAC,YAAY;gBAC1B,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;gBAClD,CAAC,CAAC,SAAS,EACb,GAAG,CACJ,CAAC;YACF,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBACrD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACrC,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACxE,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC;QACjC,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,QAAQ,GAAqB;gBACjC,GAAG,IAAI,CAAC,QAAQ;gBAChB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB;aACF,CAAC;YACF,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW;gBAClC,CAAC,CAAC;oBACE,GAAG,IAAI,CAAC,WAAW;oBACnB,IAAI,EAAE;wBACJ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI;wBACxB,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrD,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB;qBACF;iBACF;gBACH,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY;gBACpC,CAAC,CAAC;oBACE,GAAG,IAAI,CAAC,YAAY;oBACpB,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjD,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB;iBACF;gBACH,CAAC,CAAC,SAAS,CAAC;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;QAC1D,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,KAAkB,EAClB,GAAqB,EACR,EAAE;IACf,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7E,IAAI,kBAAkB,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,kBAAkB;KAC5B,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAsB,EAAE;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IACD,oCAAoC;IACpC,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAY,EAAE;IACnD,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAE3C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7D,IAAI,CAAC,UAAU,IAAI,GAAG,CAAC,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,+CAA+C;IAC/C,MAAM,aAAa,GAAG;QACpB,GAAG,GAAG,CAAC,qBAAqB;QAC5B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;KACrC,CAAC;IAEF,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,aAAa;KACpB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAA4B,EACH,EAAE;IAC3B,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACpD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,gBAAgB;KAC1B,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -16,11 +16,21 @@ export type SoundnessValidationResult = {
|
|
|
16
16
|
readonly ok: boolean;
|
|
17
17
|
readonly diagnostics: readonly Diagnostic[];
|
|
18
18
|
};
|
|
19
|
+
export type SoundnessGateOptions = {
|
|
20
|
+
/**
|
|
21
|
+
* Additional reference type names that are known to be resolvable by the emitter.
|
|
22
|
+
*
|
|
23
|
+
* This is primarily used for CLR types that can appear via inference/signatures
|
|
24
|
+
* without being explicitly imported in the current module (e.g. tsbindgen arity
|
|
25
|
+
* names like `Dictionary_2`).
|
|
26
|
+
*/
|
|
27
|
+
readonly knownReferenceTypes?: ReadonlySet<string>;
|
|
28
|
+
};
|
|
19
29
|
/**
|
|
20
30
|
* Run soundness validation on all modules
|
|
21
31
|
*
|
|
22
32
|
* This is the IR soundness gate - if any diagnostics are returned,
|
|
23
33
|
* the emitter must not run.
|
|
24
34
|
*/
|
|
25
|
-
export declare const validateIrSoundness: (modules: readonly IrModule[]) => SoundnessValidationResult;
|
|
35
|
+
export declare const validateIrSoundness: (modules: readonly IrModule[], options?: SoundnessGateOptions) => SoundnessValidationResult;
|
|
26
36
|
//# sourceMappingURL=soundness-gate.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"soundness-gate.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAQT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;
|
|
1
|
+
{"version":3,"file":"soundness-gate.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAQT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC;;;;;;OAMG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpD,CAAC;AAkuBF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,SAAS,SAAS,QAAQ,EAAE,EAC5B,UAAS,oBAAyB,KACjC,yBAaF,CAAC"}
|