prolog-trace-viz 1.0.0
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/README.md +148 -0
- package/dist/analyzer.d.ts +64 -0
- package/dist/analyzer.d.ts.map +1 -0
- package/dist/analyzer.js +903 -0
- package/dist/analyzer.js.map +1 -0
- package/dist/build-info.d.ts +15 -0
- package/dist/build-info.d.ts.map +1 -0
- package/dist/build-info.js +26 -0
- package/dist/build-info.js.map +1 -0
- package/dist/clauses.d.ts +15 -0
- package/dist/clauses.d.ts.map +1 -0
- package/dist/clauses.js +80 -0
- package/dist/clauses.js.map +1 -0
- package/dist/cli.d.ts +34 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.js +162 -0
- package/dist/cli.js.map +1 -0
- package/dist/errors.d.ts +19 -0
- package/dist/errors.d.ts.map +1 -0
- package/dist/errors.js +66 -0
- package/dist/errors.js.map +1 -0
- package/dist/executor.d.ts +25 -0
- package/dist/executor.d.ts.map +1 -0
- package/dist/executor.js +115 -0
- package/dist/executor.js.map +1 -0
- package/dist/index.d.ts +3 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +128 -0
- package/dist/index.js.map +1 -0
- package/dist/mermaid.d.ts +47 -0
- package/dist/mermaid.d.ts.map +1 -0
- package/dist/mermaid.js +197 -0
- package/dist/mermaid.js.map +1 -0
- package/dist/output.d.ts +24 -0
- package/dist/output.d.ts.map +1 -0
- package/dist/output.js +40 -0
- package/dist/output.js.map +1 -0
- package/dist/parser.d.ts +84 -0
- package/dist/parser.d.ts.map +1 -0
- package/dist/parser.js +1007 -0
- package/dist/parser.js.map +1 -0
- package/dist/prolog-parser.d.ts +2 -0
- package/dist/prolog-parser.d.ts.map +1 -0
- package/dist/prolog-parser.js +2 -0
- package/dist/prolog-parser.js.map +1 -0
- package/dist/renderer.d.ts +33 -0
- package/dist/renderer.d.ts.map +1 -0
- package/dist/renderer.js +131 -0
- package/dist/renderer.js.map +1 -0
- package/dist/wrapper.d.ts +30 -0
- package/dist/wrapper.d.ts.map +1 -0
- package/dist/wrapper.js +87 -0
- package/dist/wrapper.js.map +1 -0
- package/package.json +55 -0
- package/scripts/generate-build-info.js +63 -0
- package/scripts/release.js +151 -0
- package/tracer.pl +202 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAsDA,+BAA+B;AAC/B,MAAM,UAAU,GAA8B;IAC5C,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG;IAChD,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG;CACjD,CAAC;AAEF;;GAEG;AACH,SAAS,oBAAoB,CAAC,IAAY;IACxC,OAAO,IAAI;SACR,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,8BAA8B;SACjD,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,yBAAyB;SACtD,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,yBAAyB;SACtD,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,oBAAoB;SACzC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,4BAA4B;SACjG,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,oCAAoC;SAC3D,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,wBAAwB;SAC7C,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,uBAAuB;SAC5C,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,GAAG,GAAiB,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IAE/C,4BAA4B;IAC5B,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAEtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,wCAAwC;QACxC,OAAO;YACL,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;YACjC,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE;YACR,QAAQ,EAAE,EAAE;YACZ,KAAK,EAAE,CAAC;SACT,CAAC;IACJ,CAAC;IAED,sEAAsE;IACtE,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAE9C,iCAAiC;IACjC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,IAAmB;IAC9C,wCAAwC;IACxC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACzE,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAErC,qFAAqF;QACrF,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,KAAK,CAAC,YAAY,GAAG,YAAY,CAAC;YAClC,kEAAkE;YAClE,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACrC,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YACjC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,yDAAyD;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4CAA4C;IAC5C,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;IAEvE,uGAAuG;IACvG,kFAAkF;IAClF,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClH,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YAC5B,IAAI,CAAC,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC;QAC9C,CAAC;QACD,oDAAoD;QACpD,IAAI,UAAU,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;QACtC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;QAC1D,IAAI,WAAW,KAAK,CAAC,CAAC;YAAE,MAAM;QAE9B,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACjD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5B,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,WAAW,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,KAAa,EAAE,QAAgB;IACpD,wBAAwB;IACxB,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACvE,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,+CAA+C;IAC/C,MAAM,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAClD,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhC,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,QAA8B,CAAC;IAEnC,+DAA+D;IAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;IACzF,IAAI,YAAY,EAAE,CAAC;QACjB,sDAAsD;QACtD,MAAM,cAAc,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,QAAQ,GAAG,cAAc;aACtB,KAAK,CAAC,MAAM,CAAC;aACb,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;aACxC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE7B,uCAAuC;QACvC,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC7B,CAAC;SAAM,CAAC;QACN,4BAA4B;QAC5B,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,GAAG,CAAC,CAAC;IAEjC,6BAA6B;IAC7B,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC9D,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAEtC,OAAO;QACL,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE;QAClC,MAAM,EAAE,MAAM,GAAG,eAAe,CAAC,MAAM;KACxC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,KAAa,EAAE,QAAgB,EAAE,IAAY;IACpE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,MAAM,QAAQ,GAAG,WAAW,IAAI,GAAG,CAAC;IACpC,MAAM,MAAM,GAAG,SAAS,IAAI,GAAG,CAAC;IAEhC,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAE3C,IAAI,OAAO,KAAK,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QAE9B,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,SAAS,GAAG,OAAO,EAAE,CAAC;YAC5C,KAAK,EAAE,CAAC;YACR,GAAG,GAAG,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;QACpC,CAAC;aAAM,CAAC;YACN,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YAChC,GAAG,GAAG,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,OAAO,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5B,0BAA0B;QAC1B,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACvE,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7F,MAAM,iBAAiB,GAAG,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAErD,kCAAkC;YAClC,MAAM,eAAe,GAAG,iBAAiB,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;YACtE,IAAI,eAAe,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC3B,GAAG,EAAE,CAAC;gBACN,SAAS;YACX,CAAC;YAED,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,iBAAiB,EAAE,eAAe,CAAC,CAAC;YAEvE,sCAAsC;YACtC,IAAI,YAAY,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBAC7C,MAAM,aAAa,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;gBACnD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC;iBAAM,IAAI,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACrD,MAAM,OAAO,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;gBAC3C,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACzD,CAAC;YAED,GAAG,GAAG,eAAe,GAAG,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,GAAG,EAAE,CAAC;QACR,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,OAAe,EAAE,QAAgB;IAC1D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,QAAQ,CAAC;IAEnB,OAAO,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aAC7B,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACvC,IAAI,KAAK,GAAG,CAAC;YAAE,GAAG,EAAE,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,OAAe;IACnC,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;IAC1F,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,cAAc,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACvC,8CAA8C;IAC9C,MAAM,QAAQ,GAAG,cAAc;SAC5B,KAAK,CAAC,SAAS,CAAC;SAChB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAEpD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACvC,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,MAAc,EAAE,GAAiB,EAAE,KAAa;IACpE,MAAM,IAAI,GAAkB;QAC1B,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;QACjC,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;QACpC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK;KACN,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAClB,0DAA0D;YAC1D,IAAI,CAAC,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrD,CAAC;QAED,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACtC,qDAAqD;YACrD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9D,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;gBACxE,oBAAoB;gBACpB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;oBACjC,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,EAAE;oBACZ,KAAK,EAAE,KAAK,GAAG,CAAC;iBACjB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;gBACrD,oBAAoB;gBACpB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;oBACjC,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,EAAE;oBACZ,KAAK,EAAE,KAAK,GAAG,CAAC;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACvE,wBAAwB;YACxB,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACvC,sCAAsC;YACtC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;gBAC7C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;oBACjC,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,EAAE;oBACZ,KAAK,EAAE,KAAK,GAAG,CAAC;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,gBAAgB;YAChB,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,OAAiB,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACxE,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;gBACxC,qDAAqD;gBACrD,SAAS,CAAC,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC1D,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAmB;IAClD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAE5C,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,YAAY;QACZ,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,UAAU,WAAW,IAAI,CAAC,CAAC;IACxC,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrD,6BAA6B;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,UAAU,WAAW,GAAG,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,oBAAoB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;SAAM,CAAC;QACN,qBAAqB;QACrB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,KAAK,CAAC,IAAI,CAAC,UAAU,WAAW,WAAW,CAAC,CAAC;YAC/C,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,KAAK,CAAC,IAAI,CAAC,UAAU,WAAW,GAAG,CAAC,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE5B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,IAAY;IAC/B,IAAI,SAAgB,CAAC;IAErB,IAAI,CAAC;QACH,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACrD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAE9B,2BAA2B;QAC3B,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC,mCAAmC,CAAC,iBAAiB,CAAC,CAAC;YACpE,SAAS;QACX,CAAC;QAED,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC;QAElD,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,mBAAmB,IAAI,GAAG,CAAC,CAAC;YACrE,SAAS;QACX,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,oBAAoB,KAAK,GAAG,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QAED,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,mBAAmB,IAAI,GAAG,CAAC,CAAC;YACrE,SAAS;QACX,CAAC;QAED,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;YAChD,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,wBAAwB,SAAS,GAAG,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QAED,0DAA0D;QAC1D,IAAI,iBAAiB,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,SAAS;QACX,CAAC;QAED,oBAAoB;QACpB,MAAM,KAAK,GAAe;YACxB,IAAI,EAAE,IAAyC;YAC/C,KAAK;YACL,IAAI;YACJ,SAAS;SACV,CAAC;QAEF,sBAAsB;QACtB,IAAI,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;QACvC,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC3D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC7C,IAAI,IAAI,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7C,KAAK,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACtC,CAAC;QACH,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,SAAiB;IAC1C,MAAM,gBAAgB,GAAG;QACvB,WAAW;QACX,eAAe;QACf,qBAAqB;QACrB,QAAQ;QACR,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;KACX,CAAC;IAEF,OAAO,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,IAAY;IACjC,sEAAsE;IACtE,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6CAA6C;IAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAaD;;;GAGG;AACH,MAAM,SAAS;IACL,KAAK,GAA4B,IAAI,GAAG,EAAE,CAAC;IAC3C,QAAQ,GAAW,CAAC,CAAC,CAAC,CAAC,uCAAuC;IAEtE,IAAI,CAAC,KAAa,EAAE,IAAmB,EAAE,KAAiB;QACxD,wDAAwD;QACxD,MAAM,KAAK,GAAe;YACxB,IAAI;YACJ,SAAS,EAAE,KAAK;YAChB,QAAQ,EAAE,EAAE;YACZ,WAAW,EAAE,KAAK;YAClB,QAAQ,EAAE,KAAK;SAChB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAE7B,oCAAoC;QACpC,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IAED,GAAG,CAAC,KAAa;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAEzB,kDAAkD;YAClD,IAAI,KAAK,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YACzC,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,KAAa;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,SAAS,CAAC,KAAa;QACrB,2EAA2E;QAC3E,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC5C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED;;OAEG;IACK,eAAe;QACrB,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,KAAK,GAAG,MAAM,EAAE,CAAC;gBACnB,MAAM,GAAG,KAAK,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,MAAoB;IAC/C,MAAM,GAAG,GAAiB,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,SAAS,EAAE,CAAC;IAClC,IAAI,IAAI,GAAyB,IAAI,CAAC;IAEtC,gCAAgC;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;YACjC,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE;YACR,QAAQ,EAAE,EAAE;YACZ,KAAK,EAAE,CAAC;SACT,CAAC;IACJ,CAAC;IAED,qDAAqD;IACrD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,gEAAgE;IAChE,IAAI,QAAQ,GAAG,QAAQ,CAAC;IACxB,IAAI,QAAQ,GAAG,CAAC,QAAQ,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9B,IAAI,KAAK,GAAG,QAAQ;YAAE,QAAQ,GAAG,KAAK,CAAC;QACvC,IAAI,KAAK,GAAG,QAAQ;YAAE,QAAQ,GAAG,KAAK,CAAC;IACzC,CAAC;IAED,iDAAiD;IACjD,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,QAAQ,GAAG,CAAC,CAAC;QACb,QAAQ,GAAG,CAAC,CAAC;IACf,CAAC;IAED,sEAAsE;IACtE,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;IAEnE,yDAAyD;IACzD,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,qCAAqC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;QAExE,+CAA+C;QAC/C,IAAI,KAAK,GAAG,YAAY,EAAE,CAAC;YACzB,YAAY,GAAG,KAAK,CAAC;QACvB,CAAC;QAED,eAAe,EAAE,CAAC;QAElB,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACpB,gCAAgC;YAChC,MAAM,IAAI,GAAkB;gBAC1B,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;gBACjC,IAAI,EAAE,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;gBAC3C,IAAI;gBACJ,QAAQ,EAAE,EAAE;gBACZ,KAAK;aACN,CAAC;YAEF,wCAAwC;YACxC,IAAI,MAAM,EAAE,CAAC;gBACX,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;gBAC9B,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,2CAA2C;YAC9E,CAAC;iBAAM,CAAC;gBACN,6DAA6D;gBAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;gBACzD,IAAI,SAAS,EAAE,CAAC;oBACd,MAAM,aAAa,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBACnC,gFAAgF;oBAChF,MAAM,cAAc,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,kBAAkB;oBACjF,IAAI,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;wBAC3C,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,4CAA4C;oBAErE,CAAC;gBACH,CAAC;YACH,CAAC;YAED,6DAA6D;YAC7D,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACvB,IAAI,GAAG,IAAI,CAAC;gBACZ,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,iCAAiC;YACxD,CAAC;iBAAM,CAAC;gBACN,2BAA2B;gBAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC1C,IAAI,MAAM,EAAE,CAAC;oBACX,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;YAED,uBAAuB;YACvB,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAErC,CAAC;aAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,8DAA8D;YAC9D,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;gBAE7B,kCAAkC;gBAClC,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;gBACxB,CAAC;gBAED,wDAAwD;gBACxD,MAAM,YAAY,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;gBAChF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;oBACjC,4CAA4C;oBAC5C,IAAI,CAAC,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChF,CAAC;gBAED,gCAAgC;gBAChC,IAAI,MAAM,EAAE,CAAC;oBACX,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;oBAC9B,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC;gBAClC,CAAC;qBAAM,CAAC;oBACN,6DAA6D;oBAC7D,yEAAyE;oBACzE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;oBACzD,IAAI,SAAS,EAAE,CAAC;wBACd,MAAM,aAAa,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;wBACnC,gFAAgF;wBAChF,MAAM,cAAc,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,kBAAkB;wBACjF,IAAI,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;4BAC3C,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,4CAA4C;wBACrE,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,UAAU,CAAC,WAAW,GAAG,IAAI,CAAC;gBAE9B,yCAAyC;gBACzC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;wBACjB,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;wBACjC,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE,MAAM;wBACZ,QAAQ,EAAE,EAAE;wBACZ,KAAK,EAAE,KAAK,GAAG,CAAC;qBACjB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,wDAAwD;gBACxD,QAAQ,CAAC,IAAI,CAAC,iCAAiC,KAAK,cAAc,IAAI,EAAE,CAAC,CAAC;gBAE1E,2CAA2C;gBAC3C,MAAM,eAAe,GAAkB;oBACrC,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;oBACjC,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,GAAG,cAAc;oBAC3B,QAAQ,EAAE,EAAE;oBACZ,KAAK;iBACN,CAAC;gBAEF,4CAA4C;gBAC5C,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,eAAe,CAAC,SAAS,GAAG,IAAI,CAAC;oBACjC,yDAAyD;oBACzD,MAAM,kBAAkB,GAAG,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACjE,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAClC,eAAe,CAAC,YAAY,GAAG,kBAAkB,CAAC;wBAClD,eAAe,CAAC,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjG,CAAC;gBACH,CAAC;gBAED,oBAAoB;gBACpB,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAC5B,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;oBACjC,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,EAAE;oBACZ,KAAK,EAAE,KAAK,GAAG,CAAC;iBACjB,CAAC,CAAC;gBAEH,2EAA2E;gBAC3E,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC1C,IAAI,MAAM,EAAE,CAAC;oBACX,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBAC7C,CAAC;qBAAM,CAAC;oBACN,qDAAqD;oBACrD,IAAI,CAAC,IAAI,EAAE,CAAC;wBACV,IAAI,GAAG;4BACL,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;4BACjC,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE;4BACR,QAAQ,EAAE,EAAE;4BACZ,KAAK,EAAE,QAAQ;yBAChB,CAAC;oBACJ,CAAC;oBACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QAEH,CAAC;aAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,qDAAqD;YACrD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;gBAC7B,UAAU,CAAC,QAAQ,GAAG,IAAI,CAAC;gBAE3B,qFAAqF;gBACrF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;oBACjC,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,EAAE;oBACZ,KAAK,EAAE,KAAK,GAAG,CAAC;iBACjB,CAAC,CAAC;gBAEH,iBAAiB;gBACjB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,8BAA8B;gBAC9B,QAAQ,CAAC,IAAI,CAAC,iCAAiC,KAAK,cAAc,IAAI,EAAE,CAAC,CAAC;gBAE1E,2CAA2C;gBAC3C,MAAM,eAAe,GAAkB;oBACrC,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;oBACjC,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,GAAG,cAAc;oBAC3B,QAAQ,EAAE,CAAC;4BACT,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;4BACjC,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,OAAO;4BACb,QAAQ,EAAE,EAAE;4BACZ,KAAK,EAAE,KAAK,GAAG,CAAC;yBACjB,CAAC;oBACF,KAAK;iBACN,CAAC;gBAEF,2EAA2E;gBAC3E,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC1C,IAAI,MAAM,EAAE,CAAC;oBACX,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBAC7C,CAAC;qBAAM,CAAC;oBACN,qDAAqD;oBACrD,IAAI,CAAC,IAAI,EAAE,CAAC;wBACV,IAAI,GAAG;4BACL,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;4BACjC,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE;4BACR,QAAQ,EAAE,EAAE;4BACZ,KAAK,EAAE,QAAQ;yBAChB,CAAC;oBACJ,CAAC;oBACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QAEH,CAAC;aAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,mDAAmD;YACnD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;gBAE7B,kFAAkF;gBAClF,2EAA2E;gBAE3E,qDAAqD;gBACrD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;gBAExE,mFAAmF;gBACnF,UAAU,CAAC,WAAW,GAAG,KAAK,CAAC;gBAC/B,UAAU,CAAC,QAAQ,GAAG,KAAK,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,8BAA8B;gBAC9B,QAAQ,CAAC,IAAI,CAAC,iCAAiC,KAAK,cAAc,IAAI,EAAE,CAAC,CAAC;gBAC1E,6EAA6E;YAC/E,CAAC;QACH,CAAC;IACH,CAAC;IAED,qBAAqB;IACrB,SAAS,CAAC,KAAK,EAAE,CAAC;IAElB,gEAAgE;IAChE,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,KAAK,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;QAED,2CAA2C;QAC3C,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,EAAE,CAAC;YACzB,OAAO,CAAC,GAAG,CAAC,UAAU,eAAe,uBAAuB,YAAY,wBAAwB,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,OAAO,IAAI,IAAI;QACb,EAAE,EAAE,QAAQ,GAAG,CAAC,aAAa,EAAE,EAAE;QACjC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,EAAE;QACR,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE,CAAC;KACT,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB;IAC/B,aAAa,CAAC,KAAK,EAAE,CAAC;AACxB,CAAC;AAcD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,2CAA2C;IAC3C,iBAAiB,EAAE,CAAC;IAEpB,gCAAgC;IAChC,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC;IAErD,6BAA6B;IAC7B,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IAEjC,8BAA8B;IAC9B,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAElC,+BAA+B;IAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC;IAEnD,oBAAoB;IACpB,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;IACtC,MAAM,eAAe,GAAG,UAAU,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,WAAW,GAAG,aAAa,CAAC;IAE/C,sBAAsB;IACtB,SAAS,UAAU,CAAC,IAAmB;QACrC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,sBAAsB;IACtB,SAAS,WAAW,CAAC,IAAmB;QACtC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAClD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAEnC,OAAO;QACL,SAAS;QACT,eAAe;QACf,UAAU;QACV,SAAS;QACT,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,iDAAiD;AACjD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;AAElD;;;GAGG;AACH,SAAS,mBAAmB,CAAC,QAAgB,EAAE,QAAgB,EAAE,QAAgB;IAC/E,gCAAgC;IAChC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,wCAAwC;IACxC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACpE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,aAAa,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAEnC,wDAAwD;IACxD,IAAI,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;QACzC,2CAA2C;QAC3C,IAAI,aAAa,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;YAC9B,aAAa,CAAC,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAE3D,0DAA0D;IAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAEnC,iFAAiF;QACjF,+CAA+C;QAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,SAAS,IAAI,GAAG,IAAI,SAAS,IAAI,GAAG,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YAC9D,YAAY,CAAC,IAAI,CAAC;gBAChB,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aAChC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,SAAiB;IACvC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAE1B,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,QAAQ,GAAG,CAAC,QAAQ,CAAC;YACrB,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,QAAQ,EAAE,CAAC;YACpB,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxC,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxC,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1B,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,KAAU;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;SAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACjD,CAAC;SAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACvD,wBAAwB;QACxB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,yBAAyB,CAAC,IAAY,EAAE,IAAY;IAC3D,MAAM,YAAY,GAAkB,EAAE,CAAC;IAEvC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,uCAAuC;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;IAChE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,MAAM,aAAa,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;IAE/C,sDAAsD;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAChE,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAEtC,4DAA4D;QAC5D,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,YAAY,CAAC,IAAI,CAAC;gBAChB,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,QAAQ;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"prolog-parser.d.ts","sourceRoot":"","sources":["../src/prolog-parser.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"prolog-parser.js","sourceRoot":"","sources":["../src/prolog-parser.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
import { ExecutionStep, ClauseUsage } from './analyzer.js';
|
|
2
|
+
export interface RenderContext {
|
|
3
|
+
query: string;
|
|
4
|
+
diagram: string;
|
|
5
|
+
executionSteps: ExecutionStep[];
|
|
6
|
+
finalAnswer?: string;
|
|
7
|
+
clausesUsed: ClauseUsage[];
|
|
8
|
+
}
|
|
9
|
+
/**
|
|
10
|
+
* Renders a complete markdown document from the analysis results.
|
|
11
|
+
*/
|
|
12
|
+
export declare function renderMarkdown(context: RenderContext): string;
|
|
13
|
+
/**
|
|
14
|
+
* Renders the legend section explaining visual elements.
|
|
15
|
+
*/
|
|
16
|
+
export declare function renderLegend(): string;
|
|
17
|
+
/**
|
|
18
|
+
* Renders the step-by-step execution breakdown.
|
|
19
|
+
*/
|
|
20
|
+
export declare function renderExecutionSteps(steps: ExecutionStep[]): string;
|
|
21
|
+
/**
|
|
22
|
+
* Checks if the markdown output contains all required sections.
|
|
23
|
+
*/
|
|
24
|
+
export declare function hasRequiredSections(markdown: string): {
|
|
25
|
+
hasTitle: boolean;
|
|
26
|
+
hasQuery: boolean;
|
|
27
|
+
hasMermaid: boolean;
|
|
28
|
+
hasLegend: boolean;
|
|
29
|
+
hasSteps: boolean;
|
|
30
|
+
hasFinalAnswer: boolean;
|
|
31
|
+
hasClausesUsed: boolean;
|
|
32
|
+
};
|
|
33
|
+
//# sourceMappingURL=renderer.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"renderer.d.ts","sourceRoot":"","sources":["../src/renderer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,aAAa,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE3E,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,WAAW,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAmD7D;AAED;;GAEG;AACH,wBAAgB,YAAY,IAAI,MAAM,CAgBrC;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,MAAM,CAuCnE;AAmBD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG;IACrD,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IACpB,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,EAAE,OAAO,CAAC;IACxB,cAAc,EAAE,OAAO,CAAC;CACzB,CAUA"}
|
package/dist/renderer.js
ADDED
|
@@ -0,0 +1,131 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Renders a complete markdown document from the analysis results.
|
|
3
|
+
*/
|
|
4
|
+
export function renderMarkdown(context) {
|
|
5
|
+
const sections = [];
|
|
6
|
+
// Title
|
|
7
|
+
sections.push(`# Prolog Execution Tree: ${context.query}`);
|
|
8
|
+
sections.push('');
|
|
9
|
+
// Original query
|
|
10
|
+
sections.push('## Query');
|
|
11
|
+
sections.push('');
|
|
12
|
+
sections.push('```prolog');
|
|
13
|
+
sections.push(context.query);
|
|
14
|
+
sections.push('```');
|
|
15
|
+
sections.push('');
|
|
16
|
+
// Clauses defined (moved up front)
|
|
17
|
+
sections.push('## Clauses Defined');
|
|
18
|
+
sections.push('');
|
|
19
|
+
sections.push(renderClausesUsed(context.clausesUsed));
|
|
20
|
+
sections.push('');
|
|
21
|
+
// Mermaid diagram
|
|
22
|
+
sections.push('## Search Tree Visualization');
|
|
23
|
+
sections.push('');
|
|
24
|
+
sections.push('```mermaid');
|
|
25
|
+
sections.push(context.diagram);
|
|
26
|
+
sections.push('```');
|
|
27
|
+
sections.push('');
|
|
28
|
+
// Legend
|
|
29
|
+
sections.push(renderLegend());
|
|
30
|
+
sections.push('');
|
|
31
|
+
// Step-by-step execution
|
|
32
|
+
sections.push('## Step-by-Step Execution');
|
|
33
|
+
sections.push('');
|
|
34
|
+
sections.push(renderExecutionSteps(context.executionSteps));
|
|
35
|
+
sections.push('');
|
|
36
|
+
// Final answer
|
|
37
|
+
sections.push('## Final Answer');
|
|
38
|
+
sections.push('');
|
|
39
|
+
if (context.finalAnswer) {
|
|
40
|
+
sections.push('```prolog');
|
|
41
|
+
sections.push(context.finalAnswer);
|
|
42
|
+
sections.push('```');
|
|
43
|
+
}
|
|
44
|
+
else {
|
|
45
|
+
sections.push('Query succeeded with no bindings.');
|
|
46
|
+
}
|
|
47
|
+
return sections.join('\n');
|
|
48
|
+
}
|
|
49
|
+
/**
|
|
50
|
+
* Renders the legend section explaining visual elements.
|
|
51
|
+
*/
|
|
52
|
+
export function renderLegend() {
|
|
53
|
+
const lines = [
|
|
54
|
+
'### Legend',
|
|
55
|
+
'',
|
|
56
|
+
'- ๐ฏ **Blue**: Initial query',
|
|
57
|
+
'- ๐ **Yellow**: Currently solving goal',
|
|
58
|
+
'- ๐ฆ **Orange**: Clause match with unifications',
|
|
59
|
+
'- โธ๏ธ **Gray**: Pending goals (waiting for current goal to complete)',
|
|
60
|
+
'- โ
**Green**: Solved goal with binding',
|
|
61
|
+
'- ๐ **Green**: Final success',
|
|
62
|
+
'- **Solid arrows**: Active execution flow',
|
|
63
|
+
'- **Dashed arrows**: Goals queued for later',
|
|
64
|
+
'- **Double arrows (green)**: Pending goal becomes active',
|
|
65
|
+
];
|
|
66
|
+
return lines.join('\n');
|
|
67
|
+
}
|
|
68
|
+
/**
|
|
69
|
+
* Renders the step-by-step execution breakdown.
|
|
70
|
+
*/
|
|
71
|
+
export function renderExecutionSteps(steps) {
|
|
72
|
+
if (steps.length === 0) {
|
|
73
|
+
return '_No execution steps recorded._';
|
|
74
|
+
}
|
|
75
|
+
const lines = [];
|
|
76
|
+
for (const step of steps) {
|
|
77
|
+
lines.push(`### Step ${step.stepNumber}`);
|
|
78
|
+
lines.push('');
|
|
79
|
+
lines.push(`**Goal:** \`${step.goal}\``);
|
|
80
|
+
lines.push('');
|
|
81
|
+
lines.push(`**Action:** ${step.description}`);
|
|
82
|
+
if (step.clauseMatched) {
|
|
83
|
+
lines.push('');
|
|
84
|
+
lines.push(`**Clause matched:** \`${step.clauseMatched}\``);
|
|
85
|
+
}
|
|
86
|
+
if (step.bindings && Object.keys(step.bindings).length > 0) {
|
|
87
|
+
lines.push('');
|
|
88
|
+
lines.push('**Bindings:**');
|
|
89
|
+
for (const [key, value] of Object.entries(step.bindings)) {
|
|
90
|
+
lines.push(`- \`${key} = ${value}\``);
|
|
91
|
+
}
|
|
92
|
+
}
|
|
93
|
+
if (step.newGoals && step.newGoals.length > 0) {
|
|
94
|
+
lines.push('');
|
|
95
|
+
lines.push('**New subgoals:**');
|
|
96
|
+
for (const goal of step.newGoals) {
|
|
97
|
+
lines.push(`- \`${goal}\``);
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
lines.push('');
|
|
101
|
+
}
|
|
102
|
+
return lines.join('\n');
|
|
103
|
+
}
|
|
104
|
+
/**
|
|
105
|
+
* Renders the clauses defined in the source file.
|
|
106
|
+
*/
|
|
107
|
+
function renderClausesUsed(clauses) {
|
|
108
|
+
if (clauses.length === 0) {
|
|
109
|
+
return '_No clauses found in source file._';
|
|
110
|
+
}
|
|
111
|
+
const lines = [];
|
|
112
|
+
for (const clause of clauses) {
|
|
113
|
+
lines.push(`${clause.clauseNumber}. \`${clause.clauseText}\``);
|
|
114
|
+
}
|
|
115
|
+
return lines.join('\n');
|
|
116
|
+
}
|
|
117
|
+
/**
|
|
118
|
+
* Checks if the markdown output contains all required sections.
|
|
119
|
+
*/
|
|
120
|
+
export function hasRequiredSections(markdown) {
|
|
121
|
+
return {
|
|
122
|
+
hasTitle: markdown.includes('# Prolog Trace:'),
|
|
123
|
+
hasQuery: markdown.includes('## Query') && markdown.includes('```prolog'),
|
|
124
|
+
hasMermaid: markdown.includes('```mermaid'),
|
|
125
|
+
hasLegend: markdown.includes('## Legend'),
|
|
126
|
+
hasSteps: markdown.includes('## Step-by-Step Execution'),
|
|
127
|
+
hasFinalAnswer: markdown.includes('## Final Answer'),
|
|
128
|
+
hasClausesUsed: markdown.includes('## Clauses Used'),
|
|
129
|
+
};
|
|
130
|
+
}
|
|
131
|
+
//# sourceMappingURL=renderer.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"renderer.js","sourceRoot":"","sources":["../src/renderer.ts"],"names":[],"mappings":"AAUA;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,OAAsB;IACnD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,QAAQ;IACR,QAAQ,CAAC,IAAI,CAAC,4BAA4B,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,iBAAiB;IACjB,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,mCAAmC;IACnC,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,kBAAkB;IAClB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,SAAS;IACT,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,yBAAyB;IACzB,QAAQ,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,eAAe;IACf,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACnC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,KAAK,GAAa;QACtB,YAAY;QACZ,EAAE;QACF,8BAA8B;QAC9B,yCAAyC;QACzC,iDAAiD;QACjD,qEAAqE;QACrE,yCAAyC;QACzC,+BAA+B;QAC/B,2CAA2C;QAC3C,6CAA6C;QAC7C,0DAA0D;KAC3D,CAAC;IAEF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAsB;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,gCAAgC,CAAC;IAC1C,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAE9C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,yBAAyB,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzD,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,OAAsB;IAC/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,oCAAoC,CAAC;IAC9C,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,YAAY,OAAO,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC;IACjE,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IASlD,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QAC9C,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QACzE,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC;QAC3C,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QACzC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QACxD,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACpD,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;KACrD,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
export interface WrapperConfig {
|
|
2
|
+
prologContent: string;
|
|
3
|
+
query: string;
|
|
4
|
+
depth?: number;
|
|
5
|
+
tracerPath: string;
|
|
6
|
+
}
|
|
7
|
+
export interface TempFile {
|
|
8
|
+
path: string;
|
|
9
|
+
cleanup: () => Promise<void>;
|
|
10
|
+
}
|
|
11
|
+
/**
|
|
12
|
+
* Generates the custom tracer wrapper file content.
|
|
13
|
+
* The wrapper includes:
|
|
14
|
+
* - Custom tracer import
|
|
15
|
+
* - User's Prolog code (loaded without instrumentation)
|
|
16
|
+
* - Query execution with tracer installed
|
|
17
|
+
* - JSON export after query
|
|
18
|
+
* - Tracer cleanup
|
|
19
|
+
*/
|
|
20
|
+
export declare function generateWrapper(config: WrapperConfig): string;
|
|
21
|
+
/**
|
|
22
|
+
* Creates a temporary wrapper file and returns its path along with a cleanup function.
|
|
23
|
+
*/
|
|
24
|
+
export declare function createTempWrapper(config: WrapperConfig): Promise<TempFile>;
|
|
25
|
+
/**
|
|
26
|
+
* Serializes a wrapper back to its component parts (for testing round-trips).
|
|
27
|
+
* Returns null if the content doesn't match expected wrapper format.
|
|
28
|
+
*/
|
|
29
|
+
export declare function parseWrapper(content: string): WrapperConfig | null;
|
|
30
|
+
//# sourceMappingURL=wrapper.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"wrapper.d.ts","sourceRoot":"","sources":["../src/wrapper.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC9B;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CA0B7D;AAED;;GAEG;AACH,wBAAsB,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,QAAQ,CAAC,CAiBhF;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CA2BlE"}
|
package/dist/wrapper.js
ADDED
|
@@ -0,0 +1,87 @@
|
|
|
1
|
+
import * as fs from 'node:fs/promises';
|
|
2
|
+
import * as path from 'node:path';
|
|
3
|
+
import * as os from 'node:os';
|
|
4
|
+
/**
|
|
5
|
+
* Generates the custom tracer wrapper file content.
|
|
6
|
+
* The wrapper includes:
|
|
7
|
+
* - Custom tracer import
|
|
8
|
+
* - User's Prolog code (loaded without instrumentation)
|
|
9
|
+
* - Query execution with tracer installed
|
|
10
|
+
* - JSON export after query
|
|
11
|
+
* - Tracer cleanup
|
|
12
|
+
*/
|
|
13
|
+
export function generateWrapper(config) {
|
|
14
|
+
const { prologContent, query, tracerPath } = config;
|
|
15
|
+
const lines = [
|
|
16
|
+
`% Load custom tracer`,
|
|
17
|
+
`:- ['${tracerPath}'].`,
|
|
18
|
+
'',
|
|
19
|
+
`% User's Prolog code (no instrumentation)`,
|
|
20
|
+
prologContent.trim(),
|
|
21
|
+
'',
|
|
22
|
+
'% Run trace with error handling',
|
|
23
|
+
'run_trace :-',
|
|
24
|
+
' install_tracer,',
|
|
25
|
+
' catch(',
|
|
26
|
+
` (${query.trim()}, export_trace_json('trace.json')),`,
|
|
27
|
+
' Error,',
|
|
28
|
+
` (format('Error: ~w~n', [Error]), export_trace_json('trace.json'))`,
|
|
29
|
+
' ),',
|
|
30
|
+
' remove_tracer.',
|
|
31
|
+
'',
|
|
32
|
+
':- run_trace.',
|
|
33
|
+
':- halt.',
|
|
34
|
+
'',
|
|
35
|
+
];
|
|
36
|
+
return lines.join('\n');
|
|
37
|
+
}
|
|
38
|
+
/**
|
|
39
|
+
* Creates a temporary wrapper file and returns its path along with a cleanup function.
|
|
40
|
+
*/
|
|
41
|
+
export async function createTempWrapper(config) {
|
|
42
|
+
const content = generateWrapper(config);
|
|
43
|
+
const tempDir = await fs.mkdtemp(path.join(os.tmpdir(), 'prolog-trace-viz-'));
|
|
44
|
+
const wrapperPath = path.join(tempDir, 'wrapper.pl');
|
|
45
|
+
await fs.writeFile(wrapperPath, content, 'utf-8');
|
|
46
|
+
return {
|
|
47
|
+
path: wrapperPath,
|
|
48
|
+
cleanup: async () => {
|
|
49
|
+
try {
|
|
50
|
+
await fs.rm(tempDir, { recursive: true, force: true });
|
|
51
|
+
}
|
|
52
|
+
catch {
|
|
53
|
+
// Ignore cleanup errors
|
|
54
|
+
}
|
|
55
|
+
},
|
|
56
|
+
};
|
|
57
|
+
}
|
|
58
|
+
/**
|
|
59
|
+
* Serializes a wrapper back to its component parts (for testing round-trips).
|
|
60
|
+
* Returns null if the content doesn't match expected wrapper format.
|
|
61
|
+
*/
|
|
62
|
+
export function parseWrapper(content) {
|
|
63
|
+
// Extract tracer path
|
|
64
|
+
const tracerMatch = content.match(/:-\s*\['([^']+)'\]\./);
|
|
65
|
+
if (!tracerMatch) {
|
|
66
|
+
return null;
|
|
67
|
+
}
|
|
68
|
+
const tracerPath = tracerMatch[1];
|
|
69
|
+
// Extract query from run_trace predicate - match everything between ( and , export_trace_json
|
|
70
|
+
const queryMatch = content.match(/catch\(\s*\(([\s\S]*?),\s*export_trace_json/);
|
|
71
|
+
if (!queryMatch) {
|
|
72
|
+
return null;
|
|
73
|
+
}
|
|
74
|
+
const query = queryMatch[1].trim();
|
|
75
|
+
// Extract user's Prolog content (between tracer load and run_trace)
|
|
76
|
+
const contentMatch = content.match(/:-\s*\['[^']+'\]\.\s*\n\s*%\s*User's Prolog code[^\n]*\n([\s\S]*?)\n\s*%\s*Run trace/);
|
|
77
|
+
if (!contentMatch) {
|
|
78
|
+
return null;
|
|
79
|
+
}
|
|
80
|
+
const prologContent = contentMatch[1].trim();
|
|
81
|
+
return {
|
|
82
|
+
prologContent,
|
|
83
|
+
query,
|
|
84
|
+
tracerPath,
|
|
85
|
+
};
|
|
86
|
+
}
|
|
87
|
+
//# sourceMappingURL=wrapper.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"wrapper.js","sourceRoot":"","sources":["../src/wrapper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAc9B;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,MAAqB;IACnD,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;IAEpD,MAAM,KAAK,GAAa;QACtB,sBAAsB;QACtB,QAAQ,UAAU,KAAK;QACvB,EAAE;QACF,2CAA2C;QAC3C,aAAa,CAAC,IAAI,EAAE;QACpB,EAAE;QACF,iCAAiC;QACjC,cAAc;QACd,qBAAqB;QACrB,YAAY;QACZ,YAAY,KAAK,CAAC,IAAI,EAAE,qCAAqC;QAC7D,gBAAgB;QAChB,2EAA2E;QAC3E,QAAQ;QACR,oBAAoB;QACpB,EAAE;QACF,eAAe;QACf,UAAU;QACV,EAAE;KACH,CAAC;IAEF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,MAAqB;IAC3D,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAErD,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAElD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,KAAK,IAAI,EAAE;YAClB,IAAI,CAAC;gBACH,MAAM,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,CAAC;YAAC,MAAM,CAAC;gBACP,wBAAwB;YAC1B,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,sBAAsB;IACtB,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;IAC1D,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAElC,8FAA8F;IAC9F,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAChF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEnC,oEAAoE;IACpE,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,sFAAsF,CAAC,CAAC;IAC3H,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAE7C,OAAO;QACL,aAAa;QACb,KAAK;QACL,UAAU;KACX,CAAC;AACJ,CAAC"}
|
package/package.json
ADDED
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "prolog-trace-viz",
|
|
3
|
+
"version": "1.0.0",
|
|
4
|
+
"description": "Generate enhanced visual trace diagrams for Prolog query execution",
|
|
5
|
+
"type": "module",
|
|
6
|
+
"main": "dist/index.js",
|
|
7
|
+
"bin": {
|
|
8
|
+
"prolog-trace-viz": "dist/index.js",
|
|
9
|
+
"ptv": "dist/index.js"
|
|
10
|
+
},
|
|
11
|
+
"files": [
|
|
12
|
+
"dist/",
|
|
13
|
+
"tracer.pl",
|
|
14
|
+
"scripts/"
|
|
15
|
+
],
|
|
16
|
+
"scripts": {
|
|
17
|
+
"prebuild": "node scripts/generate-build-info.js",
|
|
18
|
+
"build": "tsc -p tsconfig.prod.json",
|
|
19
|
+
"test": "vitest run",
|
|
20
|
+
"test:watch": "vitest",
|
|
21
|
+
"lint": "tsc --noEmit",
|
|
22
|
+
"release": "node scripts/release.js"
|
|
23
|
+
},
|
|
24
|
+
"keywords": [
|
|
25
|
+
"prolog",
|
|
26
|
+
"trace",
|
|
27
|
+
"visualization",
|
|
28
|
+
"mermaid",
|
|
29
|
+
"sldnfdraw",
|
|
30
|
+
"swi-prolog",
|
|
31
|
+
"logic-programming",
|
|
32
|
+
"debugging",
|
|
33
|
+
"flowchart",
|
|
34
|
+
"cli-tool"
|
|
35
|
+
],
|
|
36
|
+
"author": "Johnny Jarecsni <johnny@recsni.com>",
|
|
37
|
+
"license": "MIT",
|
|
38
|
+
"repository": {
|
|
39
|
+
"type": "git",
|
|
40
|
+
"url": "https://github.com/jarecsni/prolog-trace-viz.git"
|
|
41
|
+
},
|
|
42
|
+
"homepage": "https://github.com/jarecsni/prolog-trace-viz",
|
|
43
|
+
"bugs": {
|
|
44
|
+
"url": "https://github.com/jarecsni/prolog-trace-viz/issues"
|
|
45
|
+
},
|
|
46
|
+
"engines": {
|
|
47
|
+
"node": ">=18.0.0"
|
|
48
|
+
},
|
|
49
|
+
"devDependencies": {
|
|
50
|
+
"@types/node": "^20.10.0",
|
|
51
|
+
"fast-check": "^3.14.0",
|
|
52
|
+
"typescript": "^5.3.0",
|
|
53
|
+
"vitest": "^1.0.0"
|
|
54
|
+
}
|
|
55
|
+
}
|
|
@@ -0,0 +1,63 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
|
|
3
|
+
import { execSync } from 'child_process';
|
|
4
|
+
import { writeFileSync } from 'fs';
|
|
5
|
+
import { readFileSync } from 'fs';
|
|
6
|
+
|
|
7
|
+
// Read package.json for version
|
|
8
|
+
const packageJson = JSON.parse(readFileSync('package.json', 'utf8'));
|
|
9
|
+
|
|
10
|
+
// Get git commit hash (short)
|
|
11
|
+
let gitCommit = 'unknown';
|
|
12
|
+
try {
|
|
13
|
+
gitCommit = execSync('git rev-parse --short HEAD', { encoding: 'utf8' }).trim();
|
|
14
|
+
} catch (error) {
|
|
15
|
+
console.warn('Warning: Could not get git commit hash');
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
// Get git branch
|
|
19
|
+
let gitBranch = 'unknown';
|
|
20
|
+
try {
|
|
21
|
+
gitBranch = execSync('git rev-parse --abbrev-ref HEAD', { encoding: 'utf8' }).trim();
|
|
22
|
+
} catch (error) {
|
|
23
|
+
console.warn('Warning: Could not get git branch');
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
// Generate build timestamp
|
|
27
|
+
const buildTimestamp = new Date().toISOString();
|
|
28
|
+
|
|
29
|
+
// Create build info object
|
|
30
|
+
const buildInfo = {
|
|
31
|
+
version: packageJson.version,
|
|
32
|
+
name: packageJson.name,
|
|
33
|
+
description: packageJson.description,
|
|
34
|
+
author: packageJson.author,
|
|
35
|
+
license: packageJson.license,
|
|
36
|
+
buildTimestamp,
|
|
37
|
+
gitCommit,
|
|
38
|
+
gitBranch,
|
|
39
|
+
nodeVersion: process.version,
|
|
40
|
+
platform: process.platform,
|
|
41
|
+
arch: process.arch
|
|
42
|
+
};
|
|
43
|
+
|
|
44
|
+
// Write to TypeScript file
|
|
45
|
+
const tsContent = `// This file is auto-generated during build
|
|
46
|
+
// Do not edit manually - regenerated on each build
|
|
47
|
+
|
|
48
|
+
export const BUILD_INFO = ${JSON.stringify(buildInfo, null, 2)} as const;
|
|
49
|
+
|
|
50
|
+
export const COPYRIGHT_NOTICE = \`
|
|
51
|
+
Prolog Trace Visualiser (ptv) v\${BUILD_INFO.version}
|
|
52
|
+
Copyright (c) 2024 Johnny Jarecsni <johnny@recsni.com>
|
|
53
|
+
|
|
54
|
+
Licensed under the MIT License.
|
|
55
|
+
Built on \${BUILD_INFO.buildTimestamp} from commit \${BUILD_INFO.gitCommit} (\${BUILD_INFO.gitBranch})
|
|
56
|
+
|
|
57
|
+
This tool generates enhanced visual trace diagrams for Prolog query execution.
|
|
58
|
+
For more information, visit: https://github.com/jarecsni/prolog-trace-viz
|
|
59
|
+
\`;
|
|
60
|
+
`;
|
|
61
|
+
|
|
62
|
+
writeFileSync('src/build-info.ts', tsContent);
|
|
63
|
+
console.log('โ
Generated build info for commit:', gitCommit, 'on branch:', gitBranch);
|
|
@@ -0,0 +1,151 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
|
|
3
|
+
import { execSync } from 'child_process';
|
|
4
|
+
import { readFileSync, writeFileSync } from 'fs';
|
|
5
|
+
import { createRequire } from 'module';
|
|
6
|
+
|
|
7
|
+
const require = createRequire(import.meta.url);
|
|
8
|
+
|
|
9
|
+
function usage() {
|
|
10
|
+
console.log(`
|
|
11
|
+
Usage: npm run release <version-type>
|
|
12
|
+
|
|
13
|
+
Version types:
|
|
14
|
+
patch - Bug fixes (1.0.0 -> 1.0.1)
|
|
15
|
+
minor - New features (1.0.0 -> 1.1.0)
|
|
16
|
+
major - Breaking changes (1.0.0 -> 2.0.0)
|
|
17
|
+
x.y.z - Specific version number
|
|
18
|
+
|
|
19
|
+
Examples:
|
|
20
|
+
npm run release patch
|
|
21
|
+
npm run release minor
|
|
22
|
+
npm run release 1.2.3
|
|
23
|
+
`);
|
|
24
|
+
process.exit(1);
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
function main() {
|
|
28
|
+
const versionArg = process.argv[2];
|
|
29
|
+
|
|
30
|
+
if (!versionArg) {
|
|
31
|
+
usage();
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
console.log('๐ Starting release process...');
|
|
35
|
+
|
|
36
|
+
// Ensure we're on main branch and clean
|
|
37
|
+
try {
|
|
38
|
+
const branch = execSync('git rev-parse --abbrev-ref HEAD', { encoding: 'utf8' }).trim();
|
|
39
|
+
if (branch !== 'main') {
|
|
40
|
+
console.error('โ Must be on main branch for release');
|
|
41
|
+
process.exit(1);
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
const status = execSync('git status --porcelain', { encoding: 'utf8' }).trim();
|
|
45
|
+
if (status) {
|
|
46
|
+
console.error('โ Working directory must be clean for release');
|
|
47
|
+
console.error('Uncommitted changes:');
|
|
48
|
+
console.error(status);
|
|
49
|
+
process.exit(1);
|
|
50
|
+
}
|
|
51
|
+
} catch (error) {
|
|
52
|
+
console.error('โ Git check failed:', error.message);
|
|
53
|
+
process.exit(1);
|
|
54
|
+
}
|
|
55
|
+
|
|
56
|
+
// Update version in package.json
|
|
57
|
+
console.log('๐ Updating package.json version...');
|
|
58
|
+
let newVersion;
|
|
59
|
+
try {
|
|
60
|
+
if (versionArg.match(/^\d+\.\d+\.\d+$/)) {
|
|
61
|
+
// Specific version provided
|
|
62
|
+
const packageJson = JSON.parse(readFileSync('package.json', 'utf8'));
|
|
63
|
+
if (packageJson.version === versionArg) {
|
|
64
|
+
console.log(`โ
Version already at ${versionArg}, regenerating build info...`);
|
|
65
|
+
newVersion = versionArg;
|
|
66
|
+
} else {
|
|
67
|
+
execSync(`npm version ${versionArg} --no-git-tag-version`, { stdio: 'inherit' });
|
|
68
|
+
newVersion = versionArg;
|
|
69
|
+
}
|
|
70
|
+
} else {
|
|
71
|
+
// Semantic version bump
|
|
72
|
+
const output = execSync(`npm version ${versionArg} --no-git-tag-version`, { encoding: 'utf8' });
|
|
73
|
+
newVersion = output.trim().replace('v', '');
|
|
74
|
+
}
|
|
75
|
+
} catch (error) {
|
|
76
|
+
console.error('โ Version update failed:', error.message);
|
|
77
|
+
process.exit(1);
|
|
78
|
+
}
|
|
79
|
+
|
|
80
|
+
console.log(`โ
Version updated to ${newVersion}`);
|
|
81
|
+
|
|
82
|
+
// Regenerate build info with current commit (before the release commit)
|
|
83
|
+
console.log('๐จ Regenerating build info...');
|
|
84
|
+
try {
|
|
85
|
+
execSync('node scripts/generate-build-info.js', { stdio: 'inherit' });
|
|
86
|
+
} catch (error) {
|
|
87
|
+
console.error('โ Build info generation failed:', error.message);
|
|
88
|
+
process.exit(1);
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
// Build the project
|
|
92
|
+
console.log('๐๏ธ Building project...');
|
|
93
|
+
try {
|
|
94
|
+
execSync('npm run build', { stdio: 'inherit' });
|
|
95
|
+
} catch (error) {
|
|
96
|
+
console.error('โ Build failed:', error.message);
|
|
97
|
+
process.exit(1);
|
|
98
|
+
}
|
|
99
|
+
|
|
100
|
+
// Run tests
|
|
101
|
+
console.log('๐งช Running tests...');
|
|
102
|
+
try {
|
|
103
|
+
execSync('npm test', { stdio: 'inherit' });
|
|
104
|
+
} catch (error) {
|
|
105
|
+
console.error('โ Tests failed:', error.message);
|
|
106
|
+
process.exit(1);
|
|
107
|
+
}
|
|
108
|
+
|
|
109
|
+
// Update CHANGELOG.md
|
|
110
|
+
console.log('๐ Updating CHANGELOG.md...');
|
|
111
|
+
const today = new Date().toISOString().split('T')[0];
|
|
112
|
+
const changelog = readFileSync('CHANGELOG.md', 'utf8');
|
|
113
|
+
const updatedChangelog = changelog.replace(
|
|
114
|
+
'## [Unreleased]',
|
|
115
|
+
`## [Unreleased]
|
|
116
|
+
|
|
117
|
+
## [${newVersion}] - ${today}`
|
|
118
|
+
);
|
|
119
|
+
writeFileSync('CHANGELOG.md', updatedChangelog);
|
|
120
|
+
|
|
121
|
+
// Commit the release
|
|
122
|
+
console.log('๐ฆ Creating release commit...');
|
|
123
|
+
try {
|
|
124
|
+
execSync('git add .', { stdio: 'inherit' });
|
|
125
|
+
execSync(`git commit -m "๐ release v${newVersion}"`, { stdio: 'inherit' });
|
|
126
|
+
} catch (error) {
|
|
127
|
+
console.error('โ Release commit failed:', error.message);
|
|
128
|
+
process.exit(1);
|
|
129
|
+
}
|
|
130
|
+
|
|
131
|
+
// Create git tag
|
|
132
|
+
console.log('๐ท๏ธ Creating git tag...');
|
|
133
|
+
try {
|
|
134
|
+
execSync(`git tag -a v${newVersion} -m "Release v${newVersion}"`, { stdio: 'inherit' });
|
|
135
|
+
} catch (error) {
|
|
136
|
+
console.error('โ Git tag creation failed:', error.message);
|
|
137
|
+
process.exit(1);
|
|
138
|
+
}
|
|
139
|
+
|
|
140
|
+
console.log(`
|
|
141
|
+
๐ Release v${newVersion} created successfully!
|
|
142
|
+
|
|
143
|
+
Next steps:
|
|
144
|
+
git push origin main --tags # Push to remote
|
|
145
|
+
npm publish # Publish to npm (if ready)
|
|
146
|
+
|
|
147
|
+
The release commit and tag are ready locally.
|
|
148
|
+
`);
|
|
149
|
+
}
|
|
150
|
+
|
|
151
|
+
main();
|