sourceverity 1.0.2 → 1.0.4

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 (109) hide show
  1. package/README.md +91 -3
  2. package/dist/analysis/arrayBounds.d.ts +4 -0
  3. package/dist/analysis/arrayBounds.d.ts.map +1 -0
  4. package/dist/analysis/arrayBounds.js +4 -0
  5. package/dist/analysis/arrayBounds.js.map +1 -0
  6. package/dist/analysis/arrayBoundsCore.d.ts +69 -0
  7. package/dist/analysis/arrayBoundsCore.d.ts.map +1 -0
  8. package/dist/analysis/arrayBoundsCore.js +863 -0
  9. package/dist/analysis/arrayBoundsCore.js.map +1 -0
  10. package/dist/analysis/arrayConstructionBounds.d.ts +14 -0
  11. package/dist/analysis/arrayConstructionBounds.d.ts.map +1 -0
  12. package/dist/analysis/arrayConstructionBounds.js +445 -0
  13. package/dist/analysis/arrayConstructionBounds.js.map +1 -0
  14. package/dist/analysis/arrayIterationBounds.d.ts +12 -0
  15. package/dist/analysis/arrayIterationBounds.d.ts.map +1 -0
  16. package/dist/analysis/arrayIterationBounds.js +578 -0
  17. package/dist/analysis/arrayIterationBounds.js.map +1 -0
  18. package/dist/analysis/controlFlowGuards.d.ts +7 -0
  19. package/dist/analysis/controlFlowGuards.d.ts.map +1 -0
  20. package/dist/analysis/controlFlowGuards.js +119 -0
  21. package/dist/analysis/controlFlowGuards.js.map +1 -0
  22. package/dist/analysis/controlFlowTypes.d.ts +5 -0
  23. package/dist/analysis/controlFlowTypes.d.ts.map +1 -0
  24. package/dist/analysis/controlFlowTypes.js +2 -0
  25. package/dist/analysis/controlFlowTypes.js.map +1 -0
  26. package/dist/analysis/frameworks.d.ts.map +1 -1
  27. package/dist/analysis/frameworks.js +95 -35
  28. package/dist/analysis/frameworks.js.map +1 -1
  29. package/dist/analysis/functions.d.ts.map +1 -1
  30. package/dist/analysis/functions.js +120 -36
  31. package/dist/analysis/functions.js.map +1 -1
  32. package/dist/analysis/{controlFlow.d.ts → nonNullGuards.d.ts} +2 -5
  33. package/dist/analysis/nonNullGuards.d.ts.map +1 -0
  34. package/dist/analysis/nonNullGuards.js +340 -0
  35. package/dist/analysis/nonNullGuards.js.map +1 -0
  36. package/dist/analysis/promiseFlow.d.ts.map +1 -1
  37. package/dist/analysis/promiseFlow.js +85 -11
  38. package/dist/analysis/promiseFlow.js.map +1 -1
  39. package/dist/analysis/reactStateBounds.d.ts +8 -0
  40. package/dist/analysis/reactStateBounds.d.ts.map +1 -0
  41. package/dist/analysis/reactStateBounds.js +390 -0
  42. package/dist/analysis/reactStateBounds.js.map +1 -0
  43. package/dist/baseline/manager.js +1 -1
  44. package/dist/baseline/manager.js.map +1 -1
  45. package/dist/baseline/types.d.ts +1 -1
  46. package/dist/baseline/types.d.ts.map +1 -1
  47. package/dist/cli/help.js +1 -1
  48. package/dist/cli/main.d.ts.map +1 -1
  49. package/dist/cli/main.js +24 -2
  50. package/dist/cli/main.js.map +1 -1
  51. package/dist/core/config.d.ts +7 -0
  52. package/dist/core/config.d.ts.map +1 -0
  53. package/dist/core/config.js +42 -0
  54. package/dist/core/config.js.map +1 -0
  55. package/dist/core/paths.d.ts +0 -4
  56. package/dist/core/paths.d.ts.map +1 -1
  57. package/dist/core/paths.js +0 -6
  58. package/dist/core/paths.js.map +1 -1
  59. package/dist/engine/runner.d.ts +6 -1
  60. package/dist/engine/runner.d.ts.map +1 -1
  61. package/dist/engine/runner.js +38 -21
  62. package/dist/engine/runner.js.map +1 -1
  63. package/dist/engine/symbols.d.ts +17 -5
  64. package/dist/engine/symbols.d.ts.map +1 -1
  65. package/dist/engine/symbols.js +269 -46
  66. package/dist/engine/symbols.js.map +1 -1
  67. package/dist/reporters/sarif.d.ts +2 -0
  68. package/dist/reporters/sarif.d.ts.map +1 -1
  69. package/dist/reporters/sarif.js +36 -7
  70. package/dist/reporters/sarif.js.map +1 -1
  71. package/dist/repository/detector.d.ts.map +1 -1
  72. package/dist/repository/detector.js +31 -11
  73. package/dist/repository/detector.js.map +1 -1
  74. package/dist/rules/async/floatingPromise.d.ts.map +1 -1
  75. package/dist/rules/async/floatingPromise.js +24 -2
  76. package/dist/rules/async/floatingPromise.js.map +1 -1
  77. package/dist/rules/browser/eventListenerCleanup.d.ts.map +1 -1
  78. package/dist/rules/browser/eventListenerCleanup.js +2 -9
  79. package/dist/rules/browser/eventListenerCleanup.js.map +1 -1
  80. package/dist/rules/browser/observerCleanup.d.ts.map +1 -1
  81. package/dist/rules/browser/observerCleanup.js +2 -9
  82. package/dist/rules/browser/observerCleanup.js.map +1 -1
  83. package/dist/rules/browser/timerCleanup.d.ts.map +1 -1
  84. package/dist/rules/browser/timerCleanup.js +2 -9
  85. package/dist/rules/browser/timerCleanup.js.map +1 -1
  86. package/dist/rules/network/fetchStatusUnchecked.d.ts.map +1 -1
  87. package/dist/rules/network/fetchStatusUnchecked.js +245 -46
  88. package/dist/rules/network/fetchStatusUnchecked.js.map +1 -1
  89. package/dist/rules/react/asyncEffectCallback.d.ts.map +1 -1
  90. package/dist/rules/react/asyncEffectCallback.js +2 -9
  91. package/dist/rules/react/asyncEffectCallback.js.map +1 -1
  92. package/dist/rules/react/derivedStateEffect.d.ts.map +1 -1
  93. package/dist/rules/react/derivedStateEffect.js +61 -13
  94. package/dist/rules/react/derivedStateEffect.js.map +1 -1
  95. package/dist/rules/react/missingEffectCleanup.d.ts.map +1 -1
  96. package/dist/rules/react/missingEffectCleanup.js +102 -10
  97. package/dist/rules/react/missingEffectCleanup.js.map +1 -1
  98. package/dist/rules/typescript/nonNullAssertionRisk.js +1 -1
  99. package/dist/rules/typescript/nonNullAssertionRisk.js.map +1 -1
  100. package/dist/rules/typescript/uncheckedIndexAccess.d.ts.map +1 -1
  101. package/dist/rules/typescript/uncheckedIndexAccess.js +55 -0
  102. package/dist/rules/typescript/uncheckedIndexAccess.js.map +1 -1
  103. package/dist/rules/typescript/unsafeUnvalidatedAssertion.d.ts.map +1 -1
  104. package/dist/rules/typescript/unsafeUnvalidatedAssertion.js +9 -4
  105. package/dist/rules/typescript/unsafeUnvalidatedAssertion.js.map +1 -1
  106. package/package.json +1 -1
  107. package/dist/analysis/controlFlow.d.ts.map +0 -1
  108. package/dist/analysis/controlFlow.js +0 -2136
  109. package/dist/analysis/controlFlow.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/analysis/functions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAwB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAgB/D;;GAEG;AACH,MAAM,OAAO,sBAAsB;IAKtB;IACA;IALM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAC;IAChD,UAAU,GAAG,IAAI,GAAG,EAAe,CAAC;IAErD,YACW,EAAiB,EACjB,OAAwC;QADxC,OAAE,GAAF,EAAE,CAAe;QACjB,YAAO,GAAP,OAAO,CAAiC;IAChD,CAAC;IAEJ,UAAU,CAAC,QAAqB;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,sDAAsD;YACtD,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,kBAAkB,EAAE,IAAI;gBACxB,2BAA2B,EAAE,KAAK;gBAClC,eAAe,EAAE,SAAS;gBAC1B,qBAAqB,EAAE,KAAK;aAC7B,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAClC,OAAO,OAAO,CAAC;QACjB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;CACF;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,SAAiC,EACjC,OAA4C;IAE5C,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAEhC,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,4BAA4B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,EAAE,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,SAAS,GAAG,wCAAwC,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACnF,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YAC9C,IAAI,OAAO,CAAC,eAAe,KAAK,0BAA0B,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAC3B,IAAiB,EACjB,EAAiB,EACjB,OAA4C;IAE5C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAc;QAC1B,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC3C,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QACD,iDAAiD;QACjD,IACE,CAAC,KAAK,IAAI;YACV,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;gBACrB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC;YACD,OAAO;QACT,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,0BAA0B,CACjC,QAA+B,EAC/B,EAAiB;IAEjB,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAEzD,iIAAiI;IACjI,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACpD,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,IAAI,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IAED,wFAAwF;IACxF,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,IACE,MAAM,CAAC,IAAI,KAAK,cAAc;YAC9B,MAAM,CAAC,IAAI,KAAK,eAAe;YAC/B,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAChC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,yDAAyD;QACzD,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,6BAA6B,CACpC,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,IACE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;QAC1B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC;QAC7B,EAAE,CAAC,+BAA+B,CAAC,SAAS,CAAC;QAC7C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC7C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,OAAO,CACL,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC;YAC1D,6BAA6B,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAC5D,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,OAAO,6BAA6B,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBAChE,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7F,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAC1F,CAAC;oBACF,IAAI,UAAU;wBAAE,OAAO,KAAK,CAAC;gBAC/B,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,6BAA6B,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,0BAA0B,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAC/B,KAAmB,EACnB,EAAiB,EACjB,OAAwC;IAExC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC/B,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC3D,4DAA4D;YAC5D,IAAI,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACtC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,CAAC;oBACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;oBACrD,IAAI,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;wBACjC,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YACD,IAAI,CAAC,6BAA6B,CAAC,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC9D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACtF,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACnD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;gBACzF,IAAI,6BAA6B,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC3D,SAAS;gBACX,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;oBAC1C,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,yCAAyC;gBACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBACjC,IAAI,CAAC,6BAA6B,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;wBACrD,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACjE,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC/E,CAAC;iBAAM,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC1E,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;oBACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAC/E,CAAC;qBAAM,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC1E,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAsB,EACtB,EAAiB,EACjB,OAAwC;IAExC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,wBAAwB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,IAAsB,EACtB,EAAiB,EACjB,OAAwC;IAExC,IAAI,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACrD,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACtF,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACnC,OAAO,wBAAwB,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,4BAA4B,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,4BAA4B,CACnC,IAAiB,EACjB,EAAiB,EACjB,OAA4C;IAE5C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAc;QAC1B,IAAI,KAAK;YAAE,OAAO;QAClB,qCAAqC;QACrC,IACE,CAAC,KAAK,IAAI;YACV,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;gBACrB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC;YACD,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC3C,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,qEAAqE;YACrE,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;gBACnB,IAAI,oBAAoB,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBAClD,KAAK,GAAG,IAAI,CAAC;oBACb,OAAO;gBACT,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,IAAI,4BAA4B,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACnE,KAAK,GAAG,IAAI,CAAC;oBACb,OAAO;gBACT,CAAC;YACH,CAAC;YACD,IAAI,CAAC,CAAC,YAAY,IAAI,4BAA4B,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAChF,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;YACD,OAAO;QACT,CAAC;QAED,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAC/B,IAAiB,EACjB,OAA+B;IAE/B,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAEhC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,yCAAyC;QACzC,IAAI,6BAA6B,CAAC,IAAyB,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YAC1E,OAAO,0BAA0B,CAAC;QACpC,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,0BAA0B,CAAC;IACpC,CAAC;IAED,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,eAAe,GAAG,KAAK,CAAC;IAE5B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtB,6DAA6D;gBAC7D,IAAI,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACrD,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,eAAe,GAAG,IAAI,CAAC;gBACvB,2DAA2D;gBAC3D,IAAI,4BAA4B,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACtE,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,IAAI,4BAA4B,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACtF,WAAW,GAAG,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC5C,WAAW,GAAG,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,0BAA0B,CAAC;IACpC,CAAC;IAED,4DAA4D;IAC5D,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,QAAqB,EACrB,OAA+B;IAE/B,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAChC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,IAA6B,CAAC;IAClC,IAAI,UAAqC,CAAC;IAE1C,IACE,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;QAClC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC5B,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QACjC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAChC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;QAC1F,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;QACrB,IAAI,OAAO,IAAI,MAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnD,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,IAAI,kBAAkB,GAAG,OAAO,CAAC;IACjC,IAAI,2BAA2B,GAAG,KAAK,CAAC;IAExC,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC5C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC;gBAC/C,IAAI,OAAO,EAAE,CAAC;oBACZ,IAAI,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;wBACpC,kBAAkB,GAAG,IAAI,CAAC;oBAC5B,CAAC;oBACD,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;wBACtB,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;wBAC1G,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;wBACxE,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;4BAC1B,2BAA2B,GAAG,IAAI,CAAC;wBACrC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,+BAA+B;QACjC,CAAC;IACH,CAAC;IAED,IAAI,eAAe,GAAoB,SAAS,CAAC;IACjD,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAElC,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,OAAO,EAAE,CAAC;YACZ,eAAe,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,kBAAkB,EAAE,CAAC;YAC9B,eAAe,GAAG,YAAY,CAAC;QACjC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,eAAe,GAAG,SAAS,CAAC;IAC9B,CAAC;IACD,2DAA2D;IAC3D,IAAI,IAAI,EAAE,CAAC;QACT,SAAS,WAAW,CAAC,CAAc;YACjC,IAAI,qBAAqB;gBAAE,OAAO;YAClC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;oBAClG,qBAAqB,GAAG,IAAI,CAAC;gBAC/B,CAAC;YACH,CAAC;YACD,IACE,CAAC,KAAK,IAAI;gBACV,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;oBAC1B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;oBACrB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;oBAC1B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC;gBACD,OAAO;YACT,CAAC;YACD,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QAC9B,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO;QACP,kBAAkB;QAClB,2BAA2B;QAC3B,eAAe;QACf,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,mBAAmB,GAAG,IAAI,OAAO,EAA8C,CAAC;AAEtF;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAqB,EACrB,EAAiB,EACjB,OAAwC,EACxC,OAA4C;IAE5C,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,IAAI,sBAAsB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAC9C,mBAAmB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,sBAAsB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC;AACD;;GAEG;AACH,SAAS,8BAA8B,CACrC,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,+BAA+B;IAC/B,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC1D,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO,8BAA8B,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,iBAAiB,GAAG,IAAI,OAAO,EAAgE,CAAC;AAEtG,MAAM,UAAU,wCAAwC,CACtD,QAA+B,EAC/B,EAAiB,EACjB,OAAwC;IAExC,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,UAAU,GAAG,IAAI,OAAO,EAAmC,CAAC;YAC5D,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC7C,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,IAAI,SAAS,CAAC;QAC7B,CAAC;QACD,MAAM,MAAM,GAAG,+CAA+C,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACtF,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;QACzC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,+CAA+C,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,+CAA+C,CACtD,QAA+B,EAC/B,EAAiB,EACjB,OAAwC;IAExC,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAEzD,2EAA2E;IAC3E,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAChD,IAAI,GAAG,EAAE,CAAC;gBACR,IAAI,SAAS,GAA8B,GAAG,CAAC;gBAC/C,IAAI,SAAS,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;oBAC3C,IAAI,CAAC;wBACH,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;oBAClD,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;gBACH,CAAC;gBACD,MAAM,IAAI,GAAG,SAAS,EAAE,gBAAgB,IAAI,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;gBACzE,IAAI,IAAI,EAAE,CAAC;oBACT,gFAAgF;oBAChF,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACnE,IAAI,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;wBACtE,OAAO,SAAS,CAAC;oBACnB,CAAC;oBAED,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;wBAC9B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;wBACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC7B,CAAC;wBACD,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACvD,MAAM,QAAQ,GAAG,8BAA8B,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;wBAC/E,IAAI,QAAQ;4BAAE,OAAO,QAAQ,CAAC;oBAChC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YACjD,MAAM,IAAI,GAAG,GAAG,EAAE,gBAAgB,IAAI,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7D,IAAI,IAAI,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC/D,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBACpD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBACzD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;wBACjC,IAAI,MAAM,EAAE,CAAC;4BACX,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;gCAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gCACtD,IAAI,WAAW,GAAG,SAAS,CAAC;gCAC5B,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oCAC9D,IAAI,CAAC;wCACH,WAAW,GAAG,OAAO,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;oCACtD,CAAC;oCAAC,MAAM,CAAC;wCACP,SAAS;oCACX,CAAC;gCACH,CAAC;gCACD,MAAM,UAAU,GAAG,WAAW,EAAE,gBAAgB,IAAI,WAAW,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;gCACnF,IAAI,UAAU,EAAE,CAAC;oCACf,IAAI,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;wCACnE,MAAM,QAAQ,GAAG,8BAA8B,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;wCACrF,IAAI,QAAQ;4CAAE,OAAO,QAAQ,CAAC;oCAChC,CAAC;oCACD,IACE,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC;wCACpC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;wCAC9B,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,EACnC,CAAC;wCACD,OAAO,UAAU,CAAC;oCACpB,CAAC;gCACH,CAAC;4BACH,CAAC;iCAAM,CAAC;gCACN,MAAM,QAAQ,GAAG,8BAA8B,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;gCACrE,IAAI,QAAQ;oCAAE,OAAO,QAAQ,CAAC;4BAChC,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,mFAAmF;IACnF,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC"}
1
+ {"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/analysis/functions.ts"],"names":[],"mappings":"AACA,OAAO,EACL,oBAAoB,EACpB,WAAW,EACX,aAAa,EACb,gBAAgB,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAwB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAgB/D;;GAEG;AACH,MAAM,OAAO,sBAAsB;IAKtB;IACA;IALM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAC;IAChD,UAAU,GAAG,IAAI,GAAG,EAAe,CAAC;IAErD,YACW,EAAiB,EACjB,OAAwC;QADxC,OAAE,GAAF,EAAE,CAAe;QACjB,YAAO,GAAP,OAAO,CAAiC;IAChD,CAAC;IAEJ,UAAU,CAAC,QAAqB;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,sDAAsD;YACtD,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,kBAAkB,EAAE,IAAI;gBACxB,2BAA2B,EAAE,KAAK;gBAClC,eAAe,EAAE,SAAS;gBAC1B,qBAAqB,EAAE,KAAK;aAC7B,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAClC,OAAO,OAAO,CAAC;QACjB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;CACF;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,SAAiC,EACjC,OAA4C;IAE5C,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAEhC,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,4BAA4B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,EAAE,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,SAAS,GAAG,wCAAwC,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACnF,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YAC9C,IAAI,OAAO,CAAC,eAAe,KAAK,0BAA0B,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAC3B,IAAiB,EACjB,EAAiB,EACjB,OAA4C;IAE5C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAc;QAC1B,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC3C,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QACD,iDAAiD;QACjD,IACE,CAAC,KAAK,IAAI;YACV,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;gBACrB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC;YACD,OAAO;QACT,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,UAA6B,EAC7B,EAAiB,EACjB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,MAAM,EAAE,gBAAgB,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpE,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC;IAC1C,MAAM,mBAAmB,GAAG,cAAc,CAAC,MAAM,CAAC;IAClD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,cAAc,CAAC;QACzC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,WAAW;QAC1C,CAAC,EAAE,CAAC,qBAAqB,CAAC,mBAAmB,CAAC;QAC9C,CAAC,mBAAmB,CAAC,WAAW,EAChC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,WAAW,GAAG,gBAAgB,CAAC,mBAAmB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC1E,OAAO,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,gBAAgB,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AAChG,CAAC;AAED;;GAEG;AACH,SAAS,0BAA0B,CACjC,QAA+B,EAC/B,EAAiB,EACjB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAEzD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACvD,IACE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YACvB,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC;YACvC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBACzB,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAC3B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAC3B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,EAC/B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,oBAAoB,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IACnF,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC;QACnE,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,SAAS,6BAA6B,CACpC,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,IACE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;QAC1B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC;QAC7B,EAAE,CAAC,+BAA+B,CAAC,SAAS,CAAC;QAC7C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC7C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE;YACrC,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;gBAAE,OAAO,6BAA6B,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YAC7F,OAAO,6BAA6B,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;YACzC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;gBACvE,OAAO,6BAA6B,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YACtE,CAAC;YACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,OAAO,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,OAAO,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,OAAO,CACL,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC;YAC1D,6BAA6B,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAC5D,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,OAAO,6BAA6B,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBAChE,MAAM,gBAAgB,GACpB,EAAE,CAAC,SAAS,CAAC,IAAI;oBACjB,EAAE,CAAC,SAAS,CAAC,SAAS;oBACtB,EAAE,CAAC,SAAS,CAAC,IAAI;oBACjB,EAAE,CAAC,SAAS,CAAC,GAAG;oBAChB,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;gBAEvB,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7C,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAC1C,CAAC;oBACF,IAAI,UAAU;wBAAE,OAAO,KAAK,CAAC;gBAC/B,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,6BAA6B,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACxD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,6BAA6B,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAC/B,KAAmB,EACnB,EAAiB,EACjB,OAAwC;IAExC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC/B,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC3D,4DAA4D;YAC5D,IAAI,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACtC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,CAAC;oBACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;oBACrD,IAAI,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;wBACjC,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YACD,IAAI,CAAC,6BAA6B,CAAC,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC9D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACtF,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACnD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;gBACzF,IAAI,6BAA6B,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC3D,SAAS;gBACX,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACnD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,yCAAyC;gBACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBACjC,IAAI,CAAC,6BAA6B,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;wBACrD,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACjE,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC/E,CAAC;iBAAM,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC1E,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;oBACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAC/E,CAAC;qBAAM,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC1E,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAsB,EACtB,EAAiB,EACjB,OAAwC;IAExC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,wBAAwB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,IAAsB,EACtB,EAAiB,EACjB,OAAwC;IAExC,IAAI,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACrD,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACtF,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACnC,OAAO,wBAAwB,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,4BAA4B,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,4BAA4B,CACnC,IAAiB,EACjB,EAAiB,EACjB,OAA4C;IAE5C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAc;QAC1B,IAAI,KAAK;YAAE,OAAO;QAClB,qCAAqC;QACrC,IACE,CAAC,KAAK,IAAI;YACV,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;gBACrB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC;YACD,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC3C,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,qEAAqE;YACrE,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;gBACnB,IAAI,oBAAoB,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBAClD,KAAK,GAAG,IAAI,CAAC;oBACb,OAAO;gBACT,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,IAAI,4BAA4B,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACnE,KAAK,GAAG,IAAI,CAAC;oBACb,OAAO;gBACT,CAAC;YACH,CAAC;YACD,IAAI,CAAC,CAAC,YAAY,IAAI,4BAA4B,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAChF,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;YACD,OAAO;QACT,CAAC;QAED,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,4BAA4B,CAAC,IAAiB,EAAE,EAAiB;IACxE,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAc;QAC1B,IAAI,KAAK;YAAE,OAAO;QAClB,IACE,CAAC,KAAK,IAAI;YACV,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;gBACrB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAGD;;GAEG;AACH,SAAS,wBAAwB,CAC/B,IAAiB,EACjB,OAA+B;IAE/B,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAEhC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,yCAAyC;QACzC,IAAI,6BAA6B,CAAC,IAAyB,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YAC1E,OAAO,0BAA0B,CAAC;QACpC,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,0BAA0B,CAAC;IACpC,CAAC;IAED,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,eAAe,GAAG,KAAK,CAAC;IAE5B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtB,6DAA6D;gBAC7D,IAAI,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACrD,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,eAAe,GAAG,IAAI,CAAC;gBACvB,2DAA2D;gBAC3D,IAAI,4BAA4B,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACtE,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,IAAI,4BAA4B,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACtF,WAAW,GAAG,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC7F,WAAW,GAAG,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,4BAA4B,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC;IAC9E,CAAC;IAED,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,0BAA0B,CAAC;IACpC,CAAC;IAED,4DAA4D;IAC5D,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,QAAqB,EACrB,OAA+B;IAE/B,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAChC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,IAA6B,CAAC;IAClC,IAAI,UAAqC,CAAC;IAE1C,IACE,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;QAClC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC5B,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QACjC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAChC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;QAC1F,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;QACrB,IAAI,OAAO,IAAI,MAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnD,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,IAAI,kBAAkB,GAAG,OAAO,CAAC;IACjC,IAAI,2BAA2B,GAAG,KAAK,CAAC;IAExC,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC5C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC;gBAC/C,IAAI,OAAO,EAAE,CAAC;oBACZ,IAAI,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;wBACpC,kBAAkB,GAAG,IAAI,CAAC;oBAC5B,CAAC;oBACD,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;wBACtB,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;wBAC1G,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;wBACxE,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;4BAC1B,2BAA2B,GAAG,IAAI,CAAC;wBACrC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,+BAA+B;QACjC,CAAC;IACH,CAAC;IAED,IAAI,eAAe,GAAoB,SAAS,CAAC;IACjD,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAElC,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,OAAO,EAAE,CAAC;YACZ,eAAe,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,kBAAkB,EAAE,CAAC;YAC9B,eAAe,GAAG,YAAY,CAAC;QACjC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,eAAe,GAAG,SAAS,CAAC;IAC9B,CAAC;IACD,2DAA2D;IAC3D,IAAI,IAAI,EAAE,CAAC;QACT,SAAS,WAAW,CAAC,CAAc;YACjC,IAAI,qBAAqB;gBAAE,OAAO;YAClC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;oBAClG,qBAAqB,GAAG,IAAI,CAAC;gBAC/B,CAAC;YACH,CAAC;YACD,IACE,CAAC,KAAK,IAAI;gBACV,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;oBAC1B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;oBACrB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;oBAC1B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC;gBACD,OAAO;YACT,CAAC;YACD,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QAC9B,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO;QACP,kBAAkB;QAClB,2BAA2B;QAC3B,eAAe;QACf,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,mBAAmB,GAAG,IAAI,OAAO,EAA8C,CAAC;AAEtF;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAqB,EACrB,EAAiB,EACjB,OAAwC,EACxC,OAA4C;IAE5C,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,IAAI,sBAAsB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAC9C,mBAAmB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,sBAAsB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC;AACD;;GAEG;AACH,SAAS,8BAA8B,CACrC,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,+BAA+B;IAC/B,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,OAAO;YACxB,CAAC,CAAC,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC;YACrD,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QAC/D,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO,8BAA8B,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,iBAAiB,GAAG,IAAI,OAAO,EAAgE,CAAC;AAEtG,MAAM,UAAU,wCAAwC,CACtD,QAA+B,EAC/B,EAAiB,EACjB,OAAwC;IAExC,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,UAAU,GAAG,IAAI,OAAO,EAAmC,CAAC;YAC5D,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC7C,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,IAAI,SAAS,CAAC;QAC7B,CAAC;QACD,MAAM,MAAM,GAAG,+CAA+C,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACtF,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;QACzC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,+CAA+C,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,+CAA+C,CACtD,QAA+B,EAC/B,EAAiB,EACjB,OAAwC;IAExC,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAEzD,2EAA2E;IAC3E,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAChD,IAAI,GAAG,EAAE,CAAC;gBACR,IAAI,SAAS,GAA8B,GAAG,CAAC;gBAC/C,IAAI,SAAS,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;oBAC3C,IAAI,CAAC;wBACH,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;oBAClD,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;gBACH,CAAC;gBACD,MAAM,IAAI,GAAG,SAAS,EAAE,gBAAgB,IAAI,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;gBACzE,IAAI,IAAI,EAAE,CAAC;oBACT,gFAAgF;oBAChF,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACnE,IAAI,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;wBACtE,OAAO,SAAS,CAAC;oBACnB,CAAC;oBAED,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;wBAC9B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;wBACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC7B,CAAC;wBACD,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACvD,MAAM,QAAQ,GAAG,8BAA8B,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;wBAC/E,IAAI,QAAQ;4BAAE,OAAO,QAAQ,CAAC;oBAChC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YACjD,MAAM,IAAI,GAAG,GAAG,EAAE,gBAAgB,IAAI,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7D,IAAI,IAAI,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC/D,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBACpD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBACzD,MAAM,KAAK,GAAG,OAAO;wBACnB,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC;wBAC3C,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;oBAClE,IAAI,KAAK,EAAE,CAAC;wBACV,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;wBACjC,IAAI,MAAM,EAAE,CAAC;4BACX,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;gCAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gCACtD,IAAI,WAAW,GAAG,SAAS,CAAC;gCAC5B,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oCAC9D,IAAI,CAAC;wCACH,WAAW,GAAG,OAAO,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;oCACtD,CAAC;oCAAC,MAAM,CAAC;wCACP,SAAS;oCACX,CAAC;gCACH,CAAC;gCACD,MAAM,UAAU,GAAG,WAAW,EAAE,gBAAgB,IAAI,WAAW,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;gCACnF,IAAI,UAAU,EAAE,CAAC;oCACf,IAAI,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;wCACnE,MAAM,QAAQ,GAAG,8BAA8B,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;wCACrF,IAAI,QAAQ;4CAAE,OAAO,QAAQ,CAAC;oCAChC,CAAC;oCACD,IACE,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC;wCACpC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;wCAC9B,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,EACnC,CAAC;wCACD,OAAO,UAAU,CAAC;oCACpB,CAAC;gCACH,CAAC;4BACH,CAAC;iCAAM,CAAC;gCACN,MAAM,QAAQ,GAAG,8BAA8B,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;gCACrE,IAAI,QAAQ;oCAAE,OAAO,QAAQ,CAAC;4BAChC,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,mFAAmF;IACnF,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC"}
@@ -1,10 +1,7 @@
1
1
  import type * as tsType from "typescript";
2
- export interface GuardCheckResult {
3
- readonly isGuarded: boolean;
4
- readonly evidence?: string | undefined;
5
- }
2
+ import type { GuardCheckResult } from "./controlFlowTypes.js";
6
3
  /**
7
4
  * Checks if a non-null assertion operand is guarded against null/undefined or out-of-bounds access.
8
5
  */
9
6
  export declare function isGuardedNonNullAssertion(node: tsType.NonNullExpression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): GuardCheckResult;
10
- //# sourceMappingURL=controlFlow.d.ts.map
7
+ //# sourceMappingURL=nonNullGuards.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"nonNullGuards.d.ts","sourceRoot":"","sources":["../../src/analysis/nonNullGuards.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAiB1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAgK9D;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,CAAC,iBAAiB,EAC9B,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,gBAAgB,CAiQlB"}
@@ -0,0 +1,340 @@
1
+ import { isCompleteBoundsExitGuard, isConstructedArrayCardinalityBoundedIndex, isFindIndexBoundedIndex, isFixedLengthGuardedIndex, isLoopOrCallbackBoundedIndex, isPositiveBoundsEntryGuard, isSearchProvenanceBoundedIndex, isStaticArrayLiteralBoundedIndex, normalizeArrayTarget, normalizeIndexExpression, } from "./arrayBounds.js";
2
+ import { hasVariableReassignment, statementExitsControlFlow, } from "./controlFlowGuards.js";
3
+ import { isReactStateBoundedIndex } from "./reactStateBounds.js";
4
+ import { unwrapExpression } from "./values.js";
5
+ function identifiersMatch(left, right, checker) {
6
+ if (!checker)
7
+ return left.text === right.text;
8
+ const leftSymbol = checker.getSymbolAtLocation(left);
9
+ const rightSymbol = checker.getSymbolAtLocation(right);
10
+ return leftSymbol && rightSymbol ? leftSymbol === rightSymbol : left.text === right.text;
11
+ }
12
+ function getConstIdentifierDeclaration(identifier, ts, checker) {
13
+ const symbol = checker?.getSymbolAtLocation(identifier);
14
+ const declaration = symbol?.valueDeclaration ?? symbol?.declarations?.[0];
15
+ if (!declaration || !ts.isVariableDeclaration(declaration) || !ts.isIdentifier(declaration.name)) {
16
+ return undefined;
17
+ }
18
+ const declarationList = declaration.parent;
19
+ return ts.isVariableDeclarationList(declarationList) &&
20
+ (declarationList.flags & ts.NodeFlags.Const) !== 0
21
+ ? declaration
22
+ : undefined;
23
+ }
24
+ function isNullishLiteral(node, ts) {
25
+ return (node.kind === ts.SyntaxKind.NullKeyword ||
26
+ node.kind === ts.SyntaxKind.UndefinedKeyword ||
27
+ (ts.isIdentifier(node) && node.text === "undefined"));
28
+ }
29
+ function getNullCheckedIdentifier(expression, ts) {
30
+ const condition = unwrapExpression(expression, ts);
31
+ if (!ts.isBinaryExpression(condition))
32
+ return undefined;
33
+ const operator = condition.operatorToken.kind;
34
+ if (operator !== ts.SyntaxKind.EqualsEqualsToken &&
35
+ operator !== ts.SyntaxKind.EqualsEqualsEqualsToken) {
36
+ return undefined;
37
+ }
38
+ const left = unwrapExpression(condition.left, ts);
39
+ const right = unwrapExpression(condition.right, ts);
40
+ if (ts.isIdentifier(left) && isNullishLiteral(right, ts))
41
+ return left;
42
+ if (ts.isIdentifier(right) && isNullishLiteral(left, ts))
43
+ return right;
44
+ return undefined;
45
+ }
46
+ function getConditionalNullSentinelSource(initializer, ts) {
47
+ const conditional = unwrapExpression(initializer, ts);
48
+ if (!ts.isConditionalExpression(conditional))
49
+ return undefined;
50
+ if (!isNullishLiteral(unwrapExpression(conditional.whenTrue, ts), ts))
51
+ return undefined;
52
+ return getNullCheckedIdentifier(conditional.condition, ts);
53
+ }
54
+ function isConstConditionalSentinelGuarded(operand, statements, targetIndex, ts, checker) {
55
+ if (!checker)
56
+ return false;
57
+ for (let guardIndex = 0; guardIndex < targetIndex; guardIndex++) {
58
+ const guard = statements[guardIndex];
59
+ if (!guard ||
60
+ !ts.isIfStatement(guard) ||
61
+ !statementExitsControlFlow(guard.thenStatement, ts)) {
62
+ continue;
63
+ }
64
+ const sentinel = getNullCheckedIdentifier(guard.expression, ts);
65
+ if (!sentinel)
66
+ continue;
67
+ const sentinelDeclaration = getConstIdentifierDeclaration(sentinel, ts, checker);
68
+ if (!sentinelDeclaration ||
69
+ !sentinelDeclaration.initializer ||
70
+ sentinelDeclaration.getStart() >= guard.getStart()) {
71
+ continue;
72
+ }
73
+ const source = getConditionalNullSentinelSource(sentinelDeclaration.initializer, ts);
74
+ const sourceDeclaration = source
75
+ ? getConstIdentifierDeclaration(source, ts, checker)
76
+ : undefined;
77
+ if (source &&
78
+ sourceDeclaration &&
79
+ sourceDeclaration.getStart() < sentinelDeclaration.getStart() &&
80
+ identifiersMatch(source, operand, checker)) {
81
+ return true;
82
+ }
83
+ }
84
+ return false;
85
+ }
86
+ function isConstConditionalSentinelGuardedInAncestorScopes(node, operand, ts, checker) {
87
+ let child = node;
88
+ while (child.parent) {
89
+ const parent = child.parent;
90
+ if (ts.isBlock(parent) || ts.isSourceFile(parent)) {
91
+ let statement = child;
92
+ while (statement.parent && statement.parent !== parent) {
93
+ statement = statement.parent;
94
+ }
95
+ const statementIndex = parent.statements.indexOf(statement);
96
+ if (statementIndex > 0 &&
97
+ isConstConditionalSentinelGuarded(operand, parent.statements, statementIndex, ts, checker)) {
98
+ return true;
99
+ }
100
+ if (parent.parent &&
101
+ (ts.isFunctionDeclaration(parent.parent) ||
102
+ ts.isFunctionExpression(parent.parent) ||
103
+ ts.isArrowFunction(parent.parent) ||
104
+ ts.isMethodDeclaration(parent.parent))) {
105
+ return false;
106
+ }
107
+ }
108
+ child = parent;
109
+ }
110
+ return false;
111
+ }
112
+ /**
113
+ * Checks if a non-null assertion operand is guarded against null/undefined or out-of-bounds access.
114
+ */
115
+ export function isGuardedNonNullAssertion(node, ts, checker) {
116
+ const operand = unwrapExpression(node.expression, ts);
117
+ // Case 1: Indexed access non-null assertion: `array[index]!`
118
+ if (ts.isElementAccessExpression(operand)) {
119
+ // 1a. Check static array literal bounded index: e.g. tiers[0]! or colW[2]!
120
+ const staticLiteralCheck = isStaticArrayLiteralBoundedIndex(operand, ts, checker);
121
+ if (staticLiteralCheck?.isGuarded) {
122
+ return staticLiteralCheck;
123
+ }
124
+ // 1b. Check fixed-length equality or comparison guards: e.g. if (sliceArgs.length === 2) sliceArgs[0]!
125
+ const fixedLengthCheck = isFixedLengthGuardedIndex(node, operand, ts, checker);
126
+ if (fixedLengthCheck?.isGuarded) {
127
+ return fixedLengthCheck;
128
+ }
129
+ // 1c. Check constructed array cardinality: e.g. amplitudes[numLayers]! or coeffs[0]!
130
+ const cardinalityCheck = isConstructedArrayCardinalityBoundedIndex(node, operand, ts, checker);
131
+ if (cardinalityCheck?.isGuarded) {
132
+ return cardinalityCheck;
133
+ }
134
+ // 1d. Check loop or callback bounds: e.g. for (let i = 0; i < arr.length; i++) arr[i]!
135
+ const loopCheck = isLoopOrCallbackBoundedIndex(node, operand, ts, checker);
136
+ if (loopCheck?.isGuarded) {
137
+ return loopCheck;
138
+ }
139
+ // 1d. Check React state bounds: e.g. STEPS[step]! with constrained setStep transitions
140
+ const reactStateCheck = isReactStateBoundedIndex(operand, ts, checker);
141
+ if (reactStateCheck?.isGuarded) {
142
+ return reactStateCheck;
143
+ }
144
+ // 1e. Check search provenance: e.g. copy[victimIdx]!
145
+ const provenanceCheck = isSearchProvenanceBoundedIndex(node, operand, ts, checker);
146
+ if (provenanceCheck?.isGuarded) {
147
+ return provenanceCheck;
148
+ }
149
+ // 1f. Check findIndex contract: e.g. const i = arr.findIndex(...); if (i !== -1) arr[i]!
150
+ const findIndexCheck = isFindIndexBoundedIndex(node, operand, ts, checker);
151
+ if (findIndexCheck?.isGuarded) {
152
+ return findIndexCheck;
153
+ }
154
+ // 1g. Dominating statement-level bounds exit check: if (index < 0 || index >= array.length) return;
155
+ const arrayInfo = normalizeArrayTarget(operand.expression, ts, checker);
156
+ const indexInfo = normalizeIndexExpression(operand.argumentExpression, ts, checker);
157
+ if (arrayInfo && indexInfo) {
158
+ let walk = node;
159
+ while (walk.parent &&
160
+ !ts.isFunctionDeclaration(walk.parent) &&
161
+ !ts.isFunctionExpression(walk.parent) &&
162
+ !ts.isArrowFunction(walk.parent) &&
163
+ !ts.isSourceFile(walk.parent)) {
164
+ if (ts.isIfStatement(walk.parent)) {
165
+ if (walk.parent.thenStatement === walk ||
166
+ (ts.isBlock(walk.parent.thenStatement) &&
167
+ walk.parent.thenStatement.statements.includes(walk))) {
168
+ if (isPositiveBoundsEntryGuard(walk.parent.expression, indexInfo, arrayInfo, ts)) {
169
+ return {
170
+ isGuarded: true,
171
+ evidence: `Enclosing guard '${walk.parent.expression.getText()}' proves index '${indexInfo.baseText}${indexInfo.offset ? ` + ${indexInfo.offset}` : ""}' is strictly in-bounds for '${arrayInfo.text}'.`,
172
+ };
173
+ }
174
+ }
175
+ }
176
+ walk = walk.parent;
177
+ }
178
+ let stmt = node;
179
+ while (stmt.parent && !ts.isBlock(stmt.parent) && !ts.isSourceFile(stmt.parent)) {
180
+ stmt = stmt.parent;
181
+ }
182
+ if (stmt.parent && (ts.isBlock(stmt.parent) || ts.isSourceFile(stmt.parent))) {
183
+ const statements = stmt.parent.statements;
184
+ const targetIndex = statements.indexOf(stmt);
185
+ if (targetIndex > 0) {
186
+ for (let i = 0; i < targetIndex; i++) {
187
+ const prior = statements[i];
188
+ if (!prior)
189
+ continue;
190
+ if (ts.isIfStatement(prior)) {
191
+ if (statementExitsControlFlow(prior.thenStatement, ts)) {
192
+ if (isCompleteBoundsExitGuard(prior.expression, indexInfo, arrayInfo, ts)) {
193
+ return {
194
+ isGuarded: true,
195
+ evidence: `Dominating guard '${prior.expression.getText()}' proves index '${indexInfo.baseText}${indexInfo.offset ? ` + ${indexInfo.offset}` : ""}' is strictly in-bounds for '${arrayInfo.text}'.`,
196
+ };
197
+ }
198
+ }
199
+ }
200
+ }
201
+ }
202
+ }
203
+ }
204
+ }
205
+ // Case 2: Direct variable / identifier non-null assertion: `target!`
206
+ if (ts.isIdentifier(operand)) {
207
+ const targetName = operand.text;
208
+ const targetSymbol = checker?.getSymbolAtLocation(operand);
209
+ let resolvedTargetSymbol = targetSymbol;
210
+ if (resolvedTargetSymbol && (resolvedTargetSymbol.flags & ts.SymbolFlags.Alias) !== 0) {
211
+ try {
212
+ resolvedTargetSymbol = checker?.getAliasedSymbol(resolvedTargetSymbol);
213
+ }
214
+ catch {
215
+ // ignore
216
+ }
217
+ }
218
+ if (isConstConditionalSentinelGuardedInAncestorScopes(node, operand, ts, checker)) {
219
+ return {
220
+ isGuarded: true,
221
+ evidence: "A const conditional sentinel is null exactly when the asserted operand is null, and its null guard exits control flow.",
222
+ };
223
+ }
224
+ let stmt = node;
225
+ while (stmt.parent && !ts.isBlock(stmt.parent) && !ts.isSourceFile(stmt.parent)) {
226
+ stmt = stmt.parent;
227
+ }
228
+ if (stmt.parent && (ts.isBlock(stmt.parent) || ts.isSourceFile(stmt.parent))) {
229
+ const statements = ts.isBlock(stmt.parent) ? stmt.parent.statements : stmt.parent.statements;
230
+ const targetIndex = statements.indexOf(stmt);
231
+ if (targetIndex > 0) {
232
+ if (isConstConditionalSentinelGuarded(operand, statements, targetIndex, ts, checker)) {
233
+ return {
234
+ isGuarded: true,
235
+ evidence: "A const conditional sentinel is null exactly when the asserted operand is null, and its null guard exits control flow.",
236
+ };
237
+ }
238
+ for (let i = 0; i < targetIndex; i++) {
239
+ const prior = statements[i];
240
+ if (!prior)
241
+ continue;
242
+ if (ts.isIfStatement(prior) && statementExitsControlFlow(prior.thenStatement, ts)) {
243
+ const cond = unwrapExpression(prior.expression, ts);
244
+ let isGuardMatched = false;
245
+ let evidenceStr = "";
246
+ // 1. if (!target) return;
247
+ if (ts.isPrefixUnaryExpression(cond) && cond.operator === ts.SyntaxKind.ExclamationToken) {
248
+ const inner = unwrapExpression(cond.operand, ts);
249
+ if (ts.isIdentifier(inner)) {
250
+ const innerSym = checker?.getSymbolAtLocation(inner);
251
+ let resolvedInnerSym = innerSym;
252
+ if (resolvedInnerSym && (resolvedInnerSym.flags & ts.SymbolFlags.Alias) !== 0) {
253
+ try {
254
+ resolvedInnerSym = checker?.getAliasedSymbol(resolvedInnerSym);
255
+ }
256
+ catch {
257
+ // ignore
258
+ }
259
+ }
260
+ const matchesSymbol = resolvedTargetSymbol && resolvedInnerSym
261
+ ? resolvedInnerSym === resolvedTargetSymbol
262
+ : inner.text === targetName;
263
+ if (matchesSymbol) {
264
+ isGuardMatched = true;
265
+ evidenceStr = `Dominating guard '!${targetName}' proves operand is non-null.`;
266
+ }
267
+ }
268
+ }
269
+ // 2. if (target === null || target === undefined || target == null) return;
270
+ if (!isGuardMatched && ts.isBinaryExpression(cond)) {
271
+ const left = unwrapExpression(cond.left, ts);
272
+ const right = unwrapExpression(cond.right, ts);
273
+ const op = cond.operatorToken.kind;
274
+ if (op === ts.SyntaxKind.EqualsEqualsEqualsToken ||
275
+ op === ts.SyntaxKind.EqualsEqualsToken) {
276
+ let targetSide;
277
+ let nullSide;
278
+ if (ts.isIdentifier(left)) {
279
+ targetSide = left;
280
+ nullSide = right;
281
+ }
282
+ else if (ts.isIdentifier(right)) {
283
+ targetSide = right;
284
+ nullSide = left;
285
+ }
286
+ if (targetSide && nullSide) {
287
+ const innerSym = checker?.getSymbolAtLocation(targetSide);
288
+ let resolvedInnerSym = innerSym;
289
+ if (resolvedInnerSym && (resolvedInnerSym.flags & ts.SymbolFlags.Alias) !== 0) {
290
+ try {
291
+ resolvedInnerSym = checker?.getAliasedSymbol(resolvedInnerSym);
292
+ }
293
+ catch {
294
+ // ignore
295
+ }
296
+ }
297
+ const matchesSymbol = resolvedTargetSymbol && resolvedInnerSym
298
+ ? resolvedInnerSym === resolvedTargetSymbol
299
+ : targetSide.text === targetName;
300
+ if (matchesSymbol &&
301
+ (nullSide.kind === ts.SyntaxKind.NullKeyword ||
302
+ nullSide.kind === ts.SyntaxKind.UndefinedKeyword ||
303
+ (ts.isIdentifier(nullSide) && nullSide.text === "undefined"))) {
304
+ isGuardMatched = true;
305
+ evidenceStr = `Dominating null check proves '${targetName}' is non-null.`;
306
+ }
307
+ }
308
+ }
309
+ }
310
+ if (isGuardMatched) {
311
+ // Invalidation check: verify target was NOT reassigned between guard and assertion!
312
+ let isReassigned = false;
313
+ for (let j = i + 1; j < targetIndex; j++) {
314
+ const s = statements[j];
315
+ if (s && hasVariableReassignment(s, targetName, resolvedTargetSymbol, ts, checker)) {
316
+ isReassigned = true;
317
+ break;
318
+ }
319
+ }
320
+ if (!isReassigned) {
321
+ const currentStmt = statements[targetIndex];
322
+ if (currentStmt && hasVariableReassignment(currentStmt, targetName, resolvedTargetSymbol, ts, checker, node.pos)) {
323
+ isReassigned = true;
324
+ }
325
+ }
326
+ if (!isReassigned) {
327
+ return {
328
+ isGuarded: true,
329
+ evidence: evidenceStr,
330
+ };
331
+ }
332
+ }
333
+ }
334
+ }
335
+ }
336
+ }
337
+ }
338
+ return { isGuarded: false };
339
+ }
340
+ //# sourceMappingURL=nonNullGuards.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"nonNullGuards.js","sourceRoot":"","sources":["../../src/analysis/nonNullGuards.ts"],"names":[],"mappings":"AACA,OAAO,EACL,yBAAyB,EACzB,yCAAyC,EACzC,uBAAuB,EACvB,yBAAyB,EACzB,4BAA4B,EAC5B,0BAA0B,EAC1B,8BAA8B,EAC9B,gCAAgC,EAChC,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,SAAS,gBAAgB,CACvB,IAAuB,EACvB,KAAwB,EACxB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;IAC9C,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,UAAU,IAAI,WAAW,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;AAC3F,CAAC;AAED,SAAS,6BAA6B,CACpC,UAA6B,EAC7B,EAAiB,EACjB,OAAwC;IAExC,MAAM,MAAM,GAAG,OAAO,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM,EAAE,gBAAgB,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACjG,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC;QAClD,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAuB,EAAE,EAAiB;IAClE,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC5C,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAA6B,EAC7B,EAAiB;IAEjB,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,MAAM,QAAQ,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC;IAC9C,IACE,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QAC5C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAClD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACvE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gCAAgC,CACvC,WAA8B,EAC9B,EAAiB;IAEjB,MAAM,WAAW,GAAG,gBAAgB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IACxF,OAAO,wBAAwB,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,iCAAiC,CACxC,OAA0B,EAC1B,UAAuC,EACvC,WAAmB,EACnB,EAAiB,EACjB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAE3B,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC;QAChE,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACrC,IACE,CAAC,KAAK;YACN,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC;YACxB,CAAC,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EACnD,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,mBAAmB,GAAG,6BAA6B,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACjF,IACE,CAAC,mBAAmB;YACpB,CAAC,mBAAmB,CAAC,WAAW;YAChC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,EAClD,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,mBAAmB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,iBAAiB,GAAG,MAAM;YAC9B,CAAC,CAAC,6BAA6B,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC;YACpD,CAAC,CAAC,SAAS,CAAC;QACd,IACE,MAAM;YACN,iBAAiB;YACjB,iBAAiB,CAAC,QAAQ,EAAE,GAAG,mBAAmB,CAAC,QAAQ,EAAE;YAC7D,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,EAC1C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iDAAiD,CACxD,IAAiB,EACjB,OAA0B,EAC1B,EAAiB,EACjB,OAAwC;IAExC,IAAI,KAAK,GAAgB,IAAI,CAAC;IAC9B,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,OAAO,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACvD,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;YAC/B,CAAC;YACD,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,SAA6B,CAAC,CAAC;YAChF,IACE,cAAc,GAAG,CAAC;gBAClB,iCAAiC,CAC/B,OAAO,EACP,MAAM,CAAC,UAAU,EACjB,cAAc,EACd,EAAE,EACF,OAAO,CACR,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IACE,MAAM,CAAC,MAAM;gBACb,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;oBACjC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EACxC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,KAAK,GAAG,MAAM,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA8B,EAC9B,EAAiB,EACjB,OAAwC;IAExC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAEtD,6DAA6D;IAC7D,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,2EAA2E;QAC3E,MAAM,kBAAkB,GAAG,gCAAgC,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAClF,IAAI,kBAAkB,EAAE,SAAS,EAAE,CAAC;YAClC,OAAO,kBAAkB,CAAC;QAC5B,CAAC;QAED,uGAAuG;QACvG,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC/E,IAAI,gBAAgB,EAAE,SAAS,EAAE,CAAC;YAChC,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QAED,qFAAqF;QACrF,MAAM,gBAAgB,GAAG,yCAAyC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC/F,IAAI,gBAAgB,EAAE,SAAS,EAAE,CAAC;YAChC,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QAED,uFAAuF;QACvF,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,SAAS,EAAE,SAAS,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,uFAAuF;QACvF,MAAM,eAAe,GAAG,wBAAwB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACvE,IAAI,eAAe,EAAE,SAAS,EAAE,CAAC;YAC/B,OAAO,eAAe,CAAC;QACzB,CAAC;QAED,qDAAqD;QACrD,MAAM,eAAe,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACnF,IAAI,eAAe,EAAE,SAAS,EAAE,CAAC;YAC/B,OAAO,eAAe,CAAC;QACzB,CAAC;QAED,yFAAyF;QACzF,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,cAAc,EAAE,SAAS,EAAE,CAAC;YAC9B,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,oGAAoG;QACpG,MAAM,SAAS,GAAG,oBAAoB,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACpF,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,IAAI,GAAgB,IAAI,CAAC;YAC7B,OACE,IAAI,CAAC,MAAM;gBACX,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACrC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;gBAChC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAC7B,CAAC;gBACD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAClC,IACE,IAAI,CAAC,MAAM,CAAC,aAAa,KAAK,IAAI;wBAClC,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;4BACpC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAwB,CAAC,CAAC,EAC1E,CAAC;wBACD,IAAI,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;4BACjF,OAAO;gCACL,SAAS,EAAE,IAAI;gCACf,QAAQ,EAAE,oBAAoB,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,mBAAmB,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,gCAAgC,SAAS,CAAC,IAAI,IAAI;6BACzM,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,CAAC;YAED,IAAI,IAAI,GAAgB,IAAI,CAAC;YAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,CAAC;YAED,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;gBAC1C,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;gBAEjE,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;oBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;wBACrC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;wBAC5B,IAAI,CAAC,KAAK;4BAAE,SAAS;wBAErB,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC5B,IAAI,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;gCACvD,IAAI,yBAAyB,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;oCAC1E,OAAO;wCACL,SAAS,EAAE,IAAI;wCACf,QAAQ,EAAE,qBAAqB,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,mBAAmB,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,gCAAgC,SAAS,CAAC,IAAI,IAAI;qCACpM,CAAC;gCACJ,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;QAChC,MAAM,YAAY,GAAG,OAAO,EAAE,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC3D,IAAI,oBAAoB,GAAG,YAAY,CAAC;QACxC,IAAI,oBAAoB,IAAI,CAAC,oBAAoB,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACtF,IAAI,CAAC;gBACH,oBAAoB,GAAG,OAAO,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;YACzE,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;QAED,IAAI,iDAAiD,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YAClF,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,QAAQ,EACN,wHAAwH;aAC3H,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,GAAgB,IAAI,CAAC;QAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YAC7F,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;YAEjE,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,iCAAiC,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACrF,OAAO;wBACL,SAAS,EAAE,IAAI;wBACf,QAAQ,EACN,wHAAwH;qBAC3H,CAAC;gBACJ,CAAC;gBAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;oBACrC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC5B,IAAI,CAAC,KAAK;wBAAE,SAAS;oBAErB,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;wBAClF,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;wBACpD,IAAI,cAAc,GAAG,KAAK,CAAC;wBAC3B,IAAI,WAAW,GAAG,EAAE,CAAC;wBAErB,0BAA0B;wBAC1B,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;4BACzF,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;4BACjD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gCAC3B,MAAM,QAAQ,GAAG,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC;gCACrD,IAAI,gBAAgB,GAAG,QAAQ,CAAC;gCAChC,IAAI,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oCAC9E,IAAI,CAAC;wCACH,gBAAgB,GAAG,OAAO,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;oCACjE,CAAC;oCAAC,MAAM,CAAC;wCACP,SAAS;oCACX,CAAC;gCACH,CAAC;gCACD,MAAM,aAAa,GACjB,oBAAoB,IAAI,gBAAgB;oCACtC,CAAC,CAAC,gBAAgB,KAAK,oBAAoB;oCAC3C,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;gCAEhC,IAAI,aAAa,EAAE,CAAC;oCAClB,cAAc,GAAG,IAAI,CAAC;oCACtB,WAAW,GAAG,sBAAsB,UAAU,+BAA+B,CAAC;gCAChF,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,4EAA4E;wBAC5E,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;4BACnD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;4BAC7C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;4BACnC,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;gCAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,EACtC,CAAC;gCACD,IAAI,UAAyC,CAAC;gCAC9C,IAAI,QAAuC,CAAC;gCAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC1B,UAAU,GAAG,IAAI,CAAC;oCAClB,QAAQ,GAAG,KAAK,CAAC;gCACnB,CAAC;qCAAM,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;oCAClC,UAAU,GAAG,KAAK,CAAC;oCACnB,QAAQ,GAAG,IAAI,CAAC;gCAClB,CAAC;gCAED,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;oCAC3B,MAAM,QAAQ,GAAG,OAAO,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;oCAC1D,IAAI,gBAAgB,GAAG,QAAQ,CAAC;oCAChC,IAAI,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;wCAC9E,IAAI,CAAC;4CACH,gBAAgB,GAAG,OAAO,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;wCACjE,CAAC;wCAAC,MAAM,CAAC;4CACP,SAAS;wCACX,CAAC;oCACH,CAAC;oCACD,MAAM,aAAa,GACjB,oBAAoB,IAAI,gBAAgB;wCACtC,CAAC,CAAC,gBAAgB,KAAK,oBAAoB;wCAC3C,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC;oCAErC,IACE,aAAa;wCACb,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;4CAC1C,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;4CAChD,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,EAC/D,CAAC;wCACD,cAAc,GAAG,IAAI,CAAC;wCACtB,WAAW,GAAG,iCAAiC,UAAU,gBAAgB,CAAC;oCAC5E,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,IAAI,cAAc,EAAE,CAAC;4BACnB,oFAAoF;4BACpF,IAAI,YAAY,GAAG,KAAK,CAAC;4BACzB,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;gCACzC,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gCACxB,IAAI,CAAC,IAAI,uBAAuB,CAAC,CAAC,EAAE,UAAU,EAAE,oBAAoB,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oCACnF,YAAY,GAAG,IAAI,CAAC;oCACpB,MAAM;gCACR,CAAC;4BACH,CAAC;4BAED,IAAI,CAAC,YAAY,EAAE,CAAC;gCAClB,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;gCAC5C,IAAI,WAAW,IAAI,uBAAuB,CAAC,WAAW,EAAE,UAAU,EAAE,oBAAoB,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oCACjH,YAAY,GAAG,IAAI,CAAC;gCACtB,CAAC;4BACH,CAAC;4BAED,IAAI,CAAC,YAAY,EAAE,CAAC;gCAClB,OAAO;oCACL,SAAS,EAAE,IAAI;oCACf,QAAQ,EAAE,WAAW;iCACtB,CAAC;4BACJ,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"promiseFlow.d.ts","sourceRoot":"","sources":["../../src/analysis/promiseFlow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAG1C,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,gBAAgB,CAAC;AAGxB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;CAC1C;AAID;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,EAC7B,OAAO,EAAE,MAAM,CAAC,WAAW,EAC3B,EAAE,EAAE,OAAO,MAAM,GAChB,qBAAqB,CA6CvB;AAQD;;;;;;;;;;;;GAYG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,UAAU,EACvB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,OAAO,CAuCT;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,MAAM,CAAC,IAAI,EACjB,UAAU,EAAE,MAAM,EAClB,EAAE,EAAE,OAAO,MAAM,GAChB,OAAO,CAuHT;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,CAAC,UAAU,EACvB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,EACxC,OAAO,CAAC,EAAE,sBAAsB,GAAG,SAAS,GAC3C,wBAAwB,CA8C1B"}
1
+ {"version":3,"file":"promiseFlow.d.ts","sourceRoot":"","sources":["../../src/analysis/promiseFlow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAG1C,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,gBAAgB,CAAC;AAGxB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;CAC1C;AAID;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,EAC7B,OAAO,EAAE,MAAM,CAAC,WAAW,EAC3B,EAAE,EAAE,OAAO,MAAM,GAChB,qBAAqB,CA6CvB;AAQD;;;;;;;;;;;;GAYG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,UAAU,EACvB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,OAAO,CAuCT;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,MAAM,CAAC,IAAI,EACjB,UAAU,EAAE,MAAM,EAClB,EAAE,EAAE,OAAO,MAAM,GAChB,OAAO,CAqMT;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,CAAC,UAAU,EACvB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,EACxC,OAAO,CAAC,EAAE,sBAAsB,GAAG,SAAS,GAC3C,wBAAwB,CA8C1B"}
@@ -124,11 +124,31 @@ export function isVariableTargetReturnedInScope(node, targetName, ts) {
124
124
  return false;
125
125
  // Set of valid return target names (includes targetName and any alias variables)
126
126
  const validReturnNames = new Set([targetName]);
127
+ function scanAssignmentsInNode(n) {
128
+ if (ts.isBinaryExpression(n) && n.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
129
+ const assignedLeft = unwrapExpression(n.left, ts);
130
+ const assignedName = ts.isIdentifier(assignedLeft)
131
+ ? assignedLeft.text
132
+ : ts.isPropertyAccessExpression(assignedLeft)
133
+ ? assignedLeft.getText()
134
+ : undefined;
135
+ if (assignedName) {
136
+ const rhs = unwrapExpression(n.right, ts);
137
+ if (ts.isIdentifier(rhs) && validReturnNames.has(rhs.text)) {
138
+ validReturnNames.add(assignedName);
139
+ }
140
+ else if (validReturnNames.has(assignedName)) {
141
+ validReturnNames.delete(assignedName);
142
+ }
143
+ }
144
+ }
145
+ n.forEachChild(scanAssignmentsInNode);
146
+ }
127
147
  for (let i = startIndex + 1; i < statements.length; i++) {
128
148
  const currentStmt = statements[i];
129
149
  if (!currentStmt)
130
150
  continue;
131
- // Check if targetName is overwritten before return
151
+ // Check assignments
132
152
  if (ts.isExpressionStatement(currentStmt)) {
133
153
  const expr = unwrapExpression(currentStmt.expression, ts);
134
154
  if (ts.isBinaryExpression(expr) && expr.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
@@ -138,23 +158,45 @@ export function isVariableTargetReturnedInScope(node, targetName, ts) {
138
158
  : ts.isPropertyAccessExpression(assignedLeft)
139
159
  ? assignedLeft.getText()
140
160
  : undefined;
141
- if (assignedName === targetName) {
142
- // targetName was overwritten with another value before reaching return!
143
- return false;
161
+ if (assignedName) {
162
+ const rhs = unwrapExpression(expr.right, ts);
163
+ if (ts.isIdentifier(rhs) && validReturnNames.has(rhs.text)) {
164
+ validReturnNames.add(assignedName);
165
+ }
166
+ else if (validReturnNames.has(assignedName)) {
167
+ validReturnNames.delete(assignedName);
168
+ }
144
169
  }
145
170
  }
146
171
  }
147
- // Check for alias: const alias = targetName;
172
+ // Check for alias declarations: const alias = targetName;
148
173
  if (ts.isVariableStatement(currentStmt)) {
149
174
  for (const decl of currentStmt.declarationList.declarations) {
150
- if (ts.isIdentifier(decl.name) && decl.initializer) {
151
- const init = unwrapExpression(decl.initializer, ts);
152
- if (ts.isIdentifier(init) && validReturnNames.has(init.text)) {
153
- validReturnNames.add(decl.name.text);
175
+ if (ts.isIdentifier(decl.name)) {
176
+ const declName = decl.name.text;
177
+ if (decl.initializer) {
178
+ const init = unwrapExpression(decl.initializer, ts);
179
+ if (ts.isIdentifier(init) && validReturnNames.has(init.text)) {
180
+ validReturnNames.add(declName);
181
+ }
182
+ else if (validReturnNames.has(declName)) {
183
+ validReturnNames.delete(declName);
184
+ }
154
185
  }
155
186
  }
156
187
  }
157
188
  }
189
+ // Conditional structures that reassign aliases invalidate those aliases conservatively
190
+ if (ts.isIfStatement(currentStmt) ||
191
+ ts.isSwitchStatement(currentStmt) ||
192
+ ts.isTryStatement(currentStmt) ||
193
+ ts.isForStatement(currentStmt) ||
194
+ ts.isForOfStatement(currentStmt) ||
195
+ ts.isForInStatement(currentStmt) ||
196
+ ts.isWhileStatement(currentStmt) ||
197
+ ts.isDoStatement(currentStmt)) {
198
+ currentStmt.forEachChild(scanAssignmentsInNode);
199
+ }
158
200
  // Check for return statement
159
201
  if (ts.isReturnStatement(currentStmt) && currentStmt.expression) {
160
202
  const unwrappedRet = unwrapExpression(currentStmt.expression, ts);
@@ -194,11 +236,43 @@ export function isVariableTargetReturnedInScope(node, targetName, ts) {
194
236
  : ts.isPropertyAccessExpression(assignedLeft)
195
237
  ? assignedLeft.getText()
196
238
  : undefined;
197
- if (assignedName === targetName) {
198
- return false;
239
+ if (assignedName) {
240
+ const rhs = unwrapExpression(expr.right, ts);
241
+ if (ts.isIdentifier(rhs) && validReturnNames.has(rhs.text)) {
242
+ validReturnNames.add(assignedName);
243
+ }
244
+ else if (validReturnNames.has(assignedName)) {
245
+ validReturnNames.delete(assignedName);
246
+ }
199
247
  }
200
248
  }
201
249
  }
250
+ if (ts.isVariableStatement(outerS)) {
251
+ for (const decl of outerS.declarationList.declarations) {
252
+ if (ts.isIdentifier(decl.name)) {
253
+ const declName = decl.name.text;
254
+ if (decl.initializer) {
255
+ const init = unwrapExpression(decl.initializer, ts);
256
+ if (ts.isIdentifier(init) && validReturnNames.has(init.text)) {
257
+ validReturnNames.add(declName);
258
+ }
259
+ else if (validReturnNames.has(declName)) {
260
+ validReturnNames.delete(declName);
261
+ }
262
+ }
263
+ }
264
+ }
265
+ }
266
+ if (ts.isIfStatement(outerS) ||
267
+ ts.isSwitchStatement(outerS) ||
268
+ ts.isTryStatement(outerS) ||
269
+ ts.isForStatement(outerS) ||
270
+ ts.isForOfStatement(outerS) ||
271
+ ts.isForInStatement(outerS) ||
272
+ ts.isWhileStatement(outerS) ||
273
+ ts.isDoStatement(outerS)) {
274
+ outerS.forEachChild(scanAssignmentsInNode);
275
+ }
202
276
  if (ts.isReturnStatement(outerS) && outerS.expression) {
203
277
  const unwrappedRet = unwrapExpression(outerS.expression, ts);
204
278
  if (ts.isIdentifier(unwrappedRet) && validReturnNames.has(unwrappedRet.text)) {