@lcap/nasl-language-server-core 3.14.0-rc.3 → 3.14.0-rc.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 (84) hide show
  1. package/out/checker.d.ts.map +1 -1
  2. package/out/checker.js +88 -34
  3. package/out/checker.js.map +1 -1
  4. package/out/index.d.ts +1 -1
  5. package/out/index.d.ts.map +1 -1
  6. package/out/index.js +3 -1
  7. package/out/index.js.map +1 -1
  8. package/out/reference-manager/builtin-q-name.d.ts +8 -1
  9. package/out/reference-manager/builtin-q-name.d.ts.map +1 -1
  10. package/out/reference-manager/builtin-q-name.js +55 -1
  11. package/out/reference-manager/builtin-q-name.js.map +1 -1
  12. package/out/reference-manager/reference-manager.d.ts +3 -1
  13. package/out/reference-manager/reference-manager.d.ts.map +1 -1
  14. package/out/reference-manager/reference-manager.js +166 -56
  15. package/out/reference-manager/reference-manager.js.map +1 -1
  16. package/out/reference-manager/symbol-type.d.ts +2 -2
  17. package/out/reference-manager/symbol-type.d.ts.map +1 -1
  18. package/out/reference-manager/symbol-type.js +2 -1
  19. package/out/reference-manager/symbol-type.js.map +1 -1
  20. package/out/typer/collectGlobalDefs.d.ts.map +1 -1
  21. package/out/typer/collectGlobalDefs.js +79 -15
  22. package/out/typer/collectGlobalDefs.js.map +1 -1
  23. package/out/typer/component-def-manager/component-def-manager.d.ts +11 -7
  24. package/out/typer/component-def-manager/component-def-manager.d.ts.map +1 -1
  25. package/out/typer/component-def-manager/component-def-manager.js +17 -6
  26. package/out/typer/component-def-manager/component-def-manager.js.map +1 -1
  27. package/out/typer/dispatch-def.d.ts +0 -2
  28. package/out/typer/dispatch-def.d.ts.map +1 -1
  29. package/out/typer/dispatch-def.js +10 -38
  30. package/out/typer/dispatch-def.js.map +1 -1
  31. package/out/typer/dispatch-expr.d.ts.map +1 -1
  32. package/out/typer/dispatch-expr.js +55 -68
  33. package/out/typer/dispatch-expr.js.map +1 -1
  34. package/out/typer/dispatch-process.d.ts.map +1 -1
  35. package/out/typer/dispatch-process.js +4 -2
  36. package/out/typer/dispatch-process.js.map +1 -1
  37. package/out/typer/dispatch-stmt.d.ts.map +1 -1
  38. package/out/typer/dispatch-stmt.js +26 -20
  39. package/out/typer/dispatch-stmt.js.map +1 -1
  40. package/out/typer/dispatch-view.d.ts.map +1 -1
  41. package/out/typer/dispatch-view.js +6 -3
  42. package/out/typer/dispatch-view.js.map +1 -1
  43. package/out/typer/incremental-update.d.ts +1 -1
  44. package/out/typer/incremental-update.d.ts.map +1 -1
  45. package/out/typer/incremental-update.js +18 -14
  46. package/out/typer/incremental-update.js.map +1 -1
  47. package/out/typer/index.d.ts +3 -4
  48. package/out/typer/index.d.ts.map +1 -1
  49. package/out/typer/index.js +4 -4
  50. package/out/typer/index.js.map +1 -1
  51. package/out/typer/sem-diag.d.ts +1 -0
  52. package/out/typer/sem-diag.d.ts.map +1 -1
  53. package/out/typer/sem-diag.js +24 -17
  54. package/out/typer/sem-diag.js.map +1 -1
  55. package/out/typer/solver.d.ts +1 -0
  56. package/out/typer/solver.d.ts.map +1 -1
  57. package/out/typer/solver.js +9 -1
  58. package/out/typer/solver.js.map +1 -1
  59. package/out/typer/subster.d.ts.map +1 -1
  60. package/out/typer/subster.js +20 -6
  61. package/out/typer/subster.js.map +1 -1
  62. package/out/typer/type-manager.d.ts +1 -2
  63. package/out/typer/type-manager.d.ts.map +1 -1
  64. package/out/typer/type-manager.js +22 -17
  65. package/out/typer/type-manager.js.map +1 -1
  66. package/out/typer/type-predicate.d.ts.map +1 -1
  67. package/out/typer/type-predicate.js +2 -1
  68. package/out/typer/type-predicate.js.map +1 -1
  69. package/out/typer/typer.d.ts +14 -2
  70. package/out/typer/typer.d.ts.map +1 -1
  71. package/out/typer/typer.js +20 -2
  72. package/out/typer/typer.js.map +1 -1
  73. package/out/typer/unifier.d.ts.map +1 -1
  74. package/out/typer/unifier.js +37 -27
  75. package/out/typer/unifier.js.map +1 -1
  76. package/out/utils/parseTsClassType.d.ts +2 -0
  77. package/out/utils/parseTsClassType.d.ts.map +1 -1
  78. package/out/utils/parseTsClassType.js +4 -2
  79. package/out/utils/parseTsClassType.js.map +1 -1
  80. package/out/utils/type-operator.d.ts +1 -1
  81. package/out/utils/type-operator.d.ts.map +1 -1
  82. package/out/utils/type-operator.js +18 -3
  83. package/out/utils/type-operator.js.map +1 -1
  84. package/package.json +5 -5
@@ -1 +1 @@
1
- {"version":3,"file":"component-def-manager.js","sourceRoot":"","sources":["../../../src/typer/component-def-manager/component-def-manager.ts"],"names":[],"mappings":";;;AACA,sCAAyC;AACzC,kDAA2D;AAC3D,mCAA8B;AAC9B,oDAAuD;AACvD,uDAAkK;AAElK,yDAA0F;AAC1F,mCAAiI;AAEjI,qDAAoD;AACpD,iFAAkF;AAWlF,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,KAAK,GAAG,IAAA,qBAAY,EAAC,KAAK,CAAC,CAAC;IAClC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,SAAgB,uBAAuB,CAAC,GAAe;IACrD,0BAA0B;IAC1B,OAAO,CACL,GAAG,CAAC,OAAO,KAAK,gBAAgB;QAChC,8BAA8B;QAC9B,GAAG,CAAC,QAAQ,KAAK,UAAU;QAC3B,kBAAkB;QAClB,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,CACnC,CAAC;AACJ,CAAC;AATD,0DASC;AAED,SAAgB,8BAA8B,CAC5C,GAAe;IAEf,OAAO,uBAAuB,CAAC,GAAG,CAAC,IAAI,IAAA,yBAAe,EAAC,GAAG,CAAC,IAAI,IAAA,oCAA0B,EAAC,GAAG,CAAC,CAAC;AACjG,CAAC;AAJD,wEAIC;AAED,MAAM,iBAAiB;IACrB;;;;;;OAMG;IACH,MAAM,CAAC,YAAY,CAAC,GAAW;QAC7B,OAAO,aAAa,CAAC,GAAG,CAAkB,CAAC;IAC7C,CAAC;IACD,MAAM,CAAC,kCAAkC,CAAC,EAAqB;QAC7D,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,CAAC;QACxC,IAAA,uBAAW,EAAC,KAAK,CAAC,CAAC;QACnB,OAAO,KAAsB,CAAC;IAChC,CAAC;CACF;AAED,MAAa,mBAAmB;IAAhC;QACU,gBAAW,GAAsB,IAAI,GAAG,EAAE,CAAC;IA+GrD,CAAC;IA7GS,QAAQ,CAAC,GAAqD;QACpE,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC;YACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,OAAO,iBAAiB,CAAC,kCAAkC,CAAC,GAAG,CAAC,CAAC;YACnE,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,cAAc,GAAG,GAAG,CAAC,QAAQ,IAAI,QAAQ,CAAC;gBAChD,OAAO,iBAAiB,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;YACxD,CAAC;YACD,KAAK,eAAe,CAAC;YACrB,KAAK,0BAA0B,CAAC,CAAC,CAAC;gBAChC,MAAM,cAAc,GAAG,GAAG,CAAC,IAAI,CAAC;gBAChC,OAAO,iBAAiB,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;YACxD,CAAC;YACD;gBACE,IAAA,kBAAU,EAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,QAAQ;QACN,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED,SAAS,CAAC,GAA2B,EAAE,WAAoB;QACzD,IAAI,CAAC,GAAG,CAAC,IAAA,2DAAmD,EAAC,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC;IAClF,CAAC;IAED;;;;OAIG;IACH,6BAA6B,CAC3B,EAAqB,EACrB,GAA0B;QAE1B,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9B,4BAA4B;QAC5B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,qBAAY,EAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,0BAA0B,CAAC,EAAqB;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;OAKG;IACH,GAAG,CAAC,GAAiC,EAAE,WAAoB;QACzD,IAAI,IAAA,oCAA0B,EAAC,GAAG,CAAC,EAAE,CAAC;YACpC,sDAAsD;YACtD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,UAAU,GAAE,IAAA,6CAAqC,EAAC,GAAG,CAAC,CAAC;QAC7D,IAAA,qBAAY,EAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,EAAC,GAAG,EAAE,UAAU,EAAE,WAAW,EAAC,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,CAAC,GAA0B;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,CAClB,GAAG,EACH,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAClC,CAAC;IACJ,CAAC;IAEO,kBAAkB,CAAC,GAAkB;QAC3C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAEO,QAAQ,CAAC,GAA6C;QAC5D,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,iBAAiB,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,CAAC;IAEO,UAAU,CAChB,GAAkB;QAIlB,kCAAkC;QAClC,MAAM,MAAM,GAAG,IAAA,aAAI,EAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC;QACpD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;gBACL,MAAM;gBACN,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC;aAC3E,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,kBAAkB,CAAC,EAAe;QAChC,MAAM,UAAU,GAAkC,EAAE,CAAC,8BAA8B,CAAC;QACpF,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC;CACF;AAhHD,kDAgHC;AAID,iFAAiF;AACjF,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAgD,CAAC;AAErF,MAAM,2BAA2B;IAS/B,YAAY,GAA0B,EAAE,GAAW;QACjD,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC;QAElB,wDAAwD;QACxD,MAAM,WAAW,GAAG,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAE9D,yDAAyD;QACzD,MAAM,iBAAiB,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,IAAA,wBAAS,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAExF,mCAAmC;QACnC,IAAI,iBAAiB,CAAC,UAAU,EAAE,CAAC;YACjC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,iBAAiB,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,CAAC,UAAU,GAAG,iBAAiB,CAAC;IACtC,CAAC;IAED;;;;;;OAMG;IACK,+BAA+B,CAAC,GAA0B;QAChE,mDAAmD;QACnD,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,kEAAkE;QAClE,2EAA2E;QAC3E,MAAM,WAAW,GAAG,8BAAc,CAAC,mBAAmB,CAAC;YACrD,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,aAAa,EAAE,GAAG,CAAC,aAAa;YAChC,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,aAAa,EAAE,GAAG,CAAC,aAAa;YAChC,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAA0B,CAAC;QAE5B,gEAAgE;QAChE,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,oDAAoD;YACpD,WAAW,CAAC,UAAU,GAAG,CAAC,8BAAc,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7E,CAAC;aAAM,CAAC;YACN,sCAAsC;YACtC,WAAW,CAAC,UAAU,GAAG,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;YAE7C,0CAA0C;YAC1C,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,8BAAc,CAAC,mBAAmB,CAAC;oBACpD,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ;oBACpC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ;oBACpC,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,aAAa;oBAC9C,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU;oBACxC,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,aAAa;oBAC9C,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU;oBACxC,mDAAmD;oBACnD,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;iBAClF,CAAC,CAAC;gBAEH,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC;YACzC,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,8BAAc,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,uBAAW,EAAC,QAAQ,CAAC,QAAQ,KAAK,oBAAoB,CAAC,CAAC;QAExD,iCAAiC;QACjC,QAAQ,CAAC,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC;QAEhD,wBAAwB;QACxB,QAAQ,CAAC,UAAU,CAAC,IAAI,CACtB,iCAAiB,CAAC,mBAAmB,CAAC;YACpC,IAAI,EAAE,KAAK;YACX,cAAc,EAAE,4BAAa;SAC9B,CAAC,CACH,CAAC;QAEF,kCAAkC;QAClC,oBAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAE3C,OAAO,WAAW,CAAC;IACrB,CAAC;IAED;;;OAGG;IACH,gBAAgB;QACd,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC;IAC3D,CAAC;IACD;;;OAGG;IACH,0BAA0B;QACxB,OAAO,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,2BAA2B;QACzB,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;YAC1D,IAAA,uBAAW,EAAC,OAAO,CAAC,CAAC;YACrB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjC,CAAC,CAAC,IAAI,EAAE,CACT,CAAC;IACJ,CAAC;CACF"}
1
+ {"version":3,"file":"component-def-manager.js","sourceRoot":"","sources":["../../../src/typer/component-def-manager/component-def-manager.ts"],"names":[],"mappings":";;;AACA,sCAAyC;AACzC,kDAA2D;AAC3D,mCAA8B;AAC9B,oDAAuD;AACvD,uDAAkK;AAElK,yDAA0F;AAC1F,mCAAiI;AAEjI,qDAAoD;AACpD,iFAAkF;AAWlF,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,KAAK,GAAG,IAAA,qBAAY,EAAC,KAAK,CAAC,CAAC;IAClC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,SAAgB,uBAAuB,CAAC,GAAe;IACrD,0BAA0B;IAC1B,OAAO,CACL,GAAG,CAAC,OAAO,KAAK,gBAAgB;QAChC,8BAA8B;QAC9B,GAAG,CAAC,QAAQ,KAAK,UAAU;QAC3B,kBAAkB;QAClB,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,CACnC,CAAC;AACJ,CAAC;AATD,0DASC;AAED,SAAgB,8BAA8B,CAC5C,GAAe;IAEf,OAAO,uBAAuB,CAAC,GAAG,CAAC,IAAI,IAAA,yBAAe,EAAC,GAAG,CAAC,IAAI,IAAA,oCAA0B,EAAC,GAAG,CAAC,CAAC;AACjG,CAAC;AAJD,wEAIC;AAED,MAAM,iBAAiB;IACrB;;;;;;OAMG;IACH,MAAM,CAAC,YAAY,CAAC,GAAW;QAC7B,OAAO,aAAa,CAAC,GAAG,CAAkB,CAAC;IAC7C,CAAC;IACD,MAAM,CAAC,kCAAkC,CAAC,EAAqB;QAC7D,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,CAAC;QACxC,IAAA,uBAAW,EAAC,KAAK,CAAC,CAAC;QACnB,OAAO,KAAsB,CAAC;IAChC,CAAC;CACF;AAED,MAAa,mBAAmB;IAAhC;QACU,gBAAW,GAA2B,IAAI,GAAG,EAAE,CAAC;IAoH1D,CAAC;IAlHS,QAAQ,CAAC,GAAqD;QACpE,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC;YACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,OAAO,iBAAiB,CAAC,kCAAkC,CAAC,GAAG,CAAC,CAAC;YACnE,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,cAAc,GAAG,GAAG,CAAC,QAAQ,IAAI,QAAQ,CAAC;gBAChD,OAAO,iBAAiB,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;YACxD,CAAC;YACD,KAAK,eAAe,CAAC;YACrB,KAAK,0BAA0B,CAAC,CAAC,CAAC;gBAChC,MAAM,cAAc,GAAG,GAAG,CAAC,IAAI,CAAC;gBAChC,OAAO,iBAAiB,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;YACxD,CAAC;YACD;gBACE,IAAA,kBAAU,EAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED,SAAS,CAAC,GAA2B,EAAE,WAAoB;QACzD,IAAI,CAAC,GAAG,CAAC,IAAA,2DAAmD,EAAC,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC;IAClF,CAAC;IAED;;;;;OAKG;IACH,6BAA6B,CAAC,EAAqB,EAAE,GAA0B;QAC7E,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9B,4BAA4B;QAC5B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,qBAAY,EAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,0BAA0B,CAAC,EAAqB;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;OAKG;IACH,GAAG,CAAC,GAAiC,EAAE,WAAoB;QACzD,IAAI,IAAA,oCAA0B,EAAC,GAAG,CAAC,EAAE,CAAC;YACpC,sDAAsD;YACtD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,UAAU,GAAG,IAAA,6CAAqC,EAAC,GAAG,CAAC,CAAC;QAC9D,IAAA,qBAAY,EAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,oBAAoB,CAAC,GAAiC;QACpD,IAAI,IAAA,oCAA0B,EAAC,GAAG,CAAC,EAAE,CAAC;YACpC,sDAAsD;YACtD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAEO,kBAAkB,CAAC,GAAkB;QAC3C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED;;;OAGG;IACH,qBAAqB;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IAEO,UAAU,CAChB,GAAkB;QAIlB,kCAAkC;QAClC,MAAM,MAAM,GAAG,IAAA,aAAI,EAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC;QACpD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;gBACL,MAAM;gBACN,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC;aAC3E,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,kBAAkB,CAAC,EAAe;QAChC,MAAM,UAAU,GAAkC,EAAE,CAAC,8BAA8B,CAAC;QACpF,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC;CACF;AArHD,kDAqHC;AAID,iFAAiF;AACjF,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAgD,CAAC;AAErF,MAAM,2BAA2B;IAS/B,YAAY,GAA0B,EAAE,GAAW;QACjD,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC;QAElB,wDAAwD;QACxD,MAAM,WAAW,GAAG,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAE9D,yDAAyD;QACzD,MAAM,iBAAiB,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,IAAA,wBAAS,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAExF,mCAAmC;QACnC,IAAI,iBAAiB,CAAC,UAAU,EAAE,CAAC;YACjC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,iBAAiB,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,CAAC,UAAU,GAAG,iBAAiB,CAAC;IACtC,CAAC;IAED;;;;;;OAMG;IACK,+BAA+B,CAAC,GAA0B;QAChE,mDAAmD;QACnD,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,kEAAkE;QAClE,2EAA2E;QAC3E,MAAM,WAAW,GAAG,8BAAc,CAAC,mBAAmB,CAAC;YACrD,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,aAAa,EAAE,GAAG,CAAC,aAAa;YAChC,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,aAAa,EAAE,GAAG,CAAC,aAAa;YAChC,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAA0B,CAAC;QAE5B,gEAAgE;QAChE,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,oDAAoD;YACpD,WAAW,CAAC,UAAU,GAAG,CAAC,8BAAc,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7E,CAAC;aAAM,CAAC;YACN,sCAAsC;YACtC,WAAW,CAAC,UAAU,GAAG,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;YAE7C,0CAA0C;YAC1C,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,8BAAc,CAAC,mBAAmB,CAAC;oBACpD,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ;oBACpC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ;oBACpC,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,aAAa;oBAC9C,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU;oBACxC,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,aAAa;oBAC9C,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU;oBACxC,mDAAmD;oBACnD,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;iBAClF,CAAC,CAAC;gBAEH,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC;YACzC,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,8BAAc,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,uBAAW,EAAC,QAAQ,CAAC,QAAQ,KAAK,oBAAoB,CAAC,CAAC;QAExD,iCAAiC;QACjC,QAAQ,CAAC,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC;QAEhD,wBAAwB;QACxB,QAAQ,CAAC,UAAU,CAAC,IAAI,CACtB,iCAAiB,CAAC,mBAAmB,CAAC;YACpC,IAAI,EAAE,KAAK;YACX,cAAc,EAAE,4BAAa;SAC9B,CAAC,CACH,CAAC;QAEF,kCAAkC;QAClC,oBAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAE3C,OAAO,WAAW,CAAC;IACrB,CAAC;IAED;;;OAGG;IACH,gBAAgB;QACd,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC;IAC3D,CAAC;IACD;;;OAGG;IACH,0BAA0B;QACxB,OAAO,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,2BAA2B;QACzB,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;YAC1D,IAAA,uBAAW,EAAC,OAAO,CAAC,CAAC;YACrB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjC,CAAC,CAAC,IAAI,EAAE,CACT,CAAC;IACJ,CAAC;CACF"}
@@ -1,6 +1,5 @@
1
1
  import { Logic, SyntaxNode, Interface, AuthInterface, OverriddenLogic, AuthLogic, AuthLogicForCallInterface, ConnectorLogic, Connector, App, Namespace, Module, ViewComponent, ViewComponentDeclaration, ProcessComponent, View, Process, ProcessV2, TypeAnnotation } from '@lcap/nasl-concepts';
2
2
  import { DefConcept } from '../reference-manager/reference-manager';
3
- import { TypeSubst } from './type-manager';
4
3
  import { type SemEnv } from './typer';
5
4
  import { CallableNaslLogic } from './nasl-predicate';
6
5
  export declare function dispatchDef(env: SemEnv, nd: SyntaxNode): undefined;
@@ -20,5 +19,4 @@ export declare function getAllProcessLikeFromNamespaceOrModuleOrOtherRubbish(nd:
20
19
  * 扔到 typeBindings 里。取逻辑类型优先级: quickLibType > typeBindings > resolveRef from qNameDefs 即时构造函数类型
21
20
  */
22
21
  export declare const modifyTypeOfParseAllShit: (env: SemEnv) => void;
23
- export declare const checkVariableAndReturnTypeAnnotations: (variables: any[], returns: any[]) => (fileNode: SyntaxNode, severity?: 'error' | 'warning') => (env: SemEnv, pSubst: TypeSubst) => void;
24
22
  //# sourceMappingURL=dispatch-def.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"dispatch-def.d.ts","sourceRoot":"","sources":["../../src/typer/dispatch-def.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,EAIL,UAAU,EAGV,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,yBAAyB,EACzB,cAAc,EAEd,SAAS,EACT,GAAG,EACH,SAAS,EACT,MAAM,EAEN,aAAa,EACb,wBAAwB,EACxB,gBAAgB,EAChB,IAAI,EACJ,OAAO,EACP,SAAS,EAQT,cAAc,EACjB,MAAM,qBAAqB,CAAC;AAW7B,OAAO,EAAE,UAAU,EAAqC,MAAM,wCAAwC,CAAC;AAGvG,OAAO,EAQH,SAAS,EAEZ,MAAM,gBAAgB,CAAC;AAWxB,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAGtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrD,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,aAuDtD;AAqCD,eAAO,MAAM,kBAAkB,oCAAqC,CAAC,YAEtC,IAAI,GAwBlC,CAAA;AAED,wBAAgB,OAAO,CAAC,CAAC,SAAS,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,8BA2BtE;AAQD,eAAO,MAAM,qBAAqB,QAAS,MAAM,UAAU,MAAM,iBAAiB,CAAC,KAAG,MAAM,MAAM,IAAI,CAWrG,CAAA;AAED,eAAO,MAAM,qBAAqB,WAAY,MAAM,iBAAiB,GAAG,SAAS,GAAG,aAAa,CAAC,SAUjG,CAAA;AA2ED,eAAO,MAAM,WAAW,QAAS,MAAM,MAAM,SAAS,SAerD,CAAA;AAGD,eAAO,MAAM,WAAW,QAAS,MAAM,MAAM,SAAS,SAiBrD,CAAA;AAGD,eAAO,MAAM,QAAQ,QAAS,MAAM,MAAM,MAAM,SAoB/C,CAAA;AAID,wBAAgB,qEAAqE,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,CA6B9J;AAGD,wBAAgB,+DAA+D,CAAC,EAAE,EAAE,GAAG,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,GAClH,KAAK,CAAC,KAAK,GAAG,eAAe,GAAG,SAAS,GAAG,yBAAyB,GAAG,cAAc,CAAC,CA2B5F;AAGD,wBAAgB,iDAAiD,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,GAClF,KAAK,CAAC,IAAI,GAAG,aAAa,GAAG,wBAAwB,CAAC,CAW3D;AAED,wBAAgB,oDAAoD,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,GACvF,KAAK,CAAC,OAAO,GAAG,SAAS,GAAG,gBAAgB,CAAC,CAShD;AA8BD;;;GAGG;AACH,eAAO,MAAM,wBAAwB,QAAS,MAAM,SA+BnD,CAAA;AAGD,eAAO,MAAM,qCAAqC,cAClC,GAAG,EAAE,WAAW,GAAG,EAAE,gBACtB,UAAU,aAAY,OAAO,GAAG,SAAS,WAC9C,MAAM,UAAU,SAAS,SAyB9B,CAAC"}
1
+ {"version":3,"file":"dispatch-def.d.ts","sourceRoot":"","sources":["../../src/typer/dispatch-def.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,EAIL,UAAU,EAGV,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,yBAAyB,EACzB,cAAc,EAEd,SAAS,EACT,GAAG,EACH,SAAS,EACT,MAAM,EAEN,aAAa,EACb,wBAAwB,EACxB,gBAAgB,EAChB,IAAI,EACJ,OAAO,EACP,SAAS,EAQT,cAAc,EACjB,MAAM,qBAAqB,CAAC;AAW7B,OAAO,EAAE,UAAU,EAAqC,MAAM,wCAAwC,CAAC;AAwBvG,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAGtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrD,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,aAuDtD;AAqCD,eAAO,MAAM,kBAAkB,oCAAqC,CAAC,YAEtC,IAAI,GAwBlC,CAAA;AAED,wBAAgB,OAAO,CAAC,CAAC,SAAS,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,8BAuBtE;AAQD,eAAO,MAAM,qBAAqB,QAAS,MAAM,UAAU,MAAM,iBAAiB,CAAC,KAAG,MAAM,MAAM,IAAI,CAWrG,CAAA;AAED,eAAO,MAAM,qBAAqB,WAAY,MAAM,iBAAiB,GAAG,SAAS,GAAG,aAAa,CAAC,SAUjG,CAAA;AAmFD,eAAO,MAAM,WAAW,QAAS,MAAM,MAAM,SAAS,SAerD,CAAA;AAGD,eAAO,MAAM,WAAW,QAAS,MAAM,MAAM,SAAS,SAiBrD,CAAA;AAGD,eAAO,MAAM,QAAQ,QAAS,MAAM,MAAM,MAAM,SAoB/C,CAAA;AAID,wBAAgB,qEAAqE,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,CA6B9J;AAGD,wBAAgB,+DAA+D,CAAC,EAAE,EAAE,GAAG,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,GAClH,KAAK,CAAC,KAAK,GAAG,eAAe,GAAG,SAAS,GAAG,yBAAyB,GAAG,cAAc,CAAC,CA2B5F;AAGD,wBAAgB,iDAAiD,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,GAClF,KAAK,CAAC,IAAI,GAAG,aAAa,GAAG,wBAAwB,CAAC,CAW3D;AAED,wBAAgB,oDAAoD,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,GACvF,KAAK,CAAC,OAAO,GAAG,SAAS,GAAG,gBAAgB,CAAC,CAShD;AA8BD;;;GAGG;AACH,eAAO,MAAM,wBAAwB,QAAS,MAAM,SA+BnD,CAAA"}
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
  Object.defineProperty(exports, "__esModule", { value: true });
3
- exports.checkVariableAndReturnTypeAnnotations = exports.modifyTypeOfParseAllShit = exports.getAllProcessLikeFromNamespaceOrModuleOrOtherRubbish = exports.getAllViewLikeFromNamespaceOrModuleOrOtherRubbish = exports.getAllLogicsFromAppOrConnectorOrNamespaceOrModuleOrOtherRubbish = exports.getAllDataTypeDefsFromAppOrConnectorOrNamespaceOrModuleOrOtherRubbish = exports.tpModule = exports.tpNamespace = exports.tpConnector = exports.setParamOptionalFlags = exports.fixAllUseBeforeAssign = exports.tpLogic = exports.fixUseBeforeAssign = exports.dispatchDef = void 0;
3
+ exports.modifyTypeOfParseAllShit = exports.getAllProcessLikeFromNamespaceOrModuleOrOtherRubbish = exports.getAllViewLikeFromNamespaceOrModuleOrOtherRubbish = exports.getAllLogicsFromAppOrConnectorOrNamespaceOrModuleOrOtherRubbish = exports.getAllDataTypeDefsFromAppOrConnectorOrNamespaceOrModuleOrOtherRubbish = exports.tpModule = exports.tpNamespace = exports.tpConnector = exports.setParamOptionalFlags = exports.fixAllUseBeforeAssign = exports.tpLogic = exports.fixUseBeforeAssign = exports.dispatchDef = void 0;
4
4
  const nasl_concepts_1 = require("@lcap/nasl-concepts");
5
5
  const file_node_cache_1 = require("../utils/file-node-cache");
6
6
  const index_1 = require("./index");
@@ -161,7 +161,7 @@ const fixUseBeforeAssign = (nd) => {
161
161
  return;
162
162
  }
163
163
  const ty = v.node.__TypeAnnotation;
164
- if (ty && !(0, type_predicate_1.isTyAnnTyParam)(ty) && !(0, type_predicate_1.isAnyTy)(ty) && !(0, type_predicate_1.isNullTy)(ty)) {
164
+ if (ty && (0, type_predicate_1.isResolvedUserTy)(ty)) {
165
165
  // @ts-expect-error
166
166
  v.node.typeAnnotation = ty;
167
167
  // @ts-expect-error
@@ -185,18 +185,14 @@ function tpLogic(env, nd) {
185
185
  env.localVars.set(nd, logicVars.map(v => v.name));
186
186
  (0, dispatch_stmt_1.tpSolvingStmts)(env, nd.body);
187
187
  (0, index_1.tpSolvingPlayground)(env, nd.playground);
188
- logicVars.forEach(env.removeVar);
189
188
  env.setType(nd, (0, type_manager_1.createRefTyAnnFromDef)(nd, env));
190
189
  // 前端采用全局类型推导,因此不清空
191
190
  if (!env.isView) {
192
191
  env.unifier.clearAll();
192
+ // 先这样 fix:不然这个检查会留到下次 typing Start 节点时跑,很诡异……
193
+ env.runPostChecks(subster_1.emptySubst);
193
194
  }
194
- if (nd.nodePath?.startsWith('app.logics')) {
195
- const postChk = (0, exports.checkVariableAndReturnTypeAnnotations)(nd.variables ?? [], nd.returns);
196
- env.addPostCheckTask(nd, postChk(env.getCurFileNode(), env.errSeverity));
197
- }
198
- // 先这样 fix:不然这个检查会留到下次 typing Start 节点时跑,很诡异……
199
- !env.isView && env.runPostChecks(subster_1.emptySubst);
195
+ logicVars.forEach(env.removeVar);
200
196
  return env.getRawType(nd);
201
197
  }
202
198
  exports.tpLogic = tpLogic;
@@ -231,6 +227,7 @@ const setParamOptionalFlags = (logics) => {
231
227
  };
232
228
  exports.setParamOptionalFlags = setParamOptionalFlags;
233
229
  function tpVariable(env, nd) {
230
+ env.allRefsInPlayground.add(nd);
234
231
  (0, index_1.createOnPush)(env.nameBindings, nd.name, nd); // 当前 namespace 为 '' 或 undefined
235
232
  const varTy = nd.typeAnnotation ?? env.unifier.nextFreshTyAnn('free');
236
233
  if (nd.defaultValue) {
@@ -252,12 +249,16 @@ function tpFrontendVariable(env, nd) {
252
249
  }
253
250
  // 函数的"返回",类似变量,不是语句。
254
251
  function tpReturn(env, nd) {
252
+ env.allRefsInPlayground.add(nd);
255
253
  (0, index_1.createOnPush)(env.nameBindings, nd.name, nd); // 当前 namespace 为 '' 或 undefined
256
254
  const ty = nd.typeAnnotation ?? env.unifier.nextFreshTyAnn('free');
257
255
  env.setType(nd, ty);
258
256
  (0, dispatch_expr_1.dispatchExpr)(env, nd.defaultValue, env.getRawType(nd)); // nd.typeAnnotation 优先
259
257
  }
260
258
  function tpParam(env, nd) {
259
+ if (nd.concept !== 'InterfaceParam') {
260
+ env.allRefsInPlayground.add(nd);
261
+ }
261
262
  (0, index_1.createOnPush)(env.nameBindings, nd.name, nd); // 当前 namespace 为 '' 或 undefined
262
263
  env.setType(nd, nd.typeAnnotation); // 也能推,暂时不推了 ?? env.unifier.nextFreshTyAnn('free');
263
264
  (0, dispatch_expr_1.dispatchExpr)(env, nd.defaultValue, env.getRawType(nd)); // nd.typeAnnotation 优先
@@ -473,33 +474,4 @@ const modifyTypeOfParseAllShit = (env) => {
473
474
  env.typeBindings.set(parseAllShitLogic, logicTy);
474
475
  };
475
476
  exports.modifyTypeOfParseAllShit = modifyTypeOfParseAllShit;
476
- const checkVariableAndReturnTypeAnnotations = (variables, returns) => (fileNode, severity = 'error') => (env, pSubst) => {
477
- for (const v of variables) {
478
- if (v.typeAnnotation)
479
- continue;
480
- const tyAnn = env.getType(v);
481
- if ((0, type_predicate_1.isVoidTy)(tyAnn)) {
482
- env.addError(`局部变量 ${v.name} 必须赋值有返回值的内容`, fileNode, v, severity);
483
- v.__TypeAnnotation = undefined;
484
- }
485
- else if (!(0, type_predicate_1.isResolvedUserTy)(tyAnn)) {
486
- env.addError(`局部变量 ${v.name} 未设置类型或未赋值。直接赋值系统可以自动推断类型`, fileNode, v, severity);
487
- v.__TypeAnnotation = undefined;
488
- }
489
- }
490
- for (const r of returns) {
491
- if (r.typeAnnotation)
492
- continue;
493
- const tyAnn = env.getType(r);
494
- if ((0, type_predicate_1.isVoidTy)(tyAnn)) {
495
- env.addError(`输出参数 ${r.name} 必须赋值有返回值的内容`, fileNode, r, severity);
496
- r.__TypeAnnotation = undefined;
497
- }
498
- else if (!(0, type_predicate_1.isResolvedUserTy)(tyAnn)) {
499
- env.addError(`输出参数 ${r.name} 未设置类型或未赋值。直接赋值系统可以自动推断类型`, fileNode, r, severity);
500
- r.__TypeAnnotation = undefined;
501
- }
502
- }
503
- };
504
- exports.checkVariableAndReturnTypeAnnotations = checkVariableAndReturnTypeAnnotations;
505
477
  //# sourceMappingURL=dispatch-def.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"dispatch-def.js","sourceRoot":"","sources":["../../src/typer/dispatch-def.ts"],"names":[],"mappings":";;;AAAA,uDAmC6B;AAC7B,8DAEkC;AAElC,mCAGiB;AAEjB,yDAAiD;AACjD,8EAAuG;AACvG,mDAAwE;AACxE,mEAA8D;AAC9D,iDAUwB;AAExB,qDAO0B;AAC1B,iDAA0D;AAE1D,mDAA8D;AAC9D,uCAAuC;AAGvC,0CAA0C;AAC1C,SAAgB,WAAW,CAAC,GAAW,EAAE,EAAc;IACnD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC,CAAC,gBAAgB;IAC5C,MAAM,cAAc,GAAG,GAAG,CAAC,WAAW,CAAC;IACvC,GAAG,CAAC,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,IAAA,qDAAmC,EAAC,EAAE,CAAC,EAAE,CAAC;QAC1C,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,CAAC,YAAY;QACd,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC;YACjB,KAAK,UAAU;gBAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC5C,KAAK,OAAO;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACtC,KAAK,QAAQ;gBAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACxC,KAAK,WAAW,CAAC,CAAC,MAAM;YACxB,KAAK,OAAO;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACtC,KAAK,gBAAgB;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC/C,KAAK,eAAe;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC9C,mDAAmD;YACnD,KAAK,QAAQ;gBAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACxC,KAAK,WAAW;gBAAE,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC9C,KAAK,MAAM,CAAC,CAAC,4BAA4B,CAAC,MAAM;YAChD,KAAK,YAAY;gBAAE,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAChD,KAAK,WAAW,CAAC;YACjB,KAAK,eAAe;gBAAE,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAClD,KAAK,uBAAuB;gBAAE,uBAAuB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACtE,KAAK,iBAAiB;gBAAE,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC1D,KAAK,WAAW;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC1C,KAAK,2BAA2B;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC1D,KAAK,gBAAgB;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC/C,KAAK,OAAO;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACtC,KAAK,YAAY,CAAC,CAAC,MAAM;YACzB,KAAK,cAAc;gBAAE,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACpD,KAAK,iBAAiB;gBAAE,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC1D,KAAK,kBAAkB;gBAAE,kBAAkB,CAAC,GAAG,EAAE,EAAsB,CAAC,CAAC;gBAAC,MAAM;YAChF,KAAK,WAAW;gBAAE,IAAA,8BAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC9C,KAAK,QAAQ;gBAAE,IAAA,gBAAQ,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACxC,KAAK,WAAW;gBAAE,IAAA,mBAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM,CAAC,mBAAmB;YAClE,KAAK,WAAW;gBAAE,IAAA,mBAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC9C,OAAO,CAAC,CAAC,CAAC;gBACN,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;gBACrD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACL,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACrD,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;YAAS,CAAC;QACP,IAAI,IAAA,qDAAmC,EAAC,EAAE,CAAC,EAAE,CAAC;YAC1C,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC;QACD,GAAG,CAAC,WAAW,GAAG,cAAc,CAAC;IACrC,CAAC;AACL,CAAC;AAvDD,kCAuDC;AAED,SAAS,WAAW,CAAC,GAAW,EAAE,EAA6B;IAC3D,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC;IAC1E,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,4DAA4D;IAC5D,6EAA6E;IAC7E,oEAAoE;IACpE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAA,qCAAqB,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACxE,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAErC,8BAA8B;IAC9B,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;QAC9E,IAAI,QAAQ,EAAE,CAAC;YACX,gEAAgE;YAChE,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;YAC9E,SAAS,CAAC,GAAG,CAAC,EAA2B,CAAC,CAAC;YAC3C,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAE9C,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EAA2B,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;YAC9F,MAAM,CAAC,GAAG,CAAC,QAAiC,CAAC,CAAC;YAC9C,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EAA2B,EAAE,MAAM,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,kBAAkB,GAAG,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;QACpG,4BAA4B;QAC5B,kBAAkB,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAE5B,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1F,4BAA4B;QAC5B,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;AACL,CAAC;AAED,MAAM,uBAAuB,GAAG,WAAW,CAAC;AAErC,MAAM,kBAAkB,GAAG,CAA8B,EAAK,EAAE,EAAE;IACrE,MAAM,eAAe,GAAG,IAAA,2CAAmB,EAAC,EAAE,CAAC,CAAC;IAChD,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,cAAc,wBAAwB,CAAC,CAAC;QACjE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACxB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACxE,IAAI,CAAC,CAAC,qBAAqB,EAAE,CAAC;gBAC1B,OAAO;YACX,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC;gBACtB,OAAO;YACX,CAAC;YACD,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;YACnC,IAAI,EAAE,IAAI,CAAC,IAAA,+BAAc,EAAC,EAAE,CAAC,IAAI,CAAC,IAAA,wBAAO,EAAC,EAAE,CAAC,IAAI,CAAC,IAAA,yBAAQ,EAAC,EAAE,CAAC,EAAE,CAAC;gBAC7D,mBAAmB;gBACnB,CAAC,CAAC,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC;gBAC3B,mBAAmB;gBACnB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;gBAC5C,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE;oBACd,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC5C,CAAC,CAAC,CAAC;YACP,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC,CAAA;AA1BY,QAAA,kBAAkB,sBA0B9B;AAED,SAAgB,OAAO,CAA8B,GAAW,EAAE,EAAK;IACnE,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACtF,OAAO;IACP,EAAE,CAAC,OAAO,KAAK,2BAA2B,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAE,EAAgC,CAAC,UAAU,CAAC,CAAC,CAAC;IAChH,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACpB,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IACH,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAElD,IAAA,8BAAc,EAAC,GAAG,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAA,2BAAmB,EAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IACxC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAEjC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,IAAA,oCAAqB,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAEhD,mBAAmB;IACnB,IAAG,CAAC,GAAG,CAAC,MAAM,EAAC,CAAC;QACd,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAED,IAAI,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,IAAA,6CAAqC,EAAC,EAAE,CAAC,SAAS,IAAI,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QACtF,GAAG,CAAC,gBAAgB,CAAC,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,8CAA8C;IAC9C,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,aAAa,CAAC,oBAAU,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AAC9B,CAAC;AA3BD,0BA2BC;AAED,MAAM,iBAAiB,GAAG,CAAC,GAAW,EAAE,EAAmB,EAAE,EAAE;IAC3D,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC;IACvC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACrC,CAAC,CAAA;AAEM,MAAM,qBAAqB,GAAG,CAAC,GAAW,EAAE,MAAgC,EAAqB,EAAE;IACtG,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,kBAAkB,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;YACxC;;eAEG;YACH,OAAO,CAAC,IAAI,CAAC,GAAG,IAAA,0BAAkB,EAAC,KAAK,CAAC,CAAC,CAAC;QAC/C,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC,CAAA;AAXY,QAAA,qBAAqB,yBAWjC;AAEM,MAAM,qBAAqB,GAAG,CAAC,MAA4D,EAAE,EAAE;IAClG,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC,CAAC,mBAAmB;QAC7C,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YACzD,IAAI,KAAK,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;gBACrC,KAAK,CAAC,QAAQ,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;YACrC,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC,CAAA;AAVY,QAAA,qBAAqB,yBAUjC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,EAAY;IACzC,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,gCAAgC;IAC7E,MAAM,KAAK,GAAG,EAAE,CAAC,cAAc,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACtE,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAC5D,MAAM,EAAE,GAAG,EAAE,CAAC,cAAc,IAAI,QAAQ,CAAC;QACzC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACxB,CAAC;SAAM,CAAC;QACJ,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,EAAmB;IACvD,IAAA,4BAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IACtD,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAW,EAAE,EAAoB;IACzD,IAAA,4BAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IACtD,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;AACvC,CAAC;AAED,qBAAqB;AACrB,SAAS,QAAQ,CAAC,GAAW,EAAE,EAAU;IACrC,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA,CAAC,gCAAgC;IAC5E,MAAM,EAAE,GAAG,EAAE,CAAC,cAAc,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACnE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAEpB,IAAA,4BAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB;AACnF,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,EAA0B;IACpD,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,gCAAgC;IAC7E,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAE,mDAAmD;IAExF,IAAA,4BAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB;IAE/E,EAAE,CAAC,QAAQ,GAAG,OAAO,CAAC,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IACnD,IAAI,EAAE,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;QAClC,EAAE,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;IAC/B,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW,EAAE,EAAU;IACrC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa;QACrD,IAAI,CAAC,YAAY,IAAI,IAAA,6BAAa,EAAC,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IACH,gEAAgE;IAChE,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,YAAY,CAAC,GAAW,EAAE,EAAc;IAC7C,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,WAAW,CAAC,GAAW,EAAE,EAAa;IAC3C,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa;QACrD,IAAI,CAAC,YAAY,IAAI,IAAA,6BAAa,EAAC,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IACH,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IAEvB,gEAAgE;IAChE,IAAI,EAAE,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC5D,IAAI,QAAQ,EAAE,CAAC;YACX,QAAQ,CAAC,cAAc,GAAG,IAAA,8BAAe,EAAC,wBAAS,CAAC,CAAC;QACzD,CAAC;IACL,CAAC;AACL,CAAC;AAED,+CAA+C;AACxC,MAAM,WAAW,GAAG,CAAC,GAAW,EAAE,EAAa,EAAE,EAAE;IACtD,gCAAgC;IAChC,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7C,0BAA0B;IAC1B,MAAM,IAAI,GAAG,qEAAqE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5F,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAE3C,sBAAsB;IACtB,MAAM,MAAM,GAAG,+DAA+D,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,IAAA,uCAAwB,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzD,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7C,UAAU;IACV,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAC1C,CAAC,CAAA;AAfY,QAAA,WAAW,eAevB;AAED,+CAA+C;AACxC,MAAM,WAAW,GAAG,CAAC,GAAW,EAAE,EAAa,EAAE,EAAE;IACtD,0BAA0B;IAC1B,MAAM,IAAI,GAAG,qEAAqE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5F,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAE3C,sBAAsB;IACtB,MAAM,MAAM,GAAG,+DAA+D,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,IAAA,uCAAwB,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzD,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IAErD,sBAAsB;IACtB,MAAM,KAAK,GAAG,iDAAiD,CAAC,EAAE,CAAC,CAAC;IACpE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAE9C,yBAAyB;IACzB,MAAM,SAAS,GAAG,oDAAoD,CAAC,EAAE,CAAC,CAAC;IAC3E,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACtD,CAAC,CAAA;AAjBY,QAAA,WAAW,eAiBvB;AAED,4CAA4C;AACrC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAU,EAAE,EAAE;IAChD,0BAA0B;IAC1B,MAAM,IAAI,GAAG,qEAAqE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5F,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAE3C,sBAAsB;IACtB,MAAM,MAAM,GAAG,+DAA+D,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,IAAA,uCAAwB,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzD,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7C,sBAAsB;IACtB,MAAM,KAAK,GAAG,iDAAiD,CAAC,EAAE,CAAC,CAAC;IACpE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAE9C,yBAAyB;IACzB,MAAM,SAAS,GAAG,oDAAoD,CAAC,EAAE,CAAC,CAAC;IAC3E,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAElD,2BAA2B;IAC3B,+EAA+E;AACnF,CAAC,CAAA;AApBY,QAAA,QAAQ,YAoBpB;AAED,0EAA0E;AAC1E,iEAAiE;AACjE,SAAgB,qEAAqE,CAAC,GAAW,EAAE,EAAwC;IACvI,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,MAAM,QAAQ,GAAG,CAAC,EAAwC,EAAE,EAAE;QAC1D,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC7B,EAAE,CAAC,UAAU,EAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;QAC3D,EAAE,CAAC,UAAU,EAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;QAC3D,EAAE,CAAC,OAAO,KAAK,WAAW,IAAI,EAAE,CAAC,WAAW,EAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;QAC3F,EAAE,CAAC,OAAO,KAAK,WAAW,IAAI,EAAE,CAAC,aAAa,EAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC;QAC/F,EAAE,CAAC,OAAO,KAAK,WAAW,IAAK,EAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC9E,mBAAmB;QACnB,EAAE,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACtE,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YAC5B,EAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC7C,kCAAkC;YAClC,UAAU,CAAC,IAAI,CAAC,GAAI,EAAgB,CAAC,iBAAiB,CAAC,CAAC;YACxD,UAAU,CAAC,IAAI,CAAC,GAAI,EAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,CAAC;IACL,CAAC,CAAA;IACD,QAAQ,CAAC,EAAE,CAAC,CAAC;IAEb,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;QACvB,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3C,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClC,EAAE,CAAC,WAAW,IAAI,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC;QACrD,EAAE,CAAC,qBAAqB,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5C,8CAA8C;IAClD,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AA7BD,sJA6BC;AAED,oCAAoC;AACpC,SAAgB,+DAA+D,CAAC,EAAwC;IAEpH,MAAM,YAAY,GAA4F,EAAE,CAAC;IAEjH,MAAM,QAAQ,GAAG,CAAC,EAAwC,EAAE,EAAE;QAC1D,EAAE,CAAC,MAAM,EAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC,CAAC,mBAAmB;YACzE,EAAE,CAAC,UAAU,EAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,2BAA2B;YACzF,EAAE,CAAC,0BAA0B,EAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,2BAA2B;YACzH,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;QAC/C,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;YACvB,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,CAAC;YAC1C,EAAE,CAAC,qBAAqB,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC,CAAC,mBAAmB;YACjD,EAAE,CAAC,kBAAkB,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB;YACtF,EAAE,CAAC,WAAW,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,mBAAmB;YACxE,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YAC7B,sCAAsC;YACtC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;IACL,CAAC,CAAA;IAED,QAAQ,CAAC,EAAE,CAAC,CAAC;IACb,OAAO,YAAY,CAAC;AACxB,CAAC;AA5BD,0IA4BC;AAED,6BAA6B;AAC7B,SAAgB,iDAAiD,CAAC,EAAsB;IAEpF,MAAM,WAAW,GAA2D,EAAE,CAAC;IAE/E,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC1B,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAoB,EAAE,EAAE;YAC1C,0CAA0C;YAC1C,2CAA2C;QAC/C,CAAC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,WAAW,CAAC;AACvB,CAAC;AAZD,8GAYC;AAED,SAAgB,oDAAoD,CAAC,EAAsB;IAEvF,MAAM,cAAc,GAAkD,EAAE,CAAC;IAEzE,EAAE,CAAC,SAAS,EAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7D,EAAE,CAAC,UAAU,EAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;QAC7B,EAAE,CAAC,iBAAiB,EAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,cAAc,CAAC;AAC1B,CAAC;AAVD,oHAUC;AAED,iBAAiB;AACjB,SAAS,cAAc,CAAC,GAAW,EAAE,EAAgB;IACjD,sBAAsB;IACtB,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,CAAC;IACxC,KAAK,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;AACzD,CAAC;AAGD,MAAM,aAAa,GAAG,CAAC,GAAW,EAAE,EAAe,EAAE,EAAE;IACnD,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,GAAW,EAAE,EAAkB,EAAE,EAAE;IACrD,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,2BAAY,CAAC,CAAC,CAAC,oEAAoE;AACvG,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,GAAW,EAAE,EAAe,EAAE,EAAE;IACnD,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,mBAAW,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAS,EAAE,EAAE;IACzC,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,CAAC;IACxC,IAAI,KAAK,EAAE,CAAC;QACV,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,IAAA,oCAAqB,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;AAClD,CAAC,CAAA;AAED;;;GAGG;AACI,MAAM,wBAAwB,GAAG,CAAC,GAAW,EAAE,EAAE;IACpD,MAAM,gBAAgB,GAAG,IAAI,8BAAc,CAAC;QACxC,QAAQ,EAAE,gBAAgB;QAC1B,aAAa,EAAE,oCAAoC;QACnD,QAAQ,EAAE,WAAW;KACxB,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,IAAA,mCAAoB,EAC9B,CAAC,MAAM,EAAE,QAAQ,CAAC,EAClB,CAAC,IAAA,8BAAe,EAAC,IAAI,8BAAc,CAAC;YAChC,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,WAAW;SACxB,CAAC,CAAC,EAAE,yBAAU,CAAC,CACnB,CAAC;IAEF,MAAM,OAAO,GAAG,IAAA,mCAAoB,EAChC,CAAC,2BAAY,EAAE,gBAAgB,CAAC,EAChC,KAAK,EACL,CAAC,IAAI,8BAAc,CAAC;YAChB,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,WAAW;SACxB,CAAC,CAAC,CACN,CAAC;IAEF,MAAM,iBAAiB,GAAG,IAAI,qBAAK,CAAC;QAChC,IAAI,EAAE,cAAc;KACvB,CAAC,CAAC;IACH,iBAAiB,CAAC,gBAAgB,GAAG,OAAO,CAAC;IAC7C,MAAM,SAAS,GAAG,8CAA8C,CAAC;IAEjE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IACvD,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC,CAAA;AA/BY,QAAA,wBAAwB,4BA+BpC;AAGM,MAAM,qCAAqC,GAC9C,CAAC,SAAgB,EAAE,OAAc,EAAE,EAAE,CACrC,CAAC,QAAoB,EAAE,WAAgC,OAAO,EAAE,EAAE,CAClE,CAAC,GAAW,EAAE,MAAiB,EAAE,EAAE;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,cAAc;YAAE,SAAS;QAE/B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,IAAA,yBAAQ,EAAC,KAAK,CAAC,EAAE,CAAC;YAClB,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,cAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YAClE,CAAC,CAAC,gBAAgB,GAAG,SAAS,CAAC;QACnC,CAAC;aAAM,IAAI,CAAC,IAAA,iCAAgB,EAAC,KAAK,CAAC,EAAE,CAAC;YAClC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,2BAA2B,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC/E,CAAC,CAAC,gBAAgB,GAAG,SAAS,CAAC;QACnC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,cAAc;YAAE,SAAS;QAE/B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,IAAA,yBAAQ,EAAC,KAAK,CAAC,EAAE,CAAC;YAClB,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,cAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YAClE,CAAC,CAAC,gBAAgB,GAAG,SAAS,CAAC;QACnC,CAAC;aAAM,IAAI,CAAC,IAAA,iCAAgB,EAAC,KAAK,CAAC,EAAE,CAAC;YAClC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,2BAA2B,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC/E,CAAC,CAAC,gBAAgB,GAAG,SAAS,CAAC;QACnC,CAAC;IACL,CAAC;AACL,CAAC,CAAC;AA5BO,QAAA,qCAAqC,yCA4B5C"}
1
+ {"version":3,"file":"dispatch-def.js","sourceRoot":"","sources":["../../src/typer/dispatch-def.ts"],"names":[],"mappings":";;;AAAA,uDAmC6B;AAC7B,8DAEkC;AAElC,mCAGiB;AAEjB,yDAAiD;AACjD,8EAAuG;AACvG,mDAAwE;AACxE,mEAA8D;AAC9D,iDAUwB;AAExB,qDAO0B;AAC1B,iDAA0D;AAE1D,mDAA8D;AAC9D,uCAAuC;AAGvC,0CAA0C;AAC1C,SAAgB,WAAW,CAAC,GAAW,EAAE,EAAc;IACnD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC,CAAC,gBAAgB;IAC5C,MAAM,cAAc,GAAG,GAAG,CAAC,WAAW,CAAC;IACvC,GAAG,CAAC,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,IAAA,qDAAmC,EAAC,EAAE,CAAC,EAAE,CAAC;QAC1C,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,CAAC,YAAY;QACd,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC;YACjB,KAAK,UAAU;gBAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC5C,KAAK,OAAO;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACtC,KAAK,QAAQ;gBAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACxC,KAAK,WAAW,CAAC,CAAC,MAAM;YACxB,KAAK,OAAO;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACtC,KAAK,gBAAgB;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC/C,KAAK,eAAe;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC9C,mDAAmD;YACnD,KAAK,QAAQ;gBAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACxC,KAAK,WAAW;gBAAE,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC9C,KAAK,MAAM,CAAC,CAAC,4BAA4B,CAAC,MAAM;YAChD,KAAK,YAAY;gBAAE,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAChD,KAAK,WAAW,CAAC;YACjB,KAAK,eAAe;gBAAE,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAClD,KAAK,uBAAuB;gBAAE,uBAAuB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACtE,KAAK,iBAAiB;gBAAE,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC1D,KAAK,WAAW;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC1C,KAAK,2BAA2B;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC1D,KAAK,gBAAgB;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC/C,KAAK,OAAO;gBAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACtC,KAAK,YAAY,CAAC,CAAC,MAAM;YACzB,KAAK,cAAc;gBAAE,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACpD,KAAK,iBAAiB;gBAAE,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC1D,KAAK,kBAAkB;gBAAE,kBAAkB,CAAC,GAAG,EAAE,EAAsB,CAAC,CAAC;gBAAC,MAAM;YAChF,KAAK,WAAW;gBAAE,IAAA,8BAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC9C,KAAK,QAAQ;gBAAE,IAAA,gBAAQ,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACxC,KAAK,WAAW;gBAAE,IAAA,mBAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM,CAAC,mBAAmB;YAClE,KAAK,WAAW;gBAAE,IAAA,mBAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YAC9C,OAAO,CAAC,CAAC,CAAC;gBACN,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;gBACrD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACL,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACrD,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;YAAS,CAAC;QACP,IAAI,IAAA,qDAAmC,EAAC,EAAE,CAAC,EAAE,CAAC;YAC1C,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC;QACD,GAAG,CAAC,WAAW,GAAG,cAAc,CAAC;IACrC,CAAC;AACL,CAAC;AAvDD,kCAuDC;AAED,SAAS,WAAW,CAAC,GAAW,EAAE,EAA6B;IAC3D,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC;IAC1E,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,4DAA4D;IAC5D,6EAA6E;IAC7E,oEAAoE;IACpE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAA,qCAAqB,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACxE,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAErC,8BAA8B;IAC9B,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;QAC9E,IAAI,QAAQ,EAAE,CAAC;YACX,gEAAgE;YAChE,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;YAC9E,SAAS,CAAC,GAAG,CAAC,EAA2B,CAAC,CAAC;YAC3C,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAE9C,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EAA2B,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;YAC9F,MAAM,CAAC,GAAG,CAAC,QAAiC,CAAC,CAAC;YAC9C,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EAA2B,EAAE,MAAM,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,kBAAkB,GAAG,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;QACpG,4BAA4B;QAC5B,kBAAkB,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAE5B,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1F,4BAA4B;QAC5B,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;AACL,CAAC;AAED,MAAM,uBAAuB,GAAG,WAAW,CAAC;AAErC,MAAM,kBAAkB,GAAG,CAA8B,EAAK,EAAE,EAAE;IACrE,MAAM,eAAe,GAAG,IAAA,2CAAmB,EAAC,EAAE,CAAC,CAAC;IAChD,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,cAAc,wBAAwB,CAAC,CAAC;QACjE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACxB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACxE,IAAI,CAAC,CAAC,qBAAqB,EAAE,CAAC;gBAC1B,OAAO;YACX,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC;gBACtB,OAAO;YACX,CAAC;YACD,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;YACnC,IAAI,EAAE,IAAI,IAAA,iCAAgB,EAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,mBAAmB;gBACnB,CAAC,CAAC,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC;gBAC3B,mBAAmB;gBACnB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;gBAC5C,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE;oBACd,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC5C,CAAC,CAAC,CAAC;YACP,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC,CAAA;AA1BY,QAAA,kBAAkB,sBA0B9B;AAED,SAAgB,OAAO,CAA8B,GAAW,EAAE,EAAK;IACnE,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACtF,OAAO;IACP,EAAE,CAAC,OAAO,KAAK,2BAA2B,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAE,EAAgC,CAAC,UAAU,CAAC,CAAC,CAAC;IAChH,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACpB,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IACH,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAElD,IAAA,8BAAc,EAAC,GAAG,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAA,2BAAmB,EAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IAExC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,IAAA,oCAAqB,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAEhD,mBAAmB;IACnB,IAAG,CAAC,GAAG,CAAC,MAAM,EAAC,CAAC;QACd,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvB,8CAA8C;QAC9C,GAAG,CAAC,aAAa,CAAC,oBAAU,CAAC,CAAC;IAChC,CAAC;IAED,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AAC9B,CAAC;AAvBD,0BAuBC;AAED,MAAM,iBAAiB,GAAG,CAAC,GAAW,EAAE,EAAmB,EAAE,EAAE;IAC3D,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC;IACvC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACrC,CAAC,CAAA;AAEM,MAAM,qBAAqB,GAAG,CAAC,GAAW,EAAE,MAAgC,EAAqB,EAAE;IACtG,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,kBAAkB,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;YACxC;;eAEG;YACH,OAAO,CAAC,IAAI,CAAC,GAAG,IAAA,0BAAkB,EAAC,KAAK,CAAC,CAAC,CAAC;QAC/C,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC,CAAA;AAXY,QAAA,qBAAqB,yBAWjC;AAEM,MAAM,qBAAqB,GAAG,CAAC,MAA4D,EAAE,EAAE;IAClG,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC,CAAC,mBAAmB;QAC7C,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YACzD,IAAI,KAAK,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;gBACrC,KAAK,CAAC,QAAQ,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;YACrC,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC,CAAA;AAVY,QAAA,qBAAqB,yBAUjC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,EAAY;IACzC,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhC,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,gCAAgC;IAC7E,MAAM,KAAK,GAAG,EAAE,CAAC,cAAc,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACtE,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAC5D,MAAM,EAAE,GAAG,EAAE,CAAC,cAAc,IAAI,QAAQ,CAAC;QACzC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACxB,CAAC;SAAM,CAAC;QACJ,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,EAAmB;IACvD,IAAA,4BAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IACtD,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAW,EAAE,EAAoB;IACzD,IAAA,4BAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IACtD,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;AACvC,CAAC;AAED,qBAAqB;AACrB,SAAS,QAAQ,CAAC,GAAW,EAAE,EAAU;IACrC,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhC,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA,CAAC,gCAAgC;IAC5E,MAAM,EAAE,GAAG,EAAE,CAAC,cAAc,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACnE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAEpB,IAAA,4BAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB;AACnF,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,EAA0B;IACpD,IAAI,EAAE,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;QAClC,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,gCAAgC;IAC7E,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAE,mDAAmD;IAExF,IAAA,4BAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB;IAE/E,EAAE,CAAC,QAAQ,GAAG,OAAO,CAAC,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IACnD,IAAI,EAAE,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;QAClC,EAAE,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;IAC/B,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW,EAAE,EAAU;IACrC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa;QACrD,IAAI,CAAC,YAAY,IAAI,IAAA,6BAAa,EAAC,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IACH,gEAAgE;IAChE,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,YAAY,CAAC,GAAW,EAAE,EAAc;IAC7C,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,WAAW,CAAC,GAAW,EAAE,EAAa;IAC3C,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa;QACrD,IAAI,CAAC,YAAY,IAAI,IAAA,6BAAa,EAAC,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IACH,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IAEvB,gEAAgE;IAChE,IAAI,EAAE,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC5D,IAAI,QAAQ,EAAE,CAAC;YACX,QAAQ,CAAC,cAAc,GAAG,IAAA,8BAAe,EAAC,wBAAS,CAAC,CAAC;QACzD,CAAC;IACL,CAAC;AACL,CAAC;AAED,+CAA+C;AACxC,MAAM,WAAW,GAAG,CAAC,GAAW,EAAE,EAAa,EAAE,EAAE;IACtD,gCAAgC;IAChC,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7C,0BAA0B;IAC1B,MAAM,IAAI,GAAG,qEAAqE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5F,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAE3C,sBAAsB;IACtB,MAAM,MAAM,GAAG,+DAA+D,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,IAAA,uCAAwB,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzD,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7C,UAAU;IACV,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAC1C,CAAC,CAAA;AAfY,QAAA,WAAW,eAevB;AAED,+CAA+C;AACxC,MAAM,WAAW,GAAG,CAAC,GAAW,EAAE,EAAa,EAAE,EAAE;IACtD,0BAA0B;IAC1B,MAAM,IAAI,GAAG,qEAAqE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5F,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAE3C,sBAAsB;IACtB,MAAM,MAAM,GAAG,+DAA+D,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,IAAA,uCAAwB,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzD,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IAErD,sBAAsB;IACtB,MAAM,KAAK,GAAG,iDAAiD,CAAC,EAAE,CAAC,CAAC;IACpE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAE9C,yBAAyB;IACzB,MAAM,SAAS,GAAG,oDAAoD,CAAC,EAAE,CAAC,CAAC;IAC3E,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACtD,CAAC,CAAA;AAjBY,QAAA,WAAW,eAiBvB;AAED,4CAA4C;AACrC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAU,EAAE,EAAE;IAChD,0BAA0B;IAC1B,MAAM,IAAI,GAAG,qEAAqE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5F,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAE3C,sBAAsB;IACtB,MAAM,MAAM,GAAG,+DAA+D,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,IAAA,uCAAwB,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzD,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7C,sBAAsB;IACtB,MAAM,KAAK,GAAG,iDAAiD,CAAC,EAAE,CAAC,CAAC;IACpE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAE9C,yBAAyB;IACzB,MAAM,SAAS,GAAG,oDAAoD,CAAC,EAAE,CAAC,CAAC;IAC3E,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAElD,2BAA2B;IAC3B,+EAA+E;AACnF,CAAC,CAAA;AApBY,QAAA,QAAQ,YAoBpB;AAED,0EAA0E;AAC1E,iEAAiE;AACjE,SAAgB,qEAAqE,CAAC,GAAW,EAAE,EAAwC;IACvI,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,MAAM,QAAQ,GAAG,CAAC,EAAwC,EAAE,EAAE;QAC1D,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC7B,EAAE,CAAC,UAAU,EAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;QAC3D,EAAE,CAAC,UAAU,EAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;QAC3D,EAAE,CAAC,OAAO,KAAK,WAAW,IAAI,EAAE,CAAC,WAAW,EAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;QAC3F,EAAE,CAAC,OAAO,KAAK,WAAW,IAAI,EAAE,CAAC,aAAa,EAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC;QAC/F,EAAE,CAAC,OAAO,KAAK,WAAW,IAAK,EAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC9E,mBAAmB;QACnB,EAAE,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACtE,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YAC5B,EAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC7C,kCAAkC;YAClC,UAAU,CAAC,IAAI,CAAC,GAAI,EAAgB,CAAC,iBAAiB,CAAC,CAAC;YACxD,UAAU,CAAC,IAAI,CAAC,GAAI,EAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,CAAC;IACL,CAAC,CAAA;IACD,QAAQ,CAAC,EAAE,CAAC,CAAC;IAEb,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;QACvB,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3C,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClC,EAAE,CAAC,WAAW,IAAI,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC;QACrD,EAAE,CAAC,qBAAqB,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5C,8CAA8C;IAClD,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AA7BD,sJA6BC;AAED,oCAAoC;AACpC,SAAgB,+DAA+D,CAAC,EAAwC;IAEpH,MAAM,YAAY,GAA4F,EAAE,CAAC;IAEjH,MAAM,QAAQ,GAAG,CAAC,EAAwC,EAAE,EAAE;QAC1D,EAAE,CAAC,MAAM,EAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC,CAAC,mBAAmB;YACzE,EAAE,CAAC,UAAU,EAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,2BAA2B;YACzF,EAAE,CAAC,0BAA0B,EAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,2BAA2B;YACzH,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;QAC/C,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;YACvB,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,CAAC;YAC1C,EAAE,CAAC,qBAAqB,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC,CAAC,mBAAmB;YACjD,EAAE,CAAC,kBAAkB,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB;YACtF,EAAE,CAAC,WAAW,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,mBAAmB;YACxE,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YAC7B,sCAAsC;YACtC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;IACL,CAAC,CAAA;IAED,QAAQ,CAAC,EAAE,CAAC,CAAC;IACb,OAAO,YAAY,CAAC;AACxB,CAAC;AA5BD,0IA4BC;AAED,6BAA6B;AAC7B,SAAgB,iDAAiD,CAAC,EAAsB;IAEpF,MAAM,WAAW,GAA2D,EAAE,CAAC;IAE/E,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC1B,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAoB,EAAE,EAAE;YAC1C,0CAA0C;YAC1C,2CAA2C;QAC/C,CAAC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,WAAW,CAAC;AACvB,CAAC;AAZD,8GAYC;AAED,SAAgB,oDAAoD,CAAC,EAAsB;IAEvF,MAAM,cAAc,GAAkD,EAAE,CAAC;IAEzE,EAAE,CAAC,SAAS,EAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7D,EAAE,CAAC,UAAU,EAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;QAC7B,EAAE,CAAC,iBAAiB,EAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,cAAc,CAAC;AAC1B,CAAC;AAVD,oHAUC;AAED,iBAAiB;AACjB,SAAS,cAAc,CAAC,GAAW,EAAE,EAAgB;IACjD,sBAAsB;IACtB,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,CAAC;IACxC,KAAK,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;AACzD,CAAC;AAGD,MAAM,aAAa,GAAG,CAAC,GAAW,EAAE,EAAe,EAAE,EAAE;IACnD,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,GAAW,EAAE,EAAkB,EAAE,EAAE;IACrD,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,2BAAY,CAAC,CAAC,CAAC,oEAAoE;AACvG,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,GAAW,EAAE,EAAe,EAAE,EAAE;IACnD,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,mBAAW,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAS,EAAE,EAAE;IACzC,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,CAAC;IACxC,IAAI,KAAK,EAAE,CAAC;QACV,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,IAAA,oCAAqB,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;AAClD,CAAC,CAAA;AAED;;;GAGG;AACI,MAAM,wBAAwB,GAAG,CAAC,GAAW,EAAE,EAAE;IACpD,MAAM,gBAAgB,GAAG,IAAI,8BAAc,CAAC;QACxC,QAAQ,EAAE,gBAAgB;QAC1B,aAAa,EAAE,oCAAoC;QACnD,QAAQ,EAAE,WAAW;KACxB,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,IAAA,mCAAoB,EAC9B,CAAC,MAAM,EAAE,QAAQ,CAAC,EAClB,CAAC,IAAA,8BAAe,EAAC,IAAI,8BAAc,CAAC;YAChC,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,WAAW;SACxB,CAAC,CAAC,EAAE,yBAAU,CAAC,CACnB,CAAC;IAEF,MAAM,OAAO,GAAG,IAAA,mCAAoB,EAChC,CAAC,2BAAY,EAAE,gBAAgB,CAAC,EAChC,KAAK,EACL,CAAC,IAAI,8BAAc,CAAC;YAChB,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,WAAW;SACxB,CAAC,CAAC,CACN,CAAC;IAEF,MAAM,iBAAiB,GAAG,IAAI,qBAAK,CAAC;QAChC,IAAI,EAAE,cAAc;KACvB,CAAC,CAAC;IACH,iBAAiB,CAAC,gBAAgB,GAAG,OAAO,CAAC;IAC7C,MAAM,SAAS,GAAG,8CAA8C,CAAC;IAEjE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IACvD,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC,CAAA;AA/BY,QAAA,wBAAwB,4BA+BpC"}
@@ -1 +1 @@
1
- {"version":3,"file":"dispatch-expr.d.ts","sourceRoot":"","sources":["../../src/typer/dispatch-expr.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,QAAQ,EAER,eAAe,EAGf,aAAa,EACb,YAAY,EACZ,aAAa,EACb,SAAS,EAYT,aAAa,EACb,KAAK,EAIL,YAAY,EAqBZ,UAAU,EACV,cAAc,EAIf,MAAM,qBAAqB,CAAC;AAuC7B,OAAO,EACa,KAAK,UAAU,EAMlC,MAAM,wCAAwC,CAAC;AAMhD,OAAO,EACL,KAAK,MAAM,EACZ,MAAM,SAAS,CAAC;AAwFjB,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAoDnI;AAukBD,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAqHrH;AAGD,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CA6B1H;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,QAUpF;AA4BD,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,8BAmM9F;AA6ED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,8BAkChG;AAED,eAAO,MAAM,mBAAmB,wBAAkB,CAAC;AACnD,eAAO,MAAM,2BAA2B,wBAAkB,CAAC;AAE3D,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,8BAiBhG;AAqiBD,eAAO,MAAM,iBAAiB,QAAS,MAAM,MAAM,cAAc,GAAG,SAAS,KAAG,MAAM,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,CAAC,CAapH,CAAA;AA8FD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAU1H;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAgH7G;AAWD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CA4IvH;AAkCD;;GAEG;AACH,eAAO,MAAM,YAAY,QAAS,MAAM,MAAM,SAAS,SAAS,cAAc,GAAG,SAAS,KAAG,cAAc,GAAG,SAe7G,CAAA;AA6BD,eAAO,MAAM,cAAc,OAAQ,eAAe,GAAG,YAAY,WAAW,MAAM,WAAW,MAAM,KAAG,aAMrG,CAAC"}
1
+ {"version":3,"file":"dispatch-expr.d.ts","sourceRoot":"","sources":["../../src/typer/dispatch-expr.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,QAAQ,EAER,eAAe,EAGf,aAAa,EACb,YAAY,EACZ,aAAa,EACb,SAAS,EAYT,aAAa,EACb,KAAK,EAIL,YAAY,EAqBZ,UAAU,EACV,cAAc,EAIf,MAAM,qBAAqB,CAAC;AAsC7B,OAAO,EACa,KAAK,UAAU,EAMlC,MAAM,wCAAwC,CAAC;AAMhD,OAAO,EACL,KAAK,MAAM,EACZ,MAAM,SAAS,CAAC;AAwFjB,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAoDnI;AA4kBD,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAqHrH;AAGD,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CA6B1H;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,QAUpF;AA4BD,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,8BA+L9F;AAwED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,8BAmChG;AAED,eAAO,MAAM,mBAAmB,wBAAkB,CAAC;AACnD,eAAO,MAAM,2BAA2B,wBAAkB,CAAC;AAE3D,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,8BAkBhG;AAoiBD,eAAO,MAAM,iBAAiB,QAAS,MAAM,MAAM,cAAc,GAAG,SAAS,KAAG,MAAM,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,CAAC,CAapH,CAAA;AA8FD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAU1H;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAgH7G;AAWD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CA6IvH;AAkCD;;GAEG;AACH,eAAO,MAAM,YAAY,QAAS,MAAM,MAAM,SAAS,SAAS,cAAc,GAAG,SAAS,KAAG,cAAc,GAAG,SAe7G,CAAA;AA6BD,eAAO,MAAM,cAAc,OAAQ,eAAe,GAAG,YAAY,WAAW,MAAM,WAAW,MAAM,KAAG,aAMrG,CAAC"}
@@ -84,7 +84,8 @@ function tpPaginate(env, nd, tgtTy) {
84
84
  // 分页返回的似乎是 { list:..., total: Integer }
85
85
  env.setType(nd, (0, type_manager_1.createAnonymousTyAnn)(['list', 'total'], [env.getRawType(nd.list),
86
86
  type_manager_1.naslLongTy]));
87
- // 暂时应该不会有这种奇葩的推导,省一点是一点 env.unifier.unify(env.getRawType(nd), tgtTy);
87
+ // 暂时应该不会有这种奇葩的推导,省一点是一点: ==> 现在加上吧,赋值那边的额外 unify 可以完全去掉
88
+ env.unifier.unify(env.getRawType(nd), tgtTy);
88
89
  return env.getRawType(nd);
89
90
  }
90
91
  function tpNullLiteral(env, nd, tgtTy) {
@@ -94,9 +95,6 @@ function tpNullLiteral(env, nd, tgtTy) {
94
95
  return type_manager_1.naslNullTy;
95
96
  }
96
97
  function tpDefaultValue(env, nd, tgtTy) {
97
- if (nd.playground) {
98
- (0, dispatch_stmt_1.tpSolvingPlayground)(env, nd.playground);
99
- }
100
98
  if (nd.expression) {
101
99
  // Date 系列的东西默认值都是 StringLiteral,所以这里要特殊处理。
102
100
  if ((0, type_predicate_2.isDateTy)(tgtTy) || (0, type_predicate_2.isTimeTy)(tgtTy) || (0, type_predicate_2.isDateTimeTy)(tgtTy)) {
@@ -119,6 +117,7 @@ function tpDefaultValue(env, nd, tgtTy) {
119
117
  }
120
118
  // 大有讲究:敢信现在 let x: Decimal = 0 的 0 是 Decimal 类型(与逻辑里不同)
121
119
  env.setType(nd, tgtTy ?? env.getRawType(nd.expression));
120
+ (0, dispatch_stmt_1.tpSolvingPlayground)(env, nd.playground);
122
121
  return env.getRawType(nd);
123
122
  }
124
123
  function tpStringLiteral(env, nd, tgtTy) {
@@ -185,13 +184,6 @@ function tpIdentifier(env, nd, tgtTy) {
185
184
  env.setType(nd, tgtTy);
186
185
  return;
187
186
  }
188
- // a.b.c 中的 b 和 c 不应指向局部变量
189
- if (!env.isInMemberExpr && (0, nasl_predicate_1.isTypeInferConcept)(def)) {
190
- nd.pointToSymbol = def;
191
- }
192
- else if (nd.pointToSymbol) {
193
- nd.pointToSymbol = undefined;
194
- }
195
187
  let refTy = env.getRawType(def);
196
188
  if (refTy) {
197
189
  env.setType(nd, refTy);
@@ -201,8 +193,17 @@ function tpIdentifier(env, nd, tgtTy) {
201
193
  env.setType(nd, freshTy);
202
194
  env.setType(def, freshTy);
203
195
  }
204
- env.unifier.unify(env.getRawType(nd), tgtTy);
205
- return env.getRawType(nd);
196
+ const ndTy = env.getRawType(nd);
197
+ // a.b.c 中的 b 和 c 不应指向局部变量、不收集草稿区的推导
198
+ if (!env.isInMemberExpr && (0, nasl_predicate_1.isTypeInferConcept)(def)) {
199
+ env.idToVar.set(nd, def);
200
+ !env.isPlayground && env.allRefsInPlayground.delete(def);
201
+ }
202
+ else {
203
+ env.idToVar.delete(nd);
204
+ }
205
+ env.unifier.unify(ndTy, tgtTy);
206
+ return ndTy;
206
207
  }
207
208
  function tpMemberExpression(env, nd, tgtTy) {
208
209
  let rawObjTyAnn = undefined;
@@ -358,9 +359,6 @@ function tpBinaryArithExpr(env, nd, tgtTy) {
358
359
  else if ((0, type_predicate_2.isIntegerTy)(rightTy)) {
359
360
  env.unifier.unify(type_manager_1.naslLongTy, leftTy);
360
361
  }
361
- else {
362
- env.unifier.unifyEq(leftTy, rightTy);
363
- }
364
362
  }
365
363
  else if (!(0, type_predicate_2.isTyAnnTyParam)(leftTy) && (0, type_predicate_2.isTyAnnTyParam)(rightTy)) {
366
364
  if ((0, type_predicate_2.isDecimalTy)(leftTy)) {
@@ -369,9 +367,6 @@ function tpBinaryArithExpr(env, nd, tgtTy) {
369
367
  else if ((0, type_predicate_2.isIntegerTy)(leftTy)) {
370
368
  env.unifier.unify(type_manager_1.naslLongTy, rightTy);
371
369
  }
372
- else {
373
- env.unifier.unifyEq(rightTy, leftTy);
374
- }
375
370
  }
376
371
  // 人肉 solve
377
372
  const hasString = (0, type_predicate_2.isStringTy)(leftTy) || (0, type_predicate_2.isStringTy)(rightTy);
@@ -504,19 +499,27 @@ function tpPlusExpression(env: SemEnv, nd: BinaryExpression, tgtTy: TypeAnnotati
504
499
  * == != 的检查也不好做
505
500
  * (==): <T>(Null, T) -> Boolean
506
501
  * (==): <T>(T, Null) -> Boolean
507
- * (==): <T1 extends Integer | Decimal, T2 extends Integer | Decimal>(T1, T2) -> Boolean
502
+ * (==): <T1 extends Integer | Decimal, T2 extends Integer | Decimal>(T1, T2) -> Boolean ==> T1、T2 毫无关系
508
503
  * (==): <T>(T, T) -> Boolean
509
504
  */
510
505
  const tpBinaryComparisonExpr = (env, nd, tgtTy) => {
511
506
  let leftTy = dispatchExpr(env, nd.left, undefined);
512
507
  let rightTy = dispatchExpr(env, nd.right, undefined);
513
- if ((0, type_predicate_2.isTyAnnTyParam)(rightTy)) {
514
- rightTy = leftTy;
515
- env.unifier.unifyEq(rightTy, leftTy);
508
+ if ((0, type_predicate_2.isTyAnnTyParam)(leftTy) && !(0, type_predicate_2.isTyAnnTyParam)(rightTy)) {
509
+ if ((0, type_predicate_2.isDecimalTy)(rightTy)) {
510
+ env.unifier.unify(leftTy, type_manager_1.naslDecimalTy);
511
+ }
512
+ else if ((0, type_predicate_2.isIntegerTy)(rightTy)) {
513
+ env.unifier.unify(type_manager_1.naslLongTy, leftTy);
514
+ }
516
515
  }
517
- else if ((0, type_predicate_2.isTyAnnTyParam)(leftTy)) {
518
- leftTy = rightTy;
519
- env.unifier.unifyEq(leftTy, rightTy);
516
+ else if (!(0, type_predicate_2.isTyAnnTyParam)(leftTy) && (0, type_predicate_2.isTyAnnTyParam)(rightTy)) {
517
+ if ((0, type_predicate_2.isDecimalTy)(leftTy)) {
518
+ env.unifier.unify(rightTy, type_manager_1.naslDecimalTy);
519
+ }
520
+ else if ((0, type_predicate_2.isIntegerTy)(leftTy)) {
521
+ env.unifier.unify(type_manager_1.naslLongTy, rightTy);
522
+ }
520
523
  }
521
524
  env.unifier.unify(type_manager_1.naslBooleanTy, tgtTy);
522
525
  env.setType(nd, type_manager_1.naslBooleanTy);
@@ -686,7 +689,8 @@ function tpCallLogic(env, nd, tgtTy) {
686
689
  env.setType(arg, parTy);
687
690
  }
688
691
  else {
689
- // 报错
692
+ // 报错:泛型逻辑调用,最后的 callInfo 里有 type variables,会被判定为 unresolved,目前不检查 arg 会缺少报错
693
+ // env.addError(`调用逻辑:参数不能为空`, env.getCurFileNode(), arg);
690
694
  env.setType(arg, type_manager_1.naslAnyTy);
691
695
  }
692
696
  }
@@ -705,9 +709,7 @@ function tpCallLogic(env, nd, tgtTy) {
705
709
  // 给 checker 报错用,都给吧,CallLogic 也有要处理 Error | T 返回类型的复杂情形,checker 直接拿结果就行不用重复处理
706
710
  // TODO: 前端的部分组件逻辑好像指飞了(env.resoleRef 和 env.resolvedCallInfo 结果不一样)……先用 !env.isView 判断一下
707
711
  if (!env.isView || nd.calleeNamespace === 'nasl.util') { // json 序列化 - similarly add param info for nasl.util
708
- const callInfo = (0, type_manager_1.createFunctionDef)(fnTy.typeArguments, finalRetTy, def, fnTy.typeParams, // Pass type parameters for generic functions
709
- nd.calleeNamespace.startsWith('extensions.') ? nd.calleeNamespace.split('.')[1] : undefined // 是否来自依赖库,TODO:目前只能优化服务端报错,页面的调用没有 callInfo
710
- );
712
+ const callInfo = (0, type_manager_1.createFunctionDef)(fnTy.typeArguments, finalRetTy, def, fnTy.typeParams);
711
713
  env.resolvedCallInfo.set(nd, callInfo);
712
714
  }
713
715
  if (fnTy.typeParams?.length) {
@@ -820,10 +822,8 @@ function tpCallFunction(env, nd, tgtTy) {
820
822
  const fnTy = fnDef?.__TypeAnnotation;
821
823
  (0, helper_1.zipWith_)(env.unifier.unify, argTys, fnTy?.typeArguments);
822
824
  env.setType(nd, fnTy?.returnType?.[0] ?? type_manager_1.naslAnyTy); // 似乎不可能为空
823
- if (!env.isView) {
824
- const callInfo = (0, type_manager_1.createFunctionDef)(argTys, fnTy?.returnType?.[0] ?? type_manager_1.naslAnyTy, fnDef);
825
- env.resolvedCallInfo.set(nd, callInfo);
826
- }
825
+ const callInfo = (0, type_manager_1.createFunctionDef)(argTys, fnTy?.returnType?.[0] ?? type_manager_1.naslAnyTy, fnDef, undefined);
826
+ env.resolvedCallInfo.set(nd, callInfo);
827
827
  return env.getRawType(nd);
828
828
  }
829
829
  const fnDef = env.quickGetLibDef(nd);
@@ -851,12 +851,9 @@ function tpCallFunction(env, nd, tgtTy) {
851
851
  env.unifier.unify(finalRetTy, tgtTy);
852
852
  // TODO:处理可选参数必填选填问题
853
853
  env.setType(nd, finalRetTy); // 似乎不可能为空
854
- // Extract optional parameter information from type annotations
855
- if (!env.isView) {
856
- const callInfo = (0, type_manager_1.createFunctionDef)(fnTy.typeArguments, finalRetTy, fnDef, fnTy.typeParams // 实例化后的
857
- );
858
- env.resolvedCallInfo.set(nd, callInfo);
859
- }
854
+ const callInfo = (0, type_manager_1.createFunctionDef)(fnTy.typeArguments, finalRetTy, fnDef, // 内置函数
855
+ fnTy.typeParams);
856
+ env.resolvedCallInfo.set(nd, callInfo);
860
857
  return finalRetTy;
861
858
  function handleEnumFn(env, nd, tgtTy) {
862
859
  const createAnonymousRetTy = (ty) => (0, type_manager_1.createAnonymousTyAnn)(['text', 'value'], [type_manager_1.naslStringTy, ty]);
@@ -964,15 +961,10 @@ function tpLengthAndConvertCall(env, nd, tgtTy) {
964
961
  // For Length function, the parameter is required
965
962
  // Create a mock definition for the Length function
966
963
  const mockLengthDef = {
967
- params: [{
968
- name: 'collection',
969
- optional: false
970
- }]
964
+ params: [{ name: 'collection', optional: false }]
971
965
  };
972
- if (!env.isView) {
973
- const callInfo = (0, type_manager_1.createFunctionDef)(argTys, type_manager_1.naslLongTy, mockLengthDef);
974
- env.resolvedCallInfo.set(nd, callInfo); // 存储函数定义(含参数和返回类型)
975
- }
966
+ const callInfo = (0, type_manager_1.createFunctionDef)(argTys, type_manager_1.naslLongTy, mockLengthDef, undefined);
967
+ env.resolvedCallInfo.set(nd, callInfo); // 存储函数定义(含参数和返回类型)
976
968
  return type_manager_1.naslLongTy;
977
969
  }
978
970
  if (calleeName === 'Convert') {
@@ -1003,10 +995,8 @@ function tpLengthAndConvertCall(env, nd, tgtTy) {
1003
995
  const mockConvertDef = {
1004
996
  params: paramTys?.map(() => ({ optional: false })) || []
1005
997
  };
1006
- if (!env.isView) {
1007
- const callInfo = (0, type_manager_1.createFunctionDef)(argTys, env.getRawType(nd), mockConvertDef);
1008
- env.resolvedCallInfo.set(nd, callInfo);
1009
- }
998
+ const callInfo = (0, type_manager_1.createFunctionDef)(argTys, env.getRawType(nd), mockConvertDef, undefined);
999
+ env.resolvedCallInfo.set(nd, callInfo);
1010
1000
  return env.getRawType(nd);
1011
1001
  }
1012
1002
  }
@@ -1032,7 +1022,7 @@ function tpCallInterface(env, nd, tgtTy) {
1032
1022
  env.setType(nd, finalRetTy);
1033
1023
  env.unifier.unify(finalRetTy, tgtTy);
1034
1024
  if (!env.isView) {
1035
- const callInfo = (0, type_manager_1.createFunctionDef)(def.params.map(p => p.typeAnnotation), finalRetTy, def);
1025
+ const callInfo = (0, type_manager_1.createFunctionDef)(def.params.map(p => p.typeAnnotation), finalRetTy, def, undefined);
1036
1026
  env.resolvedCallInfo.set(nd, callInfo);
1037
1027
  }
1038
1028
  return finalRetTy;
@@ -1047,7 +1037,7 @@ function tpCallConnector(env, nd, tgtTy) {
1047
1037
  const ndTy = cDef.returns?.[0]?.typeAnnotation;
1048
1038
  env.setType(nd, ndTy);
1049
1039
  if (!env.isView) {
1050
- const callInfo = (0, type_manager_1.createFunctionDef)(cDef.params.map(p => p.typeAnnotation), ndTy, cDef);
1040
+ const callInfo = (0, type_manager_1.createFunctionDef)(cDef.params.map(p => p.typeAnnotation), ndTy, cDef, undefined);
1051
1041
  env.resolvedCallInfo.set(nd, callInfo);
1052
1042
  }
1053
1043
  return ndTy;
@@ -1102,10 +1092,6 @@ function tpSubLogic(env, nd, tgtTy) {
1102
1092
  env.setType(nd, ndTy);
1103
1093
  env.unifier.cs = csCopy;
1104
1094
  env.unifier.unify(ndTy, tgtTy); // 这里需要额外的 unify,否则 SubLogic 算出来的类型不能与外侧进来时的约束产生关系
1105
- if (nd.nodePath?.startsWith('app.logics')) {
1106
- const postChk = (0, dispatch_def_1.checkVariableAndReturnTypeAnnotations)(nd.variables, nd.returns);
1107
- env.addPostCheckTask(nd, postChk(env.getCurFileNode(), env.errSeverity));
1108
- }
1109
1095
  return ndTy;
1110
1096
  }
1111
1097
  function tpArgument(env, nd, tgtTy) {
@@ -1187,9 +1173,10 @@ function tpCallQueryComponent(env, nd, tgtTy) {
1187
1173
  const createdVars = createNameAliasVarNodes(aggrAsNames, groupByAsNames);
1188
1174
  nd.orderBy && nd.orderBy.forEach(tpOrderByExpr);
1189
1175
  nd.having && dispatchExpr(env, nd.having, type_manager_1.naslBooleanTy);
1190
- nd.havingPlayground && (0, dispatch_stmt_1.tpSolvingPlayground)(env, nd.havingPlayground);
1191
1176
  nd.where && dispatchExpr(env, nd.where, type_manager_1.naslBooleanTy);
1192
- nd.wherePlayground && (0, dispatch_stmt_1.tpSolvingPlayground)(env, nd.wherePlayground);
1177
+ // 后置检查连 context 都没了,告辞
1178
+ (0, dispatch_stmt_1.tpSolvingPlayground)(env, nd.wherePlayground);
1179
+ (0, dispatch_stmt_1.tpSolvingPlayground)(env, nd.havingPlayground);
1193
1180
  env.ctxTpQFE = undefined;
1194
1181
  env.ctxCQC = undefined;
1195
1182
  createdVars.forEach(v => {
@@ -1333,10 +1320,10 @@ function tpCallQueryComponent(env, nd, tgtTy) {
1333
1320
  ? (0, type_manager_1.createAnonymousTyAnn)(['list', 'total'], [(0, type_manager_1.createListTyAnn)(nd.typeAnnotation ?? type_manager_1.naslAnyTy), type_manager_1.naslLongTy])
1334
1321
  : (0, type_manager_1.createListTyAnn)(nd.typeAnnotation ?? type_manager_1.naslAnyTy);
1335
1322
  }
1336
- if (nd.ideVersion !== '2.11' && nd.ideVersion !== '2.22' && nd.typeAnnotation) {
1337
- retTy = nd.typeAnnotation; // 那也没办法了,锁死了
1338
- }
1339
- else {
1323
+ // if (nd.ideVersion !== '2.11' && nd.ideVersion !== '2.22' && nd.typeAnnotation) {
1324
+ // retTy = nd.typeAnnotation; // 那也没办法了,锁死了
1325
+ // } else
1326
+ {
1340
1327
  nd.typeAnnotation = retTy;
1341
1328
  if (!env.isFirstScreenCheck && !(0, type_predicate_1.isEqualTy)(env, nd.typeAnnotation, retTy)) {
1342
1329
  // @warning: 这个 typeAnnotation 其实没有用,反正发布的时候会标注上去
@@ -1853,21 +1840,21 @@ function tpEntityLogic(env, nd, tgtTy) {
1853
1840
  env.unifier.unify(finalRetTy, tgtTy);
1854
1841
  // Create a mock definition for entity logics
1855
1842
  const mockDef = { params: paramTys.map(() => ({ optional: false })) };
1856
- const callInfo = (0, type_manager_1.createFunctionDef)(paramTys, finalRetTy, mockDef);
1843
+ const callInfo = (0, type_manager_1.createFunctionDef)(paramTys, finalRetTy, mockDef, undefined);
1857
1844
  env.resolvedCallInfo.set(nd, callInfo);
1858
1845
  return finalRetTy;
1859
1846
  function getRetTy() {
1860
1847
  switch (calleeName) {
1861
1848
  case 'get': return entityRefTy;
1862
1849
  case 'create': return entityOrErrTy; // 带个 Error 类型
1863
- case 'delete': return type_manager_1.naslVoidTy; // 现在如此
1850
+ case 'delete': return type_manager_1.naslLongTy; // 现在如此
1864
1851
  case 'update': return entityRefTy;
1865
1852
  case 'createOrUpdate': return entityOrErrTy; // 带个 Error 类型
1866
1853
  case 'updateBy': return type_manager_1.naslLongTy;
1867
- case 'deleteBy': return type_manager_1.naslVoidTy;
1854
+ case 'deleteBy': return type_manager_1.naslLongTy;
1868
1855
  case 'batchCreate': return listEntityRefTy;
1869
1856
  case 'batchUpdate': return listEntityRefTy;
1870
- case 'batchDelete': return type_manager_1.naslVoidTy;
1857
+ case 'batchDelete': return type_manager_1.naslLongTy;
1871
1858
  case 'import': return type_manager_1.naslStringTy;
1872
1859
  }
1873
1860
  }