@tsonic/emitter 0.0.77 → 0.0.78
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/.tsbuildinfo +1 -1
- package/dist/array.test.js +5 -1
- package/dist/array.test.js.map +1 -1
- package/dist/core/module-emitter-cases/static-containers.test.js +2 -1
- package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
- package/dist/core/semantic/array-expected-types.js +1 -1
- package/dist/core/semantic/array-expected-types.js.map +1 -1
- package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
- package/dist/core/semantic/assignment-flow.js +2 -1
- package/dist/core/semantic/assignment-flow.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.js +2 -1
- package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.js +3 -2
- package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.js +1 -1
- package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.js +8 -31
- package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
- package/dist/core/semantic/runtime-union-frame.d.ts +6 -0
- package/dist/core/semantic/runtime-union-frame.d.ts.map +1 -0
- package/dist/core/semantic/runtime-union-frame.js +130 -0
- package/dist/core/semantic/runtime-union-frame.js.map +1 -0
- package/dist/core/semantic/runtime-unions.d.ts +3 -4
- package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
- package/dist/core/semantic/runtime-unions.js +4 -129
- package/dist/core/semantic/runtime-unions.js.map +1 -1
- package/dist/core/semantic/semantic-union-members.js +1 -1
- package/dist/core/semantic/semantic-union-members.js.map +1 -1
- package/dist/core/semantic/storage-types.d.ts +3 -0
- package/dist/core/semantic/storage-types.d.ts.map +1 -1
- package/dist/core/semantic/storage-types.js +13 -2
- package/dist/core/semantic/storage-types.js.map +1 -1
- package/dist/core/semantic/surface-member-semantics.d.ts +14 -0
- package/dist/core/semantic/surface-member-semantics.d.ts.map +1 -0
- package/dist/core/semantic/surface-member-semantics.js +41 -0
- package/dist/core/semantic/surface-member-semantics.js.map +1 -0
- package/dist/core/semantic/ternary-guards.d.ts +1 -1
- package/dist/core/semantic/ternary-guards.d.ts.map +1 -1
- package/dist/core/semantic/ternary-guards.js +2 -1
- package/dist/core/semantic/ternary-guards.js.map +1 -1
- package/dist/core/semantic/typeof-comparison.d.ts +14 -0
- package/dist/core/semantic/typeof-comparison.d.ts.map +1 -0
- package/dist/core/semantic/typeof-comparison.js +47 -0
- package/dist/core/semantic/typeof-comparison.js.map +1 -0
- package/dist/core/semantic/union-semantics.js +1 -1
- package/dist/core/semantic/union-semantics.js.map +1 -1
- package/dist/emitter-types/context.d.ts.map +1 -1
- package/dist/emitter-types/context.js +1 -0
- package/dist/emitter-types/context.js.map +1 -1
- package/dist/expressions/access-binding.d.ts.map +1 -1
- package/dist/expressions/access-binding.js +18 -32
- package/dist/expressions/access-binding.js.map +1 -1
- package/dist/expressions/access-computed.d.ts.map +1 -1
- package/dist/expressions/access-computed.js +3 -7
- package/dist/expressions/access-computed.js.map +1 -1
- package/dist/expressions/access-function-length.d.ts +13 -0
- package/dist/expressions/access-function-length.d.ts.map +1 -0
- package/dist/expressions/access-function-length.js +115 -0
- package/dist/expressions/access-function-length.js.map +1 -0
- package/dist/expressions/access-length.d.ts +2 -4
- package/dist/expressions/access-length.d.ts.map +1 -1
- package/dist/expressions/access-length.js +7 -23
- package/dist/expressions/access-length.js.map +1 -1
- package/dist/expressions/access-length.test.js +17 -0
- package/dist/expressions/access-length.test.js.map +1 -1
- package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
- package/dist/expressions/access-resolution-receivers.js +10 -12
- package/dist/expressions/access-resolution-receivers.js.map +1 -1
- package/dist/expressions/access.d.ts.map +1 -1
- package/dist/expressions/access.js +7 -19
- package/dist/expressions/access.js.map +1 -1
- package/dist/expressions/architecture-invariants.test.js +94 -0
- package/dist/expressions/architecture-invariants.test.js.map +1 -1
- package/dist/expressions/awaitable-adaptation.d.ts +15 -0
- package/dist/expressions/awaitable-adaptation.d.ts.map +1 -0
- package/dist/expressions/awaitable-adaptation.js +174 -0
- package/dist/expressions/awaitable-adaptation.js.map +1 -0
- package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.js +20 -2
- package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
- package/dist/expressions/calls/call-arguments-helpers.js +2 -2
- package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
- package/dist/expressions/calls/call-array-interop.d.ts +1 -1
- package/dist/expressions/calls/call-array-interop.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-interop.js +1 -1
- package/dist/expressions/calls/call-array-interop.js.map +1 -1
- package/dist/expressions/calls/call-array-mutation.d.ts +0 -1
- package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-mutation.js +5 -7
- package/dist/expressions/calls/call-array-mutation.js.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.js +3 -8
- package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
- package/dist/expressions/expected-type-adaptation.js +15 -1
- package/dist/expressions/expected-type-adaptation.js.map +1 -1
- package/dist/expressions/identifier-storage/broad-storage-target.d.ts +4 -0
- package/dist/expressions/identifier-storage/broad-storage-target.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/broad-storage-target.js +26 -0
- package/dist/expressions/identifier-storage/broad-storage-target.js.map +1 -0
- package/dist/expressions/identifier-storage/implicit-storage.d.ts +14 -0
- package/dist/expressions/identifier-storage/implicit-storage.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/implicit-storage.js +44 -0
- package/dist/expressions/identifier-storage/implicit-storage.js.map +1 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.d.ts +7 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.js +92 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.js.map +1 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts +14 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.js +168 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.js.map +1 -0
- package/dist/expressions/identifier-storage/reified-storage.d.ts +7 -0
- package/dist/expressions/identifier-storage/reified-storage.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/reified-storage.js +25 -0
- package/dist/expressions/identifier-storage/reified-storage.js.map +1 -0
- package/dist/expressions/identifier-storage/runtime-subset.d.ts +14 -0
- package/dist/expressions/identifier-storage/runtime-subset.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/runtime-subset.js +100 -0
- package/dist/expressions/identifier-storage/runtime-subset.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-compatible.d.ts +10 -0
- package/dist/expressions/identifier-storage/storage-compatible.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-compatible.js +76 -0
- package/dist/expressions/identifier-storage/storage-compatible.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-match.d.ts +4 -0
- package/dist/expressions/identifier-storage/storage-surface-match.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-match.js +95 -0
- package/dist/expressions/identifier-storage/storage-surface-match.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.d.ts +12 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.js +77 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface.d.ts +9 -0
- package/dist/expressions/identifier-storage/storage-surface.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface.js +9 -0
- package/dist/expressions/identifier-storage/storage-surface.js.map +1 -0
- package/dist/expressions/identifier-storage.d.ts +1 -47
- package/dist/expressions/identifier-storage.d.ts.map +1 -1
- package/dist/expressions/identifier-storage.js +1 -652
- package/dist/expressions/identifier-storage.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +7 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +4 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -1
- package/dist/expressions/index-cases/helpers.d.ts +1 -0
- package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
- package/dist/expressions/index-cases/helpers.js +28 -0
- package/dist/expressions/index-cases/helpers.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +18 -9
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +5 -5
- package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -1
- package/dist/expressions/lambda-body.js +3 -3
- package/dist/expressions/lambda-body.js.map +1 -1
- package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
- package/dist/expressions/operators/binary-special-ops.js +4 -30
- package/dist/expressions/operators/binary-special-ops.js.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.d.ts +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.js +13 -0
- package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
- package/dist/integration-cases/may14-downstream-contracts.test.js +372 -0
- package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -1
- package/dist/statements/classes/members/properties.d.ts.map +1 -1
- package/dist/statements/classes/members/properties.js +2 -3
- package/dist/statements/classes/members/properties.js.map +1 -1
- package/dist/statements/control/conditionals/branch-context.js +3 -3
- package/dist/statements/control/conditionals/branch-context.js.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.js +7 -32
- package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
- package/dist/statements/control/loops.js +2 -2
- package/dist/statements/control/loops.js.map +1 -1
- package/dist/types/unions.js +2 -1
- package/dist/types/unions.js.map +1 -1
- package/package.json +2 -2
- package/dist/core/semantic/js-array-surface-members.d.ts +0 -4
- package/dist/core/semantic/js-array-surface-members.d.ts.map +0 -1
- package/dist/core/semantic/js-array-surface-members.js +0 -32
- package/dist/core/semantic/js-array-surface-members.js.map +0 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"storage-types.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,gBAAgB,EAChB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAW;IAClC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,KAAa,EACb,OAAuB,EACd,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAC7B,KAAwB,EACxB,IAAY,EACZ,OAAuB,EACd,EAAE,CACX,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACzB,2BAA2B,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,mCAAmC,CACjD,IAA4C,EAC5C,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU;IAExD,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,IAAI,CAAC,KAAK,CAAC;IACjE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,uCAAuC,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAChE,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAClB,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,iBAAiB,CAAC;IACxB,IACE,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QACpC,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC;QAC1E,IAAI,sBAAsB,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,CACL,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5B,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CACvD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;IAClE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC,8CAA8C;YAC3D,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACvB,UAA2B,IAAI,OAAO,EAAU,EACxC,EAAE;IACV,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAClE,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;QAC/C,yBAAyB,EAAE,IAAI;KAChC,CAAC,CAAC;IAEH,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;gBACnD,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,mBAAmB,CAAC;QAE1B,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,qBAAqB,GAAG,iCAAiC,CAC7D,QAAQ,CAAC,WAAW,EACpB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CACpB,qBAAqB,EACrB,QAAQ,CAAC,WAAW,EACpB,OAAO,CACR;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,WAAW,EAAE,qBAAqB;iBACnC,CAAC;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,iBAAiB,GAAG,iCAAiC,CACzD,QAAQ,CAAC,OAAO,EAChB,OAAO,EACP,OAAO,CACR,CAAC;YACF,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,QAAQ,CAAC,SAAS,EAClB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;gBAClE,eAAe,CAAC,mBAAmB,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;gBACjE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,OAAO,EAAE,iBAAiB;oBAC1B,SAAS,EAAE,mBAAmB;iBAC/B,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,sBAAsB,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACvE,iCAAiC,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CACjE,CAAC;YACF,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CACzD,eAAe,CACb,WAAW,EACX,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,WAAW,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,YAAY,EAAE,sBAAsB;iBACrC,CAAC;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnE,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,MAAM,uBAAuB,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,iCAAiC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAC7D,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACtD,eAAe,CACb,OAAO,EACP,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,OAAO,EAC1C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC/C,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CAClE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,oBAAoB,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBACjE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACpB,OAAO,SAAS,CAAC;gBACnB,CAAC;gBAED,MAAM,uBAAuB,GAAG,iCAAiC,CAC/D,SAAS,CAAC,IAAI,EACd,OAAO,EACP,OAAO,CACR,CAAC;gBACF,OAAO,eAAe,CAAC,uBAAuB,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC;oBACtE,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC;wBACE,GAAG,SAAS;wBACZ,IAAI,EAAE,uBAAuB;qBAC9B,CAAC;YACR,CAAC,CAAC,CAAC;YACH,MAAM,oBAAoB,GAAG,iCAAiC,CAC5D,QAAQ,CAAC,UAAU,EACnB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACrD,eAAe,CACb,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACtC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACxD,OAAO,CACR,CACF,IAAI,eAAe,CAAC,oBAAoB,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;gBACtE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,UAAU,EAAE,oBAAoB;oBAChC,UAAU,EAAE,oBAAoB;iBACjC,CAAC;QACR,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC/C,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CAClE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED;YACE,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAwB,EACxB,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU,EACpC,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IACE,mCAAmC,CACjC,aAAa,EACb,OAAO,EACP,eAAe,CAChB,EACD,CAAC;gBACD,OAAO,2BAA2B,CAChC,aAAa,EACb,OAAO,EACP,eAAe,CAChB,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,CAAC,CACzD,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAElE,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EACjE,CAAC;QACD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,SAAS;gBACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACpD;gBACE,OAAO,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;QAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,MAAM,qBAAqB,GACzB,2BAA2B,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC;YACtE,QAAQ,CAAC,WAAW,CAAC;QAEvB,OAAO,eAAe,CAAC,qBAAqB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;YAC1E,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,WAAW,EAAE,qBAAqB;aACnC,CAAC;IACR,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IACE,mCAAmC,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC,EACvE,CAAC;YACD,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;YACrE,OAAO,KAAK,EAAE,iBAAiB;gBAC7B,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;oBAChD,mBAAmB;oBACnB,GAAG,cAAc;iBAClB,CAAC;gBACJ,CAAC,CAAC,mBAAmB,CAAC;QAC1B,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,yBAAyB,GAC7B,aAAa,EAAE,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC;QACrD,MAAM,uBAAuB,GAC3B,yBAAyB,CAAC,MAAM,GAAG,CAAC;YAClC,CAAC,CAAC,+BAA+B,CAC7B,uCAAuC,CACrC,QAAQ,EACR,yBAAyB,CAC1B,EACD,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,0BAA0B,GAAa,EAAE,CAAC;YAChD,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;oBAC7D,MAAM,CAAC;gBACT,IACE,sBAAsB,CACpB,0BAA0B,EAC1B,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,0BAA0B,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACpD,CAAC;YAED,IAAI,CAAC,aAAa,EAAE,iBAAiB,EAAE,CAAC;gBACtC,OAAO,uCAAuC,CAC5C,QAAQ,EACR,0BAA0B,CAC3B,CAAC;YACJ,CAAC;YAED,MAAM,oBAAoB,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAChD,sBAAsB,CACvB,CAAC;YACF,OAAO,uCAAuC,CAAC,QAAQ,EAAE;gBACvD,GAAG,0BAA0B;gBAC7B,GAAG,oBAAoB;aACxB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,2BAA2B,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAC7D,CAAC,MAAM,EAAE,EAAE,CACT,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;gBAC7D,MAAM,CACT,CAAC;YACF,MAAM,kCAAkC,GAAa,EAAE,CAAC;YAExD,KAAK,MAAM,MAAM,IAAI,2BAA2B,EAAE,CAAC;gBACjD,IACE,sBAAsB,CACpB,kCAAkC,EAClC,MAAM,EACN,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,kCAAkC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;YAED,IAAI,kCAAkC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,CAAC,sBAAsB,CAAC,GAAG,kCAAkC,CAAC;gBACpE,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC;gBACvD,IAAI,CAAC,sBAAsB,EAAE,CAAC;oBAC5B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;gBACrE,IACE,oBAAoB;oBACpB,iCAAiC,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAChE,CAAC;oBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;wBAChC,CAAC,CAAC,mBAAmB;wBACrB,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE,CAAC,mBAAmB,EAAE,GAAG,cAAc,CAAC;yBAChD,CAAC;gBACR,CAAC;gBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;oBAChC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;wBAChD,sBAAsB;wBACtB,GAAG,cAAc;qBAClB,CAAC,CAAC;YACT,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,iCAAiC,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAC9D;aACF,CAAC;QACJ,CAAC;QACD,MAAM,0BAA0B,GAC9B,2BAA2B,CAAC,gBAAgB,EAAE,OAAO,EAAE,eAAe,CAAC;YACvE,gBAAgB,CAAC;QAEnB,IACE,eAAe,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,OAAO,CAAC,EACtE,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,OAAO,uCAAuC,CAC5C,QAAQ,EACR,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CACrE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"storage-types.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EACL,eAAe,EACf,4BAA4B,EAC5B,gBAAgB,EAChB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAW;IAClC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,CACvD,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC;IACrE,OAAO,4BAA4B,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAwB,EACxB,OAAuB,EACH,EAAE,CAAC,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAEpE,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAgC,EAChC,YAAoB,EACpB,YAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,MAAM,YAAY,GAChB,eAAe,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;IACvE,OAAO,yBAAyB,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,KAAa,EACb,OAAuB,EACd,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAC7B,KAAwB,EACxB,IAAY,EACZ,OAAuB,EACd,EAAE,CACX,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACzB,2BAA2B,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,mCAAmC,CACjD,IAA4C,EAC5C,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU;IAExD,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,IAAI,CAAC,KAAK,CAAC;IACjE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,uCAAuC,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAChE,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAClB,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,iBAAiB,CAAC;IACxB,IACE,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QACpC,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC;QAC1E,IAAI,sBAAsB,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,CACL,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5B,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CACvD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;IAClE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC,8CAA8C;YAC3D,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACvB,UAA2B,IAAI,OAAO,EAAU,EACxC,EAAE;IACV,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAClE,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;QAC/C,yBAAyB,EAAE,IAAI;KAChC,CAAC,CAAC;IAEH,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;gBACnD,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,mBAAmB,CAAC;QAE1B,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,qBAAqB,GAAG,iCAAiC,CAC7D,QAAQ,CAAC,WAAW,EACpB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CACpB,qBAAqB,EACrB,QAAQ,CAAC,WAAW,EACpB,OAAO,CACR;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,WAAW,EAAE,qBAAqB;iBACnC,CAAC;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,iBAAiB,GAAG,iCAAiC,CACzD,QAAQ,CAAC,OAAO,EAChB,OAAO,EACP,OAAO,CACR,CAAC;YACF,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,QAAQ,CAAC,SAAS,EAClB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;gBAClE,eAAe,CAAC,mBAAmB,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;gBACjE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,OAAO,EAAE,iBAAiB;oBAC1B,SAAS,EAAE,mBAAmB;iBAC/B,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,sBAAsB,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACvE,iCAAiC,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CACjE,CAAC;YACF,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CACzD,eAAe,CACb,WAAW,EACX,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,WAAW,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,YAAY,EAAE,sBAAsB;iBACrC,CAAC;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnE,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,MAAM,uBAAuB,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,iCAAiC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAC7D,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACtD,eAAe,CACb,OAAO,EACP,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,OAAO,EAC1C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC/C,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CAClE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,oBAAoB,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBACjE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACpB,OAAO,SAAS,CAAC;gBACnB,CAAC;gBAED,MAAM,uBAAuB,GAAG,iCAAiC,CAC/D,SAAS,CAAC,IAAI,EACd,OAAO,EACP,OAAO,CACR,CAAC;gBACF,OAAO,eAAe,CAAC,uBAAuB,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC;oBACtE,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC;wBACE,GAAG,SAAS;wBACZ,IAAI,EAAE,uBAAuB;qBAC9B,CAAC;YACR,CAAC,CAAC,CAAC;YACH,MAAM,oBAAoB,GAAG,iCAAiC,CAC5D,QAAQ,CAAC,UAAU,EACnB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACrD,eAAe,CACb,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACtC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACxD,OAAO,CACR,CACF,IAAI,eAAe,CAAC,oBAAoB,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;gBACtE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,UAAU,EAAE,oBAAoB;oBAChC,UAAU,EAAE,oBAAoB;iBACjC,CAAC;QACR,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC/C,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CAClE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED;YACE,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAwB,EACxB,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU,EACpC,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IACE,mCAAmC,CACjC,aAAa,EACb,OAAO,EACP,eAAe,CAChB,EACD,CAAC;gBACD,OAAO,2BAA2B,CAChC,aAAa,EACb,OAAO,EACP,eAAe,CAChB,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,CAAC,CACzD,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAElE,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EACjE,CAAC;QACD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,SAAS;gBACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACpD;gBACE,OAAO,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;QAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,MAAM,qBAAqB,GACzB,2BAA2B,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC;YACtE,QAAQ,CAAC,WAAW,CAAC;QAEvB,OAAO,eAAe,CAAC,qBAAqB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;YAC1E,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,WAAW,EAAE,qBAAqB;aACnC,CAAC;IACR,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IACE,mCAAmC,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC,EACvE,CAAC;YACD,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;YACrE,OAAO,KAAK,EAAE,iBAAiB;gBAC7B,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;oBAChD,mBAAmB;oBACnB,GAAG,cAAc;iBAClB,CAAC;gBACJ,CAAC,CAAC,mBAAmB,CAAC;QAC1B,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,yBAAyB,GAC7B,aAAa,EAAE,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC;QACrD,MAAM,uBAAuB,GAC3B,yBAAyB,CAAC,MAAM,GAAG,CAAC;YAClC,CAAC,CAAC,+BAA+B,CAC7B,uCAAuC,CACrC,QAAQ,EACR,yBAAyB,CAC1B,EACD,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,0BAA0B,GAAa,EAAE,CAAC;YAChD,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;oBAC7D,MAAM,CAAC;gBACT,IACE,sBAAsB,CACpB,0BAA0B,EAC1B,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,0BAA0B,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACpD,CAAC;YAED,IAAI,CAAC,aAAa,EAAE,iBAAiB,EAAE,CAAC;gBACtC,OAAO,uCAAuC,CAC5C,QAAQ,EACR,0BAA0B,CAC3B,CAAC;YACJ,CAAC;YAED,MAAM,oBAAoB,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAChD,sBAAsB,CACvB,CAAC;YACF,OAAO,uCAAuC,CAAC,QAAQ,EAAE;gBACvD,GAAG,0BAA0B;gBAC7B,GAAG,oBAAoB;aACxB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,2BAA2B,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAC7D,CAAC,MAAM,EAAE,EAAE,CACT,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;gBAC7D,MAAM,CACT,CAAC;YACF,MAAM,kCAAkC,GAAa,EAAE,CAAC;YAExD,KAAK,MAAM,MAAM,IAAI,2BAA2B,EAAE,CAAC;gBACjD,IACE,sBAAsB,CACpB,kCAAkC,EAClC,MAAM,EACN,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,kCAAkC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;YAED,IAAI,kCAAkC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,CAAC,sBAAsB,CAAC,GAAG,kCAAkC,CAAC;gBACpE,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC;gBACvD,IAAI,CAAC,sBAAsB,EAAE,CAAC;oBAC5B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;gBACrE,IACE,oBAAoB;oBACpB,iCAAiC,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAChE,CAAC;oBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;wBAChC,CAAC,CAAC,mBAAmB;wBACrB,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE,CAAC,mBAAmB,EAAE,GAAG,cAAc,CAAC;yBAChD,CAAC;gBACR,CAAC;gBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;oBAChC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;wBAChD,sBAAsB;wBACtB,GAAG,cAAc;qBAClB,CAAC,CAAC;YACT,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,iCAAiC,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAC9D;aACF,CAAC;QACJ,CAAC;QACD,MAAM,0BAA0B,GAC9B,2BAA2B,CAAC,gBAAgB,EAAE,OAAO,EAAE,eAAe,CAAC;YACvE,gBAAgB,CAAC;QAEnB,IACE,eAAe,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,OAAO,CAAC,EACtE,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,OAAO,uCAAuC,CAC5C,QAAQ,EACR,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CACrE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import type { IrExpression, SurfaceMemberSemantics } from "@tsonic/frontend";
|
|
2
|
+
import type { EmitterContext } from "../../types.js";
|
|
3
|
+
type MemberBinding = NonNullable<Extract<IrExpression, {
|
|
4
|
+
kind: "memberAccess";
|
|
5
|
+
}>["memberBinding"]>;
|
|
6
|
+
export declare const getSurfaceMemberSemantics: (binding: MemberBinding, context: EmitterContext) => SurfaceMemberSemantics | undefined;
|
|
7
|
+
export declare const surfaceMemberMutatesReceiver: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
8
|
+
export declare const surfaceMemberReturnsReceiver: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
9
|
+
export declare const surfaceMemberReturnsArray: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
10
|
+
export declare const surfaceMemberReadsArrayLength: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
11
|
+
export declare const getSurfaceEmittedMemberName: (binding: MemberBinding, context: EmitterContext) => string | undefined;
|
|
12
|
+
export declare const surfaceMemberEmitsAsInstanceMember: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
13
|
+
export {};
|
|
14
|
+
//# sourceMappingURL=surface-member-semantics.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"surface-member-semantics.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/surface-member-semantics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,KAAK,aAAa,GAAG,WAAW,CAC9B,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC,eAAe,CAAC,CACjE,CAAC;AA6BF,eAAO,MAAM,yBAAyB,GACpC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,sBAAsB,GAAG,SAa3B,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACoE,CAAC;AAExE,eAAO,MAAM,4BAA4B,GACvC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACoE,CAAC;AAExE,eAAO,MAAM,yBAAyB,GACpC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACiE,CAAC;AAErE,eAAO,MAAM,6BAA6B,GACxC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OAC2E,CAAC;AAE/E,eAAO,MAAM,2BAA2B,GACtC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,MAAM,GAAG,SACoD,CAAC;AAEjE,eAAO,MAAM,kCAAkC,GAC7C,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OAEe,CAAC"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
const stripGlobalPrefix = (typeName) => typeName.startsWith("global::")
|
|
2
|
+
? typeName.slice("global::".length)
|
|
3
|
+
: typeName;
|
|
4
|
+
const stripClrGenericArity = (typeName) => typeName.replace(/`\d+$/, "");
|
|
5
|
+
const getTypeNameCandidates = (typeName) => {
|
|
6
|
+
const candidates = new Set();
|
|
7
|
+
const withoutGlobal = stripGlobalPrefix(typeName.trim());
|
|
8
|
+
const withoutArity = stripClrGenericArity(withoutGlobal);
|
|
9
|
+
if (typeName.trim().length > 0) {
|
|
10
|
+
candidates.add(typeName.trim());
|
|
11
|
+
}
|
|
12
|
+
if (withoutGlobal.length > 0) {
|
|
13
|
+
candidates.add(withoutGlobal);
|
|
14
|
+
}
|
|
15
|
+
if (withoutArity.length > 0) {
|
|
16
|
+
candidates.add(withoutArity);
|
|
17
|
+
candidates.add(`global::${withoutArity}`);
|
|
18
|
+
}
|
|
19
|
+
return [...candidates];
|
|
20
|
+
};
|
|
21
|
+
export const getSurfaceMemberSemantics = (binding, context) => {
|
|
22
|
+
const memberSemantics = context.options.surfaceCapabilities?.memberSemantics;
|
|
23
|
+
if (!memberSemantics)
|
|
24
|
+
return undefined;
|
|
25
|
+
for (const typeName of getTypeNameCandidates(binding.type)) {
|
|
26
|
+
const members = memberSemantics[typeName];
|
|
27
|
+
const semantics = members?.[binding.member];
|
|
28
|
+
if (semantics) {
|
|
29
|
+
return semantics;
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
return undefined;
|
|
33
|
+
};
|
|
34
|
+
export const surfaceMemberMutatesReceiver = (binding, context) => getSurfaceMemberSemantics(binding, context)?.mutatesReceiver === true;
|
|
35
|
+
export const surfaceMemberReturnsReceiver = (binding, context) => getSurfaceMemberSemantics(binding, context)?.returnsReceiver === true;
|
|
36
|
+
export const surfaceMemberReturnsArray = (binding, context) => getSurfaceMemberSemantics(binding, context)?.returnsArray === true;
|
|
37
|
+
export const surfaceMemberReadsArrayLength = (binding, context) => getSurfaceMemberSemantics(binding, context)?.storageAccess === "arrayLength";
|
|
38
|
+
export const getSurfaceEmittedMemberName = (binding, context) => getSurfaceMemberSemantics(binding, context)?.emittedMemberName;
|
|
39
|
+
export const surfaceMemberEmitsAsInstanceMember = (binding, context) => getSurfaceMemberSemantics(binding, context)?.emissionKind ===
|
|
40
|
+
"instanceMember";
|
|
41
|
+
//# sourceMappingURL=surface-member-semantics.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"surface-member-semantics.js","sourceRoot":"","sources":["../../../src/core/semantic/surface-member-semantics.ts"],"names":[],"mappings":"AAOA,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACrD,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC;IAC7B,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;IACnC,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACxD,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAEhC,MAAM,qBAAqB,GAAG,CAAC,QAAgB,EAAqB,EAAE;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAEzD,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,UAAU,CAAC,GAAG,CAAC,WAAW,YAAY,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAsB,EACtB,OAAuB,EACa,EAAE;IACtC,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,eAAe,CAAC;IAC7E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,KAAK,MAAM,QAAQ,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,eAAe,KAAK,IAAI,CAAC;AAExE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,eAAe,KAAK,IAAI,CAAC;AAExE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,YAAY,KAAK,IAAI,CAAC;AAErE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,aAAa,KAAK,aAAa,CAAC;AAE/E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,OAAsB,EACtB,OAAuB,EACH,EAAE,CACtB,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC;AAEjE,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,YAAY;IACzD,gBAAgB,CAAC"}
|
|
@@ -13,7 +13,7 @@
|
|
|
13
13
|
*/
|
|
14
14
|
import { IrExpression, IrType } from "@tsonic/frontend";
|
|
15
15
|
import { EmitterContext } from "../../types.js";
|
|
16
|
-
import {
|
|
16
|
+
import type { EmitTypeAstLike } from "./runtime-union-shared.js";
|
|
17
17
|
/**
|
|
18
18
|
* Information extracted from a ternary condition guard.
|
|
19
19
|
* Used to generate inline Union.IsN()/AsN() narrowing in conditional expressions.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ternary-guards.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,
|
|
1
|
+
{"version":3,"file":"ternary-guards.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAajE;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;CAC5C,CAAC;AAwOF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,GACjC,WAAW,YAAY,EACvB,SAAS,cAAc,EACvB,aAAa,eAAe,KAC3B,gBAAgB,GAAG,SA8BrB,CAAC"}
|
|
@@ -14,7 +14,8 @@
|
|
|
14
14
|
import { getPropertyType } from "./type-resolution.js";
|
|
15
15
|
import { emitRemappedLocalName } from "../format/local-names.js";
|
|
16
16
|
import { resolveIteratorResultReferenceType } from "./structural-resolution.js";
|
|
17
|
-
import { getCanonicalRuntimeUnionMembers
|
|
17
|
+
import { getCanonicalRuntimeUnionMembers } from "./runtime-union-frame.js";
|
|
18
|
+
import { findRuntimeUnionMemberIndices } from "./runtime-union-matching.js";
|
|
18
19
|
import { getSemanticUnionMembers, findSemanticUnionMemberIndex, } from "./semantic-union-members.js";
|
|
19
20
|
import { resolveNarrowedUnionMembers } from "./narrowed-union-resolution.js";
|
|
20
21
|
import { resolveLocalTypesForReference, tryGetLiteralSet, } from "./guard-primitives.js";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ternary-guards.js","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;
|
|
1
|
+
{"version":3,"file":"ternary-guards.js","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAEhF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EACL,uBAAuB,EACvB,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAkB/B;;;;;;;GAOG;AACH,MAAM,+BAA+B,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACO,EAAE;IAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IACE,CAAC,GAAG;QACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;IACzC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,6BAA6B;IAC7B,sEAAsE;IACtE,2EAA2E;IAC3E,gFAAgF;IAChF,MAAM,eAAe,GAAG,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,WAAW,GAAG,4BAA4B,CAC9C,eAAe,EACf,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhD,sEAAsE;IACtE,0EAA0E;IAC1E,yEAAyE;IACzE,iFAAiF;IACjF,MAAM,cAAc,GAAG,+BAA+B,CACpD,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,MAAM,cAAc,GAAG,6BAA6B,CAClD,cAAc,EACd,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,UAAU,GAAG,CAAC;QACvB,YAAY;QACZ,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,UAAU;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,0CAA0C,GAAG,CACjD,IAAkB,EAClB,OAAuB,EACvB,YAA6B,EACC,EAAE;IAChC,2FAA2F;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,0CAA0C,CACtD,IAAI,CAAC,UAAU,EACf,OAAO,EACP,YAAY,CACb,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACL,GAAG,KAAK;YACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;SAClE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM;YACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,IAAI,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,IAAI,kCAAkC,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,2BAA2B,CACjD,YAAY,EACZ,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,eAAe,CAAC;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GACnB,EAAE,CAAC;IAEL,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,IAAI,QAA4B,CAAC;QAEjC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAC5D,CAAC;YACF,QAAQ,GAAG,IAAI,EAAE,IAAI,CAAC;QACxB,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3C,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAClE,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;gBAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAEhB,QAAQ,GAAG,eAAe,CACxB,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAC/B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBACtC,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IAEvE,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,aAAa,CAAC,OAAO;QAC9B,YAAY,EAAE,aAAa,CAAC,IAAI;QAChC,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;KACjD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAuB,EACvB,OAAuB,EACvB,WAA4B,EACE,EAAE;IAChC,4CAA4C;IAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,+BAA+B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,qDAAqD;IACrD,MAAM,KAAK,GAAG,0CAA0C,CACtD,SAAS,EACT,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,+CAA+C;IAC/C,IACE,SAAS,CAAC,IAAI,KAAK,OAAO;QAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC1B,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,MAAM,KAAK,GAAG,+BAA+B,CAC3C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import type { IrExpression } from "@tsonic/frontend";
|
|
2
|
+
export type TypeofComparison = {
|
|
3
|
+
readonly target: IrExpression;
|
|
4
|
+
readonly tag: string;
|
|
5
|
+
readonly negate: boolean;
|
|
6
|
+
readonly narrowable: {
|
|
7
|
+
readonly bindingKey: string;
|
|
8
|
+
readonly targetExpr: Extract<IrExpression, {
|
|
9
|
+
kind: "identifier" | "memberAccess";
|
|
10
|
+
}>;
|
|
11
|
+
} | undefined;
|
|
12
|
+
};
|
|
13
|
+
export declare const tryExtractTypeofComparison: (expr: IrExpression) => TypeofComparison | undefined;
|
|
14
|
+
//# sourceMappingURL=typeof-comparison.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"typeof-comparison.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/typeof-comparison.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAIrD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,EACf;QACE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;YAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;SAAE,CACxC,CAAC;KACH,GACD,SAAS,CAAC;CACf,CAAC;AA4CF,eAAO,MAAM,0BAA0B,GACrC,MAAM,YAAY,KACjB,gBAAgB,GAAG,SAerB,CAAC"}
|
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
import { getMemberAccessNarrowKey } from "./narrowing-keys.js";
|
|
2
|
+
import { unwrapTransparentNarrowingTarget } from "./transparent-expressions.js";
|
|
3
|
+
const isTypeofEqualityOperator = (operator) => operator === "===" ||
|
|
4
|
+
operator === "==" ||
|
|
5
|
+
operator === "!==" ||
|
|
6
|
+
operator === "!=";
|
|
7
|
+
const tryExtractTypeofOperand = (left, right) => {
|
|
8
|
+
if (left.kind !== "unary" || left.operator !== "typeof") {
|
|
9
|
+
return undefined;
|
|
10
|
+
}
|
|
11
|
+
if (right.kind !== "literal" || typeof right.value !== "string") {
|
|
12
|
+
return undefined;
|
|
13
|
+
}
|
|
14
|
+
return {
|
|
15
|
+
target: left.expression,
|
|
16
|
+
tag: right.value,
|
|
17
|
+
};
|
|
18
|
+
};
|
|
19
|
+
const resolveNarrowableTarget = (target) => {
|
|
20
|
+
const transparentTarget = unwrapTransparentNarrowingTarget(target);
|
|
21
|
+
if (!transparentTarget)
|
|
22
|
+
return undefined;
|
|
23
|
+
const bindingKey = transparentTarget.kind === "identifier"
|
|
24
|
+
? transparentTarget.name
|
|
25
|
+
: getMemberAccessNarrowKey(transparentTarget);
|
|
26
|
+
if (!bindingKey)
|
|
27
|
+
return undefined;
|
|
28
|
+
return {
|
|
29
|
+
bindingKey,
|
|
30
|
+
targetExpr: transparentTarget,
|
|
31
|
+
};
|
|
32
|
+
};
|
|
33
|
+
export const tryExtractTypeofComparison = (expr) => {
|
|
34
|
+
if (expr.kind !== "binary" || !isTypeofEqualityOperator(expr.operator)) {
|
|
35
|
+
return undefined;
|
|
36
|
+
}
|
|
37
|
+
const comparison = tryExtractTypeofOperand(expr.left, expr.right) ??
|
|
38
|
+
tryExtractTypeofOperand(expr.right, expr.left);
|
|
39
|
+
if (!comparison)
|
|
40
|
+
return undefined;
|
|
41
|
+
return {
|
|
42
|
+
...comparison,
|
|
43
|
+
negate: expr.operator === "!==" || expr.operator === "!=",
|
|
44
|
+
narrowable: resolveNarrowableTarget(comparison.target),
|
|
45
|
+
};
|
|
46
|
+
};
|
|
47
|
+
//# sourceMappingURL=typeof-comparison.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"typeof-comparison.js","sourceRoot":"","sources":["../../../src/core/semantic/typeof-comparison.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAiBhF,MAAM,wBAAwB,GAAG,CAC/B,QAAgB,EACyB,EAAE,CAC3C,QAAQ,KAAK,KAAK;IAClB,QAAQ,KAAK,IAAI;IACjB,QAAQ,KAAK,KAAK;IAClB,QAAQ,KAAK,IAAI,CAAC;AAEpB,MAAM,uBAAuB,GAAG,CAC9B,IAAkB,EAClB,KAAmB,EACmC,EAAE;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,UAAU;QACvB,GAAG,EAAE,KAAK,CAAC,KAAK;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,MAAoB,EACY,EAAE;IAClC,MAAM,iBAAiB,GAAG,gCAAgC,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,UAAU,GACd,iBAAiB,CAAC,IAAI,KAAK,YAAY;QACrC,CAAC,CAAC,iBAAiB,CAAC,IAAI;QACxB,CAAC,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,OAAO;QACL,UAAU;QACV,UAAU,EAAE,iBAAiB;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAkB,EACY,EAAE;IAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QAC9C,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,OAAO;QACL,GAAG,UAAU;QACb,MAAM,EAAE,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;QACzD,UAAU,EAAE,uBAAuB,CAAC,UAAU,CAAC,MAAM,CAAC;KACvD,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -11,7 +11,7 @@
|
|
|
11
11
|
* is NOT a union here, even if it aliases one. Only explicit `unionType` IR
|
|
12
12
|
* nodes with >= 2 non-nullish members are unions in the semantic view.
|
|
13
13
|
*/
|
|
14
|
-
import { getCanonicalRuntimeUnionMembers } from "./runtime-
|
|
14
|
+
import { getCanonicalRuntimeUnionMembers } from "./runtime-union-frame.js";
|
|
15
15
|
import { getSemanticUnionMembers } from "./semantic-union-members.js";
|
|
16
16
|
import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
|
|
17
17
|
import { shouldUseBroadObjectForUnionStorage } from "./storage-types.js";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"union-semantics.js","sourceRoot":"","sources":["../../../src/core/semantic/union-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,+BAA+B,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"union-semantics.js","sourceRoot":"","sources":["../../../src/core/semantic/union-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mCAAmC,EAAE,MAAM,oBAAoB,CAAC;AAEzE;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IACE,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,mCAAmC,CAAC,QAAQ,EAAE,OAAO,CAAC,EACtD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,+BAA+B,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AACtE,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/emitter-types/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;
|
|
1
|
+
{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/emitter-types/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAW3D,eAAO,MAAM,wBAAwB,GACnC,SAAS,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,KACvC,OAAqE,CAAC;AAEzE;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,SAAS,cAAc,KAAG,cAmBvD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,cAAc,KAAG,cAG/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,cAAc,KAAG,cAG/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,SAAS,cAAc,EACvB,UAAU,OAAO,KAChB,cAGD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,SAAS,cAAc,EACvB,SAAS,OAAO,KACf,cAGD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,SAAS,cAAc,EACvB,WAAW,MAAM,KAChB,cAGD,CAAC;AAEH;;;GAGG;AACH,KAAK,YAAY,GAAG,IAAI,CACtB,cAAc,EACZ,gBAAgB,GAChB,sBAAsB,GACtB,sBAAsB,GACtB,YAAY,GACZ,cAAc,GACd,kBAAkB,GAClB,oBAAoB,GACpB,iBAAiB,GACjB,kBAAkB,CACrB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAC1B,SAAS,cAAc,EACvB,aAAa,OAAO,CAAC,YAAY,CAAC,EAClC,MAAM,CAAC,GAAG,EAAE,cAAc,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,KACjD,CAAC,CAAC,EAAE,cAAc,CA2BpB,CAAC"}
|
|
@@ -7,6 +7,7 @@ const getSurfaceCapabilities = (options) => options.surfaceCapabilities ?? {
|
|
|
7
7
|
includesClr: options.surface === undefined || options.surface === "clr",
|
|
8
8
|
resolvedModes: [options.surface ?? "clr"],
|
|
9
9
|
requiredTypeRoots: [],
|
|
10
|
+
memberSemantics: {},
|
|
10
11
|
};
|
|
11
12
|
export const contextSurfaceIncludesJs = (context) => surfaceIncludesJs(getSurfaceCapabilities(context.options));
|
|
12
13
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/emitter-types/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrD,MAAM,sBAAsB,GAAG,CAAC,OAAuB,EAAE,EAAE,CACzD,OAAO,CAAC,mBAAmB,IAAI;IAC7B,IAAI,EAAE,OAAO,CAAC,OAAO,IAAI,KAAK;IAC9B,WAAW,EAAE,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK;IACvE,aAAa,EAAE,CAAC,OAAO,CAAC,OAAO,IAAI,KAAK,CAAC;IACzC,iBAAiB,EAAE,EAAE;
|
|
1
|
+
{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/emitter-types/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrD,MAAM,sBAAsB,GAAG,CAAC,OAAuB,EAAE,EAAE,CACzD,OAAO,CAAC,mBAAmB,IAAI;IAC7B,IAAI,EAAE,OAAO,CAAC,OAAO,IAAI,KAAK;IAC9B,WAAW,EAAE,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK;IACvE,aAAa,EAAE,CAAC,OAAO,CAAC,OAAO,IAAI,KAAK,CAAC;IACzC,iBAAiB,EAAE,EAAE;IACrB,eAAe,EAAE,EAAE;CACpB,CAAC;AAEJ,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAAwC,EAC/B,EAAE,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAuB,EAAkB,EAAE;IACvE,MAAM,gBAAgB,GACpB,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC;QACjD,CAAC,CAAC,OAAO,CAAC,WAAW;QACrB,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,iBAAiB,EAAE,CAAC;IAEnD,OAAO;QACL,WAAW,EAAE,CAAC;QACd,OAAO,EAAE;YACP,GAAG,OAAO;YACV,mBAAmB,EAAE,sBAAsB,CAAC,OAAO,CAAC;SACrD;QACD,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,KAAK;QACd,gBAAgB;QAChB,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,cAAc,EAAE,IAAI,GAAG,EAAU;QACjC,MAAM,EAAE,IAAI,GAAG,EAAU;KAC1B,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAuB,EAAkB,EAAE,CAAC,CAAC;IAClE,GAAG,OAAO;IACV,WAAW,EAAE,OAAO,CAAC,WAAW,GAAG,CAAC;CACrC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAuB,EAAkB,EAAE,CAAC,CAAC;IAClE,GAAG,OAAO;IACV,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC;CAClD,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,OAAuB,EACvB,QAAiB,EACD,EAAE,CAAC,CAAC;IACpB,GAAG,OAAO;IACV,QAAQ;CACT,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,OAAuB,EACvB,OAAgB,EACA,EAAE,CAAC,CAAC;IACpB,GAAG,OAAO;IACV,OAAO;CACR,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAuB,EACvB,SAAiB,EACD,EAAE,CAAC,CAAC;IACpB,GAAG,OAAO;IACV,SAAS;CACV,CAAC,CAAC;AAmBH;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,OAAuB,EACvB,WAAkC,EAClC,IAAkD,EAC7B,EAAE;IACvB,mCAAmC;IACnC,MAAM,KAAK,GAAiB;QAC1B,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC3C,CAAC;IAEF,iDAAiD;IACjD,MAAM,YAAY,GAAmB,EAAE,GAAG,OAAO,EAAE,GAAG,WAAW,EAAE,CAAC;IAEpE,uBAAuB;IACvB,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IAElD,iEAAiE;IACjE,MAAM,eAAe,GAAmB;QACtC,GAAG,YAAY;QACf,GAAG,KAAK;KACT,CAAC;IAEF,OAAO,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;AACnC,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"access-binding.d.ts","sourceRoot":"","sources":["../../src/expressions/access-binding.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,
|
|
1
|
+
{"version":3,"file":"access-binding.d.ts","sourceRoot":"","sources":["../../src/expressions/access-binding.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAe7C,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,KAAK,iBAAiB,EAQvB,MAAM,wBAAwB,CAAC;AAqBhC;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACrD,SAAS,cAAc,EACvB,OAAO,iBAAiB,KACvB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAqV1C,CAAC"}
|
|
@@ -4,7 +4,6 @@
|
|
|
4
4
|
* registry, including array-like wrapper construction, extension methods,
|
|
5
5
|
* static vs instance dispatch, and JS-surface length access.
|
|
6
6
|
*/
|
|
7
|
-
import { contextSurfaceIncludesJs } from "../types.js";
|
|
8
7
|
import { emitExpressionAst } from "../expression-emitter.js";
|
|
9
8
|
import { resolveArrayLikeReceiverType } from "../core/semantic/type-resolution.js";
|
|
10
9
|
import { resolveTypeMemberKind } from "../core/semantic/member-surfaces.js";
|
|
@@ -14,10 +13,11 @@ import { identifierExpression, identifierType, nullLiteral, } from "../core/form
|
|
|
14
13
|
import { getIdentifierTypeName, normalizeClrQualifiedName, } from "../core/format/backend-ast/utils.js";
|
|
15
14
|
import { stripClrGenericArity, emitStorageCompatibleArrayWrapperElementTypeAst, resolveEffectiveReceiverType, hasSourceDeclaredMember, resolveEmittedReceiverTypeAst, emitMemberName, isStaticTypeReference, } from "./access-resolution.js";
|
|
16
15
|
import { buildNativeArrayInteropWrapAst } from "./array-interop.js";
|
|
17
|
-
import {
|
|
16
|
+
import { tryEmitJsSurfaceArrayLikeLengthAccess } from "./access-length.js";
|
|
18
17
|
import { materializeDirectNarrowingAst } from "../core/semantic/materialized-narrowing.js";
|
|
19
18
|
import { resolveDirectStorageIrType } from "../core/semantic/direct-storage-ir-types.js";
|
|
20
19
|
import { getClrIdentityKey } from "../core/semantic/clr-type-identity.js";
|
|
20
|
+
import { getSurfaceEmittedMemberName, surfaceMemberEmitsAsInstanceMember, surfaceMemberReadsArrayLength, } from "../core/semantic/surface-member-semantics.js";
|
|
21
21
|
const clrBindingTypeHasIdentity = (bindingTypeName, expectedClrName) => getClrIdentityKey(bindingTypeName) === getClrIdentityKey(expectedClrName);
|
|
22
22
|
const isSystemArrayBindingType = (bindingTypeName) => clrBindingTypeHasIdentity(bindingTypeName, "System.Array");
|
|
23
23
|
/**
|
|
@@ -30,7 +30,9 @@ export const tryEmitMemberBindingAccess = (expr, context, usage) => {
|
|
|
30
30
|
return undefined;
|
|
31
31
|
}
|
|
32
32
|
const { type, member } = expr.memberBinding;
|
|
33
|
-
const
|
|
33
|
+
const surfaceEmittedMemberName = getSurfaceEmittedMemberName(expr.memberBinding, context);
|
|
34
|
+
const emitsAsInstanceMember = surfaceMemberEmitsAsInstanceMember(expr.memberBinding, context);
|
|
35
|
+
const escapedMember = escapeCSharpIdentifier(surfaceEmittedMemberName ?? member);
|
|
34
36
|
const bindingTypeLeaf = stripClrGenericArity(type).split(".").pop();
|
|
35
37
|
const normalizedBindingType = normalizeClrQualifiedName(type, true);
|
|
36
38
|
const normalizedBindingTypeWithoutArity = normalizeClrQualifiedName(stripClrGenericArity(type), true);
|
|
@@ -40,9 +42,8 @@ export const tryEmitMemberBindingAccess = (expr, context, usage) => {
|
|
|
40
42
|
: undefined;
|
|
41
43
|
const sourcePropertyName = typeof expr.property === "string" ? expr.property : member;
|
|
42
44
|
const arrayLikeReceiver = resolveArrayLikeReceiverType(receiverType, context);
|
|
43
|
-
const
|
|
44
|
-
|
|
45
|
-
isLengthPropertyName(expr.property)
|
|
45
|
+
const readsArrayLength = surfaceMemberReadsArrayLength(expr.memberBinding, context);
|
|
46
|
+
const directReceiverStorageType = usage === "value" && readsArrayLength
|
|
46
47
|
? resolveDirectStorageIrType(expr.object, context)
|
|
47
48
|
: undefined;
|
|
48
49
|
const directArrayLikeReceiver = resolveArrayLikeReceiverType(directReceiverStorageType, context);
|
|
@@ -53,36 +54,17 @@ export const tryEmitMemberBindingAccess = (expr, context, usage) => {
|
|
|
53
54
|
const receiverHasDeterministicMember = !!receiverType &&
|
|
54
55
|
resolveTypeMemberKind(receiverType, sourcePropertyName, context) !==
|
|
55
56
|
undefined;
|
|
56
|
-
|
|
57
|
-
typeof expr.property === "string" &&
|
|
58
|
-
isLengthPropertyName(expr.property) &&
|
|
59
|
-
(bindingTypeLeaf === "String" ||
|
|
60
|
-
normalizedBindingTypeWithoutArity === "global::js.String" ||
|
|
61
|
-
normalizedBindingTypeWithoutArity === "js.String");
|
|
62
|
-
if (bindingTargetsStringLength &&
|
|
63
|
-
((receiverHasDeterministicMember &&
|
|
64
|
-
!isStringReceiverType(receiverType, context)) ||
|
|
65
|
-
directArrayLikeReceiver)) {
|
|
66
|
-
return undefined;
|
|
67
|
-
}
|
|
68
|
-
if (usage === "value" &&
|
|
69
|
-
typeof expr.property === "string" &&
|
|
70
|
-
isLengthPropertyName(expr.property) &&
|
|
71
|
-
contextSurfaceIncludesJs(context) &&
|
|
72
|
-
directArrayLikeReceiver) {
|
|
57
|
+
if (usage === "value" && readsArrayLength && directArrayLikeReceiver) {
|
|
73
58
|
const [objectAst, withObject] = emitExpressionAst(expr.object, context);
|
|
74
59
|
return tryEmitJsSurfaceArrayLikeLengthAccess(expr, objectAst, directReceiverStorageType, withObject);
|
|
75
60
|
}
|
|
76
61
|
if (usage === "value" &&
|
|
77
|
-
|
|
78
|
-
isLengthPropertyName(expr.property) &&
|
|
62
|
+
readsArrayLength &&
|
|
79
63
|
(hasSourceDeclaredReceiverMember || receiverHasDeterministicMember)) {
|
|
80
64
|
return undefined;
|
|
81
65
|
}
|
|
82
66
|
if (usage === "value" &&
|
|
83
|
-
|
|
84
|
-
isLengthPropertyName(expr.property) &&
|
|
85
|
-
contextSurfaceIncludesJs(context) &&
|
|
67
|
+
readsArrayLength &&
|
|
86
68
|
!expr.memberBinding.isExtensionMethod &&
|
|
87
69
|
!hasSourceDeclaredReceiverMember &&
|
|
88
70
|
(arrayLikeReceiver || hasArrayLikeBindingHint)) {
|
|
@@ -155,7 +137,9 @@ export const tryEmitMemberBindingAccess = (expr, context, usage) => {
|
|
|
155
137
|
];
|
|
156
138
|
}
|
|
157
139
|
}
|
|
158
|
-
if (usage === "value" &&
|
|
140
|
+
if (usage === "value" &&
|
|
141
|
+
expr.memberBinding.isExtensionMethod &&
|
|
142
|
+
!emitsAsInstanceMember) {
|
|
159
143
|
const [objectAst, newContext] = emitExpressionAst(expr.object, context);
|
|
160
144
|
const extensionCallAst = {
|
|
161
145
|
kind: "invocationExpression",
|
|
@@ -246,9 +230,11 @@ export const tryEmitMemberBindingAccess = (expr, context, usage) => {
|
|
|
246
230
|
const receiverAst = materializedReceiverAst;
|
|
247
231
|
const receiverContext = materializedReceiverContext;
|
|
248
232
|
const emittedSourceMemberName = emitMemberName(receiverSourceExpr, receiverMaterializationType ?? receiverType, sourcePropertyName, context, usage);
|
|
249
|
-
const emittedMemberName =
|
|
250
|
-
?
|
|
251
|
-
:
|
|
233
|
+
const emittedMemberName = surfaceEmittedMemberName !== undefined
|
|
234
|
+
? escapedMember
|
|
235
|
+
: hasSourceDeclaredReceiverMember
|
|
236
|
+
? emittedSourceMemberName
|
|
237
|
+
: escapedMember;
|
|
252
238
|
if (expr.isOptional) {
|
|
253
239
|
return [
|
|
254
240
|
{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"access-binding.js","sourceRoot":"","sources":["../../src/expressions/access-binding.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;
|
|
1
|
+
{"version":3,"file":"access-binding.js","sourceRoot":"","sources":["../../src/expressions/access-binding.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,6CAA6C,CAAC;AAC1F,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,WAAW,GACZ,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,qCAAqC,CAAC;AAK7C,OAAO,EAEL,oBAAoB,EACpB,+CAA+C,EAC/C,4BAA4B,EAC5B,uBAAuB,EACvB,6BAA6B,EAC7B,cAAc,EACd,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,qCAAqC,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAC3F,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EACL,2BAA2B,EAC3B,kCAAkC,EAClC,6BAA6B,GAC9B,MAAM,8CAA8C,CAAC;AAEtD,MAAM,yBAAyB,GAAG,CAChC,eAAuB,EACvB,eAAuB,EACd,EAAE,CACX,iBAAiB,CAAC,eAAe,CAAC,KAAK,iBAAiB,CAAC,eAAe,CAAC,CAAC;AAE5E,MAAM,wBAAwB,GAAG,CAAC,eAAuB,EAAW,EAAE,CACpE,yBAAyB,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;AAE7D;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAqD,EACrD,OAAuB,EACvB,KAAwB,EAC2B,EAAE;IACrD,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC;IAC5C,MAAM,wBAAwB,GAAG,2BAA2B,CAC1D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;IACF,MAAM,qBAAqB,GAAG,kCAAkC,CAC9D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;IACF,MAAM,aAAa,GAAG,sBAAsB,CAC1C,wBAAwB,IAAI,MAAM,CACnC,CAAC;IACF,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpE,MAAM,qBAAqB,GAAG,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACpE,MAAM,iCAAiC,GAAG,yBAAyB,CACjE,oBAAoB,CAAC,IAAI,CAAC,EAC1B,IAAI,CACL,CAAC;IAEF,MAAM,YAAY,GAAG,4BAA4B,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxE,MAAM,oBAAoB,GACxB,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAC/B,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QACnD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,kBAAkB,GACtB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7D,MAAM,iBAAiB,GAAG,4BAA4B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC9E,MAAM,gBAAgB,GAAG,6BAA6B,CACpD,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;IACF,MAAM,yBAAyB,GAC7B,KAAK,KAAK,OAAO,IAAI,gBAAgB;QACnC,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;QAClD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAAG,4BAA4B,CAC1D,yBAAyB,EACzB,OAAO,CACR,CAAC;IACF,MAAM,uBAAuB,GAC3B,eAAe,KAAK,OAAO;QAC3B,eAAe,KAAK,eAAe;QACnC,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,+BAA+B,GAAG,uBAAuB,CAC7D,oBAAoB,IAAI,YAAY,EACpC,kBAAkB,EAClB,KAAK,EACL,OAAO,CACR,CAAC;IACF,MAAM,8BAA8B,GAClC,CAAC,CAAC,YAAY;QACd,qBAAqB,CAAC,YAAY,EAAE,kBAAkB,EAAE,OAAO,CAAC;YAC9D,SAAS,CAAC;IACd,IAAI,KAAK,KAAK,OAAO,IAAI,gBAAgB,IAAI,uBAAuB,EAAE,CAAC;QACrE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxE,OAAO,qCAAqC,CAC1C,IAAI,EACJ,SAAS,EACT,yBAAyB,EACzB,UAAU,CACX,CAAC;IACJ,CAAC;IACD,IACE,KAAK,KAAK,OAAO;QACjB,gBAAgB;QAChB,CAAC,+BAA+B,IAAI,8BAA8B,CAAC,EACnE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IACE,KAAK,KAAK,OAAO;QACjB,gBAAgB;QAChB,CAAC,IAAI,CAAC,aAAa,CAAC,iBAAiB;QACrC,CAAC,+BAA+B;QAChC,CAAC,iBAAiB,IAAI,uBAAuB,CAAC,EAC9C,CAAC;QACD,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,0BAA0B,GAAG,qCAAqC,CACtE,IAAI,EACJ,SAAS,EACT,YAAY,EACZ,UAAU,CACX,CAAC;QACF,IAAI,0BAA0B,EAAE,CAAC;YAC/B,OAAO,0BAA0B,CAAC;QACpC,CAAC;QAED,IAAI,cAAc,GAAG,UAAU,CAAC;QAEhC,IAAI,iBAAiB,EAAE,CAAC;YACtB,CAAC,EAAE,cAAc,CAAC,GAAG,+CAA+C,CAClE,IAAI,CAAC,MAAM,EACX,YAAY,EACZ,iBAAiB,CAAC,WAAW,EAC7B,UAAU,CACX,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,EAAE,mBAAmB,CAAC,GAAG,6BAA6B,CAC3D,IAAI,CAAC,MAAM,EACX,UAAU,CACX,CAAC;YACF,cAAc,GAAG,mBAAmB,CAAC;QACvC,CAAC;QAED,OAAO;YACL;gBACE,IAAI,EAAE,IAAI,CAAC,UAAU;oBACnB,CAAC,CAAC,mCAAmC;oBACrC,CAAC,CAAC,wBAAwB;gBAC5B,UAAU,EAAE,8BAA8B,CAAC,SAAS,CAAC;gBACrD,UAAU,EAAE,QAAQ;aACrB;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IACD,IACE,KAAK,KAAK,OAAO;QACjB,iBAAiB;QACjB,CAAC,IAAI,CAAC,aAAa,CAAC,iBAAiB;QACrC,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAC/B,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACxE,IAAI,cAAc,GAAG,UAAU,CAAC;YAEhC,IAAI,oBAA0D,CAAC;YAC/D,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,cAAc,EAAE,eAAe,CAAC,GACrC,+CAA+C,CAC7C,IAAI,CAAC,MAAM,EACX,YAAY,EACZ,iBAAiB,CAAC,WAAW,EAC7B,cAAc,CACf,CAAC;gBACJ,cAAc,GAAG,eAAe,CAAC;gBACjC,oBAAoB,GAAG,CAAC,cAAc,CAAC,CAAC;YAC1C,CAAC;YAED,MAAM,UAAU,GACd,iCAAiC,KAAK,kBAAkB;gBACxD,iCAAiC,KAAK,UAAU;gBAChD,iCAAiC,KAAK,0BAA0B;gBAChE,iCAAiC,KAAK,kBAAkB;gBACtD,CAAC,CAAC,8BAA8B,CAAC,SAAS,CAAC;gBAC3C,CAAC,CAAC;oBACE,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,cAAc,CAClB,iCAAiC,EACjC,oBAAoB,CACrB;oBACD,SAAS,EAAE,CAAC,SAAS,CAAC;iBACvB,CAAC;YAER,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,OAAO;oBACL;wBACE,IAAI,EAAE,mCAAmC;wBACzC,UAAU,EAAE,UAAU;wBACtB,UAAU,EAAE,aAAa;qBAC1B;oBACD,cAAc;iBACf,CAAC;YACJ,CAAC;YAED,OAAO;gBACL;oBACE,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,UAAU;oBACtB,UAAU,EAAE,aAAa;iBAC1B;gBACD,cAAc;aACf,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IACE,KAAK,KAAK,OAAO;QACjB,IAAI,CAAC,aAAa,CAAC,iBAAiB;QACpC,CAAC,qBAAqB,EACtB,CAAC;QACD,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,gBAAgB,GAAwB;YAC5C,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,oBAAoB,CAC9B,GAAG,qBAAqB,IAAI,aAAa,EAAE,CAC5C;YACD,SAAS,EAAE,CAAC,SAAS,CAAC;SACvB,CAAC;QAEF,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QACxC,CAAC;QAED,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,SAAS,EAAE;oBACT,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,WAAW,EAAE;iBACrB;gBACD,QAAQ,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE;gBACvC,SAAS,EAAE,gBAAgB;aAC5B;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,MAAM,2BAA2B,GAAG,CAAC,GAAG,EAAE;QACxC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,KAAK,CAAC;QACpD,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QACrE,IAAI,OAAO;YAAE,OAAO,KAAK,CAAC;QAC1B,IACE,IAAI,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS;YACzC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS;gBACnC,IAAI,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,CAAC,EAC7C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,eAAe;YAAE,OAAO,KAAK,CAAC;QACnC,OAAO,eAAe,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC9C,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,0BAA0B,GAAG,CAAC,GAAG,EAAE;QACvC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACtC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,aAAa,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YACnC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,qBAAqB,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,2BAA2B,EAAE,CAAC;QACxE,MAAM,kBAAkB,GACtB,0BAA0B,IAAI,qBAAqB,CAAC;QACtD,MAAM,gBAAgB,GAAG,0BAA0B;YACjD,CAAC,CAAC,cAAc,CACZ,IAAI,CAAC,MAAM,EACX,YAAY,EACZ,kBAAkB,EAClB,OAAO,EACP,KAAK,CACN;YACH,CAAC,CAAC,aAAa,CAAC;QAClB,oEAAoE;QACpE,OAAO;YACL,oBAAoB,CAAC,GAAG,kBAAkB,IAAI,gBAAgB,EAAE,CAAC;YACjE,OAAO;SACR,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,6CAA6C;QAC7C,MAAM,mBAAmB,GACvB,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe;YACpC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa;YAClC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;YAC5B,CAAC,CAAC,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YACrD,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,uBAAuB,GAC3B,mBAAmB,KAAK,SAAS;YAC/B,CAAC,CAAC,CAAC,4BAA4B,CAAC,mBAAmB,EAAE,OAAO,CAAC;gBAC3D,mBAAmB,CAAC,YAAY,CAAC;YACnC,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,uCAAuC,GAC3C,uBAAuB,KAAK,SAAS;YACrC,qBAAqB,CACnB,uBAAuB,EACvB,kBAAkB,EAClB,OAAO,CACR,KAAK,SAAS,CAAC;QAClB,MAAM,yBAAyB,GAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,MAAM,mBAAmB,GACvB,yBAAyB;YACzB,CAAC,uCAAuC;gBACtC,CAAC,CAAC,mBAAmB;gBACrB,CAAC,CAAC,SAAS,CAAC,CAAC;QACjB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAC3B,mBAAmB,KAAK,SAAS;YAC/B,CAAC,CAAC,iBAAiB,CAAC,mBAAmB,EAAE,OAAO,CAAC;YACjD,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,kBAAkB,GACtB,mBAAmB,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QACxE,MAAM,2BAA2B,GAC/B,yBAAyB,KAAK,SAAS;YACrC,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,YAAY,CAAC;QACnB,MAAM,mBAAmB,GAAG,0BAA0B,CACpD,kBAAkB,EAClB,OAAO,CACR,CAAC;QACF,MAAM,CAAC,uBAAuB,EAAE,2BAA2B,CAAC,GAC1D,6BAA6B,CAC3B,SAAS,EACT,mBAAmB,EACnB,2BAA2B,EAC3B,UAAU,CACX,CAAC;QACJ,MAAM,WAAW,GAAG,uBAAuB,CAAC;QAC5C,MAAM,eAAe,GAAG,2BAA2B,CAAC;QACpD,MAAM,uBAAuB,GAAG,cAAc,CAC5C,kBAAkB,EAClB,2BAA2B,IAAI,YAAY,EAC3C,kBAAkB,EAClB,OAAO,EACP,KAAK,CACN,CAAC;QACF,MAAM,iBAAiB,GACrB,wBAAwB,KAAK,SAAS;YACpC,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,+BAA+B;gBAC/B,CAAC,CAAC,uBAAuB;gBACzB,CAAC,CAAC,aAAa,CAAC;QACtB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO;gBACL;oBACE,IAAI,EAAE,mCAAmC;oBACzC,UAAU,EAAE,WAAW;oBACvB,UAAU,EAAE,iBAAiB;iBAC9B;gBACD,eAAe;aAChB,CAAC;QACJ,CAAC;QACD,OAAO;YACL;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,WAAW;gBACvB,UAAU,EAAE,iBAAiB;aAC9B;YACD,eAAe;SAChB,CAAC;IACJ,CAAC;AACH,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"access-computed.d.ts","sourceRoot":"","sources":["../../src/expressions/access-computed.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAc7C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAO/E,OAAO,EAGL,KAAK,iBAAiB,EAGvB,MAAM,wBAAwB,CAAC;AA+HhC;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACrD,WAAW,mBAAmB,EAC9B,YAAY,MAAM,GAAG,SAAS,EAC9B,uBAAuB,cAAc,EACrC,SAAS,cAAc,EACvB,QAAO,iBAA2B,EAClC,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,
|
|
1
|
+
{"version":3,"file":"access-computed.d.ts","sourceRoot":"","sources":["../../src/expressions/access-computed.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAc7C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAO/E,OAAO,EAGL,KAAK,iBAAiB,EAGvB,MAAM,wBAAwB,CAAC;AA+HhC;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACrD,WAAW,mBAAmB,EAC9B,YAAY,MAAM,GAAG,SAAS,EAC9B,uBAAuB,cAAc,EACrC,SAAS,cAAc,EACvB,QAAO,iBAA2B,EAClC,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CA8QtC,CAAC"}
|
|
@@ -14,7 +14,7 @@ import { clrTypeNameToTypeAst, extractCalleeNameFromAst, sameConcreteTypeAstSurf
|
|
|
14
14
|
import { identifierExpression, identifierType, nullLiteral, parseNumericLiteral, } from "../core/format/backend-ast/builders.js";
|
|
15
15
|
import { hasInt32Proof, maybeReifyErasedArrayElement, resolveEmittedReceiverTypeAst, tryEmitBroadArrayAssertionReceiverStorageAst, } from "./access-resolution.js";
|
|
16
16
|
import { buildJsSafeDictionaryReadAst } from "./dictionary-safe-access.js";
|
|
17
|
-
import {
|
|
17
|
+
import { resolveRuntimeStorageArrayLikeElementType } from "../core/semantic/storage-types.js";
|
|
18
18
|
import { adaptStorageErasedValueAst } from "../core/semantic/storage-erased-adaptation.js";
|
|
19
19
|
import { getAcceptedSurfaceType } from "../core/semantic/defaults.js";
|
|
20
20
|
import { resolveDirectStorageCompatibleExpressionType } from "./expected-type-adaptation.js";
|
|
@@ -267,9 +267,7 @@ export const emitComputedAccess = (expr, objectAst, objectType, receiverSourceCo
|
|
|
267
267
|
if (usage !== "value") {
|
|
268
268
|
return [valueAst, nextContext];
|
|
269
269
|
}
|
|
270
|
-
const
|
|
271
|
-
const storageElementType = storageReceiverType &&
|
|
272
|
-
resolveArrayLikeReceiverType(storageReceiverType, context)?.elementType;
|
|
270
|
+
const storageElementType = resolveRuntimeStorageArrayLikeElementType(objectType, context);
|
|
273
271
|
const adapted = adaptStorageErasedValueAst({
|
|
274
272
|
valueAst,
|
|
275
273
|
semanticType: expr.inferredType,
|
|
@@ -318,9 +316,7 @@ export const emitComputedAccess = (expr, objectAst, objectType, receiverSourceCo
|
|
|
318
316
|
if (usage === "value" &&
|
|
319
317
|
arrayLikeReceiver &&
|
|
320
318
|
isRuntimeUnionMemberProjectionAst(objectAst)) {
|
|
321
|
-
const
|
|
322
|
-
const storageElementType = storageReceiverType &&
|
|
323
|
-
resolveArrayLikeReceiverType(storageReceiverType, context)?.elementType;
|
|
319
|
+
const storageElementType = resolveRuntimeStorageArrayLikeElementType(objectType, context);
|
|
324
320
|
const adapted = adaptStorageErasedValueAst({
|
|
325
321
|
valueAst: accessAst,
|
|
326
322
|
semanticType: expr.inferredType,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"access-computed.js","sourceRoot":"","sources":["../../src/expressions/access-computed.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,gBAAgB,EAChB,4BAA4B,EAC5B,YAAY,GACb,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,WAAW,EACX,mBAAmB,GACpB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,aAAa,EACb,4BAA4B,EAE5B,6BAA6B,EAC7B,4CAA4C,GAC7C,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"access-computed.js","sourceRoot":"","sources":["../../src/expressions/access-computed.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,gBAAgB,EAChB,4BAA4B,EAC5B,YAAY,GACb,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,WAAW,EACX,mBAAmB,GACpB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,aAAa,EACb,4BAA4B,EAE5B,6BAA6B,EAC7B,4CAA4C,GAC7C,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EAAE,yCAAyC,EAAE,MAAM,mCAAmC,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,+CAA+C,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,4CAA4C,EAAE,MAAM,+BAA+B,CAAC;AAC7F,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,iCAAiC,GAAG,CACxC,OAA4B,EACnB,EAAE;IACX,IAAI,MAAM,GAAG,OAAO,CAAC;IACrB,OACE,MAAM,CAAC,IAAI,KAAK,yBAAyB;QACzC,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAChC,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IAED,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,sBAAsB;QACtC,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC7B,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACnD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAC7C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,cAAc,CAAC,CAAC;AAEnE,MAAM,yBAAyB,GAAG,CAChC,SAA8B,EAC9B,QAA6B,EACR,EAAE;IACvB,MAAM,UAAU,GAAG,iBAAiB,CAAC;IACrC,MAAM,SAAS,GAAG,gBAAgB,CAAC;IACnC,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,iBAAiB,GAAwB;QAC7C,IAAI,EAAE,yBAAyB;QAC/B,UAAU,EAAE,gBAAgB;QAC5B,SAAS,EAAE,CAAC,eAAe,CAAC;KAC7B,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE;oBACJ,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE;wBACJ,cAAc,EAAE,QAAQ;wBACxB,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;qBAC7B;oBACD,aAAa,EAAE;wBACb,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;wBAC7C,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE;wBAC1C,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;qBAC9C;iBACF;gBACD,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE;wBACV,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,KAAK;wBACd,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,UAAU;gCAChB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;6BACpD;4BACD;gCACE,IAAI,EAAE,SAAS;gCACf,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE;6BACjD;yBACF;wBACD,IAAI,EAAE;4BACJ,IAAI,EAAE,uBAAuB;4BAC7B,SAAS,EAAE;gCACT,IAAI,EAAE,kBAAkB;gCACxB,aAAa,EAAE,IAAI;gCACnB,IAAI,EAAE,gBAAgB;gCACtB,KAAK,EAAE,WAAW,EAAE;6BACrB;4BACD,QAAQ,EAAE,WAAW,EAAE;4BACvB,SAAS,EAAE;gCACT,IAAI,EAAE,uBAAuB;gCAC7B,SAAS,EAAE;oCACT,IAAI,EAAE,kBAAkB;oCACxB,aAAa,EAAE,IAAI;oCACnB,IAAI,EAAE;wCACJ,IAAI,EAAE,kBAAkB;wCACxB,aAAa,EAAE,IAAI;wCACnB,IAAI,EAAE,eAAe;wCACrB,KAAK,EAAE,mBAAmB,CAAC,GAAG,CAAC;qCAChC;oCACD,KAAK,EAAE;wCACL,IAAI,EAAE,kBAAkB;wCACxB,aAAa,EAAE,GAAG;wCAClB,IAAI,EAAE,eAAe;wCACrB,KAAK,EAAE;4CACL,IAAI,EAAE,wBAAwB;4CAC9B,UAAU,EAAE,gBAAgB;4CAC5B,UAAU,EAAE,QAAQ;yCACrB;qCACF;iCACF;gCACD,QAAQ,EAAE;oCACR,IAAI,EAAE,sBAAsB;oCAC5B,UAAU,EAAE;wCACV,IAAI,EAAE,wBAAwB;wCAC9B,UAAU,EAAE,iBAAiB;wCAC7B,UAAU,EAAE,UAAU;qCACvB;oCACD,SAAS,EAAE,EAAE;iCACd;gCACD,SAAS,EAAE,WAAW,EAAE;6BACzB;yBACF;qBACF;iBACF;aACF;SACF;QACD,SAAS,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;KACjC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAqD,EACrD,SAA8B,EAC9B,UAA8B,EAC9B,qBAAqC,EACrC,OAAuB,EACvB,QAA2B,OAAO,EAClC,YAAqB,EACkB,EAAE;IACzC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU;YAChC,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;YACjG,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CACb,kFAAkF;YAChF,eAAe,UAAU,IAAI,WAAW,IAAI,UAAU,GAAG,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;IACxD,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,GAAG,iBAAiB,CACnD,IAAI,CAAC,QAAwB,EAC7B,YAAY,CACb,CAAC;IACF,MAAM,YAAY,GAAG,EAAE,GAAG,gBAAgB,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAwB,CAAC;IAChD,MAAM,kBAAkB,GAAG,UAAU;QACnC,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;QACrD,CAAC,CAAC,SAAS,CAAC;IAEd,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChC,IAAI,wBAAwB,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YAC3D,MAAM,iBAAiB,GACrB,4CAA4C,CAAC;gBAC3C,IAAI,EAAE,IAAI,CAAC,MAAM;gBACjB,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,YAAY;aACtB,CAAC,IAAI,UAAU,CAAC;YACnB,MAAM,yBAAyB,GAAG,iBAAiB;gBACjD,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;gBAC5D,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,gBAAgB,GACpB,yBAAyB,EAAE,IAAI,KAAK,gBAAgB;gBAClD,CAAC,CAAC,CAAC,sBAAsB,CACrB,yBAAyB,CAAC,SAAS,EACnC,IAAI,CACL,IAAI,yBAAyB,CAAC,SAAS,CAAC;gBAC3C,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,yBAAyB,GAC7B,kBAAkB,EAAE,IAAI,KAAK,gBAAgB;gBAC3C,CAAC,CAAC,CAAC,sBAAsB,CAAC,kBAAkB,CAAC,SAAS,EAAE,IAAI,CAAC;oBAC3D,kBAAkB,CAAC,SAAS,CAAC;gBAC/B,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,YAAY,GAChB,YAAY;gBACZ,gBAAgB;gBAChB,IAAI,CAAC,YAAY;gBACjB,yBAAyB,CAAC;YAC5B,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,YAAY;gBAC/C,CAAC,CAAC,WAAW,CAAC,YAAY,EAAE,YAAY,CAAC;gBACzC,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;YAC7C,OAAO;gBACL,4BAA4B,CAC1B,SAAS,EACT,OAAO,EACP,IAAI,CAAC,UAAU,EACf,aAAa,EACb,WAAW,CACZ;gBACD,WAAW;aACZ,CAAC;QACJ,CAAC;QAED,OAAO;YACL;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,SAAS;gBACrB,SAAS,EAAE,CAAC,OAAO,CAAC;aACrB;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,IAAI,KAAK,CACb,yEAAyE,UAAU,KAAK;YACtF,eAAe,QAAQ,wBAAwB;YAC/C,mEAAmE,CACtE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,cAAc,EAAE,YAAY,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,mCAAmC;wBACzC,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,IAAI,CAAC,cAAc,CAAC,YAAY;qBAC7C;oBACD,SAAS,EAAE,CAAC,OAAO,CAAC;iBACrB;gBACD,YAAY;aACb,CAAC;QACJ,CAAC;QAED,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,IAAI,CAAC,cAAc,CAAC,YAAY;iBAC7C;gBACD,SAAS,EAAE,CAAC,OAAO,CAAC;aACrB;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChC,MAAM,aAAa,GAAwB;YACzC,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE,SAAS;YACrB,SAAS,EAAE,CAAC,OAAO,CAAC;SACrB,CAAC;QACF,MAAM,iBAAiB,GAAwB,IAAI,CAAC,UAAU;YAC5D,CAAC,CAAC;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,UAAU,EAAE,SAAS;gBACrB,SAAS,EAAE,CAAC,OAAO,CAAC;aACrB;YACH,CAAC,CAAC,aAAa,CAAC;QAElB,MAAM,oBAAoB,GAAG,YAAY;YACvC,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC;YAC5B,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,oBAAoB,GAAG,oBAAoB;YAC/C,CAAC,CAAC,gBAAgB,CAAC,oBAAoB,EAAE,OAAO,CAAC;YACjD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,WAAW,GACf,CAAC,oBAAoB,EAAE,IAAI,KAAK,eAAe;YAC7C,oBAAoB,CAAC,IAAI,KAAK,MAAM,CAAC;YACvC,CAAC,oBAAoB,EAAE,IAAI,KAAK,eAAe;gBAC7C,oBAAoB,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAE1C,IAAI,WAAW,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;YACtD,OAAO,CAAC,iBAAiB,EAAE,YAAY,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,CAAC,yBAAyB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,OAAO;YACL;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,UAAU,EAAE,SAAS;gBACrB,SAAS,EAAE,CAAC,OAAO,CAAC;aACrB;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,MAAM,yBAAyB,GAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe;QACpC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa;QAClC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAC5B,CAAC,CAAC,qBAAqB;QACvB,CAAC,CAAC,YAAY,CAAC;IACnB,MAAM,iBAAiB,GAAG,4CAA4C,CACpE,IAAI,CAAC,MAAM,EACX,yBAAyB,CAC1B,CAAC;IACF,MAAM,WAAW,GAAG,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC;IACtD,MAAM,0BAA0B,GAAG,CACjC,QAA6B,EAC7B,WAA2B,EACY,EAAE;QACzC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACjC,CAAC;QAED,MAAM,kBAAkB,GAAG,yCAAyC,CAClE,UAAU,EACV,OAAO,CACR,CAAC;QACF,MAAM,OAAO,GAAG,0BAA0B,CAAC;YACzC,QAAQ;YACR,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,WAAW,EAAE,kBAAkB;YAC/B,YAAY,EAAE,WAAW;YACzB,OAAO,EAAE,WAAW;YACpB,WAAW;SACZ,CAAC,CAAC;QACH,OAAO,OAAO,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC;IACF,MAAM,kBAAkB,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;IAC/D,MAAM,sBAAsB,GAC1B,iBAAiB,EAAE,CAAC,CAAC,CAAC,IAAI,yBAAyB,CAAC;IACtD,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,6BAA6B,CAC1E,IAAI,CAAC,MAAM,EACX,sBAAsB,CACvB,CAAC;IACF,MAAM,uBAAuB,GAAG,eAAe;QAC7C,CAAC,CAAC,oBAAoB,CAAC,eAAe,CAAC;QACvC,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,iBAAiB,IAAI,uBAAuB,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QACvE,OAAO,0BAA0B,CAC/B;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,kBAAkB;gBAC9B,UAAU,EAAE,UAAU;aACvB;YACD,SAAS,EAAE,CAAC,OAAO,CAAC;SACrB,EACD,mBAAmB,CACpB,CAAC;IACJ,CAAC;IACD,IACE,uBAAuB;QACvB,0BAA0B,CAAC,uBAAuB,EAAE,qBAAqB,CAAC,EAC1E,CAAC;QACD,OAAO,0BAA0B,CAC/B;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,kBAAkB;gBAC9B,UAAU,EAAE,UAAU;aACvB;YACD,SAAS,EAAE,CAAC,OAAO,CAAC;SACrB,EACD,mBAAmB,CACpB,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAwB;QACrC,IAAI,EAAE,yBAAyB;QAC/B,UAAU,EAAE,SAAS;QACrB,SAAS,EAAE,CAAC,OAAO,CAAC;KACrB,CAAC;IAEF,MAAM,iBAAiB,GAAG,4BAA4B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC5E,IACE,KAAK,KAAK,OAAO;QACjB,iBAAiB;QACjB,iCAAiC,CAAC,SAAS,CAAC,EAC5C,CAAC;QACD,MAAM,kBAAkB,GAAG,yCAAyC,CAClE,UAAU,EACV,OAAO,CACR,CAAC;QACF,MAAM,OAAO,GAAG,0BAA0B,CAAC;YACzC,QAAQ,EAAE,SAAS;YACnB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,WAAW,EAAE,kBAAkB;YAC/B,YAAY,EAAE,WAAW;YACzB,OAAO,EAAE,YAAY;YACrB,WAAW;SACZ,CAAC,CAAC;QACH,OAAO,OAAO,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,KAAK,KAAK,OAAO;QACtB,CAAC,CAAC,4BAA4B,CAC1B,SAAS,EACT,IAAI,CAAC,MAAM,EACX,WAAW,EACX,YAAY,CACb;QACH,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;AAChC,CAAC,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Statically proven JavaScript function.length access.
|
|
3
|
+
*
|
|
4
|
+
* NativeAOT cannot inspect delegate metadata at runtime. This emitter lowers
|
|
5
|
+
* supported `.length` reads from the function type carried in IR instead.
|
|
6
|
+
*/
|
|
7
|
+
import { type IrExpression, type IrType } from "@tsonic/frontend";
|
|
8
|
+
import { EmitterContext } from "../types.js";
|
|
9
|
+
import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
|
|
10
|
+
export declare const tryEmitFunctionLengthAccess: (expr: Extract<IrExpression, {
|
|
11
|
+
kind: "memberAccess";
|
|
12
|
+
}>, objectType: IrType | undefined, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
13
|
+
//# sourceMappingURL=access-function-length.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"access-function-length.d.ts","sourceRoot":"","sources":["../../src/expressions/access-function-length.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,KAAK,YAAY,EAEjB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAkB7C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAyF/E,eAAO,MAAM,2BAA2B,GACtC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACrD,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA+D1C,CAAC"}
|