@tsonic/emitter 0.0.41 → 0.0.42

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 (11) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/core/boolean-context.d.ts.map +1 -1
  3. package/dist/core/boolean-context.js +2 -1
  4. package/dist/core/boolean-context.js.map +1 -1
  5. package/dist/core/boolean-context.test.d.ts +2 -0
  6. package/dist/core/boolean-context.test.d.ts.map +1 -0
  7. package/dist/core/boolean-context.test.js +231 -0
  8. package/dist/core/boolean-context.test.js.map +1 -0
  9. package/dist/expressions/index.test.js +248 -0
  10. package/dist/expressions/index.test.js.map +1 -1
  11. package/package.json +2 -2
package/dist/core/boolean-context.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"boolean-context.js","sourceRoot":"","sources":["../../src/core/boolean-context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAO1D,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE;;;;;GAKG;AACH,MAAM,iCAAiC,GAAG,CAAC,IAAY,EAAsB,EAAE;IAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;IAC9D,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAExC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,gBAAgB,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC;QAE9D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAY,CAAC;QAE1D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,aAAa,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAY,CAAC;IAC7D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,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,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACjC,CAAC;IAED,sFAAsF;IACtF,oEAAoE;IACpE,MAAM,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;AACrF,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,6BAA6B,GAAG,CAAC,IAAkB,EAAW,EAAE;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,CACL,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,YAAY;YAC9B,IAAI,CAAC,QAAQ,KAAK,IAAI,CACvB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,IAAkB,EAAW,EAAE;IAChE,iFAAiF;IACjF,yDAAyD;IACzD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAkB,EAClB,WAAmB,EACnB,OAAuB,EACG,EAAE;IAC5B,8FAA8F;IAC9F,EAAE;IACF,yEAAyE;IACzE,gGAAgG;IAChG,qEAAqE;IACrE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,mBAAmB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;IACxE,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;IAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;IAE9B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;IAEnF,sFAAsF;IACtF,0EAA0E;IAC1E,sDAAsD;IACtD,kBAAkB;IAClB,yBAAyB;IACzB,oEAAoE;IACpE,2BAA2B;IAC3B,MAAM,YAAY,GAAG,GAAG,GAAG,YAAY;QACrC,iBAAiB,GAAG,IAAI;QACxB,sBAAsB,GAAG,iBAAiB;QAC1C,mBAAmB,GAAG,SAAS;QAC/B,iBAAiB,GAAG,SAAS;QAC7B,mBAAmB,GAAG,SAAS;QAC/B,qBAAqB,GAAG,SAAS;QACjC,eAAe,GAAG,SAAS;QAC3B,iBAAiB,GAAG,UAAU;QAC9B,iBAAiB,GAAG,UAAU;QAC9B,mBAAmB,GAAG,WAAW;QACjC,iBAAiB,GAAG,SAAS;QAC7B,mBAAmB,GAAG,SAAS;QAC/B,mDAAmD,GAAG,SAAS;QAC/D,qDAAqD,GAAG,SAAS;QACjE,gDAAgD,GAAG,kFAAkF,GAAG,KAAK;QAC7I,oBAAoB,GAAG,kCAAkC,GAAG,KAAK;QACjE,sBAAsB,GAAG,oCAAoC,GAAG,KAAK;QACrE,uBAAuB,GAAG,UAAU;QACpC,iBAAiB,GAAG,aAAa;QACjC,aAAa,CAAC;IAEhB,OAAO,CAAC,IAAI,OAAO,cAAc,GAAG,QAAQ,YAAY,IAAI,EAAE,SAAS,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,MAAM;QAEhD,oEAAoE;QACpE,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YACxE,OAAO,GAAG,kBAAkB,CAC1B,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,cAAc,EACpB,OAAO,CAAC,aAAa,CACtB,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE,CAC9C,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEvF,MAAM,4BAA4B,GAAG,CACnC,KAAwB,EACqB,EAAE;IAC/C,IAAI,IAAiD,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,GACR,OAAO,CAAC,KAAK,QAAQ;YACnB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;gBACrB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;oBACtB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;QACpB,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,IAAI,GAAG,IAAI,CAAC;aAClB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAkB,EAClB,WAAmB,EACnB,SAAiD,EACjD,OAAuB,EACG,EAAE;IAC5B,2DAA2D;IAC3D,wEAAwE;IACxE,+DAA+D;IAC/D,mGAAmG;IAEnG,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC;IAElE,MAAM,WAAW,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAC;IAC/D,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAY,CAAC;QAChF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,kBAAkB,CAAC,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACvF,CAAC;QAED,gFAAgF;QAChF,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,4BAA4B,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;QACjF,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;QAE9B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;QACnF,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,kBAAkB,CAC9C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAkB,EACzE,GAAG,EACH,SAAS,CACV,CAAC;QACF,MAAM,cAAc,GAClB,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;QACrF,OAAO,CAAC,IAAI,OAAO,OAAO,cAAc,IAAI,GAAG,OAAO,SAAS,GAAG,EAAE,QAAQ,CAAC,CAAC;IAChF,CAAC;IAED,qEAAqE;IACrE,IAAI,UAAU,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAExC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,4BAA4B,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;QACjF,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;QAE9B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;QACnF,0FAA0F;QAC1F,wFAAwF;QACxF,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,kBAAkB,CAC9C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,OAAO,EAAkB,EACxE,GAAG,EACH,SAAS,CACV,CAAC;QACF,MAAM,cAAc,GAClB,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CACjC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACtC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAChC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACtC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;wBACrC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;4BAClC,QAAQ,CACT,CAAC,CAAC,CAAC,KAAK,CAAC;QACZ,OAAO,CAAC,IAAI,OAAO,OAAO,cAAc,IAAI,GAAG,OAAO,SAAS,GAAG,EAAE,QAAQ,CAAC,CAAC;IAChF,CAAC;IAED,4EAA4E;IAC5E,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,yBAAyB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;QAC9E,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;QAE5B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;QAEnF,4FAA4F;QAC5F,IAAI,QAAQ,GAAG,SAAS,CAAC;QACzB,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;YACtB,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,IAAI,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,kBAAkB,CAChD,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,OAAO,EAAE,EAAE,YAAY,EAAE,UAAU,EAAkB,EAC1F,GAAG,CAAC,MAAM,OAAO,IAAI,EACrB,QAAQ,CACT,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,QAAQ,GAAG,SAAS,CAAC;QACvB,CAAC;QAED,IAAI,KAAK,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC;QAC3D,KAAK,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,WAAW,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC;QAC7D,CAAC;QAED,OAAO;YACL,IAAI,OAAO,WAAW,CAAC,OAAO,CAAC,oBAAoB,KAAK,IAAI;YAC5D,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,uFAAuF;IACvF,OAAO,8BAA8B,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAkB,EAClB,WAAmB,EACnB,OAAuB,EACG,EAAE;IAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,MAAM,QAAQ,GAAG,YAAY;QAC3B,CAAC,CAAC,qBAAqB,CACnB,iCAAiC,CAAC,YAAY,CAAC,IAAI,YAAY,EAC/D,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,IAAI,GAAG,QAAQ,CAAC;IAEtB,2EAA2E;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpD,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,gCAAgC;IAChC,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,kFAAkF;IAClF,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,sFAAsF;IACtF,gEAAgE;IAChE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACpE,OAAO,8BAA8B,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,4BAA4B,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,uGAAuG;IACvG,2FAA2F;IAC3F,4CAA4C;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,8BAA8B,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IAED,sCAAsC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM,CAAC;YACZ,KAAK,WAAW;gBACd,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAE5B,KAAK,QAAQ;gBACX,OAAO,CAAC,yBAAyB,WAAW,GAAG,EAAE,OAAO,CAAC,CAAC;YAE5D,KAAK,KAAK;gBACR,OAAO;oBACL,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,OAAO;oBAC5E,OAAO;iBACR,CAAC;YAEJ,KAAK,MAAM;gBACT,OAAO;oBACL,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,WAAW;oBAChF,OAAO;iBACR,CAAC;YAEJ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,iDAAiD;gBACjD,8DAA8D;gBAC9D,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;gBAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,uBAAuB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;gBAC5E,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;gBAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;gBAC9B,OAAO;oBACL,IAAI,WAAW,cAAc,GAAG,OAAO,GAAG,0BAA0B,GAAG,IAAI;oBAC3E,SAAS;iBACV,CAAC;YACJ,CAAC;YAED,KAAK,SAAS;gBACZ,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAkB,EAClB,QAAoB,EACpB,OAAuB,EACG,EAAE;IAC5B,MAAM,oBAAoB,GAAG,CAAC,EAAe,EAAU,EAAE,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhF,MAAM,+BAA+B,GAAG,CACtC,WAAyB,EACzB,WAAmB,EACnB,QAAqB,EACb,EAAE;QACV,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QACvD,IAAI,WAAW,CAAC,QAAQ,KAAK,IAAI,IAAI,WAAW,CAAC,QAAQ,KAAK,IAAI;YAAE,OAAO,WAAW,CAAC;QAEvF,MAAM,UAAU,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,oBAAoB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC7D,OAAO,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;IACnE,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;QAClF,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7E,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE7E,MAAM,UAAU,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtF,MAAM,UAAU,GAAG,+BAA+B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvF,OAAO,CAAC,GAAG,UAAU,IAAI,IAAI,CAAC,QAAQ,IAAI,UAAU,EAAE,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,OAAO,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE;IACjE,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC5E,CAAC,CAAC"}
1
+ {"version":3,"file":"boolean-context.js","sourceRoot":"","sources":["../../src/core/boolean-context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAO1D,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE;;;;;GAKG;AACH,MAAM,iCAAiC,GAAG,CAAC,IAAY,EAAsB,EAAE;IAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;IAC9D,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAExC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,gBAAgB,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC;QAE9D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAY,CAAC;QAE1D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,aAAa,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAY,CAAC;IAC7D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,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,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACjC,CAAC;IAED,sFAAsF;IACtF,oEAAoE;IACpE,MAAM,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;AACrF,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,6BAA6B,GAAG,CAAC,IAAkB,EAAW,EAAE;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,CACL,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,YAAY;YAC9B,IAAI,CAAC,QAAQ,KAAK,IAAI,CACvB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,IAAkB,EAAW,EAAE;IAChE,iFAAiF;IACjF,yDAAyD;IACzD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAkB,EAClB,WAAmB,EACnB,OAAuB,EACG,EAAE;IAC5B,8FAA8F;IAC9F,EAAE;IACF,yEAAyE;IACzE,gGAAgG;IAChG,qEAAqE;IACrE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,mBAAmB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;IACxE,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;IAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;IAE9B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;IAEnF,sFAAsF;IACtF,0EAA0E;IAC1E,sDAAsD;IACtD,kBAAkB;IAClB,yBAAyB;IACzB,oEAAoE;IACpE,2BAA2B;IAC3B,MAAM,YAAY,GAAG,GAAG,GAAG,YAAY;QACrC,iBAAiB,GAAG,IAAI;QACxB,sBAAsB,GAAG,iBAAiB;QAC1C,mBAAmB,GAAG,SAAS;QAC/B,iBAAiB,GAAG,SAAS;QAC7B,mBAAmB,GAAG,SAAS;QAC/B,qBAAqB,GAAG,SAAS;QACjC,eAAe,GAAG,SAAS;QAC3B,iBAAiB,GAAG,UAAU;QAC9B,iBAAiB,GAAG,UAAU;QAC9B,mBAAmB,GAAG,WAAW;QACjC,iBAAiB,GAAG,SAAS;QAC7B,mBAAmB,GAAG,SAAS;QAC/B,mDAAmD,GAAG,SAAS;QAC/D,qDAAqD,GAAG,SAAS;QACjE,gDAAgD,GAAG,kFAAkF,GAAG,KAAK;QAC7I,oBAAoB,GAAG,kCAAkC,GAAG,KAAK;QACjE,sBAAsB,GAAG,oCAAoC,GAAG,KAAK;QACrE,uBAAuB,GAAG,UAAU;QACpC,iBAAiB,GAAG,aAAa;QACjC,aAAa,CAAC;IAEhB,OAAO,CAAC,IAAI,OAAO,cAAc,GAAG,QAAQ,YAAY,IAAI,EAAE,SAAS,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,MAAM;QAEhD,oEAAoE;QACpE,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YACxE,OAAO,GAAG,kBAAkB,CAC1B,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,cAAc,EACpB,OAAO,CAAC,aAAa,CACtB,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE,CAC9C,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEvF,MAAM,4BAA4B,GAAG,CACnC,KAAwB,EACqB,EAAE;IAC/C,IAAI,IAAiD,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,GACR,OAAO,CAAC,KAAK,QAAQ;YACnB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;gBACrB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;oBACtB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;QACpB,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,IAAI,GAAG,IAAI,CAAC;aAClB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAkB,EAClB,WAAmB,EACnB,SAAiD,EACjD,OAAuB,EACG,EAAE;IAC5B,2DAA2D;IAC3D,wEAAwE;IACxE,+DAA+D;IAC/D,mGAAmG;IAEnG,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC;IAElE,MAAM,WAAW,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAC;IAC/D,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAY,CAAC;QAChF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,kBAAkB,CAAC,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACvF,CAAC;QAED,gFAAgF;QAChF,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,4BAA4B,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;QACjF,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;QAE9B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;QACnF,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,kBAAkB,CAC9C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAkB,EACzE,GAAG,EACH,SAAS,CACV,CAAC;QACF,MAAM,cAAc,GAClB,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;QACrF,OAAO,CAAC,IAAI,OAAO,OAAO,cAAc,IAAI,GAAG,OAAO,SAAS,GAAG,EAAE,QAAQ,CAAC,CAAC;IAChF,CAAC;IAED,qEAAqE;IACrE,IAAI,UAAU,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAExC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,4BAA4B,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;QACjF,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;QAE9B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;QACnF,0FAA0F;QAC1F,wFAAwF;QACxF,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,kBAAkB,CAC9C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,OAAO,EAAkB,EACxE,GAAG,EACH,SAAS,CACV,CAAC;QACF,MAAM,cAAc,GAClB,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CACjC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACtC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAChC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACtC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;wBACrC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;4BAClC,QAAQ,CACT,CAAC,CAAC,CAAC,KAAK,CAAC;QACZ,OAAO,CAAC,IAAI,OAAO,OAAO,cAAc,IAAI,GAAG,OAAO,SAAS,GAAG,EAAE,QAAQ,CAAC,CAAC;IAChF,CAAC;IAED,4EAA4E;IAC5E,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,yBAAyB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;QAC9E,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;QAE5B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;QAEnF,4FAA4F;QAC5F,IAAI,QAAQ,GAAG,SAAS,CAAC;QACzB,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;YACtB,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,IAAI,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,kBAAkB,CAChD,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,OAAO,EAAE,EAAE,YAAY,EAAE,UAAU,EAAkB,EAC1F,GAAG,CAAC,MAAM,OAAO,IAAI,EACrB,QAAQ,CACT,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,QAAQ,GAAG,SAAS,CAAC;QACvB,CAAC;QAED,IAAI,KAAK,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC;QAC3D,KAAK,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,WAAW,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC;QAC7D,CAAC;QAED,OAAO;YACL,IAAI,OAAO,WAAW,CAAC,OAAO,CAAC,oBAAoB,KAAK,IAAI;YAC5D,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,uFAAuF;IACvF,OAAO,8BAA8B,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAkB,EAClB,WAAmB,EACnB,OAAuB,EACG,EAAE;IAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,MAAM,QAAQ,GAAG,YAAY;QAC3B,CAAC,CAAC,qBAAqB,CACnB,iCAAiC,CAAC,YAAY,CAAC,IAAI,YAAY,EAC/D,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,IAAI,GAAG,QAAQ,CAAC;IAEtB,2EAA2E;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpD,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,gCAAgC;IAChC,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,kFAAkF;IAClF,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,sFAAsF;IACtF,gEAAgE;IAChE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACpE,OAAO,8BAA8B,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,4BAA4B,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,uGAAuG;IACvG,2FAA2F;IAC3F,4CAA4C;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,8BAA8B,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IAED,sCAAsC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM,CAAC;YACZ,KAAK,WAAW;gBACd,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAE5B,KAAK,QAAQ;gBACX,OAAO,CAAC,yBAAyB,WAAW,GAAG,EAAE,OAAO,CAAC,CAAC;YAE5D,KAAK,KAAK;gBACR,OAAO;oBACL,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,OAAO;oBAC5E,OAAO;iBACR,CAAC;YAEJ,KAAK,MAAM;gBACT,OAAO;oBACL,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,WAAW;oBAChF,OAAO;iBACR,CAAC;YAEJ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,iDAAiD;gBACjD,8DAA8D;gBAC9D,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC5C,IAAI,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;gBAClE,MAAM,KAAK,GAAG,iBAAiB,CAAC,uBAAuB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;gBAC5E,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC;gBAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;gBAC9B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC;gBACnF,OAAO;oBACL,IAAI,OAAO,cAAc,GAAG,OAAO,GAAG,0BAA0B,GAAG,IAAI;oBACvE,SAAS;iBACV,CAAC;YACJ,CAAC;YAED,KAAK,SAAS;gBACZ,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAkB,EAClB,QAAoB,EACpB,OAAuB,EACG,EAAE;IAC5B,MAAM,oBAAoB,GAAG,CAAC,EAAe,EAAU,EAAE,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhF,MAAM,+BAA+B,GAAG,CACtC,WAAyB,EACzB,WAAmB,EACnB,QAAqB,EACb,EAAE;QACV,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QACvD,IAAI,WAAW,CAAC,QAAQ,KAAK,IAAI,IAAI,WAAW,CAAC,QAAQ,KAAK,IAAI;YAAE,OAAO,WAAW,CAAC;QAEvF,MAAM,UAAU,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,oBAAoB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC7D,OAAO,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;IACnE,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;QAClF,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7E,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE7E,MAAM,UAAU,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtF,MAAM,UAAU,GAAG,+BAA+B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvF,OAAO,CAAC,GAAG,UAAU,IAAI,IAAI,CAAC,QAAQ,IAAI,UAAU,EAAE,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,OAAO,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE;IACjE,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC5E,CAAC,CAAC"}
package/dist/core/boolean-context.test.d.ts ADDED
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=boolean-context.test.d.ts.map
package/dist/core/boolean-context.test.d.ts.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"boolean-context.test.d.ts","sourceRoot":"","sources":["../../src/core/boolean-context.test.ts"],"names":[],"mappings":""}
package/dist/core/boolean-context.test.js ADDED
@@ -0,0 +1,231 @@
1
+ import { describe, it } from "mocha";
2
+ import { expect } from "chai";
3
+ import { emitBooleanCondition, toBooleanCondition } from "./boolean-context.js";
4
+ const defaultOptions = {
5
+ rootNamespace: "Test",
6
+ indent: 2,
7
+ };
8
+ const createContext = (patch = {}) => ({
9
+ indentLevel: 0,
10
+ options: defaultOptions,
11
+ isStatic: false,
12
+ isAsync: false,
13
+ usedLocalNames: new Set(),
14
+ usings: new Set(),
15
+ ...patch,
16
+ });
17
+ const prim = (name) => ({ kind: "primitiveType", name });
18
+ const ref = (clrName) => ({
19
+ kind: "referenceType",
20
+ name: clrName.split(".").at(-1) ?? clrName,
21
+ resolvedClrType: clrName,
22
+ });
23
+ const union = (types) => ({ kind: "unionType", types });
24
+ const id = (name, inferredType) => ({ kind: "identifier", name, inferredType });
25
+ const emitExpr = (expr, context) => {
26
+ switch (expr.kind) {
27
+ case "identifier":
28
+ return [{ text: expr.name }, context];
29
+ case "literal":
30
+ return [
31
+ {
32
+ text: typeof expr.value === "string"
33
+ ? JSON.stringify(expr.value)
34
+ : String(expr.value),
35
+ },
36
+ context,
37
+ ];
38
+ case "binary": {
39
+ const lhs = expr.left.kind === "identifier" ? expr.left.name : "lhs";
40
+ const rhs = expr.right.kind === "identifier" ? expr.right.name : "rhs";
41
+ const op = expr.operator === "===" ? "==" : expr.operator === "!==" ? "!=" : expr.operator;
42
+ return [{ text: `${lhs} ${op} ${rhs}` }, context];
43
+ }
44
+ default:
45
+ return [{ text: "__expr" }, context];
46
+ }
47
+ };
48
+ describe("Boolean-context lowering (emitBooleanCondition/toBooleanCondition)", () => {
49
+ describe("toBooleanCondition", () => {
50
+ it("treats primitive boolean as a condition (no rewriting)", () => {
51
+ const ctx = createContext();
52
+ const expr = id("b", prim("boolean"));
53
+ const [text] = toBooleanCondition(expr, "b", ctx);
54
+ expect(text).to.equal("b");
55
+ });
56
+ it("coerces CLR bool (System.Boolean) surfaced as referenceType into a boolean condition", () => {
57
+ const ctx = createContext();
58
+ const expr = id("bclBool", ref("System.Boolean"));
59
+ const [text] = toBooleanCondition(expr, "bclBool", ctx);
60
+ expect(text).to.equal("bclBool");
61
+ });
62
+ it("coerces CLR int (System.Int32) surfaced as referenceType into `!= 0` truthiness", () => {
63
+ const ctx = createContext();
64
+ const expr = id("bclInt", ref("System.Int32"));
65
+ const [text] = toBooleanCondition(expr, "bclInt", ctx);
66
+ expect(text).to.equal("bclInt != 0");
67
+ });
68
+ it("coerces other CLR primitives surfaced as referenceType via runtime truthiness (no `!= null` boxing bugs)", () => {
69
+ const ctx = createContext({ tempVarId: 0 });
70
+ const longExpr = id("l", ref("System.Int64"));
71
+ const [longText] = toBooleanCondition(longExpr, "l", ctx);
72
+ expect(longText).to.include("long =>");
73
+ expect(longText).to.include("!= 0L");
74
+ expect(longText).to.not.include("!= null");
75
+ const floatExpr = id("f", ref("System.Single"));
76
+ const [floatText] = toBooleanCondition(floatExpr, "f", ctx);
77
+ expect(floatText).to.include("float =>");
78
+ expect(floatText).to.include("!= 0f");
79
+ expect(floatText).to.include("!float.IsNaN");
80
+ expect(floatText).to.not.include("!= null");
81
+ const charExpr = id("c", ref("System.Char"));
82
+ const [charText] = toBooleanCondition(charExpr, "c", ctx);
83
+ expect(charText).to.equal("c != '\\0'");
84
+ });
85
+ it("emits !string.IsNullOrEmpty for primitive strings", () => {
86
+ const ctx = createContext();
87
+ const expr = id("s", prim("string"));
88
+ const [text] = toBooleanCondition(expr, "s", ctx);
89
+ expect(text).to.equal("!string.IsNullOrEmpty(s)");
90
+ });
91
+ it("emits JS truthiness for primitive numbers (false iff 0 or NaN) with a single-eval pattern var", () => {
92
+ const ctx = createContext({ tempVarId: 0 });
93
+ const expr = id("n", prim("number"));
94
+ const [text, next] = toBooleanCondition(expr, "n", ctx);
95
+ expect(text).to.match(/n is double __tsonic_truthy_num_1/);
96
+ expect(text).to.include("!= 0");
97
+ expect(text).to.include("!double.IsNaN");
98
+ expect(next.tempVarId).to.equal(1);
99
+ });
100
+ it("parenthesizes non-simple numeric expressions (e.g. `a ?? b`) under pattern matching", () => {
101
+ const ctx = createContext({ tempVarId: 0 });
102
+ const expr = {
103
+ kind: "logical",
104
+ operator: "??",
105
+ left: id("a", prim("number")),
106
+ right: id("b", prim("number")),
107
+ inferredType: prim("number"),
108
+ };
109
+ const [text, next] = toBooleanCondition(expr, "a ?? b", ctx);
110
+ expect(text).to.match(/\(\(a \?\? b\) is double __tsonic_truthy_num_1/);
111
+ expect(next.tempVarId).to.equal(1);
112
+ });
113
+ it("emits runtime truthiness for unknown/any (never `!= null` fallbacks)", () => {
114
+ const ctx = createContext({ tempVarId: 0 });
115
+ const unknownExpr = id("x", { kind: "unknownType" });
116
+ const [unknownText, unknownNext] = toBooleanCondition(unknownExpr, "x", ctx);
117
+ expect(unknownText).to.include("switch {");
118
+ expect(unknownText).to.include("bool =>");
119
+ expect(unknownText).to.not.include("!= null");
120
+ expect(unknownNext.tempVarId).to.equal(1);
121
+ const anyExpr = id("y", { kind: "anyType" });
122
+ const [anyText, anyNext] = toBooleanCondition(anyExpr, "y", ctx);
123
+ expect(anyText).to.include("switch {");
124
+ expect(anyText).to.include("string =>");
125
+ expect(anyText).to.not.include("!= null");
126
+ expect(anyNext.tempVarId).to.equal(1);
127
+ });
128
+ it("treats comparisons as inherently boolean (no truthiness rewriting)", () => {
129
+ const ctx = createContext();
130
+ const expr = {
131
+ kind: "binary",
132
+ operator: "==",
133
+ left: id("a", prim("int")),
134
+ right: id("b", prim("int")),
135
+ inferredType: prim("boolean"),
136
+ };
137
+ const [text] = toBooleanCondition(expr, "a == b", ctx);
138
+ expect(text).to.equal("a == b");
139
+ });
140
+ it("handles nullable unions (T | null | undefined) via pattern match to the non-null type", () => {
141
+ const ctx = createContext({ tempVarId: 0 });
142
+ const expr = id("x", union([prim("int"), prim("null"), prim("undefined")]));
143
+ const [text, next] = toBooleanCondition(expr, "x", ctx);
144
+ expect(text).to.match(/x is int __tsonic_truthy_nullable_1/);
145
+ expect(text).to.include("__tsonic_truthy_nullable_1 != 0");
146
+ expect(next.tempVarId).to.equal(1);
147
+ });
148
+ it("handles 2-8 unions via IsN/AsN active-variant checks", () => {
149
+ const ctx = createContext({ tempVarId: 0 });
150
+ const expr = id("u", union([prim("int"), prim("string")]));
151
+ const [text, next] = toBooleanCondition(expr, "u", ctx);
152
+ expect(text).to.match(/u is var __tsonic_truthy_union_1/);
153
+ expect(text).to.include("__tsonic_truthy_union_1.Is1()");
154
+ expect(text).to.include("__tsonic_truthy_union_1.As1()");
155
+ expect(text).to.include("__tsonic_truthy_union_1.As2()");
156
+ expect(next.tempVarId).to.equal(1);
157
+ });
158
+ it("handles literal unions by lowering to the literal base primitive with nullable support", () => {
159
+ const ctx = createContext({ tempVarId: 0 });
160
+ const expr = id("x", union([
161
+ { kind: "literalType", value: "a" },
162
+ { kind: "literalType", value: "b" },
163
+ prim("null"),
164
+ ]));
165
+ const [text, next] = toBooleanCondition(expr, "x", ctx);
166
+ expect(text).to.match(/x is string __tsonic_truthy_nullable_1/);
167
+ expect(text).to.include("!string.IsNullOrEmpty(__tsonic_truthy_nullable_1)");
168
+ expect(next.tempVarId).to.equal(1);
169
+ });
170
+ });
171
+ describe("emitBooleanCondition", () => {
172
+ it("applies truthiness to each operand for logical && / || (preserving short-circuit form)", () => {
173
+ const ctx = createContext();
174
+ const expr = {
175
+ kind: "logical",
176
+ operator: "&&",
177
+ left: id("a", prim("int")),
178
+ right: id("b", prim("int")),
179
+ inferredType: prim("int"),
180
+ };
181
+ const [text] = emitBooleanCondition(expr, emitExpr, ctx);
182
+ expect(text).to.equal("a != 0 && b != 0");
183
+ });
184
+ it("parenthesizes `||` operands when they appear under `&&` so grouping is preserved", () => {
185
+ const ctx = createContext();
186
+ const expr = {
187
+ kind: "logical",
188
+ operator: "&&",
189
+ left: {
190
+ kind: "logical",
191
+ operator: "||",
192
+ left: id("a", prim("int")),
193
+ right: id("b", prim("int")),
194
+ inferredType: prim("int"),
195
+ },
196
+ right: id("c", prim("int")),
197
+ inferredType: prim("int"),
198
+ };
199
+ const [text] = emitBooleanCondition(expr, emitExpr, ctx);
200
+ expect(text).to.equal("(a != 0 || b != 0) && c != 0");
201
+ });
202
+ it("does not rewrite inherently-boolean expressions", () => {
203
+ const ctx = createContext();
204
+ const expr = {
205
+ kind: "binary",
206
+ operator: "==",
207
+ left: id("a", prim("int")),
208
+ right: id("b", prim("int")),
209
+ inferredType: prim("boolean"),
210
+ };
211
+ const [text] = emitBooleanCondition(expr, emitExpr, ctx);
212
+ expect(text).to.equal("a == b");
213
+ });
214
+ it("uses runtime truthiness for unknown operands (never `!= null`) while preserving logical operators", () => {
215
+ const ctx = createContext({ tempVarId: 0 });
216
+ const expr = {
217
+ kind: "logical",
218
+ operator: "||",
219
+ left: id("x", { kind: "unknownType" }),
220
+ right: id("y", prim("boolean")),
221
+ inferredType: { kind: "unknownType" },
222
+ };
223
+ const [text, next] = emitBooleanCondition(expr, emitExpr, ctx);
224
+ expect(text).to.include("switch {");
225
+ expect(text).to.include("|| y");
226
+ expect(text).to.not.include("!= null");
227
+ expect(next.tempVarId).to.equal(1);
228
+ });
229
+ });
230
+ });
231
+ //# sourceMappingURL=boolean-context.test.js.map
package/dist/core/boolean-context.test.js.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"boolean-context.test.js","sourceRoot":"","sources":["../../src/core/boolean-context.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAIhF,MAAM,cAAc,GAAmB;IACrC,aAAa,EAAE,MAAM;IACrB,MAAM,EAAE,CAAC;CACV,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,QAAiC,EAAE,EACnB,EAAE,CAAC,CAAC;IACpB,WAAW,EAAE,CAAC;IACd,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;IACd,cAAc,EAAE,IAAI,GAAG,EAAU;IACjC,MAAM,EAAE,IAAI,GAAG,EAAU;IACzB,GAAG,KAAK;CACT,CAAC,CAAC;AAEH,MAAM,IAAI,GAAG,CAAC,IAAwD,EAAU,EAAE,CAChF,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAW,CAAC;AAE9C,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CACtC,CAAC;IACC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO;IAC1C,eAAe,EAAE,OAAO;CACzB,CAAW,CAAC;AAEf,MAAM,KAAK,GAAG,CAAC,KAAwB,EAAU,EAAE,CACjD,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAW,CAAC;AAE3C,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,YAAqB,EAAgB,EAAE,CAC/D,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAmB,CAAA,CAAC;AAE/D,MAAM,QAAQ,GAAG,CACf,IAAkB,EAClB,OAAuB,EACa,EAAE;IACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,OAAO;gBACL;oBACE,IAAI,EACF,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;wBAC5B,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;wBAC5B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;iBACzB;gBACD,OAAO;aACR,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YACrE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YACvE,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC3F,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;QACD;YACE,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;AACH,CAAC,CAAC;AAEF,QAAQ,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAClF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;YAC9F,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0GAA0G,EAAE,GAAG,EAAE;YAClH,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAE5C,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC1D,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACvC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAE3C,MAAM,SAAS,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,GAAG,kBAAkB,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC5D,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACzC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC7C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAE5C,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC1D,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;YACvG,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;YAC7F,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC9B,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC;aACb,CAAC;YAElB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAE5C,MAAM,WAAW,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAY,CAAC,CAAC;YAC/D,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,kBAAkB,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC7E,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAE1C,MAAM,OAAO,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC,CAAC;YACvD,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACjE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1B,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC;aACd,CAAC;YAElB,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;YAC/F,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CACb,GAAG,EACH,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CACtD,CAAC;YACF,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;YAChG,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CACb,GAAG,EACH,KAAK,CAAC;gBACJ,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAY;gBAC7C,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAY;gBAC7C,IAAI,CAAC,MAAM,CAAC;aACb,CAAC,CACH,CAAC;YAEF,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;YAC7E,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;YAChG,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAE5B,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1B,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC;aACV,CAAC;YAElB,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;YAC1F,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAE5B,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC1B,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC3B,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC;iBAC1B;gBACD,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC;aACV,CAAC;YAElB,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAE5B,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1B,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC;aACd,CAAC;YAElB,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mGAAmG,EAAE,GAAG,EAAE;YAC3G,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAE5C,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAY,CAAC;gBAChD,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC/B,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAY;aAChC,CAAC;YAElB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
package/dist/expressions/index.test.js CHANGED
@@ -322,6 +322,254 @@ describe("Expression Emission", () => {
322
322
  // Must not emit nested/static Queryable.* calls (EF query precompiler flags them as "dynamic").
323
323
  expect(result).not.to.include("System.Linq.Queryable.Count");
324
324
  });
325
+ it("should emit fluent Queryable extension methods broadly (Where/Select/FirstOrDefault/etc.)", () => {
326
+ const methods = [
327
+ { member: "Where", args: [{ kind: "identifier", name: "pred" }] },
328
+ { member: "Select", args: [{ kind: "identifier", name: "sel" }] },
329
+ { member: "FirstOrDefault", args: [] },
330
+ { member: "Count", args: [] },
331
+ ];
332
+ const module = {
333
+ kind: "module",
334
+ filePath: "/src/test.ts",
335
+ namespace: "MyApp",
336
+ className: "test",
337
+ isStaticContainer: true,
338
+ imports: [],
339
+ body: methods.map((m) => ({
340
+ kind: "expressionStatement",
341
+ expression: {
342
+ kind: "call",
343
+ callee: {
344
+ kind: "memberAccess",
345
+ object: {
346
+ kind: "identifier",
347
+ name: "q",
348
+ inferredType: { kind: "primitiveType", name: "boolean" }, // doesn't matter; only needs to be instance-style
349
+ },
350
+ property: m.member,
351
+ isComputed: false,
352
+ isOptional: false,
353
+ memberBinding: {
354
+ assembly: "System.Linq",
355
+ type: "System.Linq.Queryable",
356
+ member: m.member,
357
+ isExtensionMethod: true,
358
+ },
359
+ },
360
+ arguments: m.args,
361
+ isOptional: false,
362
+ },
363
+ })),
364
+ exports: [],
365
+ };
366
+ const result = emitModule(module);
367
+ expect(result).to.include("using System.Linq;");
368
+ for (const m of methods) {
369
+ expect(result).to.include(`q.${m.member}(`);
370
+ expect(result).not.to.include(`System.Linq.Queryable.${m.member}`);
371
+ }
372
+ });
373
+ it("should emit fluent Enumerable terminal ops (ToList/ToArray) but keep other Enumerable methods static by default", () => {
374
+ const module = {
375
+ kind: "module",
376
+ filePath: "/src/test.ts",
377
+ namespace: "MyApp",
378
+ className: "test",
379
+ isStaticContainer: true,
380
+ imports: [],
381
+ body: [
382
+ // Enumerable terminal ops should be fluent + require using System.Linq;
383
+ {
384
+ kind: "expressionStatement",
385
+ expression: {
386
+ kind: "call",
387
+ callee: {
388
+ kind: "memberAccess",
389
+ object: {
390
+ kind: "identifier",
391
+ name: "xs",
392
+ inferredType: { kind: "primitiveType", name: "boolean" }, // doesn't matter; instance-style is enough
393
+ },
394
+ property: "ToArray",
395
+ isComputed: false,
396
+ isOptional: false,
397
+ memberBinding: {
398
+ assembly: "System.Linq",
399
+ type: "System.Linq.Enumerable",
400
+ member: "ToArray",
401
+ isExtensionMethod: true,
402
+ },
403
+ },
404
+ arguments: [],
405
+ isOptional: false,
406
+ },
407
+ },
408
+ {
409
+ kind: "expressionStatement",
410
+ expression: {
411
+ kind: "call",
412
+ callee: {
413
+ kind: "memberAccess",
414
+ object: {
415
+ kind: "identifier",
416
+ name: "xs",
417
+ inferredType: { kind: "primitiveType", name: "boolean" },
418
+ },
419
+ property: "ToList",
420
+ isComputed: false,
421
+ isOptional: false,
422
+ memberBinding: {
423
+ assembly: "System.Linq",
424
+ type: "System.Linq.Enumerable",
425
+ member: "ToList",
426
+ isExtensionMethod: true,
427
+ },
428
+ },
429
+ arguments: [],
430
+ isOptional: false,
431
+ },
432
+ },
433
+ // Enumerable query operators remain static invocation by default.
434
+ {
435
+ kind: "expressionStatement",
436
+ expression: {
437
+ kind: "call",
438
+ callee: {
439
+ kind: "memberAccess",
440
+ object: {
441
+ kind: "identifier",
442
+ name: "xs",
443
+ inferredType: { kind: "primitiveType", name: "boolean" },
444
+ },
445
+ property: "Where",
446
+ isComputed: false,
447
+ isOptional: false,
448
+ memberBinding: {
449
+ assembly: "System.Linq",
450
+ type: "System.Linq.Enumerable",
451
+ member: "Where",
452
+ isExtensionMethod: true,
453
+ },
454
+ },
455
+ arguments: [{ kind: "identifier", name: "pred" }],
456
+ isOptional: false,
457
+ },
458
+ },
459
+ ],
460
+ exports: [],
461
+ };
462
+ const result = emitModule(module);
463
+ expect(result).to.include("using System.Linq;");
464
+ expect(result).to.include("xs.ToArray()");
465
+ expect(result).to.include("xs.ToList()");
466
+ expect(result).not.to.include("System.Linq.Enumerable.ToArray");
467
+ expect(result).not.to.include("System.Linq.Enumerable.ToList");
468
+ expect(result).to.include("global::System.Linq.Enumerable.Where(xs, pred)");
469
+ expect(result).not.to.include("xs.Where");
470
+ });
471
+ it("should emit fluent EF Core query operators (e.g. AsNoTracking) with a namespace using", () => {
472
+ const module = {
473
+ kind: "module",
474
+ filePath: "/src/test.ts",
475
+ namespace: "MyApp",
476
+ className: "test",
477
+ isStaticContainer: true,
478
+ imports: [],
479
+ body: [
480
+ {
481
+ kind: "expressionStatement",
482
+ expression: {
483
+ kind: "call",
484
+ callee: {
485
+ kind: "memberAccess",
486
+ object: {
487
+ kind: "identifier",
488
+ name: "q",
489
+ inferredType: { kind: "primitiveType", name: "boolean" },
490
+ },
491
+ property: "AsNoTracking",
492
+ isComputed: false,
493
+ isOptional: false,
494
+ memberBinding: {
495
+ assembly: "Microsoft.EntityFrameworkCore",
496
+ type: "Microsoft.EntityFrameworkCore.EntityFrameworkQueryableExtensions",
497
+ member: "AsNoTracking",
498
+ isExtensionMethod: true,
499
+ },
500
+ },
501
+ arguments: [],
502
+ isOptional: false,
503
+ },
504
+ },
505
+ ],
506
+ exports: [],
507
+ };
508
+ const result = emitModule(module);
509
+ expect(result).to.include("using Microsoft.EntityFrameworkCore;");
510
+ expect(result).to.include("q.AsNoTracking()");
511
+ expect(result).not.to.include("EntityFrameworkQueryableExtensions.AsNoTracking");
512
+ });
513
+ it("should canonicalize Enumerable.ToList().ToArray() to Enumerable.ToArray() for EF query precompilation", () => {
514
+ const module = {
515
+ kind: "module",
516
+ filePath: "/src/test.ts",
517
+ namespace: "MyApp",
518
+ className: "test",
519
+ isStaticContainer: true,
520
+ imports: [],
521
+ body: [
522
+ {
523
+ kind: "expressionStatement",
524
+ expression: {
525
+ kind: "call",
526
+ callee: {
527
+ kind: "memberAccess",
528
+ object: {
529
+ kind: "call",
530
+ callee: {
531
+ kind: "memberAccess",
532
+ object: {
533
+ kind: "identifier",
534
+ name: "xs",
535
+ inferredType: { kind: "primitiveType", name: "boolean" }, // doesn't matter; instance-style is enough
536
+ },
537
+ property: "ToList",
538
+ isComputed: false,
539
+ isOptional: false,
540
+ memberBinding: {
541
+ assembly: "System.Linq",
542
+ type: "System.Linq.Enumerable",
543
+ member: "ToList",
544
+ isExtensionMethod: true,
545
+ },
546
+ },
547
+ arguments: [],
548
+ isOptional: false,
549
+ },
550
+ property: "ToArray",
551
+ isComputed: false,
552
+ isOptional: false,
553
+ memberBinding: {
554
+ assembly: "System.Linq",
555
+ type: "System.Linq.Enumerable",
556
+ member: "ToArray",
557
+ isExtensionMethod: true,
558
+ },
559
+ },
560
+ arguments: [],
561
+ isOptional: false,
562
+ },
563
+ },
564
+ ],
565
+ exports: [],
566
+ };
567
+ const result = emitModule(module);
568
+ // The canonical form must be `xs.ToArray()` (not `xs.ToList().ToArray()`).
569
+ expect(result).to.include("using System.Linq;");
570
+ expect(result).to.include("xs.ToArray()");
571
+ expect(result).not.to.include(".ToList().ToArray()");
572
+ });
325
573
  it("should preserve logical operator grouping with parentheses", () => {
326
574
  const module = {
327
575
  kind: "module",