@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.
Files changed (186) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/array.test.js +5 -1
  3. package/dist/array.test.js.map +1 -1
  4. package/dist/core/module-emitter-cases/static-containers.test.js +2 -1
  5. package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
  6. package/dist/core/semantic/array-expected-types.js +1 -1
  7. package/dist/core/semantic/array-expected-types.js.map +1 -1
  8. package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
  9. package/dist/core/semantic/assignment-flow.js +2 -1
  10. package/dist/core/semantic/assignment-flow.js.map +1 -1
  11. package/dist/core/semantic/direct-value-surfaces.js +2 -1
  12. package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
  13. package/dist/core/semantic/instanceof-predicate-refinements.js +1 -1
  14. package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
  15. package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
  16. package/dist/core/semantic/mutable-storage-helpers.js +3 -2
  17. package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
  18. package/dist/core/semantic/narrowed-expression-types.js +1 -1
  19. package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
  20. package/dist/core/semantic/narrowed-union-resolution.js +1 -1
  21. package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
  22. package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
  23. package/dist/core/semantic/nullable-typeof-refinements.js +8 -31
  24. package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
  25. package/dist/core/semantic/runtime-union-frame.d.ts +6 -0
  26. package/dist/core/semantic/runtime-union-frame.d.ts.map +1 -0
  27. package/dist/core/semantic/runtime-union-frame.js +130 -0
  28. package/dist/core/semantic/runtime-union-frame.js.map +1 -0
  29. package/dist/core/semantic/runtime-unions.d.ts +3 -4
  30. package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
  31. package/dist/core/semantic/runtime-unions.js +4 -129
  32. package/dist/core/semantic/runtime-unions.js.map +1 -1
  33. package/dist/core/semantic/semantic-union-members.js +1 -1
  34. package/dist/core/semantic/semantic-union-members.js.map +1 -1
  35. package/dist/core/semantic/storage-types.d.ts +3 -0
  36. package/dist/core/semantic/storage-types.d.ts.map +1 -1
  37. package/dist/core/semantic/storage-types.js +13 -2
  38. package/dist/core/semantic/storage-types.js.map +1 -1
  39. package/dist/core/semantic/surface-member-semantics.d.ts +14 -0
  40. package/dist/core/semantic/surface-member-semantics.d.ts.map +1 -0
  41. package/dist/core/semantic/surface-member-semantics.js +41 -0
  42. package/dist/core/semantic/surface-member-semantics.js.map +1 -0
  43. package/dist/core/semantic/ternary-guards.d.ts +1 -1
  44. package/dist/core/semantic/ternary-guards.d.ts.map +1 -1
  45. package/dist/core/semantic/ternary-guards.js +2 -1
  46. package/dist/core/semantic/ternary-guards.js.map +1 -1
  47. package/dist/core/semantic/typeof-comparison.d.ts +14 -0
  48. package/dist/core/semantic/typeof-comparison.d.ts.map +1 -0
  49. package/dist/core/semantic/typeof-comparison.js +47 -0
  50. package/dist/core/semantic/typeof-comparison.js.map +1 -0
  51. package/dist/core/semantic/union-semantics.js +1 -1
  52. package/dist/core/semantic/union-semantics.js.map +1 -1
  53. package/dist/emitter-types/context.d.ts.map +1 -1
  54. package/dist/emitter-types/context.js +1 -0
  55. package/dist/emitter-types/context.js.map +1 -1
  56. package/dist/expressions/access-binding.d.ts.map +1 -1
  57. package/dist/expressions/access-binding.js +18 -32
  58. package/dist/expressions/access-binding.js.map +1 -1
  59. package/dist/expressions/access-computed.d.ts.map +1 -1
  60. package/dist/expressions/access-computed.js +3 -7
  61. package/dist/expressions/access-computed.js.map +1 -1
  62. package/dist/expressions/access-function-length.d.ts +13 -0
  63. package/dist/expressions/access-function-length.d.ts.map +1 -0
  64. package/dist/expressions/access-function-length.js +115 -0
  65. package/dist/expressions/access-function-length.js.map +1 -0
  66. package/dist/expressions/access-length.d.ts +2 -4
  67. package/dist/expressions/access-length.d.ts.map +1 -1
  68. package/dist/expressions/access-length.js +7 -23
  69. package/dist/expressions/access-length.js.map +1 -1
  70. package/dist/expressions/access-length.test.js +17 -0
  71. package/dist/expressions/access-length.test.js.map +1 -1
  72. package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
  73. package/dist/expressions/access-resolution-receivers.js +10 -12
  74. package/dist/expressions/access-resolution-receivers.js.map +1 -1
  75. package/dist/expressions/access.d.ts.map +1 -1
  76. package/dist/expressions/access.js +7 -19
  77. package/dist/expressions/access.js.map +1 -1
  78. package/dist/expressions/architecture-invariants.test.js +94 -0
  79. package/dist/expressions/architecture-invariants.test.js.map +1 -1
  80. package/dist/expressions/awaitable-adaptation.d.ts +15 -0
  81. package/dist/expressions/awaitable-adaptation.d.ts.map +1 -0
  82. package/dist/expressions/awaitable-adaptation.js +174 -0
  83. package/dist/expressions/awaitable-adaptation.js.map +1 -0
  84. package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
  85. package/dist/expressions/calls/call-arguments-emit.js +20 -2
  86. package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
  87. package/dist/expressions/calls/call-arguments-helpers.js +2 -2
  88. package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
  89. package/dist/expressions/calls/call-array-interop.d.ts +1 -1
  90. package/dist/expressions/calls/call-array-interop.d.ts.map +1 -1
  91. package/dist/expressions/calls/call-array-interop.js +1 -1
  92. package/dist/expressions/calls/call-array-interop.js.map +1 -1
  93. package/dist/expressions/calls/call-array-mutation.d.ts +0 -1
  94. package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
  95. package/dist/expressions/calls/call-array-mutation.js +5 -7
  96. package/dist/expressions/calls/call-array-mutation.js.map +1 -1
  97. package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
  98. package/dist/expressions/calls/call-array-wrapper.js +3 -8
  99. package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
  100. package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
  101. package/dist/expressions/expected-type-adaptation.js +15 -1
  102. package/dist/expressions/expected-type-adaptation.js.map +1 -1
  103. package/dist/expressions/identifier-storage/broad-storage-target.d.ts +4 -0
  104. package/dist/expressions/identifier-storage/broad-storage-target.d.ts.map +1 -0
  105. package/dist/expressions/identifier-storage/broad-storage-target.js +26 -0
  106. package/dist/expressions/identifier-storage/broad-storage-target.js.map +1 -0
  107. package/dist/expressions/identifier-storage/implicit-storage.d.ts +14 -0
  108. package/dist/expressions/identifier-storage/implicit-storage.d.ts.map +1 -0
  109. package/dist/expressions/identifier-storage/implicit-storage.js +44 -0
  110. package/dist/expressions/identifier-storage/implicit-storage.js.map +1 -0
  111. package/dist/expressions/identifier-storage/materialized-narrowed.d.ts +7 -0
  112. package/dist/expressions/identifier-storage/materialized-narrowed.d.ts.map +1 -0
  113. package/dist/expressions/identifier-storage/materialized-narrowed.js +92 -0
  114. package/dist/expressions/identifier-storage/materialized-narrowed.js.map +1 -0
  115. package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts +14 -0
  116. package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts.map +1 -0
  117. package/dist/expressions/identifier-storage/narrowed-storage-compatible.js +168 -0
  118. package/dist/expressions/identifier-storage/narrowed-storage-compatible.js.map +1 -0
  119. package/dist/expressions/identifier-storage/reified-storage.d.ts +7 -0
  120. package/dist/expressions/identifier-storage/reified-storage.d.ts.map +1 -0
  121. package/dist/expressions/identifier-storage/reified-storage.js +25 -0
  122. package/dist/expressions/identifier-storage/reified-storage.js.map +1 -0
  123. package/dist/expressions/identifier-storage/runtime-subset.d.ts +14 -0
  124. package/dist/expressions/identifier-storage/runtime-subset.d.ts.map +1 -0
  125. package/dist/expressions/identifier-storage/runtime-subset.js +100 -0
  126. package/dist/expressions/identifier-storage/runtime-subset.js.map +1 -0
  127. package/dist/expressions/identifier-storage/storage-compatible.d.ts +10 -0
  128. package/dist/expressions/identifier-storage/storage-compatible.d.ts.map +1 -0
  129. package/dist/expressions/identifier-storage/storage-compatible.js +76 -0
  130. package/dist/expressions/identifier-storage/storage-compatible.js.map +1 -0
  131. package/dist/expressions/identifier-storage/storage-surface-match.d.ts +4 -0
  132. package/dist/expressions/identifier-storage/storage-surface-match.d.ts.map +1 -0
  133. package/dist/expressions/identifier-storage/storage-surface-match.js +95 -0
  134. package/dist/expressions/identifier-storage/storage-surface-match.js.map +1 -0
  135. package/dist/expressions/identifier-storage/storage-surface-shared.d.ts +12 -0
  136. package/dist/expressions/identifier-storage/storage-surface-shared.d.ts.map +1 -0
  137. package/dist/expressions/identifier-storage/storage-surface-shared.js +77 -0
  138. package/dist/expressions/identifier-storage/storage-surface-shared.js.map +1 -0
  139. package/dist/expressions/identifier-storage/storage-surface.d.ts +9 -0
  140. package/dist/expressions/identifier-storage/storage-surface.d.ts.map +1 -0
  141. package/dist/expressions/identifier-storage/storage-surface.js +9 -0
  142. package/dist/expressions/identifier-storage/storage-surface.js.map +1 -0
  143. package/dist/expressions/identifier-storage.d.ts +1 -47
  144. package/dist/expressions/identifier-storage.d.ts.map +1 -1
  145. package/dist/expressions/identifier-storage.js +1 -652
  146. package/dist/expressions/identifier-storage.js.map +1 -1
  147. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +7 -1
  148. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
  149. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +4 -1
  150. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -1
  151. package/dist/expressions/index-cases/helpers.d.ts +1 -0
  152. package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
  153. package/dist/expressions/index-cases/helpers.js +28 -0
  154. package/dist/expressions/index-cases/helpers.js.map +1 -1
  155. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +18 -9
  156. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
  157. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +5 -5
  158. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -1
  159. package/dist/expressions/lambda-body.js +3 -3
  160. package/dist/expressions/lambda-body.js.map +1 -1
  161. package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
  162. package/dist/expressions/operators/binary-special-ops.js +4 -30
  163. package/dist/expressions/operators/binary-special-ops.js.map +1 -1
  164. package/dist/expressions/runtime-union-adaptation-upcast.d.ts +1 -1
  165. package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
  166. package/dist/expressions/runtime-union-adaptation-upcast.js +13 -0
  167. package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
  168. package/dist/integration-cases/may14-downstream-contracts.test.js +372 -0
  169. package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -1
  170. package/dist/statements/classes/members/properties.d.ts.map +1 -1
  171. package/dist/statements/classes/members/properties.js +2 -3
  172. package/dist/statements/classes/members/properties.js.map +1 -1
  173. package/dist/statements/control/conditionals/branch-context.js +3 -3
  174. package/dist/statements/control/conditionals/branch-context.js.map +1 -1
  175. package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
  176. package/dist/statements/control/conditionals/guard-extraction.js +7 -32
  177. package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
  178. package/dist/statements/control/loops.js +2 -2
  179. package/dist/statements/control/loops.js.map +1 -1
  180. package/dist/types/unions.js +2 -1
  181. package/dist/types/unions.js.map +1 -1
  182. package/package.json +2 -2
  183. package/dist/core/semantic/js-array-surface-members.d.ts +0 -4
  184. package/dist/core/semantic/js-array-surface-members.d.ts.map +0 -1
  185. package/dist/core/semantic/js-array-surface-members.js +0 -32
  186. package/dist/core/semantic/js-array-surface-members.js.map +0 -1
@@ -0,0 +1,77 @@
1
+ import { emitTypeAst } from "../../type-emitter.js";
2
+ import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
3
+ import { identifierExpression } from "../../core/format/backend-ast/builders.js";
4
+ import { stripNullableTypeAst } from "../../core/format/backend-ast/utils.js";
5
+ import { requiresValueTypeMaterialization } from "../../core/semantic/expected-type-matching.js";
6
+ import { resolveStructuralReferenceType } from "../../core/semantic/structural-shape-matching.js";
7
+ import { stripNullish } from "../../core/semantic/type-resolution.js";
8
+ import { getArrayElementType, getDictionaryValueType, isSameNominalType, } from "../structural-type-shapes.js";
9
+ import { isExactExpressionToType } from "../exact-comparison.js";
10
+ export const getStorageIdentifierAst = (expr, context) => {
11
+ const remappedLocal = context.localNameMap?.get(expr.name);
12
+ if (remappedLocal) {
13
+ return identifierExpression(remappedLocal);
14
+ }
15
+ if (context.localValueTypes?.has(expr.name)) {
16
+ return identifierExpression(escapeCSharpIdentifier(expr.name));
17
+ }
18
+ return undefined;
19
+ };
20
+ export const needsStructuralCollectionMaterialization = (actualType, expectedType, context) => {
21
+ if (!actualType || !expectedType) {
22
+ return false;
23
+ }
24
+ const actualArrayElement = getArrayElementType(actualType, context);
25
+ const expectedArrayElement = getArrayElementType(expectedType, context);
26
+ if (actualArrayElement && expectedArrayElement) {
27
+ const actualStructuralElement = resolveStructuralReferenceType(actualArrayElement, context) ??
28
+ stripNullish(actualArrayElement);
29
+ const expectedStructuralElement = resolveStructuralReferenceType(expectedArrayElement, context) ??
30
+ stripNullish(expectedArrayElement);
31
+ if ((actualStructuralElement.kind === "objectType" ||
32
+ expectedStructuralElement.kind === "objectType") &&
33
+ !isSameNominalType(actualArrayElement, expectedArrayElement, context)) {
34
+ return true;
35
+ }
36
+ }
37
+ const actualDictionaryValue = getDictionaryValueType(actualType, context);
38
+ const expectedDictionaryValue = getDictionaryValueType(expectedType, context);
39
+ if (actualDictionaryValue && expectedDictionaryValue) {
40
+ const actualStructuralValue = resolveStructuralReferenceType(actualDictionaryValue, context) ??
41
+ stripNullish(actualDictionaryValue);
42
+ const expectedStructuralValue = resolveStructuralReferenceType(expectedDictionaryValue, context) ??
43
+ stripNullish(expectedDictionaryValue);
44
+ if ((actualStructuralValue.kind === "objectType" ||
45
+ expectedStructuralValue.kind === "objectType") &&
46
+ !isSameNominalType(actualDictionaryValue, expectedDictionaryValue, context)) {
47
+ return true;
48
+ }
49
+ }
50
+ return false;
51
+ };
52
+ export const wrapMaterializedTargetAst = (valueAst, targetType, context) => {
53
+ const [targetTypeAst, nextContext] = emitTypeAst(targetType, context);
54
+ if (isExactExpressionToType(valueAst, stripNullableTypeAst(targetTypeAst))) {
55
+ return [valueAst, nextContext];
56
+ }
57
+ if (valueAst.kind === "castExpression" ||
58
+ (valueAst.kind === "memberAccessExpression" &&
59
+ valueAst.memberName === "Value")) {
60
+ return [valueAst, context];
61
+ }
62
+ return [
63
+ {
64
+ kind: "castExpression",
65
+ type: targetTypeAst,
66
+ expression: valueAst,
67
+ },
68
+ nextContext,
69
+ ];
70
+ };
71
+ export const preservesMaterializedValueTypeNarrowing = (narrowed, context) => {
72
+ const sourceType = narrowed.sourceType ?? narrowed.storageType ?? narrowed.carrierType;
73
+ return (!!sourceType &&
74
+ !!narrowed.type &&
75
+ requiresValueTypeMaterialization(sourceType, narrowed.type, context));
76
+ };
77
+ //# sourceMappingURL=storage-surface-shared.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"storage-surface-shared.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-shared.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,gCAAgC,EAAE,MAAM,+CAA+C,CAAC;AACjG,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAmD,EACnD,OAAuB,EACU,EAAE;IACnC,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,kBAAkB,IAAI,oBAAoB,EAAE,CAAC;QAC/C,MAAM,uBAAuB,GAC3B,8BAA8B,CAAC,kBAAkB,EAAE,OAAO,CAAC;YAC3D,YAAY,CAAC,kBAAkB,CAAC,CAAC;QACnC,MAAM,yBAAyB,GAC7B,8BAA8B,CAAC,oBAAoB,EAAE,OAAO,CAAC;YAC7D,YAAY,CAAC,oBAAoB,CAAC,CAAC;QAErC,IACE,CAAC,uBAAuB,CAAC,IAAI,KAAK,YAAY;YAC5C,yBAAyB,CAAC,IAAI,KAAK,YAAY,CAAC;YAClD,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,oBAAoB,EAAE,OAAO,CAAC,EACrE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,qBAAqB,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,MAAM,uBAAuB,GAAG,sBAAsB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC9E,IAAI,qBAAqB,IAAI,uBAAuB,EAAE,CAAC;QACrD,MAAM,qBAAqB,GACzB,8BAA8B,CAAC,qBAAqB,EAAE,OAAO,CAAC;YAC9D,YAAY,CAAC,qBAAqB,CAAC,CAAC;QACtC,MAAM,uBAAuB,GAC3B,8BAA8B,CAAC,uBAAuB,EAAE,OAAO,CAAC;YAChE,YAAY,CAAC,uBAAuB,CAAC,CAAC;QAExC,IACE,CAAC,qBAAqB,CAAC,IAAI,KAAK,YAAY;YAC1C,uBAAuB,CAAC,IAAI,KAAK,YAAY,CAAC;YAChD,CAAC,iBAAiB,CAChB,qBAAqB,EACrB,uBAAuB,EACvB,OAAO,CACR,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,QAA6B,EAC7B,UAAkB,EAClB,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,uBAAuB,CAAC,QAAQ,EAAE,oBAAoB,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACjC,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAClC,CAAC,QAAQ,CAAC,IAAI,KAAK,wBAAwB;YACzC,QAAQ,CAAC,UAAU,KAAK,OAAO,CAAC,EAClC,CAAC;QACD,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,QAAQ;SACrB;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,QAAoD,EACpD,OAAuB,EACd,EAAE;IACX,MAAM,UAAU,GACd,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC;IACtE,OAAO,CACL,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,gCAAgC,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CACrE,CAAC;AACJ,CAAC,CAAC"}
@@ -0,0 +1,9 @@
1
+ export { isBroadStorageTarget } from "./broad-storage-target.js";
2
+ export { matchesEmittedStorageSurface } from "./storage-surface-match.js";
3
+ export { buildRuntimeSubsetExpressionAst, tryEmitRuntimeSubsetMemberProjectionIdentifier, } from "./runtime-subset.js";
4
+ export { tryEmitCollapsedStorageIdentifier, tryEmitStorageCompatibleIdentifier, } from "./storage-compatible.js";
5
+ export { tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, } from "./implicit-storage.js";
6
+ export { tryEmitReifiedStorageIdentifier } from "./reified-storage.js";
7
+ export { tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./narrowed-storage-compatible.js";
8
+ export { tryEmitMaterializedNarrowedIdentifier } from "./materialized-narrowed.js";
9
+ //# sourceMappingURL=storage-surface.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"storage-surface.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,8CAA8C,GAC/C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,wCAAwC,EACxC,6CAA6C,GAC9C,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EACL,+CAA+C,EAC/C,0CAA0C,GAC3C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,qCAAqC,EAAE,MAAM,4BAA4B,CAAC"}
@@ -0,0 +1,9 @@
1
+ export { isBroadStorageTarget } from "./broad-storage-target.js";
2
+ export { matchesEmittedStorageSurface } from "./storage-surface-match.js";
3
+ export { buildRuntimeSubsetExpressionAst, tryEmitRuntimeSubsetMemberProjectionIdentifier, } from "./runtime-subset.js";
4
+ export { tryEmitCollapsedStorageIdentifier, tryEmitStorageCompatibleIdentifier, } from "./storage-compatible.js";
5
+ export { tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, } from "./implicit-storage.js";
6
+ export { tryEmitReifiedStorageIdentifier } from "./reified-storage.js";
7
+ export { tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./narrowed-storage-compatible.js";
8
+ export { tryEmitMaterializedNarrowedIdentifier } from "./materialized-narrowed.js";
9
+ //# sourceMappingURL=storage-surface.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"storage-surface.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,8CAA8C,GAC/C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,wCAAwC,EACxC,6CAA6C,GAC9C,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EACL,+CAA+C,EAC/C,0CAA0C,GAC3C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,qCAAqC,EAAE,MAAM,4BAA4B,CAAC"}
@@ -1,48 +1,2 @@
1
- import { IrExpression, IrType } from "@tsonic/frontend";
2
- import { EmitterContext, NarrowedBinding } from "../types.js";
3
- import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
4
- export declare const isBroadStorageTarget: (expectedType: IrType | undefined, context: EmitterContext) => boolean;
5
- export declare const buildRuntimeSubsetExpressionAst: (expr: Extract<IrExpression, {
6
- kind: "identifier";
7
- }>, narrowed: Extract<NarrowedBinding, {
8
- kind: "runtimeSubset";
9
- }>, context: EmitterContext, targetType?: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
10
- export declare const tryEmitRuntimeSubsetMemberProjectionIdentifier: (expr: Extract<IrExpression, {
11
- kind: "identifier";
12
- }>, narrowed: Extract<NarrowedBinding, {
13
- kind: "runtimeSubset";
14
- }>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
15
- export declare const tryEmitStorageCompatibleIdentifier: (expr: Extract<IrExpression, {
16
- kind: "identifier";
17
- }>, context: EmitterContext, expectedType: IrType | undefined) => CSharpExpressionAst | undefined;
18
- export declare const tryEmitCollapsedStorageIdentifier: (expr: Extract<IrExpression, {
19
- kind: "identifier";
20
- }>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
21
- export declare const tryEmitImplicitNarrowedStorageIdentifier: (expr: Extract<IrExpression, {
22
- kind: "identifier";
23
- }>, narrowed: Extract<NarrowedBinding, {
24
- kind: "expr";
25
- }>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
26
- export declare const tryEmitImplicitRuntimeSubsetStorageIdentifier: (expr: Extract<IrExpression, {
27
- kind: "identifier";
28
- }>, narrowed: Extract<NarrowedBinding, {
29
- kind: "runtimeSubset";
30
- }>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
31
- export declare const tryEmitReifiedStorageIdentifier: (expr: Extract<IrExpression, {
32
- kind: "identifier";
33
- }>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
34
- export declare const tryEmitStorageCompatibleNarrowedIdentifier: (expr: Extract<IrExpression, {
35
- kind: "identifier";
36
- }>, narrowed: Extract<NarrowedBinding, {
37
- kind: "expr";
38
- }>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
39
- export declare const tryEmitExactStorageCompatibleNarrowedIdentifier: (expr: Extract<IrExpression, {
40
- kind: "identifier";
41
- }>, narrowed: Extract<NarrowedBinding, {
42
- kind: "expr";
43
- }>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
44
- export declare const tryEmitMaterializedNarrowedIdentifier: (narrowed: Extract<NarrowedBinding, {
45
- kind: "expr";
46
- }>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
47
- export declare const matchesEmittedStorageSurface: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => [boolean, EmitterContext];
1
+ export { buildRuntimeSubsetExpressionAst, isBroadStorageTarget, matchesEmittedStorageSurface, tryEmitCollapsedStorageIdentifier, tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, tryEmitMaterializedNarrowedIdentifier, tryEmitReifiedStorageIdentifier, tryEmitRuntimeSubsetMemberProjectionIdentifier, tryEmitStorageCompatibleIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./identifier-storage/storage-surface.js";
48
2
  //# sourceMappingURL=identifier-storage.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"identifier-storage.d.ts","sourceRoot":"","sources":["../../src/expressions/identifier-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAmC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AA+G/E,eAAO,MAAM,oBAAoB,GAC/B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAwBF,CAAC;AA2CF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,EACvB,aAAY,MAAM,GAAG,SAAyB,KAC7C,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAqE1C,CAAC;AAEF,eAAO,MAAM,8CAA8C,GACzD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA8D1C,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,mBAAmB,GAAG,SAwDxB,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA+B1C,CAAC;AAEF,eAAO,MAAM,wCAAwC,GACnD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAsC1C,CAAC;AAEF,eAAO,MAAM,6CAA6C,GACxD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAqB1C,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAuB1C,CAAC;AAEF,eAAO,MAAM,0CAA0C,GACrD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA+J1C,CAAC;AAEF,eAAO,MAAM,+CAA+C,GAC1D,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA6E1C,CAAC;AAEF,eAAO,MAAM,qCAAqC,GAChD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA+J1C,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,CAAC,OAAO,EAAE,cAAc,CA0I1B,CAAC"}
1
+ {"version":3,"file":"identifier-storage.d.ts","sourceRoot":"","sources":["../../src/expressions/identifier-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,+BAA+B,EAC/B,oBAAoB,EACpB,4BAA4B,EAC5B,iCAAiC,EACjC,+CAA+C,EAC/C,wCAAwC,EACxC,6CAA6C,EAC7C,qCAAqC,EACrC,+BAA+B,EAC/B,8CAA8C,EAC9C,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,yCAAyC,CAAC"}