@kernlang/python 3.5.2
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.
- package/LICENSE +678 -0
- package/README.md +26 -0
- package/dist/codegen-body-python.d.ts +152 -0
- package/dist/codegen-body-python.js +1648 -0
- package/dist/codegen-body-python.js.map +1 -0
- package/dist/codegen-helpers.d.ts +21 -0
- package/dist/codegen-helpers.js +352 -0
- package/dist/codegen-helpers.js.map +1 -0
- package/dist/codegen-python.d.ts +17 -0
- package/dist/codegen-python.js +106 -0
- package/dist/codegen-python.js.map +1 -0
- package/dist/fastapi-middleware.d.ts +8 -0
- package/dist/fastapi-middleware.js +87 -0
- package/dist/fastapi-middleware.js.map +1 -0
- package/dist/fastapi-portable.d.ts +9 -0
- package/dist/fastapi-portable.js +295 -0
- package/dist/fastapi-portable.js.map +1 -0
- package/dist/fastapi-raw-handler.d.ts +28 -0
- package/dist/fastapi-raw-handler.js +282 -0
- package/dist/fastapi-raw-handler.js.map +1 -0
- package/dist/fastapi-response.d.ts +13 -0
- package/dist/fastapi-response.js +150 -0
- package/dist/fastapi-response.js.map +1 -0
- package/dist/fastapi-route.d.ts +12 -0
- package/dist/fastapi-route.js +629 -0
- package/dist/fastapi-route.js.map +1 -0
- package/dist/fastapi-types.d.ts +39 -0
- package/dist/fastapi-types.js +5 -0
- package/dist/fastapi-types.js.map +1 -0
- package/dist/fastapi-utils.d.ts +16 -0
- package/dist/fastapi-utils.js +99 -0
- package/dist/fastapi-utils.js.map +1 -0
- package/dist/fastapi-websocket.d.ts +6 -0
- package/dist/fastapi-websocket.js +77 -0
- package/dist/fastapi-websocket.js.map +1 -0
- package/dist/generators/core.d.ts +23 -0
- package/dist/generators/core.js +906 -0
- package/dist/generators/core.js.map +1 -0
- package/dist/generators/data.d.ts +15 -0
- package/dist/generators/data.js +443 -0
- package/dist/generators/data.js.map +1 -0
- package/dist/generators/ground.d.ts +20 -0
- package/dist/generators/ground.js +333 -0
- package/dist/generators/ground.js.map +1 -0
- package/dist/generators/infra.d.ts +8 -0
- package/dist/generators/infra.js +109 -0
- package/dist/generators/infra.js.map +1 -0
- package/dist/index.d.ts +6 -0
- package/dist/index.js +7 -0
- package/dist/index.js.map +1 -0
- package/dist/ir-semantics/python-leg.d.ts +45 -0
- package/dist/ir-semantics/python-leg.js +291 -0
- package/dist/ir-semantics/python-leg.js.map +1 -0
- package/dist/python-stdlib-preamble.d.ts +32 -0
- package/dist/python-stdlib-preamble.js +86 -0
- package/dist/python-stdlib-preamble.js.map +1 -0
- package/dist/transpiler-fastapi.d.ts +8 -0
- package/dist/transpiler-fastapi.js +593 -0
- package/dist/transpiler-fastapi.js.map +1 -0
- package/dist/type-map.d.ts +14 -0
- package/dist/type-map.js +288 -0
- package/dist/type-map.js.map +1 -0
- package/package.json +37 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/generators/core.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,mCAAmC,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAMlF;;;;;;;;;;;;;;eAce;AACf,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACjE,IAAI,OAAO,IAAI,OAAO,CAAC,KAAK,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9C,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,mCAAmC,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/F,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1D,6DAA6D;QAC7D,uEAAuE;QACvE,0EAA0E;QAC1E,mEAAmE;QACnE,MAAM,WAAW,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,GAAG,WAAW,GAAG,EAAE,CAAC,CAAC;QACpF,oEAAoE;QACpE,yEAAyE;QACzE,uEAAuE;QACvE,iEAAiE;QACjE,MAAM,YAAY,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAClC,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACrE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9C,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;8EAU8E;AAC9E,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,wEAAwE;IACxE,yEAAyE;IACzE,sEAAsE;IACtE,qEAAqE;IACrE,sDAAsD;IACtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,UAAU,GAAG,CAAC,OAAe,EAAE,KAAa,EAAQ,EAAE;QAC1D,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,mCAAmC,OAAO,qBAAqB,KAAK,6DAA6D;gBAC/H,+GAA+G,CAClH,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC9E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACxG,IAAI,cAAc;gBAAE,SAAS;YAC7B,MAAM,OAAO,GAAI,KAAK,CAAC,KAAK,EAAE,IAAe,IAAI,EAAE,CAAC;YACpD,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;YACnC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,OAAO;gBAAE,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,SAAS,GAAI,IAAI,CAAC,KAAK,EAAE,MAAiB,IAAI,EAAE,CAAC;IACvD,IAAI,CAAC,SAAS;QAAE,OAAO,GAAG,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC;QAC1B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACnC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,OAAO;YAAE,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IAC9C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4EAA4E;AAC5E,sDAAsD;AACtD,wDAAwD;AAExD,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAA2B,CAAC;IAElE,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,MAAM;aACnB,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC;aAC3B,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,IAAI,cAAc,OAAO,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,IAAI,MAAM,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAC;AAC3B,CAAC;AAED,4EAA4E;AAC5E,uBAAuB;AACvB,8BAA8B;AAC9B,iCAAiC;AACjC,kDAAkD;AAClD,4BAA4B;AAC5B,gBAAgB;AAChB,mBAAmB;AACnB,oCAAoC;AAEpC,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAc,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,OAAiB,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IACrG,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,EAAE,CAAC,QAAQ,KAAK,MAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC;QAClE,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,KAAK,gBAAgB,CAAC,CAAC;QACrD,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,qFAAqF;AACrF,gEAAgE;AAChE,YAAY;AAEZ,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAc,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAiB,CAAC;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;IAC/D,MAAM,KAAK,GAAa,CAAC,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhE,wEAAwE;IACxE,wEAAwE;IACxE,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAE7C,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAEpC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,OAAO,IAAI,IAAI,SAAS,IAAI,SAAS,GAAG,CAAC,CAAC;IAC/D,IAAI,IAAI,EAAE,CAAC;QACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAY;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QAClC,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;QACzC,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,WAAW,GAAG,mDAAmD,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtF,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,WAAW,WAAW,CAAC,CAAC,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC;QACtE,CAAC;QACD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY;IAC1C,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAChE,OAAO,IAAI,CAAC,OAAO,CAAC,kCAAkC,EAAE,CAAC,MAAM,EAAE,MAAc,EAAE,KAAa,EAAE,IAAY,EAAE,EAAE;QAC9G,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;QAC9D,OAAO,GAAG,MAAM,GAAG,KAAK,GAAG,WAAW,GAAG,KAAK,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY;IAC1C,OAAO,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,KAAa,EAAE,IAAY,EAAE,EAAE;QAC/E,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;QAC9D,OAAO,GAAG,KAAK,GAAG,WAAW,GAAG,KAAK,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4EAA4E;AAC5E,2BAA2B;AAC3B,oCAAoC;AACpC,0CAA0C;AAC1C,sCAAsC;AAEtC,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,GAAG,GAAI,KAAK,CAAC,OAAkB,IAAI,WAAW,CAAC;IACrD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAiB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC;IAErC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,UAAU,GAAa,CAAC,MAAM,CAAC,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC;YACnD,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,oBAAoB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1D,IAAI,OAAO,EAAE,CAAC;YACZ,2CAA2C;YAC3C,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;gBACtC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAc,CAAC;gBAC/B,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC;YACH,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAc,CAAC,CAAC;gBAC5C,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAC;YAC5F,CAAC;YACD,8DAA8D;YAC9D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAc,CAAC,CAAC,CAAC,CAAC;YAC1F,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACzD,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC9B,OAAO,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC;YACzE,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,8BAA8B,SAAS,IAAI,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,MAAM,eAAe,GAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAe,KAAK,SAAS,CAAC;YACpE,IAAI,eAAe,EAAE,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC;YAC7C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,MAAM,KAAK,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,oCAAoC;AACpC,4BAA4B;AAC5B,kBAAkB;AAClB,8CAA8C;AAE9C,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,OAAO,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,CAAW,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,GAAG,IAAI,OAAO,CAAC;IACjC,MAAM,SAAS,GAAG,GAAG,IAAI,YAAY,CAAC;IACtC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAEpC,aAAa;IACb,KAAK,CAAC,IAAI,CAAC,SAAS,SAAS,cAAc,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,cAAc;IACd,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,SAAS,SAAS,cAAc,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAC;IACtG,KAAK,CAAC,IAAI,CAAC,sCAAsC,SAAS,iDAAiD,CAAC,CAAC;IAC7G,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,uBAAuB;IACvB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,EAAE,CAAC,IAAc,CAAC;QAC/B,MAAM,EAAE,GAAG,EAAE,CAAC,EAAY,CAAC;QAE3B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,GAAG,KAAK,IAAI,SAAS,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAE5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,yBAAyB,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,MAAM,EAAE,KAAK,CAAC,CAAC;QAExC,IAAI,WAAW,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,uBAAuB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjF,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;YAC1D,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,iCAAiC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,8BAA8B,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;QAChF,CAAC;QAED,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,mCAAmC,EAAE,IAAI,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,wBAAwB;AACxB,+CAA+C;AAC/C,mCAAmC;AACnC,2BAA2B;AAE3B,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,iBAAiB,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,EAAE,CAAC,OAA6B,CAAC;QAE7C,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,qCAAqC;YACrC,MAAM,SAAS,GAAG,EAAE,CAAC,IAAc,CAAC;YACpC,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,KAAK,OAAO,GAAG,GAAG,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,KAAK,MAAM,GAAG,EAAE,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,8CAA8C;AAC9C,0DAA0D;AAE1D,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,SAAS,GAAI,KAAK,CAAC,IAAe,IAAI,SAAS,CAAC;IACtD,MAAM,GAAG,GAAG,WAAW,CAAE,KAAK,CAAC,GAAc,IAAI,IAAI,CAAC,CAAC;IACvD,MAAM,MAAM,GAAI,KAAK,CAAC,KAAgB,IAAI,MAAM,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC;IAEjD,MAAM,YAAY,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,kBAAkB,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC;IAEnH,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,MAAM,YAAY,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,iBAAiB,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,OAAO,QAAQ,qCAAqC,CAAC,CAAC;IACjE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,aAAa,SAAS,yBAAyB,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,eAAe,QAAQ,mCAAmC,CAAC,CAAC;IACvE,KAAK,CAAC,IAAI,CAAC,uCAAuC,QAAQ,eAAe,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,uBAAuB,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,QAAQ,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,oBAAoB,SAAS,eAAe,GAAG,KAAK,CAAC,CAAC;IACjE,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,2BAA2B,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,mCAAmC,SAAS,wBAAwB,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IACpE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,mCAAmC,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,QAAQ,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,wBAAwB,QAAQ,iBAAiB,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,oBAAoB,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,oBAAoB,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAEnC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,+BAA+B;AAC/B,+BAA+B;AAC/B,6CAA6C;AAC7C,oBAAoB;AACpB,yEAAyE;AACzE,YAAY;AAEZ,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,0BAA0B;IAC1B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,aAAa,SAAS,GAAG,CAAC,CAAC;IAEtC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAc,CAAC;QACrC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;QAElD,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,GAAG,CAAC,CAAC;QAEvC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAc,CAAC;YACrC,MAAM,KAAK,GAAG,WAAW,CACvB,KAAK;iBACF,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC;iBAC9B,IAAI,EAAE;iBACN,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CACxB,CAAC;YACF,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC;YAC/C,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;YACzE,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACjC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAc,CAAC;QACrC,MAAM,KAAK,GAAG,WAAW,CACvB,KAAK;aACF,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC;aAC9B,IAAI,EAAE;aACN,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CACxB,CAAC;QACF,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC;QAC3C,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,wBAAwB;AACxB,uDAAuD;AACvD,mDAAmD;AACnD,2CAA2C;AAE3C,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAW,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChH,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,kBAAkB;IAClB,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,cAAc,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,MAAM,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,qBAAqB;IACrB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,CAAW,CAAC;QAC9C,MAAM,IAAI,GAAG,EAAE,CAAC,IAAc,CAAC;QAC/B,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,SAAS,GAAG,GAAG,KAAK;iBACvB,KAAK,CAAC,GAAG,CAAC;iBACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;iBAC3D,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,SAAS,SAAS,cAAc,CAAC,CAAC;YAC7C,kCAAkC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAClD,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBACpC,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACvC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;oBAC5F,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,qCAAqC;AACrC,6BAA6B;AAC7B,EAAE;AACF,2BAA2B;AAC3B,wBAAwB;AACxB,kCAAkC;AAElC,SAAS,qBAAqB,CAAC,KAAyB,EAAE,QAAgB,EAAE,IAAY;IACtF,OAAO,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAW,EAAE,IAAY,EAAE,OAA8B;IACtF,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACrE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,yCAAyC,CAAC,CAAC;IACjH,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,gCAAgC,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,uCAAuC,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,EAAE,qBAAqB,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7D,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;IAC1F,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACxE,MAAM,WAAW,GAAG,SAAS;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;SAC/B,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAE3C,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa;IAC5C,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACpB,MAAM,UAAU,GAAG,qBAAqB,CAAC,EAAE,CAAC,IAAc,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,gBAAgB,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,IAA0B,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,UAAU;QAC5B,CAAC,CAAC,qBAAqB,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,CAAC;QACtD,CAAC,CAAC,wBAAwB,CAAC,UAAU,EAAE,EAAE,CAAC,IAA0B,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAY,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IAC9F,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,OAAO,SAAS,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAY,EAAE,IAAa;IAC3D,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC;QACV,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW,CAAC;QACjB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY;YACf,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;QAC3B;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAY;IACrC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAChE,IAAI,IAAI,IAAI,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,GAAY;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkC,CAAC;IACxD,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACzE,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK;YAAE,SAAS;QACzC,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1C,WAAW,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;QAC5B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAY,EAAE,UAA8B;IACpE,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;AACtD,CAAC;AAED,SAAS,wBAAwB,CAAC,GAAW;IAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAC/E,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,sBAAsB,CAC7B,GAAW,EACX,WAAgC,EAChC,aAAkD,EAClD,IAAY;IAEZ,MAAM,OAAO,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5D,OAAO,CACL,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM;YAC9B,wBAAwB,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CACtF,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,aAAa,GACjB,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM;QACzC,wBAAwB,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACvG,IAAI,CAAC,OAAO,CAAC,KAAK;QAAE,OAAO,aAAa,CAAC;IACzC,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC7E,OAAO,GAAG,aAAa,OAAO,SAAS,EAAE,CAAC;AAC5C,CAAC;AAED,SAAS,qBAAqB,CAC5B,GAAW,EACX,WAAgC,EAChC,aAAkD,EAClD,IAAY;IAEZ,MAAM,OAAO,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5D,OAAO;YACL,UAAU,EACR,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM;gBAC9B,wBAAwB,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;SACxF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,aAAa,GACjB,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM;QACzC,wBAAwB,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACvG,IAAI,CAAC,OAAO,CAAC,KAAK;QAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAEzD,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC7E,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,SAAS,MAAM,aAAa,EAAE,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAkB,EAAE,KAAc;IAChE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,UAAU,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,UAAU,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC/C,MAAM,cAAc,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;IACzC,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC;IAC9F,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,OAAO,KAAK;QACV,CAAC,CAAC,CAAC,QAAQ,WAAW,WAAW,UAAU,OAAO,KAAK,EAAE,CAAC;QAC1D,CAAC,CAAC,CAAC,QAAQ,WAAW,WAAW,UAAU,EAAE,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,OAAO,GAAG,KAAK,CAAC,IAA0B,CAAC;IACjD,MAAM,KAAK,GAAG,KAAK,CAAC,KAA2B,CAAC;IAChD,MAAM,UAAU,GAAG,KAAK,CAAC,IAA0B,CAAC;IACpD,MAAM,aAAa,GACjB,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM;QAChD,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACjC,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,SAAS,CAAC;IAElB,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,IAAI,CAAC,yBAAyB,CAAC,KAAK,EAAE,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3D,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAErB,IAAI,aAAa,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,qBAAqB,CAAC,aAAa,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAC1E,MAAM,SAAS,GAAG,KAAK;aACpB,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;aAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,sBAAsB,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,QAAQ,IAAI,WAAW,SAAS,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,WAAW,GAAG,qBAAqB,CAAC,aAAa,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAC1E,OAAO,sBAAsB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,SAAS,GAAG,KAAK;aACpB,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;aAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,CAAC,QAAQ,IAAI,WAAW,SAAS,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,KAAc;IACrD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,WAAW,GAAG,KAAK,CAAC,OAA6B,CAAC;IACxD,MAAM,UAAU,GAAG,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;IACtC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE;YACL,GAAG,CAAC,KAAK;gBACP,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC;oBACE,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,KAAK,EAAE,KAAK,CAAC,KAAK;iBACnB,CAAC;YACN,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,WAAW;YACpB,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,WAAW;SACrC;QACD,QAAQ,EAAE,KAAK,EAAE,QAAQ,IAAI,EAAE;QAC/B,GAAG,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG;KAC5B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,gBAAgB,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,OAA8B;IACtE,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAc,CAAC;IACrC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAExB,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QAC3D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,UAAU,WAAW,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzF,CAAC;IAED,OAAO,sBAAsB,CAAC,UAAU,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,QAAoC,EACpC,OAA8B;IAE9B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,KAAK,GAAa,CAAC,gBAAgB,KAAK,CAAC,IAAI,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3E,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,cAAc,GAAa,EAAE,CAAC;IAEpC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,SAAS;QACvC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;YAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;aACrD,IACH;YACE,MAAM;YACN,WAAW;YACX,OAAO;YACP,MAAM;YACN,OAAO;YACP,SAAS;YACT,OAAO;YACP,YAAY;YACZ,QAAQ;YACR,WAAW;YACX,QAAQ;YACR,QAAQ;YACR,YAAY;SACb,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EACtB,CAAC;YACD,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAc,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,gBAAgB,EAAE,GAAG,iBAAiB,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,aAAa,GAAG,eAAe,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;YACtD,MAAM,QAAQ,GAAI,EAAE,CAAC,KAA4B;gBAC/C,EAAE,KAAK,CAAC,GAAG,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBACpB,MAAM,CAAC,OAAO,CAAC,CAAC;YACnB,MAAM,YAAY,GAAI,EAAE,CAAC,KAA4B;gBACnD,EAAE,KAAK,CAAC,GAAG,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBACpB,MAAM,CAAC,OAAO,CAAC,CAAC;YACnB,MAAM,QAAQ,GAAG,IAAI;gBACnB,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;gBACpG,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,YAAY,GAAG,IAAI;gBACvB,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;gBACxG,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,KAAK,GAAG,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,SAAS,GAAG,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;YACpD,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,EAAE,CAAC,OAAiB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAEpG,IAAI,IAAI,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC;YACtD,IAAI,IAAI,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,WAAW,KAAK,EAAE,CAAC,CAAC;YAC9D,IAAI,IAAI,IAAI,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,WAAW,SAAS,EAAE,CAAC,CAAC;YACtE,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;oBACvE,aAAa,CAAC,IAAI,CAAC,qBAAqB,CAAC,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;gBACrG,CAAC;YACH,CAAC;YACD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;oBACvE,MAAM,WAAW,GAAG,qBAAqB,CAAC,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;oBACxF,IAAI,WAAW,CAAC,SAAS;wBAAE,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;oBACtE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;YACD,IAAI,IAAI,IAAI,WAAW,EAAE,CAAC;gBACxB,iEAAiE;gBACjE,KAAK,CAAC,IAAI,CAAC,mCAAmC,WAAW,UAAU,IAAI,iCAAiC,CAAC,CAAC;YAC5G,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1G,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,6CAA6C;AAC7C,yBAAyB;AAEzB,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,SAAS,GAAG,KAAK,CAAC,IAA0B,CAAC;IACnD,MAAM,KAAK,GAAG,KAAK,CAAC,KAA2B,CAAC;IAChD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE5E,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,GAAG,IAAI,GAAG,cAAc,MAAM,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,IAAI,GAAG,cAAc,MAAM,KAAK,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,GAAG,cAAc,SAAS,CAAC,CAAC;AAC7C,CAAC"}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Data layer generators — Python generation for KERN's data nodes:
|
|
3
|
+
* model, repository, cache, dependency, service, union
|
|
4
|
+
*/
|
|
5
|
+
import type { IRNode } from '@kernlang/core';
|
|
6
|
+
/** Convert a KERN default value to valid Python syntax. */
|
|
7
|
+
export declare function formatPythonDefault(value: string, kernType: string): string;
|
|
8
|
+
/** Map KERN type to Python/SQLModel column type. Uses shared semantic type map + SQLModel overrides. */
|
|
9
|
+
export declare function mapColumnToPython(kernType: string): string;
|
|
10
|
+
export declare function generatePythonModel(node: IRNode): string[];
|
|
11
|
+
export declare function generatePythonRepository(node: IRNode): string[];
|
|
12
|
+
export declare function generatePythonCache(node: IRNode): string[];
|
|
13
|
+
export declare function generatePythonDependency(node: IRNode): string[];
|
|
14
|
+
export declare function generatePythonService(node: IRNode): string[];
|
|
15
|
+
export declare function generatePythonUnion(node: IRNode): string[];
|
|
@@ -0,0 +1,443 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Data layer generators — Python generation for KERN's data nodes:
|
|
3
|
+
* model, repository, cache, dependency, service, union
|
|
4
|
+
*/
|
|
5
|
+
import { emitIdentifier, getFirstChild, getProps, handlerCode, mapSemanticType, propsOf } from '@kernlang/core';
|
|
6
|
+
import { emitNativeKernBodyPythonWithImports } from '../codegen-body-python.js';
|
|
7
|
+
import { buildPythonParamList, firstChild, kids, p, parseLegacyParamParts } from '../codegen-helpers.js';
|
|
8
|
+
import { mapTsTypeToPython, toSnakeCase } from '../type-map.js';
|
|
9
|
+
/** Slice 4b — native KERN method body dispatch (Python target).
|
|
10
|
+
*
|
|
11
|
+
* Returns `{ code, imports }` for a method's handler. When the handler
|
|
12
|
+
* opts in via `lang=kern`, walks the structured statements via
|
|
13
|
+
* `emitNativeKernBodyPythonWithImports` with a snake_case symbol map
|
|
14
|
+
* built from the method's `param` children (or legacy `params="..."`
|
|
15
|
+
* string). Methods use `propagateStyle: 'value'` (default) — they're
|
|
16
|
+
* application-layer code, and the caller (typically a route) translates
|
|
17
|
+
* Result.err to HTTP. Slice 4a's collision-detection rule is applied
|
|
18
|
+
* here too: if two params snake-case to the same Python name, throw.
|
|
19
|
+
*
|
|
20
|
+
* When the handler is legacy raw, returns `{ code: handlerCode(method),
|
|
21
|
+
* imports: empty }`. */
|
|
22
|
+
function methodBodyCodePython(method) {
|
|
23
|
+
const handler = getFirstChild(method, 'handler');
|
|
24
|
+
if (!handler || getProps(handler).lang !== 'kern') {
|
|
25
|
+
return { code: handlerCode(method), imports: new Set(), helpers: new Set() };
|
|
26
|
+
}
|
|
27
|
+
const symbolMap = {};
|
|
28
|
+
const claimedSnake = new Set(['self']);
|
|
29
|
+
const recordParam = (rawName) => {
|
|
30
|
+
if (!rawName)
|
|
31
|
+
return;
|
|
32
|
+
const snake = toSnakeCase(rawName);
|
|
33
|
+
if (claimedSnake.has(snake)) {
|
|
34
|
+
throw new Error(`KERN-Python codegen: method param '${rawName}' snake-cases to '${snake}', which collides with another param on this method. ` +
|
|
35
|
+
'Rename one of the parameters to disambiguate.');
|
|
36
|
+
}
|
|
37
|
+
claimedSnake.add(snake);
|
|
38
|
+
if (snake !== rawName)
|
|
39
|
+
symbolMap[rawName] = snake;
|
|
40
|
+
};
|
|
41
|
+
const paramChildren = (method.children ?? []).filter((c) => c.type === 'param');
|
|
42
|
+
if (paramChildren.length > 0) {
|
|
43
|
+
for (const param of paramChildren) {
|
|
44
|
+
const hasDestructure = (param.children ?? []).some((c) => c.type === 'binding' || c.type === 'element');
|
|
45
|
+
if (hasDestructure)
|
|
46
|
+
continue;
|
|
47
|
+
recordParam(getProps(param).name || '');
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
else {
|
|
51
|
+
const rawParams = getProps(method).params || '';
|
|
52
|
+
if (rawParams) {
|
|
53
|
+
for (const part of parseLegacyParamParts(rawParams))
|
|
54
|
+
recordParam(part.name);
|
|
55
|
+
}
|
|
56
|
+
}
|
|
57
|
+
const { code, imports, helpers } = emitNativeKernBodyPythonWithImports(handler, { symbolMap });
|
|
58
|
+
return { code, imports, helpers };
|
|
59
|
+
}
|
|
60
|
+
/** Slice 4b — flatten a method's body code + per-method imports into the
|
|
61
|
+
* list of indented body lines. Imports go inline at the top of the method
|
|
62
|
+
* body (slice 3b convention extended to methods); the function-local
|
|
63
|
+
* scope absorbs them, and Python caches modules after first import.
|
|
64
|
+
* Returns the indented lines (4-space prefix) ready to push into the
|
|
65
|
+
* enclosing class definition. Empty body yields a single `pass`. */
|
|
66
|
+
function methodBodyLinesPython(method) {
|
|
67
|
+
const { code, imports, helpers } = methodBodyCodePython(method);
|
|
68
|
+
const lines = [];
|
|
69
|
+
for (const mod of [...imports].sort()) {
|
|
70
|
+
lines.push(` import ${mod} as __k_${mod}`);
|
|
71
|
+
}
|
|
72
|
+
// PR-4 — runtime helpers (e.g. `_kern_pairs`) emitted as method-local defs
|
|
73
|
+
// with the method's 8-space indent. Each entry is multi-line; we split
|
|
74
|
+
// and indent every line so the embedded function body stays at the right
|
|
75
|
+
// depth inside the enclosing class. Function-local emission keeps the
|
|
76
|
+
// refactor contained — module-level emission would require touching the
|
|
77
|
+
// class-file scaffolding.
|
|
78
|
+
for (const helper of [...helpers]) {
|
|
79
|
+
for (const helperLine of helper.split('\n')) {
|
|
80
|
+
lines.push(` ${helperLine}`);
|
|
81
|
+
}
|
|
82
|
+
}
|
|
83
|
+
if (code) {
|
|
84
|
+
for (const line of code.split('\n')) {
|
|
85
|
+
lines.push(` ${line}`);
|
|
86
|
+
}
|
|
87
|
+
}
|
|
88
|
+
else if (lines.length === 0) {
|
|
89
|
+
lines.push(' pass');
|
|
90
|
+
}
|
|
91
|
+
return lines;
|
|
92
|
+
}
|
|
93
|
+
// ── Helpers ─────────────────────────────────────────────────────────────
|
|
94
|
+
/** Convert a KERN default value to valid Python syntax. */
|
|
95
|
+
export function formatPythonDefault(value, kernType) {
|
|
96
|
+
const trimmed = value.trim();
|
|
97
|
+
if (trimmed === 'true')
|
|
98
|
+
return 'True';
|
|
99
|
+
if (trimmed === 'false')
|
|
100
|
+
return 'False';
|
|
101
|
+
if (trimmed === 'null' || trimmed === 'undefined')
|
|
102
|
+
return 'None';
|
|
103
|
+
if (/^-?\d+(?:\.\d+)?$/.test(trimmed))
|
|
104
|
+
return trimmed;
|
|
105
|
+
if (/^(["']).*\1$/.test(trimmed))
|
|
106
|
+
return trimmed;
|
|
107
|
+
if (/^[A-Za-z_]\w*\([^)]*\)$/.test(trimmed))
|
|
108
|
+
return trimmed;
|
|
109
|
+
// String types get quoted
|
|
110
|
+
if (['string', 'text', 'Email', 'URL', 'PhoneNumber', 'PersonName', 'uuid'].includes(kernType)) {
|
|
111
|
+
return `"${trimmed}"`;
|
|
112
|
+
}
|
|
113
|
+
return trimmed;
|
|
114
|
+
}
|
|
115
|
+
// SQLModel column override: pydantic validator types -> plain DB types for column declarations
|
|
116
|
+
const SQLMODEL_COLUMN_OVERRIDE = {
|
|
117
|
+
Email: 'str',
|
|
118
|
+
URL: 'str',
|
|
119
|
+
PhoneNumber: 'str',
|
|
120
|
+
};
|
|
121
|
+
/** Map KERN type to Python/SQLModel column type. Uses shared semantic type map + SQLModel overrides. */
|
|
122
|
+
export function mapColumnToPython(kernType) {
|
|
123
|
+
return SQLMODEL_COLUMN_OVERRIDE[kernType] ?? mapSemanticType(kernType, 'pydantic');
|
|
124
|
+
}
|
|
125
|
+
// ── Model (SQLModel) ────────────────────────────────────────────────────
|
|
126
|
+
// model name=User table=users
|
|
127
|
+
// column name=id type=uuid primary=true
|
|
128
|
+
// column name=email type=Email unique=true
|
|
129
|
+
// relation name=posts target=Post kind=one-to-many
|
|
130
|
+
// -> class User(SQLModel, table=True): ...
|
|
131
|
+
export function generatePythonModel(node) {
|
|
132
|
+
const props = propsOf(node);
|
|
133
|
+
const name = emitIdentifier(props.name, 'UnknownModel', node);
|
|
134
|
+
const table = props.table;
|
|
135
|
+
const extendsModel = props.extends;
|
|
136
|
+
const columns = kids(node, 'column');
|
|
137
|
+
const relations = kids(node, 'relation');
|
|
138
|
+
const lines = [];
|
|
139
|
+
const baseClass = extendsModel || 'SQLModel';
|
|
140
|
+
lines.push(`class ${name}(${baseClass}, table=True):`);
|
|
141
|
+
if (table) {
|
|
142
|
+
lines.push(` __tablename__ = "${table}"`);
|
|
143
|
+
lines.push('');
|
|
144
|
+
}
|
|
145
|
+
if (columns.length === 0 && relations.length === 0) {
|
|
146
|
+
lines.push(' pass');
|
|
147
|
+
return lines;
|
|
148
|
+
}
|
|
149
|
+
for (const col of columns) {
|
|
150
|
+
const cp = propsOf(col);
|
|
151
|
+
const colName = toSnakeCase(cp.name || 'column');
|
|
152
|
+
const colType = mapColumnToPython(cp.type || 'str');
|
|
153
|
+
const isPrimary = cp.primary === 'true' || cp.primary === true;
|
|
154
|
+
const isUnique = cp.unique === 'true' || cp.unique === true;
|
|
155
|
+
const isNullable = cp.nullable === 'true' || cp.nullable === true;
|
|
156
|
+
const defaultVal = cp.default;
|
|
157
|
+
// Build Field() args
|
|
158
|
+
const fieldArgs = [];
|
|
159
|
+
if (isPrimary)
|
|
160
|
+
fieldArgs.push('primary_key=True');
|
|
161
|
+
if (isUnique)
|
|
162
|
+
fieldArgs.push('unique=True');
|
|
163
|
+
if (defaultVal !== undefined)
|
|
164
|
+
fieldArgs.push(`default=${formatPythonDefault(defaultVal, cp.type || '')}`);
|
|
165
|
+
else if (isNullable)
|
|
166
|
+
fieldArgs.push('default=None');
|
|
167
|
+
const typeStr = isNullable ? `${colType} | None` : colType;
|
|
168
|
+
if (fieldArgs.length > 0) {
|
|
169
|
+
lines.push(` ${colName}: ${typeStr} = Field(${fieldArgs.join(', ')})`);
|
|
170
|
+
}
|
|
171
|
+
else {
|
|
172
|
+
lines.push(` ${colName}: ${typeStr}`);
|
|
173
|
+
}
|
|
174
|
+
}
|
|
175
|
+
if (relations.length > 0 && columns.length > 0) {
|
|
176
|
+
lines.push('');
|
|
177
|
+
}
|
|
178
|
+
for (const rel of relations) {
|
|
179
|
+
const rp = propsOf(rel);
|
|
180
|
+
const relName = toSnakeCase(rp.name || 'relation');
|
|
181
|
+
const target = rp.target || rp.model || 'Any';
|
|
182
|
+
const kind = rp.kind || 'one-to-many';
|
|
183
|
+
const backPop = toSnakeCase(name);
|
|
184
|
+
if (kind === 'one-to-many' || kind === 'many-to-many') {
|
|
185
|
+
lines.push(` ${relName}: list["${target}"] = Relationship(back_populates="${backPop}")`);
|
|
186
|
+
}
|
|
187
|
+
else {
|
|
188
|
+
lines.push(` ${relName}: "${target}" | None = Relationship(back_populates="${backPop}")`);
|
|
189
|
+
}
|
|
190
|
+
}
|
|
191
|
+
return lines;
|
|
192
|
+
}
|
|
193
|
+
// ── Repository ──────────────────────────────────────────────────────────
|
|
194
|
+
// repository name=UserRepository model=User
|
|
195
|
+
// method name=findByEmail params="email:string" returns="User | null" async=true
|
|
196
|
+
// -> class UserRepository: ...
|
|
197
|
+
export function generatePythonRepository(node) {
|
|
198
|
+
const props = propsOf(node);
|
|
199
|
+
const name = emitIdentifier(props.name, 'UnknownRepo', node);
|
|
200
|
+
const model = props.model;
|
|
201
|
+
const lines = [];
|
|
202
|
+
lines.push(`class ${name}:`);
|
|
203
|
+
if (model) {
|
|
204
|
+
lines.push(` def __init__(self, session: AsyncSession):`);
|
|
205
|
+
lines.push(` self.session = session`);
|
|
206
|
+
lines.push('');
|
|
207
|
+
}
|
|
208
|
+
const methods = kids(node, 'method');
|
|
209
|
+
if (methods.length === 0 && !model) {
|
|
210
|
+
lines.push(' pass');
|
|
211
|
+
return lines;
|
|
212
|
+
}
|
|
213
|
+
for (const method of methods) {
|
|
214
|
+
const mp = p(method);
|
|
215
|
+
const mname = toSnakeCase(mp.name || 'method');
|
|
216
|
+
const isAsync = mp.async === 'true' || mp.async === true;
|
|
217
|
+
const asyncKw = isAsync ? 'async ' : '';
|
|
218
|
+
// Slice 3c P2 follow-up: target-neutral helper reads structured `param`
|
|
219
|
+
// children when present, falls back to legacy `params="..."` otherwise.
|
|
220
|
+
const params = buildPythonParamList(method, { selfPrefix: true });
|
|
221
|
+
const returns = mp.returns ? ` -> ${mapTsTypeToPython(mp.returns)}` : '';
|
|
222
|
+
lines.push(` ${asyncKw}def ${mname}(${params})${returns}:`);
|
|
223
|
+
// Slice 4b — methodBodyLinesPython dispatches lang=kern, builds symbol
|
|
224
|
+
// map, injects required imports inline, and falls back to raw handler
|
|
225
|
+
// code for legacy bodies. Empty bodies yield `pass`.
|
|
226
|
+
const bodyLines = methodBodyLinesPython(method);
|
|
227
|
+
if (bodyLines.length === 0) {
|
|
228
|
+
lines.push(' pass');
|
|
229
|
+
}
|
|
230
|
+
else {
|
|
231
|
+
for (const bl of bodyLines)
|
|
232
|
+
lines.push(bl);
|
|
233
|
+
}
|
|
234
|
+
lines.push('');
|
|
235
|
+
}
|
|
236
|
+
return lines;
|
|
237
|
+
}
|
|
238
|
+
// ── Cache ───────────────────────────────────────────────────────────────
|
|
239
|
+
// cache name=userCache backend=redis prefix="user:" ttl=3600
|
|
240
|
+
// entry name=profile key="user:{id}"
|
|
241
|
+
// invalidate on=userUpdate tags="user:{id}"
|
|
242
|
+
export function generatePythonCache(node) {
|
|
243
|
+
const props = propsOf(node);
|
|
244
|
+
const name = emitIdentifier(props.name, 'unknown_cache', node);
|
|
245
|
+
const className = name[0].toUpperCase() + name.slice(1);
|
|
246
|
+
const backend = props.backend || 'memory';
|
|
247
|
+
const prefix = props.prefix || '';
|
|
248
|
+
const ttl = props.ttl;
|
|
249
|
+
const lines = [];
|
|
250
|
+
lines.push(`class ${className}:`);
|
|
251
|
+
lines.push(` prefix = "${prefix}"`);
|
|
252
|
+
if (ttl)
|
|
253
|
+
lines.push(` ttl = ${ttl}`);
|
|
254
|
+
lines.push(` backend = "${backend}"`);
|
|
255
|
+
lines.push('');
|
|
256
|
+
// Entry methods
|
|
257
|
+
for (const entry of kids(node, 'entry')) {
|
|
258
|
+
const ep = p(entry);
|
|
259
|
+
const entryName = toSnakeCase(ep.name || 'entry');
|
|
260
|
+
const key = ep.key || entryName;
|
|
261
|
+
// If key already contains the prefix pattern, use it as-is; otherwise prepend prefix
|
|
262
|
+
const keyExpr = key.includes(prefix)
|
|
263
|
+
? key.replace(/\{id\}/g, '{id}')
|
|
264
|
+
: `${prefix}${key.replace(/\{id\}/g, '{id}')}`;
|
|
265
|
+
lines.push(` async def get_${entryName}(self, id: str):`);
|
|
266
|
+
lines.push(` key = f"${keyExpr}"`);
|
|
267
|
+
lines.push(` return ${backend === 'redis' ? 'await redis.get(key)' : 'self._cache.get(key)'}`);
|
|
268
|
+
lines.push('');
|
|
269
|
+
}
|
|
270
|
+
// Invalidation methods
|
|
271
|
+
for (const inv of kids(node, 'invalidate')) {
|
|
272
|
+
const ip = p(inv);
|
|
273
|
+
const on = toSnakeCase(ip.on || 'update');
|
|
274
|
+
const tags = ip.tags || '';
|
|
275
|
+
const rawInvKey = tags ? tags.replace(/\{id\}/g, '{id}') : `{id}`;
|
|
276
|
+
const invKey = rawInvKey.includes(prefix) ? rawInvKey : `${prefix}${rawInvKey}`;
|
|
277
|
+
lines.push(` async def invalidate_on_${on}(self, id: str):`);
|
|
278
|
+
lines.push(` key = f"${invKey}"`);
|
|
279
|
+
lines.push(` ${backend === 'redis' ? 'await redis.delete(key)' : 'self._cache.pop(key, None)'}`);
|
|
280
|
+
lines.push('');
|
|
281
|
+
}
|
|
282
|
+
if (kids(node, 'entry').length === 0 && kids(node, 'invalidate').length === 0) {
|
|
283
|
+
lines.push(' pass');
|
|
284
|
+
}
|
|
285
|
+
return lines;
|
|
286
|
+
}
|
|
287
|
+
// ── Dependency ──────────────────────────────────────────────────────────
|
|
288
|
+
// dependency name=authService scope=singleton
|
|
289
|
+
// inject db from=database
|
|
290
|
+
// inject userRepo type=UserRepository with=(db)
|
|
291
|
+
// returns AuthService with=(userRepo)
|
|
292
|
+
export function generatePythonDependency(node) {
|
|
293
|
+
const props = propsOf(node);
|
|
294
|
+
const name = toSnakeCase(emitIdentifier(props.name, 'unknown_dep', node));
|
|
295
|
+
const scope = props.scope || 'transient';
|
|
296
|
+
const lines = [];
|
|
297
|
+
const injects = kids(node, 'inject');
|
|
298
|
+
const returnsNode = firstChild(node, 'returns');
|
|
299
|
+
const returnsType = returnsNode ? (p(returnsNode).name || p(returnsNode).type || 'Any') : 'Any';
|
|
300
|
+
if (scope === 'singleton') {
|
|
301
|
+
lines.push(`_${name}_instance = None`);
|
|
302
|
+
lines.push('');
|
|
303
|
+
}
|
|
304
|
+
lines.push(`def create_${name}() -> ${returnsType}:`);
|
|
305
|
+
if (scope === 'singleton') {
|
|
306
|
+
lines.push(` global _${name}_instance`);
|
|
307
|
+
lines.push(` if _${name}_instance:`);
|
|
308
|
+
lines.push(` return _${name}_instance`);
|
|
309
|
+
}
|
|
310
|
+
for (const inj of injects) {
|
|
311
|
+
const ip = p(inj);
|
|
312
|
+
const injName = toSnakeCase(ip.name || 'dep');
|
|
313
|
+
const injType = ip.type;
|
|
314
|
+
const injFrom = ip.from;
|
|
315
|
+
const injWith = ip.with;
|
|
316
|
+
if (injFrom) {
|
|
317
|
+
lines.push(` ${injName} = ${injFrom}`);
|
|
318
|
+
}
|
|
319
|
+
else if (injType && injWith) {
|
|
320
|
+
lines.push(` ${injName} = ${injType}(${injWith})`);
|
|
321
|
+
}
|
|
322
|
+
else if (injType) {
|
|
323
|
+
lines.push(` ${injName} = ${injType}()`);
|
|
324
|
+
}
|
|
325
|
+
}
|
|
326
|
+
const returnsWith = returnsNode ? p(returnsNode).with : undefined;
|
|
327
|
+
if (returnsWith) {
|
|
328
|
+
lines.push(` instance = ${returnsType}(${returnsWith})`);
|
|
329
|
+
}
|
|
330
|
+
else {
|
|
331
|
+
lines.push(` instance = ${returnsType}()`);
|
|
332
|
+
}
|
|
333
|
+
if (scope === 'singleton') {
|
|
334
|
+
lines.push(` _${name}_instance = instance`);
|
|
335
|
+
}
|
|
336
|
+
lines.push(` return instance`);
|
|
337
|
+
return lines;
|
|
338
|
+
}
|
|
339
|
+
// ── Service ─────────────────────────────────────────────────────────────
|
|
340
|
+
// service name=AuthService
|
|
341
|
+
// field name=repo type=UserRepository private=true
|
|
342
|
+
// method name=findByEmail params="email:string" returns="User | null" async=true
|
|
343
|
+
export function generatePythonService(node) {
|
|
344
|
+
const props = p(node);
|
|
345
|
+
const name = emitIdentifier(props.name, 'UnknownService', node);
|
|
346
|
+
const lines = [];
|
|
347
|
+
const fields = kids(node, 'field');
|
|
348
|
+
const methods = kids(node, 'method');
|
|
349
|
+
lines.push(`class ${name}:`);
|
|
350
|
+
// Constructor from fields
|
|
351
|
+
if (fields.length > 0) {
|
|
352
|
+
const ctorParams = fields
|
|
353
|
+
.map((f) => {
|
|
354
|
+
const fp = p(f);
|
|
355
|
+
const fname = toSnakeCase(fp.name || 'field');
|
|
356
|
+
const ftype = fp.type ? mapTsTypeToPython(fp.type) : 'Any';
|
|
357
|
+
return `${fname}: ${ftype}`;
|
|
358
|
+
})
|
|
359
|
+
.join(', ');
|
|
360
|
+
lines.push(` def __init__(self, ${ctorParams}):`);
|
|
361
|
+
for (const f of fields) {
|
|
362
|
+
const fp = p(f);
|
|
363
|
+
const fname = toSnakeCase(fp.name || 'field');
|
|
364
|
+
const vis = fp.private === 'true' || fp.private === true ? '_' : '';
|
|
365
|
+
lines.push(` self.${vis}${fname} = ${fname}`);
|
|
366
|
+
}
|
|
367
|
+
lines.push('');
|
|
368
|
+
}
|
|
369
|
+
if (methods.length === 0 && fields.length === 0) {
|
|
370
|
+
lines.push(' pass');
|
|
371
|
+
return lines;
|
|
372
|
+
}
|
|
373
|
+
for (const method of methods) {
|
|
374
|
+
const mp = p(method);
|
|
375
|
+
const mname = toSnakeCase(mp.name || 'method');
|
|
376
|
+
const isAsync = mp.async === 'true' || mp.async === true;
|
|
377
|
+
const asyncKw = isAsync ? 'async ' : '';
|
|
378
|
+
// Slice 3c P2 follow-up: target-neutral helper reads structured `param`
|
|
379
|
+
// children when present, falls back to legacy `params="..."` otherwise.
|
|
380
|
+
const params = buildPythonParamList(method, { selfPrefix: true });
|
|
381
|
+
const returns = mp.returns ? ` -> ${mapTsTypeToPython(mp.returns)}` : '';
|
|
382
|
+
lines.push(` ${asyncKw}def ${mname}(${params})${returns}:`);
|
|
383
|
+
// Slice 4b — same method dispatch as repository, sharing the helper.
|
|
384
|
+
const bodyLines = methodBodyLinesPython(method);
|
|
385
|
+
if (bodyLines.length === 0) {
|
|
386
|
+
lines.push(' pass');
|
|
387
|
+
}
|
|
388
|
+
else {
|
|
389
|
+
for (const bl of bodyLines)
|
|
390
|
+
lines.push(bl);
|
|
391
|
+
}
|
|
392
|
+
lines.push('');
|
|
393
|
+
}
|
|
394
|
+
return lines;
|
|
395
|
+
}
|
|
396
|
+
// ── Union (Pydantic Discriminated Union) ────────────────────────────────
|
|
397
|
+
// union name=ContentSegment discriminant=type
|
|
398
|
+
// variant name=prose
|
|
399
|
+
// field name=text type=string
|
|
400
|
+
// variant name=code
|
|
401
|
+
// field name=language type=string
|
|
402
|
+
// -> class ProseContentSegment(BaseModel): ...
|
|
403
|
+
// ContentSegment = Union[ProseContentSegment, CodeContentSegment]
|
|
404
|
+
export function generatePythonUnion(node) {
|
|
405
|
+
const props = propsOf(node);
|
|
406
|
+
const name = emitIdentifier(props.name, 'UnknownUnion', node);
|
|
407
|
+
const discriminant = props.discriminant || 'type';
|
|
408
|
+
const variants = kids(node, 'variant');
|
|
409
|
+
const lines = [];
|
|
410
|
+
if (variants.length === 0) {
|
|
411
|
+
lines.push(`${name} = None # empty union`);
|
|
412
|
+
return lines;
|
|
413
|
+
}
|
|
414
|
+
const variantClassNames = [];
|
|
415
|
+
for (const variant of variants) {
|
|
416
|
+
const vp = p(variant);
|
|
417
|
+
const vname = emitIdentifier(vp.name, 'variant', variant);
|
|
418
|
+
const className = `${vname[0].toUpperCase()}${vname.slice(1)}${name}`;
|
|
419
|
+
variantClassNames.push(className);
|
|
420
|
+
const fields = kids(variant, 'field');
|
|
421
|
+
lines.push(`class ${className}(BaseModel):`);
|
|
422
|
+
lines.push(` ${toSnakeCase(discriminant)}: Literal["${vname}"] = "${vname}"`);
|
|
423
|
+
for (const field of fields) {
|
|
424
|
+
const fp = p(field);
|
|
425
|
+
const fname = toSnakeCase(fp.name || 'field');
|
|
426
|
+
const ftype = mapTsTypeToPython(fp.type || 'Any');
|
|
427
|
+
const isOptional = fp.optional === 'true' || fp.optional === true;
|
|
428
|
+
if (isOptional) {
|
|
429
|
+
lines.push(` ${fname}: ${ftype} | None = None`);
|
|
430
|
+
}
|
|
431
|
+
else {
|
|
432
|
+
lines.push(` ${fname}: ${ftype}`);
|
|
433
|
+
}
|
|
434
|
+
}
|
|
435
|
+
if (fields.length === 0) {
|
|
436
|
+
lines.push(' pass');
|
|
437
|
+
}
|
|
438
|
+
lines.push('');
|
|
439
|
+
}
|
|
440
|
+
lines.push(`${name} = Union[${variantClassNames.join(', ')}]`);
|
|
441
|
+
return lines;
|
|
442
|
+
}
|
|
443
|
+
//# sourceMappingURL=data.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"data.js","sourceRoot":"","sources":["../../src/generators/data.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAChH,OAAO,EAAE,mCAAmC,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACzG,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAEhE;;;;;;;;;;;;yBAYyB;AACzB,SAAS,oBAAoB,CAAC,MAAc;IAC1C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjD,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC/E,CAAC;IACD,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,CAAC,OAAe,EAAQ,EAAE;QAC5C,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CACb,sCAAsC,OAAO,qBAAqB,KAAK,uDAAuD;gBAC5H,+CAA+C,CAClD,CAAC;QACJ,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,OAAO;YAAE,SAAS,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAChF,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACxG,IAAI,cAAc;gBAAE,SAAS;YAC7B,WAAW,CAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAe,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,SAAS,GAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAiB,IAAI,EAAE,CAAC;QAC5D,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,MAAM,IAAI,IAAI,qBAAqB,CAAC,SAAS,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,mCAAmC,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAC/F,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC;AAED;;;;;qEAKqE;AACrE,SAAS,qBAAqB,CAAC,MAAc;IAC3C,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,kBAAkB,GAAG,WAAW,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,2EAA2E;IAC3E,uEAAuE;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,wEAAwE;IACxE,0BAA0B;IAC1B,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;QAClC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,IAAI,IAAI,EAAE,CAAC;QACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,2DAA2D;AAC3D,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,QAAgB;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IACtC,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACxC,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC;IACjE,IAAI,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACtD,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACjD,IAAI,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC5D,0BAA0B;IAC1B,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,OAAO,GAAG,CAAC;IACxB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+FAA+F;AAC/F,MAAM,wBAAwB,GAA2B;IACvD,KAAK,EAAE,KAAK;IACZ,GAAG,EAAE,KAAK;IACV,WAAW,EAAE,KAAK;CACnB,CAAC;AAEF,wGAAwG;AACxG,MAAM,UAAU,iBAAiB,CAAC,QAAgB;IAChD,OAAO,wBAAwB,CAAC,QAAQ,CAAC,IAAI,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AACrF,CAAC;AAED,2EAA2E;AAC3E,8BAA8B;AAC9B,0CAA0C;AAC1C,6CAA6C;AAC7C,qDAAqD;AACrD,2CAA2C;AAE3C,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAU,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,SAAS,GAAG,YAAY,IAAI,UAAU,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,SAAS,gBAAgB,CAAC,CAAC;IACvD,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,IAAI,CAAC,wBAAwB,KAAK,GAAG,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,OAAO,CAAW,GAAG,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,EAAE,CAAC,OAAO,KAAK,MAAM,IAAI,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC;QAC/D,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,KAAK,MAAM,IAAI,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC;QAC5D,MAAM,UAAU,GAAG,EAAE,CAAC,QAAQ,KAAK,MAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC;QAClE,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC;QAE9B,qBAAqB;QACrB,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,SAAS;YAAE,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAClD,IAAI,QAAQ;YAAE,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC5C,IAAI,UAAU,KAAK,SAAS;YAAE,SAAS,CAAC,IAAI,CAAC,WAAW,mBAAmB,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;aACrG,IAAI,UAAU;YAAE,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAEpD,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;QAE3D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,KAAK,OAAO,YAAY,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5E,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,KAAK,OAAO,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,OAAO,CAAa,GAAG,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,KAAK,IAAI,KAAK,CAAC;QAC9C,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,aAAa,CAAC;QACtC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAElC,IAAI,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,WAAW,MAAM,qCAAqC,OAAO,IAAI,CAAC,CAAC;QAC9F,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,MAAM,MAAM,2CAA2C,OAAO,IAAI,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,4CAA4C;AAC5C,mFAAmF;AACnF,+BAA+B;AAE/B,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,MAAM,KAAK,GAAG,OAAO,CAAe,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,WAAW,CAAE,EAAE,CAAC,IAAe,IAAI,QAAQ,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;QACzD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,wEAAwE;QACxE,wEAAwE;QACxE,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,iBAAiB,CAAC,EAAE,CAAC,OAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEnF,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,OAAO,KAAK,IAAI,MAAM,IAAI,OAAO,GAAG,CAAC,CAAC;QAC/D,uEAAuE;QACvE,sEAAsE;QACtE,qDAAqD;QACrD,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,EAAE,IAAI,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,6DAA6D;AAC7D,uCAAuC;AACvC,8CAA8C;AAE9C,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAU,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAClC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,SAAS,SAAS,GAAG,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,GAAG,CAAC,CAAC;IACvC,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,GAAG,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,gBAAgB;IAChB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,SAAS,GAAG,WAAW,CAAE,EAAE,CAAC,IAAe,IAAI,OAAO,CAAC,CAAC;QAC9D,MAAM,GAAG,GAAI,EAAE,CAAC,GAAc,IAAI,SAAS,CAAC;QAC5C,qFAAqF;QACrF,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC;YAChC,CAAC,CAAC,GAAG,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QAEjD,KAAK,CAAC,IAAI,CAAC,qBAAqB,SAAS,kBAAkB,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,mBAAmB,OAAO,GAAG,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC;QACtG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,uBAAuB;IACvB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,WAAW,CAAE,EAAE,CAAC,EAAa,IAAI,QAAQ,CAAC,CAAC;QACtD,MAAM,IAAI,GAAI,EAAE,CAAC,IAAe,IAAI,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAClE,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,SAAS,EAAE,CAAC;QAEhF,KAAK,CAAC,IAAI,CAAC,+BAA+B,EAAE,kBAAkB,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,GAAG,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,4BAA4B,EAAE,CAAC,CAAC;QACxG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,8CAA8C;AAC9C,4BAA4B;AAC5B,kDAAkD;AAClD,wCAAwC;AAExC,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,MAAM,KAAK,GAAG,OAAO,CAAe,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,WAAW,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,WAAW,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,IAAI,KAAK,CAAY,CAAC,CAAC,CAAC,KAAK,CAAC;IAE5G,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,kBAAkB,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,SAAS,WAAW,GAAG,CAAC,CAAC;IAEtD,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,WAAW,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,YAAY,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,mBAAmB,IAAI,WAAW,CAAC,CAAC;IACjD,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,OAAO,GAAG,WAAW,CAAE,EAAE,CAAC,IAAe,IAAI,KAAK,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,EAAE,CAAC,IAAc,CAAC;QAClC,MAAM,OAAO,GAAG,EAAE,CAAC,IAAc,CAAC;QAClC,MAAM,OAAO,GAAG,EAAE,CAAC,IAAc,CAAC;QAClC,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,MAAM,OAAO,IAAI,OAAO,GAAG,CAAC,CAAC;QACxD,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,MAAM,OAAO,IAAI,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC,WAAW,CAAC,CAAC,IAAe,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,kBAAkB,WAAW,IAAI,WAAW,GAAG,CAAC,CAAC;IAC9D,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,kBAAkB,WAAW,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,sBAAsB,CAAC,CAAC;IACjD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,2BAA2B;AAC3B,qDAAqD;AACrD,mFAAmF;AAEnF,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAc,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAErC,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC;IAE7B,0BAA0B;IAC1B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,UAAU,GAAG,MAAM;aACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,WAAW,CAAE,EAAE,CAAC,IAAe,IAAI,OAAO,CAAC,CAAC;YAC1D,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAc,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACrE,OAAO,GAAG,KAAK,KAAK,KAAK,EAAE,CAAC;QAC9B,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,0BAA0B,UAAU,IAAI,CAAC,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,WAAW,CAAE,EAAE,CAAC,IAAe,IAAI,OAAO,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,KAAK,MAAM,IAAI,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,gBAAgB,GAAG,GAAG,KAAK,MAAM,KAAK,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,WAAW,CAAE,EAAE,CAAC,IAAe,IAAI,QAAQ,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;QACzD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,wEAAwE;QACxE,wEAAwE;QACxE,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,iBAAiB,CAAC,EAAE,CAAC,OAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEnF,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,OAAO,KAAK,IAAI,MAAM,IAAI,OAAO,GAAG,CAAC,CAAC;QAC/D,qEAAqE;QACrE,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,EAAE,IAAI,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,8CAA8C;AAC9C,uBAAuB;AACvB,kCAAkC;AAClC,sBAAsB;AACtB,sCAAsC;AACtC,+CAA+C;AAC/C,oEAAoE;AAEpE,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAU,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,wBAAwB,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAc,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACpE,MAAM,SAAS,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC;QACtE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAEtC,KAAK,CAAC,IAAI,CAAC,SAAS,SAAS,cAAc,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,OAAO,WAAW,CAAC,YAAY,CAAC,cAAc,KAAK,SAAS,KAAK,GAAG,CAAC,CAAC;QACjF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,WAAW,CAAE,EAAE,CAAC,IAAe,IAAI,OAAO,CAAC,CAAC;YAC1D,MAAM,KAAK,GAAG,iBAAiB,CAAE,EAAE,CAAC,IAAe,IAAI,KAAK,CAAC,CAAC;YAC9D,MAAM,UAAU,GAAG,EAAE,CAAC,QAAQ,KAAK,MAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC;YAClE,IAAI,UAAU,EAAE,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,KAAK,gBAAgB,CAAC,CAAC;YACrD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,YAAY,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Ground Layer generators — Python generation for KERN's ground-truth nodes:
|
|
3
|
+
* derive, transform, action, guard, assume, invariant, each, collect, branch, resolve, expect, recover
|
|
4
|
+
*/
|
|
5
|
+
import type { IRNode } from '@kernlang/core';
|
|
6
|
+
export declare function generateDerive(node: IRNode): string[];
|
|
7
|
+
export declare function generateTransform(node: IRNode): string[];
|
|
8
|
+
export declare function generateAction(node: IRNode): string[];
|
|
9
|
+
export declare function generateGuard(node: IRNode): string[];
|
|
10
|
+
export declare function generateAssume(node: IRNode): string[];
|
|
11
|
+
export declare function generateInvariant(node: IRNode): string[];
|
|
12
|
+
export type CoreNodeDispatcher = (node: IRNode) => string[];
|
|
13
|
+
/** Set the dispatcher function to break the circular dependency. */
|
|
14
|
+
export declare function setDispatcher(fn: CoreNodeDispatcher): void;
|
|
15
|
+
export declare function generateEach(node: IRNode): string[];
|
|
16
|
+
export declare function generateCollect(node: IRNode): string[];
|
|
17
|
+
export declare function generateBranch(node: IRNode): string[];
|
|
18
|
+
export declare function generateResolve(node: IRNode): string[];
|
|
19
|
+
export declare function generateExpect(node: IRNode): string[];
|
|
20
|
+
export declare function generateRecover(node: IRNode): string[];
|