@tsonic/emitter 0.0.6 → 0.0.12

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 (168) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/array.test.js +6 -6
  3. package/dist/array.test.js.map +1 -1
  4. package/dist/core/imports.test.js +6 -3
  5. package/dist/core/imports.test.js.map +1 -1
  6. package/dist/core/index.d.ts +1 -0
  7. package/dist/core/index.d.ts.map +1 -1
  8. package/dist/core/index.js +1 -0
  9. package/dist/core/index.js.map +1 -1
  10. package/dist/core/type-compatibility.d.ts +26 -0
  11. package/dist/core/type-compatibility.d.ts.map +1 -0
  12. package/dist/core/type-compatibility.js +109 -0
  13. package/dist/core/type-compatibility.js.map +1 -0
  14. package/dist/core/type-resolution.d.ts +81 -1
  15. package/dist/core/type-resolution.d.ts.map +1 -1
  16. package/dist/core/type-resolution.js +258 -0
  17. package/dist/core/type-resolution.js.map +1 -1
  18. package/dist/core/type-resolution.test.js +110 -1
  19. package/dist/core/type-resolution.test.js.map +1 -1
  20. package/dist/emitter-types/context.d.ts.map +1 -1
  21. package/dist/emitter-types/context.js +21 -1
  22. package/dist/emitter-types/context.js.map +1 -1
  23. package/dist/emitter-types/core.d.ts +26 -0
  24. package/dist/emitter-types/core.d.ts.map +1 -1
  25. package/dist/emitter-types/identifiers.d.ts.map +1 -1
  26. package/dist/emitter-types/identifiers.js +4 -43
  27. package/dist/emitter-types/identifiers.js.map +1 -1
  28. package/dist/emitter-types/index.d.ts +1 -1
  29. package/dist/emitter-types/index.d.ts.map +1 -1
  30. package/dist/emitter-types/index.js.map +1 -1
  31. package/dist/expression-emitter.d.ts.map +1 -1
  32. package/dist/expression-emitter.js +48 -0
  33. package/dist/expression-emitter.js.map +1 -1
  34. package/dist/expressions/access.d.ts.map +1 -1
  35. package/dist/expressions/access.js +97 -13
  36. package/dist/expressions/access.js.map +1 -1
  37. package/dist/expressions/calls.d.ts.map +1 -1
  38. package/dist/expressions/calls.js +5 -1
  39. package/dist/expressions/calls.js.map +1 -1
  40. package/dist/expressions/collections.d.ts +3 -2
  41. package/dist/expressions/collections.d.ts.map +1 -1
  42. package/dist/expressions/collections.js +214 -24
  43. package/dist/expressions/collections.js.map +1 -1
  44. package/dist/expressions/functions.d.ts +2 -2
  45. package/dist/expressions/functions.d.ts.map +1 -1
  46. package/dist/expressions/functions.js +81 -38
  47. package/dist/expressions/functions.js.map +1 -1
  48. package/dist/expressions/identifiers.d.ts.map +1 -1
  49. package/dist/expressions/identifiers.js +27 -7
  50. package/dist/expressions/identifiers.js.map +1 -1
  51. package/dist/expressions/index.test.js +189 -4
  52. package/dist/expressions/index.test.js.map +1 -1
  53. package/dist/expressions/literals.d.ts +4 -6
  54. package/dist/expressions/literals.d.ts.map +1 -1
  55. package/dist/expressions/literals.js +41 -17
  56. package/dist/expressions/literals.js.map +1 -1
  57. package/dist/expressions/literals.test.js +41 -0
  58. package/dist/expressions/literals.test.js.map +1 -1
  59. package/dist/expressions/operators.d.ts +4 -0
  60. package/dist/expressions/operators.d.ts.map +1 -1
  61. package/dist/expressions/operators.js +145 -12
  62. package/dist/expressions/operators.js.map +1 -1
  63. package/dist/expressions/other.d.ts.map +1 -1
  64. package/dist/expressions/other.js +9 -2
  65. package/dist/expressions/other.js.map +1 -1
  66. package/dist/generator-exchange.d.ts +1 -1
  67. package/dist/generator-exchange.d.ts.map +1 -1
  68. package/dist/generator-exchange.js +15 -4
  69. package/dist/generator-exchange.js.map +1 -1
  70. package/dist/generator-wrapper.d.ts +84 -0
  71. package/dist/generator-wrapper.d.ts.map +1 -0
  72. package/dist/generator-wrapper.js +312 -0
  73. package/dist/generator-wrapper.js.map +1 -0
  74. package/dist/generator-wrapper.test.d.ts +12 -0
  75. package/dist/generator-wrapper.test.d.ts.map +1 -0
  76. package/dist/generator-wrapper.test.js +179 -0
  77. package/dist/generator-wrapper.test.js.map +1 -0
  78. package/dist/generator.test.js +596 -6
  79. package/dist/generator.test.js.map +1 -1
  80. package/dist/golden-tests/config-parser.d.ts.map +1 -1
  81. package/dist/golden-tests/config-parser.js +81 -11
  82. package/dist/golden-tests/config-parser.js.map +1 -1
  83. package/dist/golden-tests/discovery.d.ts.map +1 -1
  84. package/dist/golden-tests/discovery.js +15 -5
  85. package/dist/golden-tests/discovery.js.map +1 -1
  86. package/dist/golden-tests/runner.d.ts.map +1 -1
  87. package/dist/golden-tests/runner.js +62 -7
  88. package/dist/golden-tests/runner.js.map +1 -1
  89. package/dist/golden-tests/types.d.ts +11 -1
  90. package/dist/golden-tests/types.d.ts.map +1 -1
  91. package/dist/hierarchical-bindings.test.js +2 -2
  92. package/dist/hierarchical-bindings.test.js.map +1 -1
  93. package/dist/integration.test.js +49 -2
  94. package/dist/integration.test.js.map +1 -1
  95. package/dist/invariants/emitter-globals-subset.test.d.ts +15 -0
  96. package/dist/invariants/emitter-globals-subset.test.d.ts.map +1 -0
  97. package/dist/invariants/emitter-globals-subset.test.js +137 -0
  98. package/dist/invariants/emitter-globals-subset.test.js.map +1 -0
  99. package/dist/invariants/numeric-proof-contract.test.d.ts +19 -0
  100. package/dist/invariants/numeric-proof-contract.test.d.ts.map +1 -0
  101. package/dist/invariants/numeric-proof-contract.test.js +560 -0
  102. package/dist/invariants/numeric-proof-contract.test.js.map +1 -0
  103. package/dist/specialization/generic-functions.test.js +10 -0
  104. package/dist/specialization/generic-functions.test.js.map +1 -1
  105. package/dist/specialization/substitution.d.ts.map +1 -1
  106. package/dist/specialization/substitution.js +7 -0
  107. package/dist/specialization/substitution.js.map +1 -1
  108. package/dist/statement-emitter.d.ts.map +1 -1
  109. package/dist/statement-emitter.js +5 -1
  110. package/dist/statement-emitter.js.map +1 -1
  111. package/dist/statements/blocks.d.ts +39 -1
  112. package/dist/statements/blocks.d.ts.map +1 -1
  113. package/dist/statements/blocks.js +129 -3
  114. package/dist/statements/blocks.js.map +1 -1
  115. package/dist/statements/classes/members/methods.d.ts.map +1 -1
  116. package/dist/statements/classes/members/methods.js +3 -1
  117. package/dist/statements/classes/members/methods.js.map +1 -1
  118. package/dist/statements/control/conditionals.d.ts.map +1 -1
  119. package/dist/statements/control/conditionals.js +215 -1
  120. package/dist/statements/control/conditionals.js.map +1 -1
  121. package/dist/statements/control/loops.d.ts +6 -0
  122. package/dist/statements/control/loops.d.ts.map +1 -1
  123. package/dist/statements/control/loops.js +9 -2
  124. package/dist/statements/control/loops.js.map +1 -1
  125. package/dist/statements/declarations/classes.d.ts.map +1 -1
  126. package/dist/statements/declarations/classes.js +13 -5
  127. package/dist/statements/declarations/classes.js.map +1 -1
  128. package/dist/statements/declarations/functions.d.ts.map +1 -1
  129. package/dist/statements/declarations/functions.js +91 -25
  130. package/dist/statements/declarations/functions.js.map +1 -1
  131. package/dist/statements/declarations/interfaces.d.ts.map +1 -1
  132. package/dist/statements/declarations/interfaces.js +11 -1
  133. package/dist/statements/declarations/interfaces.js.map +1 -1
  134. package/dist/statements/declarations/type-aliases.d.ts.map +1 -1
  135. package/dist/statements/declarations/type-aliases.js +11 -1
  136. package/dist/statements/declarations/type-aliases.js.map +1 -1
  137. package/dist/statements/index.test.js +165 -3
  138. package/dist/statements/index.test.js.map +1 -1
  139. package/dist/types/arrays.d.ts +10 -1
  140. package/dist/types/arrays.d.ts.map +1 -1
  141. package/dist/types/arrays.js +16 -1
  142. package/dist/types/arrays.js.map +1 -1
  143. package/dist/types/dictionaries.d.ts +3 -2
  144. package/dist/types/dictionaries.d.ts.map +1 -1
  145. package/dist/types/dictionaries.js +14 -8
  146. package/dist/types/dictionaries.js.map +1 -1
  147. package/dist/types/emitter.d.ts.map +1 -1
  148. package/dist/types/emitter.js +3 -0
  149. package/dist/types/emitter.js.map +1 -1
  150. package/dist/types/index.test.js +5 -2
  151. package/dist/types/index.test.js.map +1 -1
  152. package/dist/types/references.d.ts.map +1 -1
  153. package/dist/types/references.js +128 -29
  154. package/dist/types/references.js.map +1 -1
  155. package/dist/types/references.test.d.ts +11 -0
  156. package/dist/types/references.test.d.ts.map +1 -0
  157. package/dist/types/references.test.js +384 -0
  158. package/dist/types/references.test.js.map +1 -0
  159. package/dist/types/tuples.d.ts +23 -0
  160. package/dist/types/tuples.d.ts.map +1 -0
  161. package/dist/types/tuples.js +54 -0
  162. package/dist/types/tuples.js.map +1 -0
  163. package/dist/types/unions.test.js +62 -15
  164. package/dist/types/unions.test.js.map +1 -1
  165. package/dist/types.d.ts +1 -1
  166. package/dist/types.d.ts.map +1 -1
  167. package/dist/types.js.map +1 -1
  168. package/package.json +3 -2
@@ -1 +1 @@
1
- {"version":3,"file":"substitution.js","sourceRoot":"","sources":["../../src/specialization/substitution.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAY,EACZ,aAAkC,EAC1B,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,4DAA4D;YAC5D,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjD,IAAI,WAAW,EAAE,CAAC;oBAChB,OAAO,WAAW,CAAC;gBACrB,CAAC;YACH,CAAC;YAED,2CAA2C;YAC3C,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,OAAO;oBACL,GAAG,IAAI;oBACP,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5C,cAAc,CAAC,GAAG,EAAE,aAAa,CAAC,CACnC;iBACF,CAAC;YACJ,CAAC;YAED,OAAO,IAAI,CAAC;QAEd,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC;aAC7D,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;oBACxC,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI;wBAChC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;wBAC3C,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;oBACf,OAAO;wBACL,GAAG,KAAK;wBACR,IAAI,EAAE,eAAe;qBACtB,CAAC;gBACJ,CAAC,CAAC;gBACF,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;oBAChD,CAAC,CAAC,IAAI,CAAC,UAAU;aACpB,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;aAC/D,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;aAC/D,CAAC;QAEJ,+DAA+D;QAC/D;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAiB,EACjB,aAAkC,EACrB,EAAE;IACf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpC,mBAAmB,CAAC,CAAC,EAAE,aAAa,CAAC,CACtC;aACF,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;oBACtD,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;aACjE,CAAC;QAEJ,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC7C,GAAG,IAAI;oBACP,WAAW,EAAE,IAAI,CAAC,WAAW;wBAC3B,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC;wBACvD,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,oBAAoB,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC;gBAC9D,aAAa,EAAE,mBAAmB,CAAC,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC;gBACrE,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC;oBACxD,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,kDAAkD;QAClD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAkB,EAClB,aAAkC,EACpB,EAAE;IAChB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC;gBACxD,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC;wBACE,GAAG,GAAG;wBACN,UAAU,EAAE,oBAAoB,CAAC,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC;qBAChE;oBACH,CAAC,CAAC,oBAAoB,CAAC,GAAG,EAAE,aAAa,CAAC,CAC7C;gBACD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;oBACrE,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC;gBACxD,QAAQ,EACN,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;oBACf,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC;aACzD,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC;gBACpD,KAAK,EAAE,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC;aACvD,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;aACjE,CAAC;QAEJ,sCAAsC;QACtC;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC"}
1
+ {"version":3,"file":"substitution.js","sourceRoot":"","sources":["../../src/specialization/substitution.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAY,EACZ,aAAkC,EAC1B,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,4DAA4D;YAC5D,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjD,IAAI,WAAW,EAAE,CAAC;oBAChB,OAAO,WAAW,CAAC;gBACrB,CAAC;YACH,CAAC;YAED,2CAA2C;YAC3C,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,OAAO;oBACL,GAAG,IAAI;oBACP,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5C,cAAc,CAAC,GAAG,EAAE,aAAa,CAAC,CACnC;iBACF,CAAC;YACJ,CAAC;YAED,OAAO,IAAI,CAAC;QAEd,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC;aAC7D,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;oBACxC,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI;wBAChC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;wBAC3C,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;oBACf,OAAO;wBACL,GAAG,KAAK;wBACR,IAAI,EAAE,eAAe;qBACtB,CAAC;gBACJ,CAAC,CAAC;gBACF,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;oBAChD,CAAC,CAAC,IAAI,CAAC,UAAU;aACpB,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;aAC/D,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;aAC/D,CAAC;QAEJ,+DAA+D;QAC/D;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAiB,EACjB,aAAkC,EACrB,EAAE;IACf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpC,mBAAmB,CAAC,CAAC,EAAE,aAAa,CAAC,CACtC;aACF,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;oBACtD,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;oBACtD,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;aACjE,CAAC;QAEJ,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC7C,GAAG,IAAI;oBACP,WAAW,EAAE,IAAI,CAAC,WAAW;wBAC3B,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC;wBACvD,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,oBAAoB,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC;gBAC9D,aAAa,EAAE,mBAAmB,CAAC,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC;gBACrE,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC;oBACxD,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,kDAAkD;QAClD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAkB,EAClB,aAAkC,EACpB,EAAE;IAChB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC;gBACxD,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC;wBACE,GAAG,GAAG;wBACN,UAAU,EAAE,oBAAoB,CAAC,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC;qBAChE;oBACH,CAAC,CAAC,oBAAoB,CAAC,GAAG,EAAE,aAAa,CAAC,CAC7C;gBACD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;oBACrE,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC;gBACxD,QAAQ,EACN,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;oBACf,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC;aACzD,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC;gBACpD,KAAK,EAAE,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC;aACvD,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;aACjE,CAAC;QAEJ,sCAAsC;QACtC;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"statement-emitter.d.ts","sourceRoot":"","sources":["../src/statement-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAa,MAAM,YAAY,CAAC;AA4BvD;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAwEzB,CAAC;AAGF,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC"}
1
+ {"version":3,"file":"statement-emitter.d.ts","sourceRoot":"","sources":["../src/statement-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAa,MAAM,YAAY,CAAC;AA8BvD;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CA8EzB,CAAC;AAGF,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC"}
@@ -5,7 +5,7 @@
5
5
  import { getIndent } from "./types.js";
6
6
  // Import statement emitters from specialized modules
7
7
  import { emitVariableDeclaration, emitFunctionDeclaration, emitClassDeclaration, emitInterfaceDeclaration, emitEnumDeclaration, emitTypeAliasDeclaration, } from "./statements/declarations.js";
8
- import { emitBlockStatement, emitReturnStatement, emitExpressionStatement, } from "./statements/blocks.js";
8
+ import { emitBlockStatement, emitReturnStatement, emitExpressionStatement, emitYieldStatement, emitGeneratorReturnStatement, } from "./statements/blocks.js";
9
9
  import { emitIfStatement, emitWhileStatement, emitForStatement, emitForOfStatement, emitSwitchStatement, emitTryStatement, emitThrowStatement, } from "./statements/control.js";
10
10
  /**
11
11
  * Emit a C# statement from an IR statement
@@ -55,6 +55,10 @@ export const emitStatement = (stmt, context) => {
55
55
  return [`${ind}continue;`, context];
56
56
  case "expressionStatement":
57
57
  return emitExpressionStatement(stmt, context);
58
+ case "yieldStatement":
59
+ return emitYieldStatement(stmt, context);
60
+ case "generatorReturnStatement":
61
+ return emitGeneratorReturnStatement(stmt, context);
58
62
  case "emptyStatement":
59
63
  return [`${ind};`, context];
60
64
  default:
@@ -1 +1 @@
1
- {"version":3,"file":"statement-emitter.js","sourceRoot":"","sources":["../src/statement-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvD,qDAAqD;AACrD,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,oBAAoB,EACpB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAiB,EACjB,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEhD,KAAK,qBAAqB;YACxB,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEhD,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE7C,KAAK,sBAAsB;YACzB,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEjD,KAAK,iBAAiB;YACpB,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE5C,KAAK,sBAAsB;YACzB,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEjD,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAExC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,iDAAiD;QACjD,2BAA2B;QAC3B,gDAAgD;QAEhD,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEzC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,+CAA+C;QAC/C,yBAAyB;QACzB,8CAA8C;QAE9C,KAAK,iBAAiB;YACpB,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE5C,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEzC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,KAAK,iBAAiB;YACpB,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE5C,KAAK,gBAAgB;YACnB,OAAO,CAAC,GAAG,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC;QAEnC,KAAK,mBAAmB;YACtB,OAAO,CAAC,GAAG,GAAG,WAAW,EAAE,OAAO,CAAC,CAAC;QAEtC,KAAK,qBAAqB;YACxB,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEhD,KAAK,gBAAgB;YACnB,OAAO,CAAC,GAAG,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC;QAE9B;YACE,OAAO,CAAC,GAAG,GAAG,8BAA8B,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC"}
1
+ {"version":3,"file":"statement-emitter.js","sourceRoot":"","sources":["../src/statement-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvD,qDAAqD;AACrD,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,oBAAoB,EACpB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,kBAAkB,EAClB,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAiB,EACjB,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEhD,KAAK,qBAAqB;YACxB,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEhD,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE7C,KAAK,sBAAsB;YACzB,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEjD,KAAK,iBAAiB;YACpB,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE5C,KAAK,sBAAsB;YACzB,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEjD,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAExC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,iDAAiD;QACjD,2BAA2B;QAC3B,gDAAgD;QAEhD,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEzC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,+CAA+C;QAC/C,yBAAyB;QACzB,8CAA8C;QAE9C,KAAK,iBAAiB;YACpB,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE5C,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEzC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,KAAK,iBAAiB;YACpB,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE5C,KAAK,gBAAgB;YACnB,OAAO,CAAC,GAAG,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC;QAEnC,KAAK,mBAAmB;YACtB,OAAO,CAAC,GAAG,GAAG,WAAW,EAAE,OAAO,CAAC,CAAC;QAEtC,KAAK,qBAAqB;YACxB,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEhD,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,KAAK,0BAA0B;YAC7B,OAAO,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAErD,KAAK,gBAAgB;YACnB,OAAO,CAAC,GAAG,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC;QAE9B;YACE,OAAO,CAAC,GAAG,GAAG,8BAA8B,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC"}
@@ -18,6 +18,7 @@ export declare const emitReturnStatement: (stmt: Extract<IrStatement, {
18
18
  }>, context: EmitterContext) => [string, EmitterContext];
19
19
  /**
20
20
  * Emit yield expression as C# yield return with exchange object pattern
21
+ * (Legacy handler for IrYieldExpression - used for unidirectional generators)
21
22
  *
22
23
  * TypeScript: yield value
23
24
  * C#:
@@ -29,13 +30,50 @@ export declare const emitReturnStatement: (stmt: Extract<IrStatement, {
29
30
  * foreach (var item in OtherGenerator())
30
31
  * yield return item;
31
32
  */
32
- export declare const emitYieldStatement: (expr: Extract<IrExpression, {
33
+ export declare const emitYieldExpression: (expr: Extract<IrExpression, {
33
34
  kind: "yield";
34
35
  }>, context: EmitterContext) => [string, EmitterContext];
36
+ /**
37
+ * Emit IrYieldStatement (lowered form from yield-lowering pass)
38
+ * Handles bidirectional communication: const x = yield value;
39
+ *
40
+ * TypeScript: const x = yield value;
41
+ * C#:
42
+ * exchange.Output = value;
43
+ * yield return exchange;
44
+ * var x = exchange.Input; // or pattern destructuring
45
+ *
46
+ * TypeScript: yield value; (no receiveTarget)
47
+ * C#:
48
+ * exchange.Output = value;
49
+ * yield return exchange;
50
+ */
51
+ export declare const emitYieldStatement: (stmt: Extract<IrStatement, {
52
+ kind: "yieldStatement";
53
+ }>, context: EmitterContext) => [string, EmitterContext];
35
54
  /**
36
55
  * Emit an expression statement
37
56
  */
38
57
  export declare const emitExpressionStatement: (stmt: Extract<IrStatement, {
39
58
  kind: "expressionStatement";
40
59
  }>, context: EmitterContext) => [string, EmitterContext];
60
+ /**
61
+ * Emit IrGeneratorReturnStatement (lowered form from yield-lowering pass)
62
+ * Handles return statements in generators with TReturn.
63
+ *
64
+ * TypeScript: return "done";
65
+ * C#:
66
+ * __returnValue = "done";
67
+ * yield break;
68
+ *
69
+ * TypeScript: return; (no expression)
70
+ * C#:
71
+ * yield break;
72
+ *
73
+ * The __returnValue variable is declared in the enclosing function emission.
74
+ * The wrapper's _getReturnValue closure captures this value when iteration completes.
75
+ */
76
+ export declare const emitGeneratorReturnStatement: (stmt: Extract<IrStatement, {
77
+ kind: "generatorReturnStatement";
78
+ }>, context: EmitterContext) => [string, EmitterContext];
41
79
  //# sourceMappingURL=blocks.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"blocks.d.ts","sourceRoot":"","sources":["../../src/statements/blocks.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAa,MAAM,aAAa,CAAC;AAIxD;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAazB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACvD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAczB,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAiCzB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAUzB,CAAC"}
1
+ {"version":3,"file":"blocks.d.ts","sourceRoot":"","sources":["../../src/statements/blocks.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAa,MAAM,aAAa,CAAC;AAIxD;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAazB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACvD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAczB,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAqCzB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAwCzB,CAAC;AAyDF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAYzB,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,0BAA0B,CAAA;CAAE,CAAC,EAChE,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAmBzB,CAAC"}
@@ -34,6 +34,7 @@ export const emitReturnStatement = (stmt, context) => {
34
34
  };
35
35
  /**
36
36
  * Emit yield expression as C# yield return with exchange object pattern
37
+ * (Legacy handler for IrYieldExpression - used for unidirectional generators)
37
38
  *
38
39
  * TypeScript: yield value
39
40
  * C#:
@@ -45,7 +46,7 @@ export const emitReturnStatement = (stmt, context) => {
45
46
  * foreach (var item in OtherGenerator())
46
47
  * yield return item;
47
48
  */
48
- export const emitYieldStatement = (expr, context) => {
49
+ export const emitYieldExpression = (expr, context) => {
49
50
  const ind = getIndent(context);
50
51
  let currentContext = context;
51
52
  const parts = [];
@@ -54,7 +55,11 @@ export const emitYieldStatement = (expr, context) => {
54
55
  if (expr.expression) {
55
56
  const [delegateFrag, newContext] = emitExpression(expr.expression, currentContext);
56
57
  currentContext = newContext;
57
- parts.push(`${ind}foreach (var item in ${delegateFrag.text})`);
58
+ // Use await foreach for async generators, foreach for sync
59
+ const foreachKeyword = currentContext.isAsync
60
+ ? "await foreach"
61
+ : "foreach";
62
+ parts.push(`${ind}${foreachKeyword} (var item in ${delegateFrag.text})`);
58
63
  parts.push(`${ind} yield return item;`);
59
64
  }
60
65
  }
@@ -73,16 +78,137 @@ export const emitYieldStatement = (expr, context) => {
73
78
  }
74
79
  return [parts.join("\n"), currentContext];
75
80
  };
81
+ /**
82
+ * Emit IrYieldStatement (lowered form from yield-lowering pass)
83
+ * Handles bidirectional communication: const x = yield value;
84
+ *
85
+ * TypeScript: const x = yield value;
86
+ * C#:
87
+ * exchange.Output = value;
88
+ * yield return exchange;
89
+ * var x = exchange.Input; // or pattern destructuring
90
+ *
91
+ * TypeScript: yield value; (no receiveTarget)
92
+ * C#:
93
+ * exchange.Output = value;
94
+ * yield return exchange;
95
+ */
96
+ export const emitYieldStatement = (stmt, context) => {
97
+ const ind = getIndent(context);
98
+ let currentContext = context;
99
+ const parts = [];
100
+ if (stmt.delegate) {
101
+ // yield* delegation - emit foreach pattern
102
+ if (stmt.output) {
103
+ const [delegateFrag, newContext] = emitExpression(stmt.output, currentContext);
104
+ currentContext = newContext;
105
+ // Use await foreach for async generators, foreach for sync
106
+ const foreachKeyword = currentContext.isAsync
107
+ ? "await foreach"
108
+ : "foreach";
109
+ parts.push(`${ind}${foreachKeyword} (var item in ${delegateFrag.text})`);
110
+ parts.push(`${ind} yield return item;`);
111
+ }
112
+ }
113
+ else {
114
+ // Regular yield with optional bidirectional support
115
+ if (stmt.output) {
116
+ const [valueFrag, newContext] = emitExpression(stmt.output, currentContext);
117
+ currentContext = newContext;
118
+ parts.push(`${ind}exchange.Output = ${valueFrag.text};`);
119
+ }
120
+ parts.push(`${ind}yield return exchange;`);
121
+ // Handle receiveTarget for bidirectional communication
122
+ if (stmt.receiveTarget) {
123
+ const targetCode = emitPattern(stmt.receiveTarget, "exchange.Input", ind);
124
+ parts.push(targetCode);
125
+ }
126
+ }
127
+ return [parts.join("\n"), currentContext];
128
+ };
129
+ /**
130
+ * Emit pattern for receiving yield input
131
+ * Handles identifier, array, and object patterns
132
+ * Note: Input is nullable (?), so we use null-coalescing for value types
133
+ */
134
+ const emitPattern = (pattern, inputExpr, indent) => {
135
+ if (!pattern)
136
+ return "";
137
+ switch (pattern.kind) {
138
+ case "identifierPattern":
139
+ // Use null-coalescing to handle nullable Input
140
+ // For value types (like double), use .Value or ?? default
141
+ return `${indent}var ${pattern.name} = ${inputExpr} ?? default!;`;
142
+ case "arrayPattern": {
143
+ // Array destructuring: const [a, b] = yield expr;
144
+ const parts = [];
145
+ parts.push(`${indent}var __input = ${inputExpr};`);
146
+ pattern.elements.forEach((elem, i) => {
147
+ if (elem && elem.kind === "identifierPattern") {
148
+ parts.push(`${indent}var ${elem.name} = __input[${i}];`);
149
+ }
150
+ // TODO: Handle nested patterns
151
+ });
152
+ return parts.join("\n");
153
+ }
154
+ case "objectPattern": {
155
+ // Object destructuring: const {a, b} = yield expr;
156
+ const parts = [];
157
+ parts.push(`${indent}var __input = ${inputExpr};`);
158
+ for (const prop of pattern.properties) {
159
+ if (prop.kind === "property" &&
160
+ prop.value.kind === "identifierPattern") {
161
+ const key = typeof prop.key === "string" ? prop.key : prop.value.name;
162
+ parts.push(`${indent}var ${prop.value.name} = __input.${key};`);
163
+ }
164
+ // TODO: Handle shorthand and rest patterns
165
+ }
166
+ return parts.join("\n");
167
+ }
168
+ }
169
+ };
76
170
  /**
77
171
  * Emit an expression statement
78
172
  */
79
173
  export const emitExpressionStatement = (stmt, context) => {
80
174
  const ind = getIndent(context);
81
175
  // Special handling for yield expressions in generators
176
+ // Note: After yield-lowering pass, generators will have IrYieldStatement nodes instead
177
+ // This is kept for backward compatibility with unprocessed IR
82
178
  if (stmt.expression.kind === "yield") {
83
- return emitYieldStatement(stmt.expression, context);
179
+ return emitYieldExpression(stmt.expression, context);
84
180
  }
85
181
  const [exprFrag, newContext] = emitExpression(stmt.expression, context);
86
182
  return [`${ind}${exprFrag.text};`, newContext];
87
183
  };
184
+ /**
185
+ * Emit IrGeneratorReturnStatement (lowered form from yield-lowering pass)
186
+ * Handles return statements in generators with TReturn.
187
+ *
188
+ * TypeScript: return "done";
189
+ * C#:
190
+ * __returnValue = "done";
191
+ * yield break;
192
+ *
193
+ * TypeScript: return; (no expression)
194
+ * C#:
195
+ * yield break;
196
+ *
197
+ * The __returnValue variable is declared in the enclosing function emission.
198
+ * The wrapper's _getReturnValue closure captures this value when iteration completes.
199
+ */
200
+ export const emitGeneratorReturnStatement = (stmt, context) => {
201
+ const ind = getIndent(context);
202
+ let currentContext = context;
203
+ const parts = [];
204
+ if (stmt.expression) {
205
+ // Capture the return value in __returnValue before terminating
206
+ const [valueFrag, newContext] = emitExpression(stmt.expression, currentContext);
207
+ currentContext = newContext;
208
+ parts.push(`${ind}__returnValue = ${valueFrag.text};`);
209
+ }
210
+ // Terminate the iterator
211
+ parts.push(`${ind}yield break;`);
212
+ return [parts.join("\n"), currentContext];
213
+ };
88
214
  //# sourceMappingURL=blocks.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../src/statements/blocks.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAsD,EACtD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAC5D,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,cAAc,GAAG,UAAU,CAAC;IAC9B,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,GAAG,MAAM,QAAQ,KAAK,GAAG,GAAG,EAAE,cAAc,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAuD,EACvD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,oFAAoF;QACpF,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAC3C,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,CAAC,UAAU,CACnB,CAAC;QACF,OAAO,CAAC,GAAG,GAAG,UAAU,QAAQ,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,CAAC,GAAG,GAAG,SAAS,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAA8C,EAC9C,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,oBAAoB;QACpB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,cAAc,CAC/C,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;SAAM,CAAC;QACN,gBAAgB;QAChB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,qBAAqB,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAC7C,CAAC;aAAM,CAAC;YACN,wBAAwB;YACxB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA2D,EAC3D,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,uDAAuD;IACvD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO,CAAC,GAAG,GAAG,GAAG,QAAQ,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,CAAC;AACjD,CAAC,CAAC"}
1
+ {"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../src/statements/blocks.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAsD,EACtD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAC5D,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,cAAc,GAAG,UAAU,CAAC;IAC9B,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,GAAG,MAAM,QAAQ,KAAK,GAAG,GAAG,EAAE,cAAc,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAuD,EACvD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,oFAAoF;QACpF,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAC3C,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,CAAC,UAAU,CACnB,CAAC;QACF,OAAO,CAAC,GAAG,GAAG,UAAU,QAAQ,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,CAAC,GAAG,GAAG,SAAS,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAA8C,EAC9C,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,oBAAoB;QACpB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,cAAc,CAC/C,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,2DAA2D;YAC3D,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO;gBAC3C,CAAC,CAAC,eAAe;gBACjB,CAAC,CAAC,SAAS,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,cAAc,iBAAiB,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;SAAM,CAAC;QACN,gBAAgB;QAChB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,qBAAqB,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAC7C,CAAC;aAAM,CAAC;YACN,wBAAwB;YACxB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAsD,EACtD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,2CAA2C;QAC3C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,cAAc,CAC/C,IAAI,CAAC,MAAM,EACX,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,2DAA2D;YAC3D,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO;gBAC3C,CAAC,CAAC,eAAe;gBACjB,CAAC,CAAC,SAAS,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,cAAc,iBAAiB,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;SAAM,CAAC;QACN,oDAAoD;QACpD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,MAAM,EACX,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,qBAAqB,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAE3C,uDAAuD;QACvD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,aAAa,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;YAC1E,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,GAAG,CAClB,OAKS,EACT,SAAiB,EACjB,MAAc,EACN,EAAE;IACV,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAExB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,+CAA+C;YAC/C,0DAA0D;YAC1D,OAAO,GAAG,MAAM,OAAO,OAAO,CAAC,IAAI,MAAM,SAAS,eAAe,CAAC;QAEpE,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,kDAAkD;YAClD,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,GAAG,CAAC,CAAC;YACnD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBACnC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC3D,CAAC;gBACD,+BAA+B;YACjC,CAAC,CAAC,CAAC;YACH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,mDAAmD;YACnD,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,GAAG,CAAC,CAAC;YACnD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACtC,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;oBACxB,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,mBAAmB,EACvC,CAAC;oBACD,MAAM,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBACtE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,GAAG,GAAG,CAAC,CAAC;gBAClE,CAAC;gBACD,2CAA2C;YAC7C,CAAC;YACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA2D,EAC3D,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,uDAAuD;IACvD,uFAAuF;IACvF,8DAA8D;IAC9D,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO,CAAC,GAAG,GAAG,GAAG,QAAQ,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAgE,EAChE,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,+DAA+D;QAC/D,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;QACF,cAAc,GAAG,UAAU,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,mBAAmB,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC;IACzD,CAAC;IAED,yBAAyB;IACzB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,cAAc,CAAC,CAAC;IAEjC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC;AAC5C,CAAC,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../../../src/statements/classes/members/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EACL,cAAc,EAMf,MAAM,mBAAmB,CAAC;AAM3B;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,QAAQ,aAAa,GAAG;IAAE,IAAI,EAAE,mBAAmB,CAAA;CAAE,EACrD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAoIzB,CAAC"}
1
+ {"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../../../src/statements/classes/members/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EACL,cAAc,EAMf,MAAM,mBAAmB,CAAC;AAM3B;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,QAAQ,aAAa,GAAG;IAAE,IAAI,EAAE,mBAAmB,CAAA;CAAE,EACrD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAsIzB,CAAC"}
@@ -72,10 +72,12 @@ export const emitMethodMember = (member, context) => {
72
72
  ...(member.typeParameters?.map((tp) => tp.name) ?? []),
73
73
  ]);
74
74
  // Emit body with scoped typeParameters and returnType
75
+ // Note: member.body is guaranteed to exist here (early return above handles undefined case)
76
+ const body = member.body;
75
77
  const [bodyCode, finalContext] = withScoped(baseBodyContext, {
76
78
  typeParameters: methodTypeParams,
77
79
  returnType: member.returnType,
78
- }, (scopedCtx) => emitBlockStatement(member.body, scopedCtx));
80
+ }, (scopedCtx) => emitBlockStatement(body, scopedCtx));
79
81
  // Collect out parameters that need initialization (escape C# keywords)
80
82
  const outParams = [];
81
83
  for (const param of member.parameters) {
@@ -1 +1 @@
1
- {"version":3,"file":"methods.js","sourceRoot":"","sources":["../../../../src/statements/classes/members/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAEL,SAAS,EACT,MAAM,EACN,MAAM,EACN,SAAS,EACT,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAEzE;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAqD,EACrD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,kBAAkB;IAClB,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,IAAI,QAAQ,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAE1B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,+DAA+D;IAC/D,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;IAED,cAAc;IACd,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,QAAQ,CACvC,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;QACF,cAAc,GAAG,UAAU,CAAC;QAC5B,sEAAsE;QACtE,sBAAsB;QACtB,IACE,MAAM,CAAC,OAAO;YACd,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;YAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EACpC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,gCAAgC;QAC1D,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,OAAO;gBACZ,CAAC,CAAC,uCAAuC,UAAU,GAAG;gBACtD,CAAC,CAAC,UAAU,CACf,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9E,CAAC;IAED,mCAAmC;IACnC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhD,kBAAkB;IAClB,MAAM,CAAC,aAAa,EAAE,YAAY,EAAE,gBAAgB,CAAC,GAAG,kBAAkB,CACxE,MAAM,CAAC,cAAc,EACrB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,gBAAgB,CAAC;IAElC,aAAa;IACb,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACjE,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B,MAAM,WAAW,GACf,YAAY,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,KAAK,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,EAAE;QACpD,CAAC,CAAC,EAAE,CAAC;IAET,cAAc;IACd,6EAA6E;IAC7E,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAE1E,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,+BAA+B;QAC/B,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,SAAS,GAAG,aAAa,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;QAC/E,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAChC,CAAC;IAED,2FAA2F;IAC3F,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS;QACvC,GAAG,CAAC,cAAc,CAAC,cAAc,IAAI,EAAE,CAAC;QACxC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;KACvD,CAAC,CAAC;IAEH,sDAAsD;IACtD,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,UAAU,CACzC,eAAe,EACf;QACE,cAAc,EAAE,gBAAgB;QAChC,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,EACD,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAK,EAAE,SAAS,CAAC,CAC3D,CAAC;IAEF,uEAAuE;IACvE,MAAM,SAAS,GAA0C,EAAE,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtC,qFAAqF;QACrF,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC1E,iCAAiC;YACjC,IAAI,QAAQ,GAAG,QAAQ,CAAC;YACxB,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACvD,QAAQ,GAAG,OAAO,CAAC;YACrB,CAAC;YACD,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBAChD,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,aAAa,GAAG,QAAQ,CAAC;IAC7B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,GAAG,QAAQ,CAAC,IAAI,aAAa,CAAC,CAAC;QAC5D,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,WAAW,EAAE,EAAE,CAAC,CAAC;YACvC,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,SAAS,GAAG,aAAa,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,WAAW,KAAK,aAAa,EAAE,CAAC;IAEhG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;AACtC,CAAC,CAAC"}
1
+ {"version":3,"file":"methods.js","sourceRoot":"","sources":["../../../../src/statements/classes/members/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAEL,SAAS,EACT,MAAM,EACN,MAAM,EACN,SAAS,EACT,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAEzE;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAqD,EACrD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,kBAAkB;IAClB,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,IAAI,QAAQ,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAE1B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,+DAA+D;IAC/D,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;IAED,cAAc;IACd,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,QAAQ,CACvC,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;QACF,cAAc,GAAG,UAAU,CAAC;QAC5B,sEAAsE;QACtE,sBAAsB;QACtB,IACE,MAAM,CAAC,OAAO;YACd,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;YAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EACpC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,gCAAgC;QAC1D,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,OAAO;gBACZ,CAAC,CAAC,uCAAuC,UAAU,GAAG;gBACtD,CAAC,CAAC,UAAU,CACf,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9E,CAAC;IAED,mCAAmC;IACnC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhD,kBAAkB;IAClB,MAAM,CAAC,aAAa,EAAE,YAAY,EAAE,gBAAgB,CAAC,GAAG,kBAAkB,CACxE,MAAM,CAAC,cAAc,EACrB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,gBAAgB,CAAC;IAElC,aAAa;IACb,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACjE,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B,MAAM,WAAW,GACf,YAAY,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,KAAK,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,EAAE;QACpD,CAAC,CAAC,EAAE,CAAC;IAET,cAAc;IACd,6EAA6E;IAC7E,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAE1E,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,+BAA+B;QAC/B,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,SAAS,GAAG,aAAa,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;QAC/E,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAChC,CAAC;IAED,2FAA2F;IAC3F,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS;QACvC,GAAG,CAAC,cAAc,CAAC,cAAc,IAAI,EAAE,CAAC;QACxC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;KACvD,CAAC,CAAC;IAEH,sDAAsD;IACtD,4FAA4F;IAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,UAAU,CACzC,eAAe,EACf;QACE,cAAc,EAAE,gBAAgB;QAChC,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,EACD,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CACnD,CAAC;IAEF,uEAAuE;IACvE,MAAM,SAAS,GAA0C,EAAE,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtC,qFAAqF;QACrF,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC1E,iCAAiC;YACjC,IAAI,QAAQ,GAAG,QAAQ,CAAC;YACxB,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACvD,QAAQ,GAAG,OAAO,CAAC;YACrB,CAAC;YACD,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBAChD,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,aAAa,GAAG,QAAQ,CAAC;IAC7B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,GAAG,QAAQ,CAAC,IAAI,aAAa,CAAC,CAAC;QAC5D,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,WAAW,EAAE,EAAE,CAAC,CAAC;YACvC,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,SAAS,GAAG,aAAa,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,WAAW,KAAK,aAAa,EAAE,CAAC;IAEhG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;AACtC,CAAC,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"conditionals.d.ts","sourceRoot":"","sources":["../../../src/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAgB,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAA6B,MAAM,gBAAgB,CAAC;AAiD3E;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAyBzB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACvD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAwCzB,CAAC"}
1
+ {"version":3,"file":"conditionals.d.ts","sourceRoot":"","sources":["../../../src/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAgB,WAAW,EAAU,MAAM,kBAAkB,CAAC;AACrE,OAAO,EACL,cAAc,EAKf,MAAM,gBAAgB,CAAC;AA8KxB;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAwOzB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACvD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAwCzB,CAAC"}
@@ -1,9 +1,90 @@
1
1
  /**
2
2
  * Conditional statement emitters (if, switch)
3
3
  */
4
- import { getIndent, indent, dedent } from "../../types.js";
4
+ import { getIndent, indent, dedent, } from "../../types.js";
5
5
  import { emitExpression } from "../../expression-emitter.js";
6
6
  import { emitStatement } from "../../statement-emitter.js";
7
+ import { resolveTypeAlias, stripNullish, findUnionMemberIndex, } from "../../core/type-resolution.js";
8
+ import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
9
+ /**
10
+ * Try to extract guard info from a predicate call expression.
11
+ * Returns GuardInfo if:
12
+ * - call.narrowing is typePredicate
13
+ * - predicate arg is identifier
14
+ * - arg.inferredType resolves to unionType
15
+ * - targetType exists in union
16
+ */
17
+ const tryResolvePredicateGuard = (call, context) => {
18
+ const narrowing = call.narrowing;
19
+ if (!narrowing || narrowing.kind !== "typePredicate")
20
+ return undefined;
21
+ const arg = call.arguments[narrowing.argIndex];
22
+ if (!arg ||
23
+ ("kind" in arg && arg.kind === "spread") ||
24
+ arg.kind !== "identifier") {
25
+ return undefined;
26
+ }
27
+ const originalName = arg.name;
28
+ const unionSourceType = arg.inferredType;
29
+ if (!unionSourceType)
30
+ return undefined;
31
+ const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
32
+ if (resolved.kind !== "unionType")
33
+ return undefined;
34
+ const idx = findUnionMemberIndex(resolved, narrowing.targetType, context);
35
+ if (idx === undefined)
36
+ return undefined;
37
+ const memberN = idx + 1;
38
+ const unionArity = resolved.types.length;
39
+ const nextId = (context.tempVarId ?? 0) + 1;
40
+ const ctxWithId = { ...context, tempVarId: nextId };
41
+ const narrowedName = `${originalName}__${memberN}_${nextId}`;
42
+ const escapedOrig = escapeCSharpIdentifier(originalName);
43
+ const escapedNarrow = escapeCSharpIdentifier(narrowedName);
44
+ const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
45
+ narrowedMap.set(originalName, {
46
+ kind: "rename",
47
+ name: narrowedName,
48
+ type: narrowing.targetType,
49
+ });
50
+ return {
51
+ originalName,
52
+ targetType: narrowing.targetType,
53
+ memberN,
54
+ unionArity,
55
+ ctxWithId,
56
+ narrowedName,
57
+ escapedOrig,
58
+ escapedNarrow,
59
+ narrowedMap,
60
+ };
61
+ };
62
+ /**
63
+ * Emit a forced block with a preamble line (e.g., var narrowed = x.AsN()).
64
+ * If bodyStmt is already a block, emits its statements directly to avoid nesting.
65
+ */
66
+ const emitForcedBlockWithPreamble = (preambleLine, bodyStmt, bodyCtx, outerInd) => {
67
+ const parts = [preambleLine];
68
+ const emitBodyStatements = (statements, ctx) => {
69
+ let currentCtx = ctx;
70
+ for (const s of statements) {
71
+ const [code, next] = emitStatement(s, currentCtx);
72
+ parts.push(code);
73
+ currentCtx = next;
74
+ }
75
+ return currentCtx;
76
+ };
77
+ const finalCtx = bodyStmt.kind === "blockStatement"
78
+ ? emitBodyStatements(bodyStmt.statements, bodyCtx)
79
+ : (() => {
80
+ const [code, next] = emitStatement(bodyStmt, bodyCtx);
81
+ parts.push(code);
82
+ return next;
83
+ })();
84
+ const blockBody = parts.join("\n");
85
+ const code = `${outerInd}{\n${blockBody}\n${outerInd}}`;
86
+ return [code, finalCtx];
87
+ };
7
88
  /**
8
89
  * Check if an expression's inferred type is boolean
9
90
  */
@@ -47,6 +128,139 @@ const toBooleanCondition = (expr, emittedText) => {
47
128
  */
48
129
  export const emitIfStatement = (stmt, context) => {
49
130
  const ind = getIndent(context);
131
+ // Case A: if (isUser(account)) { ... }
132
+ // Predicate narrowing rewrite → if (account.IsN()) { var account__N_k = account.AsN(); ... }
133
+ if (stmt.condition.kind === "call") {
134
+ const guard = tryResolvePredicateGuard(stmt.condition, context);
135
+ if (guard) {
136
+ const { memberN, ctxWithId, escapedOrig, escapedNarrow, narrowedMap } = guard;
137
+ const condText = `${escapedOrig}.Is${memberN}()`;
138
+ const thenCtx = {
139
+ ...indent(ctxWithId),
140
+ narrowedBindings: narrowedMap,
141
+ };
142
+ const thenInd = getIndent(thenCtx);
143
+ const castLine = `${thenInd}var ${escapedNarrow} = ${escapedOrig}.As${memberN}();`;
144
+ const [thenCode, thenBodyCtx] = emitForcedBlockWithPreamble(castLine, stmt.thenStatement, thenCtx, ind);
145
+ let finalContext = dedent(thenBodyCtx);
146
+ finalContext = {
147
+ ...finalContext,
148
+ narrowedBindings: ctxWithId.narrowedBindings,
149
+ };
150
+ let code = `${ind}if (${condText})\n${thenCode}`;
151
+ if (stmt.elseStatement) {
152
+ const [elseCode, elseCtx] = emitStatement(stmt.elseStatement, indent(finalContext));
153
+ code += `\n${ind}else\n${elseCode}`;
154
+ finalContext = dedent(elseCtx);
155
+ }
156
+ return [code, finalContext];
157
+ }
158
+ }
159
+ // Case B: if (!isUser(account)) { ... } else { ... }
160
+ // Negated guard → for 2-member unions, narrow THEN to OTHER member, ELSE to guard's target
161
+ if (stmt.condition.kind === "unary" &&
162
+ stmt.condition.operator === "!" &&
163
+ stmt.condition.expression.kind === "call" &&
164
+ stmt.elseStatement) {
165
+ const innerCall = stmt.condition.expression;
166
+ const guard = tryResolvePredicateGuard(innerCall, context);
167
+ if (guard) {
168
+ const { originalName, memberN, unionArity, ctxWithId, escapedOrig, escapedNarrow, narrowedMap, } = guard;
169
+ const condText = `!${escapedOrig}.Is${memberN}()`;
170
+ // For 2-member unions: narrow THEN branch to the OTHER member
171
+ // For N>2 unions: can't narrow THEN to a single type (it could be any of N-1 members)
172
+ let thenCode;
173
+ let thenCtx;
174
+ if (unionArity === 2) {
175
+ // Calculate the other member index (if memberN is 1, other is 2; if memberN is 2, other is 1)
176
+ const otherMemberN = memberN === 1 ? 2 : 1;
177
+ const nextId = (ctxWithId.tempVarId ?? 0) + 1;
178
+ const thenCtxWithId = {
179
+ ...ctxWithId,
180
+ tempVarId: nextId,
181
+ };
182
+ const thenNarrowedName = `${originalName}__${otherMemberN}_${nextId}`;
183
+ const escapedThenNarrow = escapeCSharpIdentifier(thenNarrowedName);
184
+ const thenNarrowedMap = new Map(thenCtxWithId.narrowedBindings ?? []);
185
+ thenNarrowedMap.set(originalName, {
186
+ kind: "rename",
187
+ name: thenNarrowedName,
188
+ });
189
+ const thenCtxNarrowed = {
190
+ ...indent(thenCtxWithId),
191
+ narrowedBindings: thenNarrowedMap,
192
+ };
193
+ const thenInd = getIndent(thenCtxNarrowed);
194
+ const thenCastLine = `${thenInd}var ${escapedThenNarrow} = ${escapedOrig}.As${otherMemberN}();`;
195
+ [thenCode, thenCtx] = emitForcedBlockWithPreamble(thenCastLine, stmt.thenStatement, thenCtxNarrowed, ind);
196
+ }
197
+ else {
198
+ // N>2 unions: can't narrow THEN branch to a single type
199
+ [thenCode, thenCtx] = emitStatement(stmt.thenStatement, indent(context));
200
+ }
201
+ // else branch: narrowing applies (to guard's target type)
202
+ const elseCtxNarrowed = {
203
+ ...indent(ctxWithId),
204
+ narrowedBindings: narrowedMap,
205
+ };
206
+ const elseInd = getIndent(elseCtxNarrowed);
207
+ const castLine = `${elseInd}var ${escapedNarrow} = ${escapedOrig}.As${memberN}();`;
208
+ const [elseBlock, _elseBodyCtx] = emitForcedBlockWithPreamble(castLine, stmt.elseStatement, elseCtxNarrowed, ind);
209
+ // Note: narrow bindings should not leak from if-else branches
210
+ // We return thenCtx to preserve original semantics
211
+ const code = `${ind}if (${condText})\n${thenCode}\n${ind}else\n${elseBlock}`;
212
+ return [code, dedent(thenCtx)];
213
+ }
214
+ }
215
+ // Case C: if (isUser(account) && account.foo) { ... }
216
+ // Logical AND with predicate guard on left → nested-if lowering (preserves short-circuit)
217
+ if (stmt.condition.kind === "logical" && stmt.condition.operator === "&&") {
218
+ const left = stmt.condition.left;
219
+ const right = stmt.condition.right;
220
+ if (left.kind === "call") {
221
+ const guard = tryResolvePredicateGuard(left, context);
222
+ if (guard) {
223
+ const { memberN, ctxWithId, escapedOrig, escapedNarrow, narrowedMap } = guard;
224
+ // Outer: if (x.IsN())
225
+ const outerCond = `${escapedOrig}.Is${memberN}()`;
226
+ // Outer-then creates narrowed var
227
+ const outerThenCtx = {
228
+ ...indent(ctxWithId),
229
+ narrowedBindings: narrowedMap,
230
+ };
231
+ const outerThenInd = getIndent(outerThenCtx);
232
+ const castLine = `${outerThenInd}var ${escapedNarrow} = ${escapedOrig}.As${memberN}();`;
233
+ // Emit RHS condition under narrowed context (TS semantics: rhs sees narrowed x)
234
+ const [rhsFrag, rhsCtxAfterEmit] = emitExpression(right, outerThenCtx);
235
+ const rhsCondText = toBooleanCondition(right, rhsFrag.text);
236
+ // When RHS true: emit original THEN under narrowed context
237
+ const [thenCode, thenCtxAfter] = emitStatement(stmt.thenStatement, indent(rhsCtxAfterEmit));
238
+ // Helper to clear narrowing from context
239
+ const clearNarrowing = (ctx) => ({
240
+ ...ctx,
241
+ narrowedBindings: ctxWithId.narrowedBindings,
242
+ });
243
+ let inner = `${outerThenInd}if (${rhsCondText})\n${thenCode}`;
244
+ let currentCtx = dedent(thenCtxAfter);
245
+ if (stmt.elseStatement) {
246
+ const [elseCode, elseCtx] = emitStatement(stmt.elseStatement, indent(clearNarrowing(currentCtx)));
247
+ inner += `\n${outerThenInd}else\n${elseCode}`;
248
+ currentCtx = dedent(elseCtx);
249
+ }
250
+ const outerThenBlock = `${ind}{\n${castLine}\n${inner}\n${ind}}`;
251
+ // Outer else: emit ELSE as-is (no narrowing)
252
+ let code = `${ind}if (${outerCond})\n${outerThenBlock}`;
253
+ let finalContext = clearNarrowing(currentCtx);
254
+ if (stmt.elseStatement) {
255
+ const [outerElseCode, outerElseCtx] = emitStatement(stmt.elseStatement, indent(finalContext));
256
+ code += `\n${ind}else\n${outerElseCode}`;
257
+ finalContext = dedent(outerElseCtx);
258
+ }
259
+ return [code, finalContext];
260
+ }
261
+ }
262
+ }
263
+ // Standard if-statement emission (no narrowing)
50
264
  const [condFrag, condContext] = emitExpression(stmt.condition, context);
51
265
  // Convert to boolean condition if needed
52
266
  const condText = toBooleanCondition(stmt.condition, condFrag.text);
@@ -1 +1 @@
1
- {"version":3,"file":"conditionals.js","sourceRoot":"","sources":["../../../src/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAkB,EAAW,EAAE;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC;IAC/B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAClE,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,WAAmB,EACX,EAAE;IACV,gCAAgC;IAChC,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,yDAAyD;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC;IAC/B,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,OAAO,GAAG,WAAW,UAAU,CAAC;IAClC,CAAC;IAED,2DAA2D;IAC3D,sDAAsD;IACtD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,GAAG,WAAW,UAAU,CAAC;IAClC,CAAC;IAED,8DAA8D;IAC9D,gEAAgE;IAChE,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAmD,EACnD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAExE,yCAAyC;IACzC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEnE,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,aAAa,CAC3C,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,WAAW,CAAC,CACpB,CAAC;IAEF,IAAI,IAAI,GAAG,GAAG,GAAG,OAAO,QAAQ,MAAM,QAAQ,EAAE,CAAC;IACjD,IAAI,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAEvC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,aAAa,CAC3C,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,YAAY,CAAC,CACrB,CAAC;QACF,IAAI,IAAI,KAAK,GAAG,SAAS,QAAQ,EAAE,CAAC;QACpC,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAuD,EACvD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAEzE,IAAI,cAAc,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACpB,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAC5C,UAAU,CAAC,IAAI,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,WAAW,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,QAAQ,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,UAAU,CAAC,CAAC;QACnC,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAED,mCAAmC;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,IACE,CAAC,QAAQ;YACT,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB;gBACjC,QAAQ,CAAC,IAAI,KAAK,iBAAiB,CAAC,EACtC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,GAAG,WAAW,QAAQ,CAAC,IAAI,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;IACtF,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC"}
1
+ {"version":3,"file":"conditionals.js","sourceRoot":"","sources":["../../../src/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAEL,SAAS,EACT,MAAM,EACN,MAAM,GAEP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,GACrB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAkBtE;;;;;;;GAOG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAA6C,EAC7C,OAAuB,EACA,EAAE;IACzB,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,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,GAAG,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAExC,MAAM,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC;IACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IAEzC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IAC7D,MAAM,WAAW,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAE3D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC9D,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,SAAS,CAAC,UAAU;KAC3B,CAAC,CAAC;IAEH,OAAO;QACL,YAAY;QACZ,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,OAAO;QACP,UAAU;QACV,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,2BAA2B,GAAG,CAClC,YAAoB,EACpB,QAAqB,EACrB,OAAuB,EACvB,QAAgB,EACU,EAAE;IAC5B,MAAM,KAAK,GAAa,CAAC,YAAY,CAAC,CAAC;IAEvC,MAAM,kBAAkB,GAAG,CACzB,UAAkC,EAClC,GAAmB,EACH,EAAE;QAClB,IAAI,UAAU,GAAG,GAAG,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,MAAM,QAAQ,GACZ,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAChC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAClD,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EAAE,CAAC;IAEX,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,GAAG,QAAQ,MAAM,SAAS,KAAK,QAAQ,GAAG,CAAC;IACxD,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAkB,EAAW,EAAE;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC;IAC/B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAClE,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,WAAmB,EACX,EAAE;IACV,gCAAgC;IAChC,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,yDAAyD;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC;IAC/B,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,OAAO,GAAG,WAAW,UAAU,CAAC;IAClC,CAAC;IAED,2DAA2D;IAC3D,sDAAsD;IACtD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,GAAG,WAAW,UAAU,CAAC;IAClC,CAAC;IAED,8DAA8D;IAC9D,gEAAgE;IAChE,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAmD,EACnD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,uCAAuC;IACvC,6FAA6F;IAC7F,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,GACnE,KAAK,CAAC;YACR,MAAM,QAAQ,GAAG,GAAG,WAAW,MAAM,OAAO,IAAI,CAAC;YAEjD,MAAM,OAAO,GAAmB;gBAC9B,GAAG,MAAM,CAAC,SAAS,CAAC;gBACpB,gBAAgB,EAAE,WAAW;aAC9B,CAAC;YAEF,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,GAAG,OAAO,OAAO,aAAa,MAAM,WAAW,MAAM,OAAO,KAAK,CAAC;YAEnF,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,2BAA2B,CACzD,QAAQ,EACR,IAAI,CAAC,aAAa,EAClB,OAAO,EACP,GAAG,CACJ,CAAC;YAEF,IAAI,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YACvC,YAAY,GAAG;gBACb,GAAG,YAAY;gBACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;aAC7C,CAAC;YAEF,IAAI,IAAI,GAAG,GAAG,GAAG,OAAO,QAAQ,MAAM,QAAQ,EAAE,CAAC;YAEjD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,aAAa,CACvC,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,YAAY,CAAC,CACrB,CAAC;gBACF,IAAI,IAAI,KAAK,GAAG,SAAS,QAAQ,EAAE,CAAC;gBACpC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YACjC,CAAC;YAED,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,qDAAqD;IACrD,2FAA2F;IAC3F,IACE,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO;QAC/B,IAAI,CAAC,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC/B,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;QACzC,IAAI,CAAC,aAAa,EAClB,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;QAC5C,MAAM,KAAK,GAAG,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3D,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,EACJ,YAAY,EACZ,OAAO,EACP,UAAU,EACV,SAAS,EACT,WAAW,EACX,aAAa,EACb,WAAW,GACZ,GAAG,KAAK,CAAC;YAEV,MAAM,QAAQ,GAAG,IAAI,WAAW,MAAM,OAAO,IAAI,CAAC;YAElD,8DAA8D;YAC9D,sFAAsF;YACtF,IAAI,QAAgB,CAAC;YACrB,IAAI,OAAuB,CAAC;YAE5B,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBACrB,8FAA8F;gBAC9F,MAAM,YAAY,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3C,MAAM,MAAM,GAAG,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9C,MAAM,aAAa,GAAmB;oBACpC,GAAG,SAAS;oBACZ,SAAS,EAAE,MAAM;iBAClB,CAAC;gBAEF,MAAM,gBAAgB,GAAG,GAAG,YAAY,KAAK,YAAY,IAAI,MAAM,EAAE,CAAC;gBACtE,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;gBAEnE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;gBACtE,eAAe,CAAC,GAAG,CAAC,YAAY,EAAE;oBAChC,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,gBAAgB;iBACvB,CAAC,CAAC;gBAEH,MAAM,eAAe,GAAmB;oBACtC,GAAG,MAAM,CAAC,aAAa,CAAC;oBACxB,gBAAgB,EAAE,eAAe;iBAClC,CAAC;gBACF,MAAM,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC;gBAC3C,MAAM,YAAY,GAAG,GAAG,OAAO,OAAO,iBAAiB,MAAM,WAAW,MAAM,YAAY,KAAK,CAAC;gBAEhG,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,2BAA2B,CAC/C,YAAY,EACZ,IAAI,CAAC,aAAa,EAClB,eAAe,EACf,GAAG,CACJ,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,wDAAwD;gBACxD,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,aAAa,CACjC,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,OAAO,CAAC,CAChB,CAAC;YACJ,CAAC;YAED,0DAA0D;YAC1D,MAAM,eAAe,GAAmB;gBACtC,GAAG,MAAM,CAAC,SAAS,CAAC;gBACpB,gBAAgB,EAAE,WAAW;aAC9B,CAAC;YACF,MAAM,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC;YAC3C,MAAM,QAAQ,GAAG,GAAG,OAAO,OAAO,aAAa,MAAM,WAAW,MAAM,OAAO,KAAK,CAAC;YAEnF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,2BAA2B,CAC3D,QAAQ,EACR,IAAI,CAAC,aAAa,EAClB,eAAe,EACf,GAAG,CACJ,CAAC;YAEF,8DAA8D;YAC9D,mDAAmD;YACnD,MAAM,IAAI,GAAG,GAAG,GAAG,OAAO,QAAQ,MAAM,QAAQ,KAAK,GAAG,SAAS,SAAS,EAAE,CAAC;YAC7E,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,0FAA0F;IAC1F,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QAEnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,GACnE,KAAK,CAAC;gBAER,sBAAsB;gBACtB,MAAM,SAAS,GAAG,GAAG,WAAW,MAAM,OAAO,IAAI,CAAC;gBAElD,kCAAkC;gBAClC,MAAM,YAAY,GAAmB;oBACnC,GAAG,MAAM,CAAC,SAAS,CAAC;oBACpB,gBAAgB,EAAE,WAAW;iBAC9B,CAAC;gBACF,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;gBAC7C,MAAM,QAAQ,GAAG,GAAG,YAAY,OAAO,aAAa,MAAM,WAAW,MAAM,OAAO,KAAK,CAAC;gBAExF,gFAAgF;gBAChF,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;gBACvE,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBAE5D,2DAA2D;gBAC3D,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,aAAa,CAC5C,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,eAAe,CAAC,CACxB,CAAC;gBAEF,yCAAyC;gBACzC,MAAM,cAAc,GAAG,CAAC,GAAmB,EAAkB,EAAE,CAAC,CAAC;oBAC/D,GAAG,GAAG;oBACN,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;iBAC7C,CAAC,CAAC;gBAEH,IAAI,KAAK,GAAG,GAAG,YAAY,OAAO,WAAW,MAAM,QAAQ,EAAE,CAAC;gBAC9D,IAAI,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;gBAEtC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;oBACvB,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,aAAa,CACvC,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CACnC,CAAC;oBACF,KAAK,IAAI,KAAK,YAAY,SAAS,QAAQ,EAAE,CAAC;oBAC9C,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC/B,CAAC;gBAED,MAAM,cAAc,GAAG,GAAG,GAAG,MAAM,QAAQ,KAAK,KAAK,KAAK,GAAG,GAAG,CAAC;gBAEjE,6CAA6C;gBAC7C,IAAI,IAAI,GAAG,GAAG,GAAG,OAAO,SAAS,MAAM,cAAc,EAAE,CAAC;gBACxD,IAAI,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;gBAE9C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;oBACvB,MAAM,CAAC,aAAa,EAAE,YAAY,CAAC,GAAG,aAAa,CACjD,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,YAAY,CAAC,CACrB,CAAC;oBACF,IAAI,IAAI,KAAK,GAAG,SAAS,aAAa,EAAE,CAAC;oBACzC,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;gBACtC,CAAC;gBAED,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAExE,yCAAyC;IACzC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEnE,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,aAAa,CAC3C,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,WAAW,CAAC,CACpB,CAAC;IAEF,IAAI,IAAI,GAAG,GAAG,GAAG,OAAO,QAAQ,MAAM,QAAQ,EAAE,CAAC;IACjD,IAAI,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAEvC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,aAAa,CAC3C,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,YAAY,CAAC,CACrB,CAAC;QACF,IAAI,IAAI,KAAK,GAAG,SAAS,QAAQ,EAAE,CAAC;QACpC,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAuD,EACvD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAEzE,IAAI,cAAc,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACpB,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAC5C,UAAU,CAAC,IAAI,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,WAAW,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,QAAQ,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,UAAU,CAAC,CAAC;QACnC,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAED,mCAAmC;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,IACE,CAAC,QAAQ;YACT,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB;gBACjC,QAAQ,CAAC,IAAI,KAAK,iBAAiB,CAAC,EACtC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,GAAG,WAAW,QAAQ,CAAC,IAAI,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;IACtF,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC"}