@tuprolog/arg2p-core 0.7.0 → 0.7.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.
Files changed (54) hide show
  1. package/2p-core.js +11224 -0
  2. package/2p-core.js.map +1 -0
  3. package/2p-dsl-core.js +15 -0
  4. package/2p-dsl-core.js.map +1 -0
  5. package/2p-dsl-solve.js +15 -0
  6. package/2p-dsl-solve.js.map +1 -0
  7. package/2p-dsl-theory.js +15 -0
  8. package/2p-dsl-theory.js.map +1 -0
  9. package/2p-dsl-unify.js +15 -0
  10. package/2p-dsl-unify.js.map +1 -0
  11. package/2p-parser-core.js +1017 -0
  12. package/2p-parser-core.js.map +1 -0
  13. package/2p-parser-js.js +40 -0
  14. package/2p-parser-js.js.map +1 -0
  15. package/2p-parser-theory.js +156 -0
  16. package/2p-parser-theory.js.map +1 -0
  17. package/2p-solve-classic.js +3048 -0
  18. package/2p-solve-classic.js.map +1 -0
  19. package/2p-solve.js +15692 -0
  20. package/2p-solve.js.map +1 -0
  21. package/2p-theory.js +4905 -0
  22. package/2p-theory.js.map +1 -0
  23. package/2p-unify.js +956 -0
  24. package/2p-unify.js.map +1 -0
  25. package/2p-utils.js +1393 -0
  26. package/2p-utils.js.map +1 -0
  27. package/arg2p-core.js +930 -0
  28. package/arg2p-core.js.map +1 -0
  29. package/kotlin-kotlin-stdlib-js-ir.js +9809 -0
  30. package/kotlin-kotlin-stdlib-js-ir.js.map +1 -0
  31. package/kt-math.js +11709 -0
  32. package/kt-math.js.map +1 -0
  33. package/package.json +22 -20
  34. package/CONTRIBUTORS +0 -3
  35. package/LICENSE +0 -21
  36. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/core.kjsm +0 -0
  37. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/dsl/dsl.kjsm +0 -0
  38. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/basic/basic.kjsm +0 -0
  39. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/extra/extra.kjsm +0 -0
  40. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/builder/builder.kjsm +0 -0
  41. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/extension/extension.kjsm +0 -0
  42. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/graph.kjsm +0 -0
  43. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/labelling/labelling.kjsm +0 -0
  44. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/language/language.kjsm +0 -0
  45. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/libs.kjsm +0 -0
  46. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/sources/sources.kjsm +0 -0
  47. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/structured/structured.kjsm +0 -0
  48. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/utils/utils.kjsm +0 -0
  49. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/meta/meta.kjsm +0 -0
  50. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/mining/mining.kjsm +0 -0
  51. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/model/model.kjsm +0 -0
  52. package/kotlin/arg2p-core.js +0 -6256
  53. package/kotlin/arg2p-core.js.map +0 -1
  54. package/kotlin/arg2p-core.meta.js +0 -1
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/parser-core/src/commonMain/kotlin/it/unibo/tuprolog/core/parsing/InvalidTermTypeException.kt","../../../../../../../../../2p-kt/2p-kt/parser-core/src/commonMain/kotlin/it/unibo/tuprolog/core/parsing/ParseException.kt","../../../../../../../../../2p-kt/2p-kt/parser-core/src/commonMain/kotlin/it/unibo/tuprolog/core/parsing/TermParserExtensions.kt","../../../../../../../../../2p-kt/2p-kt/parser-core/src/jsMain/kotlin/it/unibo/tuprolog/core/parsing/Conversions.kt","../../../../../../../../../2p-kt/2p-kt/parser-core/src/jsMain/kotlin/it/unibo/tuprolog/core/parsing/DynamicOpListener.kt","jsMainSources/libraries/stdlib/js/src/kotlin/math.kt","commonMainSources/libraries/stdlib/common/src/generated/_Sequences.kt","../../../../../../../../../2p-kt/2p-kt/parser-core/src/jsMain/kotlin/it/unibo/tuprolog/core/parsing/ParseExceptionExt.kt","../../../../../../../../../2p-kt/2p-kt/parser-core/src/jsMain/kotlin/it/unibo/tuprolog/core/parsing/PrologParserFactory.kt","commonMainSources/libraries/stdlib/common/src/generated/_Collections.kt","../../../../../../../../../2p-kt/2p-kt/parser-core/src/jsMain/kotlin/it/unibo/tuprolog/core/parsing/PrologVisitor.kt","jsMainSources/libraries/stdlib/js/src/kotlin/dynamic.kt","jsMainSources/libraries/stdlib/js/src/kotlin/text/string.kt","commonMainSources/libraries/stdlib/src/kotlin/CharCode.kt","commonMainSources/libraries/stdlib/src/kotlin/util/Standard.kt","commonMainSources/libraries/stdlib/common/src/generated/_Arrays.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"names":["<init>","input","term","type","offendingSymbol","line","column","message","throwable","<set-input>","<set-?>","<get-input>","<set-offendingSymbol>","<get-offendingSymbol>","<set-line>","<get-line>","<set-column>","<get-column>","<set-clauseIndex>","<get-clauseIndex>","toString","toClause","<this>","source","toAssociativity","DynamicOpListener$Companion$of$lambda","$this$$receiver","it","onOperatorDefined","operator","of","parser","DynamicOpListener$exitClause$lambda","operatorDefinedCallback","exitClause","ctx","expr","directive","op","priority","specifier","element","parseException","token","symbolToString","obj","newErrorListener","whileParsing","parseClause","parserAndErrorStrategy","mark","index","e","parseClauses","$whileParsing","syntaxError","recognizer","msg","PrologParserFactory$parseClauses$lambda","$parser","$source","PrologParserFactory$parseClauses$lambda$lambda","withOperators","createParser","operators","stream","lexer","tokenStream","originalErrorStrategy","addOperators","prologParser","parseInteger","str","base","clean","visitPostfixExpression","item","postfix","ops","result","visitPrefixExpression","prefix","i","visitInfixExpression","visitInfixNonAssociativeExpression","operands","infixNonAssociative","terms","handleOuters","expression","outers","o","infixRight","j","infixLeft","listOfOperands","listOfOperators","visitInfixRightAssociativeExpression","visitInfixLeftAssociativeExpression","flatten","PrologVisitor$visitExpression$ref","PrologVisitor$visitExpression$ref$lambda","PrologVisitor$flatten$lambda","PrologVisitor$flatten$lambda$lambda","scope","visitSingletonTerm","visitSingletonExpression","visitClause","visitExpression","visitTerm","visitInteger","value","visitNumber","visitReal","raw","notAFloating","visitVariable","visitStructure","visitList","visitBlock"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mCAKAA,CACIC,K,EACAC,I,EACAC,I,EACAC,e,EACAC,I,EACAC,M,EACAC,O,EACAC,SARJR,EAAA;A;;UAI8B,sF;YAAA,yBAAoB,IAAK,WAAzB,iB;;;;;2BACd,C;+BACE,C;iCACM,W,GAAW,IAAK,K,GAAW,S,GAAQ,e;qCAC/B,I;IACxB,0BAAe,KAAf,EAAsB,eAAtB,EAAuC,IAAvC,EAA6C,MAA7C,EAAqD,OAArD,EAA8D,SAA9D,C;;IAPA,iB;IACA,iB;EAHJ,C;yBCAKA,CACDC,K,EACAG,e,EACAC,I,EACAC,M,EACAC,O,EACAC,SANCR,EAAL;A,IAOI,8BAAkB,OAAlB,EAA2B,SAA3B,O;;IANA,kB;IACA,sC;IACA,gB;IACA,oB;IAMkB,qB;EAVtB,C;yCACqBS,CAAAC,cAAAD,EAAA;A,IAAA,2B;EAAc,C;yCAAdE,CAAAA,EAAA;A,IAAA,iB;EAAc,C;yCACJC,CAAAF,cAAAE,EAAA;A,IAAA,qC;EAA0B,C;yCAA1BC,CAAAA,EAAA;A,IAAA,2B;EAA0B,C;yCACrCC,CAAAJ,cAAAI,EAAA;A,IAAA,0B;EAAY,C;yCAAZC,CAAAA,EAAA;A,IAAA,gB;EAAY,C;yCACVC,CAAAN,cAAAM,EAAA;A,IAAA,4B;EAAc,C;yCAAdC,CAAAA,EAAA;A,IAAA,kB;EAAc,C;yCAMhCC,CAAAR,cAAAQ,EAAA;A,IAAA,iC;EAAmB,C;yCAAnBC,CAAAA,EAAA;A,IAAA,uB;EAAmB,C;8CAEVC,CAAAA,EAAuB;A,IAC5B,OAAO,6BACqB,QAAH,cAAP,IAAO,CAAP,OAAO,CAAG,EAAS,KAAT,EAAgB,OAAhB,CADrB,YAC+C,8BAD/C,IAEF,SAFE,GAES,IAFT,CAES,IAFT,GAGF,WAHE,GAGW,IAHX,CAGW,MAHX,GAIF,qBAJE,GAIqB,IAJrB,CAIqB,eAJrB,YAIuC,8BAJvC,aAKH,+BALG,C;EAMX,C;uBCGJC,CAAIC,a,EAAcC,M,EAAqBlB,I,EAAeC,MAAtDe,EACI;A,+BAD6B,I;2BAAkB,C;+BAAiB,C;QAC1D,4B;;IACF,sC;YAAa,a;;MACb,sC;cAAkB,2BAAG,aAAH,C;;QACV,MAAM,6BAAyB,MAAzB,EAAiC,aAAjC,2BAA6D,IAA7D,EAA4E,MAA5E,C;;;IACjB,U;EAAD,C;0BCzBJG,CAAIF,aAAJE,EACI;A,IAAU,OAAV,wB;EAAS,C;gDC+CgCC,CAAAC,e,EAAAC,EAAAF,EAAA;A,IAAE,yB;EAAA,C;4BAPnCG,C,OAAsBC,QAAtBD,EAA0C;A,IAC9C,KAAO,CAAP,KAAO,aAAY,QAAZ,CAAqB,KAArB,EAAiD,gBAAnB,QAAmB,CAAV,KAAU,CAAjD,EAAoE,QAApE,CAA6E,KAA7E,C;IACA,YAAP,KAAO,CAAP,KAAO,EAAwB,QAAxB,C;EACX,C;oBAEA5B,CAAAA,EAAA;A;EAAA,C;oCACI8B,CAAOC,MAAPD,EAAgD;A,IAC5C,OAAO,sBAAkB,MAAlB,EAA0B,qCAA1B,C;EACX,C;;;;;;;8CAlByDE,CAAAL,EAAAK,EAAA;A,IAAE,+C;EAAW,C;4BAtB9ChC,CAC5B+B,M,EACAE,uBAF4BjC,EAAhC;A,IAAA,yB;IAGI,+B;IAFA,mB;IACA,oC;EAFJ,C;4CAKakC,CAAeC,GAAfD,EAAmC;A,QACxCE,OAAW,GAAI,a;IACf,IAAI,IAAI,SAAJ,IAAiB,IAArB,C,CAA2B;A,MACvB,yB;IACJ,C;;;IACI,WAAK,GAAL,IAAY,IAAZ,E;UAAiC,qBAAL,IAAK,I;UAAK,qBAAL,kBAAK,kBAAL,kBAAK,O;cAAjB,IAAD,MAAkB,kBAAQ,kBAAR,kBAAQ,KAA1B,C;;cAAA,K;;IAApB,U;YAAsD,SAAsB,aAAtB,CAAoC,MAApC,OAAK,aAAL,C;;YAAA,K;;IAA1D,Q,CAAsG;A,kBAClF,GAAI,QAAO,mBAAP,C;UAApBC,4CAAgB,KAAhBA,c;UACAC,KAAS,SAAU,K;;;;;;MACf,4B;gBAAgB,EAAG,KAAH,KAAY,C;;gBAAZ,K;;MAAhB,U;gBAAiC,EAAG,KAAH,KAAe,I;;gBAAf,K;;MAAjC,U;oBAAuD,OAAG,CAAH,C;;;gBAAA,K;;MAAvD,U;oBAA2E,OAAG,CAAH,C;;;gBAAA,K;;MAA3E,U;gBAA4F,EAAG,K;;gBAAA,K;;MAAnG,U,CAA6G;A;;;;oBCoBpH,OAAG,CAAH,C;YAA2B,WAAT,+BAAlB,KAAkB,oBAAS,Q;QAs/BwC,YAApB,IAAW,KAt/B9D,CAs/B8D,EAAO,QAAP,C;YAv/BtD,oB;QAg/B+D,YAApB,IAAW,KAh/B5D,IAg/B4D,EAAO,QAAP,C;YDlgC/CC,WAAe,S;YACfC,YAA0B,mCAAS,OAAG,CAAH,CAAT,C;YACpBX,WAAe,OAAG,CAAH,C;QACjB,gC,CAAW;A,UACP,wBAAkB,aAAS,QAAS,KAAlB,EAAyB,SAAzB,EAAoC,QAApC,CAAlB,C;QACJ,C;UACA,gC,CAAgB;A;;;kBEepC,WAD6B,QAC7B,K;kBAkoCoB,4B;qBAAA,iB,EAAhB;A,oBAAKY,UAAW,iB;;;gBFhpCoC,wBA0BigrC,OA1BjgrC,O;gBEgpC9B,IAAI,CAAC,SAAL,C;kBAAyB,YAAO,K;;;cAAI,C;cAC1D,YAAO,I;;YFjpCa,IAA0B,SAA1B,C,CAA8C;A,2BAC/B,QAAS,K;kBAAT,gBAAsB,YAAI,mCAAJ,CAAtB,I;qBAAA,iB,EAAX;A,oBAAKd,KAAM,iB;gBACP,wBAAkB,aAAS,EAAG,KAAZ,EAAmB,SAAnB,EAA8B,QAA9B,CAAlB,C;cACJ,C;YACJ,C;UACJ,C;;MAER,C;IACJ,C;EACJ,C;oDA5BwBQ,G;;;yBGR5BO,CAAmBC,K,EAAcpC,OAAjCmC,EACI;A,IAAyE,OAAzE,mBAAe,IAAf,EAAqB,KAArB,CAA2B,IAA3B,EAAiC,KAAjC,CAAuC,IAAvC,EAA6C,KAA7C,CAAmD,MAAnD,EAA2D,OAA3D,EAAoE,IAApE,C;EAAwE,C;yBCWxDE,C,OAAmBC,GAAnBD,EAAyC;A;IACtC,IAAI,GAAJ,kB;YACH,G,CAAI,I;;YAEA,SAAJ,GAAI,C;;IAHR,U;EAKJ,C;2BARAE,C,OAAqBC,YAArBD,EAAiD;A,IACrD,OAAO,wD;EA+BX,C;sBA6EQE,C,OAAgBC,sB,EAA2D1B,MAA3EyB,EAA0G;A,QAC9GE,OAAW,E;QACXC,QAAY,E;QACZpB,SAAa,sBAAbA,CAAoC,I;;IAC7B,I;MACH,OAAO,MAAO,iBAAiB,O;MAC/B,QAAsC,cAA9B,MAAO,iBAAuB,CAAN,KAAM,EAAc,CAAd,C;YACtC,MAAO,Y;;;;YACFqB,M;;QAED,iCAA6B,CAA7B,IAAmC,OAAO,OAAP,CAAe,cAAf,KAAkC,cAAlC,CAAiD,GAApF,GAAmC,KAAnC,C;UACI,MAAO,iBAAiB,MAAK,KAAL,C;UACxB,OAAO,OAAP,kBAAgC,cAAhC,CAA+C,E;UAC/C,qBAAqB,sBAArB,CAA4C,I;UAC5C,MAAO,kBAAiB,wBAAiB,MAAjB,CAAjB,C;kBACP,mBAAY,sBAAZ,EAAoC,MAApC,C;eAEJ,MAAE,MAAF,KAAa,IAAb,GAAqB,uBAAuB,CAAvB,CAAyB,KAAzB,CAArB,GAAqB,KAArB,C;sBACU,C,CAAE,K;UAAR,8CAAM,KAAN,c;;UAGA,MAAM,CAAN,oBAAM,CAAN,c;;;;;;YAGF;A,MACN,MAAO,iBAAiB,SAAQ,IAAR,C;IAC5B,C;IAtBA,U;EAuBJ,C;uBAEQC,C,OAAiBtB,M,EAA2CR,MAA5D8B,EAAkG;A,cAC/F,iBAAiB,CAAjB,EAAoB,uCAApB,C;gBACF,SAAI,yDAAJ,C;gBAOC,iBAAU,yCAAV,C;IARN,OASK,WAAI,yCAAJ,C;EACT,C;iDApJWrD,CADkBsD,aAClBtD,EAAA;A;EAAA,C;yEAUHuD,CACIC,U,EACApD,e,EACAC,I,EACAC,M,EACAmD,G,EACAL,CANJG,EAOE;A,IACE,IAAI,UAAJ,yB,CAAgC;A,MAC5B,UAAW,uB;IACf,C;IACA,MAAM,mBACF,IADE,CACF,KADE,EAEF,qBAAe,eAAf,CAFE,EAGF,IAHE,EAIF,SAAS,CAJP,MAKF,GALE,EAMF,CANE,C;EAQV,C;kDA6GuBG,CAAA/B,EAAA+B,EAAA;A,IAAE,YAAK,CAAL,I;EAAO,C;oDAC3BA,CAFYC,O,EAA2CC,OAEvDF,E;oBAAAG,CAAAlC,EAAAkC,EAAA;A;MACD,I;cACI,+CAAY,OAAZ,EAAoB,OAApB,C;;;;cACKT,M;UACL,gBAAgB,E;UAChB,MAAM,C;;;;;;MAJV,U;IAMJ,C;G;oDAAYM,CAAA/B,EAAA+B,EAAA;A,IAAE,QAAC,EAAD,CAAI,M;EAAO,C;oDACpBA,CAAA/B,EAAA+B,EAAA;A,IAAK,OAAH,EAAG,S;EAAS,C;8BAtJ/B1D,CAAAA,EAAA;A;EAAA,C;8CA4EIqD,CAAiB9B,M,EAAgBuC,aAAjCT,EAAsF;A,QAClFtB,SAAa,SAAa,MAAb,EAAqB,aAArB,C;IACb,OAAO,mBAAa,MAAb,EAAqB,MAArB,C;EACX,C;8CAWAgC,CAAiBxC,M,EAAgByC,SAAjCD,EAA4F;A,QACxFE,SAAa,gBAAY,MAAZ,C;QACbC,QAAY,gBAAY,MAAZ,C;IACZ,KAAM,uB;QACNC,cAAkB,sBAAkB,KAAlB,C;QAClBpC,SAAa,iBAAa,WAAb,C;IACb,MAAO,uB;QACPqC,wBAA4B,MAA5BA,CAAmC,W;IACnC,qBAAqB,uB;IACrB,OAAO,OAAP,kBAAgC,cAAhC,CAA+C,G;IAC/C,OAAO,YAAa,MAAb,EAAqB,SAArB,GAAmC,qBAAnC,C;EACX,C;8CAEAC,CAAiBC,Y,EAA4BN,SAA7CK,EAAmF;A;QCqsDnE,gBA5pDpB,SA4pDoB,I;WAAA,iB,EAAhB;A,UAAK5B,UAAW,iB;;MDnsDR,YAAa,aAgD2wsD,OAhD3wsD,CAAe,KAAf,EAAqC,gBAgDsusD,OAhDtusD,CAAV,KAAU,CAArC,EAgD2wsD,OAhD3wsD,CAA2D,KAA3D,C;ICmsDe,C;IDjsDhC,YAAa,kBAAmC,8BAAG,YAAH,CAAnC,C;IACb,OAAO,Y;EACX,C;;;;;;;uBEAQ8B,C,OAAiBpC,GAAjBoC,EAAkD;A,QACtDC,MAAU,GAAVA,CAAc,KAAdA,CAAoB,I;QACpBC,I;QACAC,K;IAEQ,IAAJ,GAAI,O,CAAS;A,MACT,OAAO,C;;;;;MC1H2B,YAoCusG,G;MC2MnpG,YAAjC,SAAY,WAhImC,CAgInC,C;MFpHjE,QAAY,S;IAChB,C,MACI,IAAJ,GAAI,O,CAAS;A,MACT,OAAO,C;;;;;MC9H2B,YAoCkzG,G;MC2M9vG,YAAjC,SAAY,WA5H5D,CA4H4D,C;MFhHjE,QAAY,S;IAChB,C,MACI,IAAJ,GAAI,O,CAAS;A,MACT,OAAO,E;;;;;MClI2B,YAoC85G,G;MC2M12G,YAAjC,SAAY,WAzHzE,CAyHyE,C;MF5GjE,QAAY,S;IAChB,C,MACI,IAAJ,GAAI,Q,CAAU;A;;;;MCrIwB,YAoCi/G,G;MC2M77G,YAAjC,SAAY,WAtH7E,CAsH6E,C;MFzGjE,QAAY,S;MACZ,IAAI,QAAM,MAAN,KAAgB,CAAhB,CAAJ,C,CAAuB;A,QACnB,MAAM,eACF,GADE,CACE,KADF,EAED,6BAAD,GAAgC,GAAhC,CAAoC,KAApC,CAA0C,IAFxC,C;MAIV,C;;;;;;UGrGsiH,gDAAM,CAAN,C;MADjgH,YAAP,wBAAL,sBAAK,C;UC4GyO,mBAAY,SAAZ,C;;;;;UJJ3P,qBAAJ,GAAI,K;UAAM,qBAAN,kBAAM,kBAAN,kBAAM,K;UAAV,iBAAU,kBAAM,6BAAN,kBAAM,EAAU,GAAV,C;MAApB,IAAI,yBAAiC,KAAjC,iBAAJ,C;gBAvGX,SAwGe,a;;gBAxGf,S;;MAuGW,iB;MIpFhB,aAAgB,S;MJmFJ,OAAO,U;IAOX,C,MACQ;A,MACJ,OAAO,E;MACP,QAAQ,G;IACZ,C;IAEJ,IAAI,MAAI,IAAJ,IAAY,IAAZ,CAAJ,C,CAAsB;A,UACN,uBAAJ,GAAI,K;MAAZ,QAAQ,KAAI,oBAAM,kBAAN,oBAAM,KAAV,EAAiB,KAAjB,C;IACZ,C;IACA,OAAkB,yCAAG,KAAH,EAAU,IAAV,C;EACtB,C;iCAEQC,C,OAA2BxC,GAA3BwC,EACJ;A,QACQ,qBAAJ,GAAI,K;cAAkB,cAAlB,kBAAM,kBAAN,kBAAM,QAAO,KAAP,CAAY,C;;;QKyC9B,WAAJ,GAAI,U;;;QAg3Va,qCAAa,QAAb,CAAa,MAAb,C;QAAN,wB;QAAA,qB;QAAA,2B;WA+UP,oBAAa,I,EAAb;A,UAAKC,OAAQ,gC;MAAA,wCA/UN,CA+UM,I;;;MLtuWS,YA8G+46X,IA9G/46X,CAAP,MAAO,K;MKuuWlB,UAAY,GAAI,SAAJ,C;;IAChB,YAAO,U;IAjVP,YAAO,S;ILr5VF,OALD,oBAEkB,SAFlB,C;EAKA,C;kBAEIC,C,OAAY3E,I,EAAY4E,GAAxBD,EAAiD;A,QACrDhD,WAAe,GAAI,I;QACnBkD,SAAmB,KAAM,CAAN,KAAM,UAAS,QAAS,IAAlB,EAA0B,MAA1B,C;WAClB,QAAS,I,EAAW;A,MACvB,SAAS,KAAM,CAAN,KAAM,UAAS,QAAS,IAAlB,EAA0B,QAA1B,C;IACnB,C;IACA,OAAO,M;EACX,C;gCAEQC,C,OAA0B7C,GAA1B6C,EACJ;A,cACI,IAAI,KAAJ,CAAU,CAAV,CAAa,QAAO,KAAP,C;;;QK4CzB,WADA,GACA,U;;;QA41ViB,qCAAa,QAAb,CAAa,MAAb,C;QAAN,wB;QAAA,qB;QAAA,2B;WA+UP,oBAAa,I,EAAb;A,UAAKJ,OAAQ,gC;MAAA,wCA/UN,CA+UM,I;;;MLrtWS,YA6F+46X,IA7F/46X,CAAP,MAAO,K;MKstWlB,UAAY,GAAI,SAAJ,C;;IAChB,YAAO,U;IAjVP,YAAO,S;ILp4VF,OALD,mBAEkB,SAFlB,C;EAKA,C;iBAEIK,C,OAAW/E,I,EAAY4E,GAAvBG,EAAgD;A,QACpDC,IAAQ,GAAI,IAAJ,GAAW,CAAnBA,I;QACsC,Q;IAAA,gB;QAAtCH,SAAmB,KAAM,CAAN,KAAM,UAAS,MAAI,IAAJ,CAAT,EAAmB,MAAnB,C;WAClB,KAAK,C,EAAG;A,MACX,SAAS,KAAM,CAAN,KAAM,UAAS,MAAI,CAAJ,CAAT,EAAiB,QAAjB,C;UACf,Q;MAAA,gB;IACJ,C;IACA,OAAO,M;EACX,C;+BAEQI,C,OAAyBhD,GAAzBgD,EAAuD;A,QAC1C,eAAJ,GAAI,c;;IACb,uC;YAAO,4CAAqC,GAArC,C;WACP,uC;YAAO,2CAAoC,GAApC,C;WACP,uC;YAAO,0CAAmC,GAAnC,C;;MACC,MAAM,qC;;IAJlB,U;EAMJ,C;6CAEQC,C,OAAuCjD,GAAvCiD,EAAqE;A;;QDwB6B,yBAAe,cAAR,GAAQ,CAAJ,IAAI,CAAf,GACvG,OAD4H,GAC5H,CAAN,KAAM,CADuG,C;;;QA6xC7F,qCAAa,kCAAwB,EAAxB,CAAb,C;QAuEA,gBAvEN,QAuEM,I;WAAA,iB,EAAb;A,UAAKR,OAAQ,iB;;;MC33CqE,YAqE0/1C,IArE1/1C,QAAa,KAAb,C;MD43C9E,UAAY,GAAI,SAAJ,C;IAAmB,C;IACnC,YAAO,U;IAzEP,YAAO,S;QCpzCHS,WAAqE,S;;;QKmDnD,WAAJ,GAAI,U;;;QA2zVT,qCAAa,QAAb,CAAa,MAAb,C;QAAN,wB;QAAA,qB;QAAA,2B;WA+UP,oBAAa,I,EAAb;A,UAAKT,SAAQ,gC;MAAA,wCA/UN,CA+UM,I;;;ML5rWqC,YAoEm36X,MApEn36X,CAAP,MAAO,K;MK6rW9C,UAAY,GAAI,SAAJ,C;;IAChB,YAAO,U;IAjVP,YAAO,S;QL72VHZ,YAA8B,S;IAC9B,OAAO,2BAAoB,QAApB,EAA8B,SAA9B,C;EACX,C;8BAEQsB,C,OAAwBC,K,EAAmBT,GAA3CQ,EAAoE;A,IACxE,OAAO,KAAM,CAAN,KAAM,UAAS,MAAI,CAAJ,CAAT,EAAiB,SAAM,CAAN,GAAU,QAAM,CAAN,CAAV,CAAjB,C;EACjB,C;uBAEQE,C,OAAiBC,U,EAAkBC,MAAnCF,EAAqE;A,QACzET,SAAa,U;QACH,0B;WAAA,iB,EAAV;A,UAAKY,IAAK,iB;gBACS,OAAO,MAAP,C;;;UKyDxB,WAAF,CAAE,M;;;UAyyVc,qCAAa,QAAb,CAAa,MAAb,C;UAAN,wB;UAAA,qB;UAAA,2B;aA+UP,oBAAa,I,EAAb;A,YAAKf,OAAQ,gC;QAAA,wCA/UN,CA+UM,I;;;QLjrW4C,YAyD426X,IAzD526X,QAAa,KAAb,C;QKkrWrD,UAAY,GAAI,SAAJ,C;;MAChB,YAAO,U;MAjVP,YAAO,S;ULl2VCS,WAAe,YAAyB,SAAzB,C;;;UK0DsC,WAAF,CAAE,U;;;UAwyVhD,qCAAa,QAAb,CAAa,MAAb,C;UAAN,0B;UAAA,uB;UAAA,+B;aA+UP,sBAAa,M,EAAb;A,YAAKT,SAAQ,oC;QAAA,4CA/UN,CA+UM,I;;;QLhrWuC,YAwDi36X,MAxDj36X,CAAP,MAAO,K;QKirWhD,UAAY,GAAI,SAAJ,C;;MAChB,YAAO,U;MAjVP,YAAO,S;ULj2VCZ,YAA4B,S;UACX,eAAF,CAAE,c;;MACb,uC;gBAAO,kBAAW,QAAX,EAAqB,SAArB,C;aACH,IAAJ,2CAAI,iCAAA,C;gBAAM,eAAQ,MAAR,EAAgB,SAAhB,C;aACV,uC;gBAAO,2BAAoB,QAApB,EAA8B,SAA9B,C;aACP,uC;gBAAO,iBAAU,QAAV,EAAoB,SAApB,C;aACH,IAAJ,2CAAI,iCAAA,C;gBAAM,cAAO,MAAP,EAAe,SAAf,C;;QACF,MAAM,qC;;MANlB,c;IAQJ,C;IACA,OAAO,M;EACX,C;qBAEQ4B,C,OAAeL,K,EAAmBT,GAAlCc,EAA2D;A,QAC/DV,IAAQ,KAAM,IAAN,GAAa,CAArBA,I;QACAW,IAAQ,GAAI,IAAJ,GAAW,CAAnBA,I;QACsC,Q;IAAA,gB;QAAtCd,SAAmB,KAAM,CAAN,KAAM,UAAS,MAAI,IAAJ,CAAT,EAAmB,SAAM,IAAI,CAAV,OAAc,QAAM,CAAN,CAAd,CAAnB,C;IACzB,QAAK,CAAL,I;WACO,KAAK,C,EAAG;A,UACiB,Q;MAAA,gB;MAA5B,SAAS,KAAM,CAAN,KAAM,UAAS,MAAI,IAAJ,CAAT,EAAmB,SAAM,CAAN,GAAU,MAAV,CAAnB,C;UACf,Q;MAAA,gB;IACJ,C;IACA,OAAO,M;EACX,C;oBAEQe,C,OAAcP,K,EAAmBT,GAAjCgB,EAA0D;A,QAC9DZ,IAAQ,C;QACRW,IAAQ,C;QAC8B,Q;IAAA,gB;cAAJ,MAAI,IAAJ,C;QAAgB,Q;IAAA,gB;gBAAN,QAAM,IAAN,C;QAAkB,Q;IAAA,gB;QAA9Dd,SAAmB,KAAM,CAAN,KAAM,eAAmB,QAAY,QAAM,IAAN,CAAZ,CAAnB,C;WAClB,IAAI,KAAM,I,EAAM;A,UACS,Q;MAAA,gB;MAA5B,SAAS,KAAM,CAAN,KAAM,UAAS,MAAI,IAAJ,CAAT,EAAmB,SAAQ,QAAM,CAAN,CAAR,CAAnB,C;UACf,Q;MAAA,gB;IACJ,C;IACA,OAAO,M;EACX,C;yBAEQgB,C,OAAmB5D,GAAnB4D,EACJ;A;;QDoCgD,yBACvD,GADuD,CAEvD,IAFuD,GAErC,OAAV,GAAU,CAAN,KAAM,CAFqC,C;;;QA8tCvC,qCAAa,kCAAwB,EAAxB,CAAb,C;QAuEA,gBAvEN,QAuEM,I;WAAA,iB,EAAb;A,UAAKnB,OAAQ,iB;;;MCz0C0C,YAAH,cAmBwh2C,IAnBxh2C,CAAG,QAAa,KAAb,C;MD00CnD,UAAY,GAAI,SAAJ,C;IAAmB,C;IACnC,YAAO,U;IAzEP,YAAO,S;IClwCoE,OAA/B,S;EAA8B,C;0BAElEoB,C,OAAoB7D,GAApB6D,EACJ;A;;QKmER,WADc,GACd,U;;;QAsvViB,qCAAa,QAAb,CAAa,MAAb,C;QAAN,wB;QAAA,qB;QAAA,2B;WA+UP,oBAAa,I,EAAb;A,UAAKpB,OAAQ,gC;MAAA,wCA/UN,CA+UM,I;;;MLxoWqB,YAgBm46X,IAhBn46X,CAAP,MAAO,K;MKyoW9B,UAAY,GAAI,SAAJ,C;;IAChB,YAAO,U;IAjVP,YAAO,S;ILzzViC,OAAtB,S;EAAqB,C;+CAE/BqB,C,OAAyC9D,GAAzC8D,EACJ;A,IAAqD,OAArD,kBAAW,sBAAe,GAAf,CAAX,EAAgC,uBAAgB,GAAhB,CAAhC,C;EAAoD,C;8CAEhDC,C,OAAwC/D,GAAxC+D,EACJ;A,IAAoD,OAApD,iBAAU,sBAAe,GAAf,CAAV,EAA+B,uBAAgB,GAAhB,CAA/B,C;EAAmD,C;kBAE/CC,C,OAAYT,MAAZS,EACJ;A;;IJwkFJ,YAtgFmB,M;cIlER,S;IAEN,OAFmB,aAAQ,mCAAR,C;EAEpB,C;oBAEIA,C,OAAYT,MAAZS,EACJ;A,IAAqC,OAAR,SAA7B,eAAe,WAAP,MAAO,CAAf,CAA6B,C;EAAO,C;4CAlLFC,C,UAAAA,E;qBAAAC,C,EAAAA,EAAA;A;IAAoB,C;;;G;uCA6K1BC,CADhC,MACgCA,E;oBAAAC,CAAA5E,EAAA4E,EAAA;A,MACxB,yBAAW,IAAX,GAAiB,gBAAkB,aAAV,EAAU,CAAP,MAAO,CAAlB,CAAjB,C;IACJ,C;G;wBAxPRvG,CAAoBwG,KAApBxG,EAAA;A,6BAAqD,iC;IAAW,8B;IAA5C,kB;EAApB,C;wCAEayG,CAAuBtE,GAAvBsE,EACL;A,IAAqB,OAArB,SAAU,GAAI,OAAd,C;EAAoB,C;wDA7BVtE,G;;;wCA+BLuE,CAA6BvE,GAA7BuE,EACL;A,IAAiC,OAAjC,SAAgB,GAAI,aAApB,C;EAAgC,C;8DA/BHvE,G;;;wCAiCxBwE,CAAgBxE,GAAhBwE,EACL;A,IAAwF,OAApD,aAApC,GAAI,aAAa,QAAa,IAAb,CAAmB,EAAS,IAAT,EAAwB,cAAT,GAAS,CAAL,KAAK,CAAxB,CAA2B,IAA3B,EAA0C,cAAT,GAAS,CAAL,KAAK,CAA1C,CAA6C,MAA7C,C;EAAmD,C;iDA/BlDxE,G;;;wCAiChCyE,CAAoBzE,GAApByE,EAAkD;A;IAG3C,IAAJ,GAAI,Q;YAAU,SAAkB,cAAR,GAAQ,CAAJ,IAAI,CAAlB,C;WACR,aAAN,aAAM,CAAN,KAAM,EAAS,GAAT,CAAa,aAAb,E;YAA+B,2BAAqB,GAArB,C;WAC7B,aAAR,aAAQ,CAAR,OAAQ,EAAS,GAAT,CAAa,aAAb,E;YAA+B,6BAAuB,GAAvB,C;WAChC,aAAP,aAAO,CAAP,MAAO,EAAS,GAAT,CAAa,aAAb,E;YAA+B,4BAAsB,GAAtB,C;;MAC9B,MAAM,uCAA0B,yBAA1B,GAAmD,GAAnD,CAAuD,aAAvD,GAAqE,SAArE,GAA6E,aAA7E,CAA6E,KAA7E,GAAkF,UAAlF,GAA2F,aAA3F,CAA2F,MAA3F,GAAiG,WAAjG,GAA2G,aAA3G,CAA2G,OAA3G,C;;IANtB,OAAO,wBAQH,gBAAmB,OAAX,GAAW,CAAP,MAAO,CAAnB,CARG,C;EAUX,C;qDA3CwCzE,G;;;wCA6C/B0E,CAAc1E,GAAd0E,EACL;A;IAAA,IAAI,GAAJ,CAAQ,MAAR,C;YACI,SAAgB,GAAI,aAApB,C;;kBAEA,IAAI,QAAJ,CAAa,CAAb,CAAgB,QAAO,IAAP,C;oEAAhB,K;;IACH,U;EAAD,C;+CA/CuB1E,G;;;wCAiDlB2E,CAAiB3E,GAAjB2E,EAA4C;A,QACjDC,QAAY,mBAAa,GAAb,C;IACZ,OAAe,uCAAG,KAAH,C;EACnB,C;kDAlDuB5E,G;;;wCAoDd6E,CAAgB7E,GAAhB6E,EAA0C;A,cACxC,IAAI,QAAJ,CAAa,CAAb,CAAgB,QAAO,IAAP,C;IAAvB,2DAAO,GAAP,c;EACJ,C;iDAvDwB7E,G;;;wCAyDf8E,CAAc9E,GAAd8E,EAAsC;A,QAC3CC,MAAU,GAAVA,CAAc,KAAdA,CAAoB,I;IACpB,IAAI,MAAI,IAAJ,IAAY,IAAZ,CAAJ,C,CAAsB;A,UACR,qBAAJ,GAAI,K;MAAV,MAAM,KAAI,kBAAM,kBAAN,kBAAM,KAAV,EAAiB,GAAjB,C;IACV,C;;IACO,I;YACE,gCAAG,GAAH,C;;;;YACAC,iB;QACL,MAAM,eACF,GADE,CACE,KADF,EAED,8BAAD,GAAiC,GAAjC,CAAqC,KAArC,CAA2C,IAFzC,C;;;;;;IAHV,U;EAQJ,C;+CApEyBhF,G;;;wCAsEhBiF,CAAkBjF,GAAlBiF,EACL;A;IAAA,IAAI,GAAJ,CAAQ,WAAR,C;YACI,IAAM,CAAN,KAAM,Y;;YAEN,IAAM,CAAN,KAAM,OAAM,GAAN,CAAU,KAAV,CAAgB,IAAhB,C;;IACT,U;EAAD,C;mDA1EuBjF,G;;;wCA4ElBkF,CAAmBlF,GAAnBkF,EAAgD;A,IAC7C,IAAJ,GAAI,Q,CAAQ;A,MACZ,OAAO,IAAM,CAAN,KAAM,W;IACjB,C,MAAe,IAAJ,GAAI,S,CAAS;A,MACpB,OAAO,IAAM,CAAN,KAAM,U;IACjB,C;;IACO,IAAI,IAAI,KAAJ,KAAa,CAAjB,C;YACH,IAAM,CAAN,KAAM,QAAO,GAAP,CAAW,OAAX,CAAmB,IAAnB,C;;kBAGF,G,CAAI,O,CAAQ,I;kBACH,aAAT,GAAS,CAAL,IAAK,C;YAFb,IAAM,CAAN,KAAM,yBAEoB,WAAI,uCAAJ,CAFpB,C;;IAHV,U;EAQJ,C;oDAzF8BlF,G;;;wCA2FrBmF,CAAcnF,GAAdmF,EAAsC;A;;QKqCpC,WAAJ,GAAI,M;;;QAm7VE,qCAAa,QAAb,CAAa,MAAb,C;QAAN,wB;QAAA,qB;QAAA,2B;WA+UP,oBAAa,I,EAAb;A,UAAK1C,OAAQ,gC;MAAA,wCA/UN,CA+UM,I;MACT,UAAY,GAnwWK,IAmwWD,KAAU,IAAV,CAAJ,C;;IAChB,YAAO,U;IAjVP,YAAO,S;QLv9VHW,QAAsB,S;;IACf,IAAI,GAAJ,CAAQ,OAAR,C;UACuB,qBAAJ,GAAI,K;YAA1B,IAAM,CAAN,KAAM,IAAS,KAAT,EAAoB,kBAAM,kBAAN,kBAAM,QAAO,IAAP,CAA1B,C;;YAEN,IAAM,CAAN,KAAM,gBAAO,KAAP,C;;IAHV,U;EAKJ,C;+CAjGgCpD,G;;;wCAmGvBoF,CAAepF,GAAfoF,EAAwC;A;IACtC,IAAI,IAAI,MAAJ,KAAc,CAAlB,C;YACH,IAAM,CAAN,KAAM,OAAqB,CAAb,IAAI,KAAJ,CAAU,CAAV,CAAa,QAAa,IAAb,EAArB,C;;;;UK0CG,WAAJ,GAAI,M;;;UAm6VJ,qCAAa,QAAb,CAAa,MAAb,C;UAAN,wB;UAAA,qB;UAAA,2B;aA+UP,oBAAa,I,EAAb;A,YAAK3C,OAAQ,gC;QAAA,wCA/UN,CA+UM,I;QACT,UAAY,GAnvWW,IAmvWP,KAAU,IAAV,CAAJ,C;;MAChB,YAAO,U;MAjVP,YAAO,S;YL38VC,IAAM,CAAN,KAAM,eAAkB,SAAlB,C;;IAHV,U;EAKJ,C;gDAxGiCzC,G;;;;;;;;;;;"}
@@ -0,0 +1,40 @@
1
+ (function (root, factory) {
2
+ if (typeof define === 'function' && define.amd)
3
+ define(['exports', './kotlin-kotlin-stdlib-js-ir.js'], factory);
4
+ else if (typeof exports === 'object')
5
+ factory(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js'));
6
+ else {
7
+ if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
8
+ throw new Error("Error loading module '2p-parser-js'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-parser-js'.");
9
+ }
10
+ root['2p-parser-js'] = factory(typeof this['2p-parser-js'] === 'undefined' ? {} : this['2p-parser-js'], this['kotlin-kotlin-stdlib-js-ir']);
11
+ }
12
+ }(this, function (_, kotlin_kotlin) {
13
+ 'use strict';
14
+ //region block: imports
15
+ var THROW_CCE = kotlin_kotlin.$_$.f9;
16
+ //endregion
17
+ //region block: pre-declaration
18
+ //endregion
19
+ function isParseCancellationException(obj) {
20
+ return jsClassName(obj) === 'ParseCancellationException';
21
+ }
22
+ function isRecognitionException(obj) {
23
+ return jsClassName(obj) === 'RecognitionException';
24
+ }
25
+ function jsClassName(obj) {
26
+ var tmp0_safe_receiver = obj;
27
+ var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.__proto__;
28
+ var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.constructor;
29
+ var tmp = tmp2_safe_receiver == null ? null : tmp2_safe_receiver.name;
30
+ return (tmp == null ? true : typeof tmp === 'string') ? tmp : THROW_CCE();
31
+ }
32
+ //region block: exports
33
+ _.$_$ = _.$_$ || {};
34
+ _.$_$.a = isParseCancellationException;
35
+ _.$_$.b = isRecognitionException;
36
+ //endregion
37
+ return _;
38
+ }));
39
+
40
+ //# sourceMappingURL=2p-parser-js.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/parser-js/src/main/kotlin/it/unibo/tuprolog/parser/Antlr4Extensions.kt"],"sourcesContent":[null],"names":["isParseCancellationException","obj","isRecognitionException","jsClassName"],"mappings":";;;;;;;;;;;;;;;;;;uCASAA,CAAiCC,GAAjCD,EACI;A,IAAgD,OAAhD,YAAY,GAAZ,MAAqB,4B;EAA0B,C;iCAEnDE,CAA2BD,GAA3BC,EACI;A,IAA0C,OAA1C,YAAY,GAAZ,MAAqB,sB;EAAoB,C;sBAP7CC,CAAgBF,GAAhBE,EACI;A,QAAA,wB;QAAK,qBAAL,kBAAK,kBAAL,kBAAK,U;QAAW,qBAAX,kBAAW,kBAAX,kBAAW,Y;cAAA,kBAAa,kBAAb,kBAAa,K;IAAe,wDAA5C,GAA4C,c;EAAD,C;;;;;;;;"}
@@ -0,0 +1,156 @@
1
+ (function (root, factory) {
2
+ if (typeof define === 'function' && define.amd)
3
+ define(['exports', './2p-core.js', './kotlin-kotlin-stdlib-js-ir.js', './2p-theory.js', './2p-unify.js', './2p-parser-core.js'], factory);
4
+ else if (typeof exports === 'object')
5
+ factory(module.exports, require('./2p-core.js'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-theory.js'), require('./2p-unify.js'), require('./2p-parser-core.js'));
6
+ else {
7
+ if (typeof this['2p-core'] === 'undefined') {
8
+ throw new Error("Error loading module '2p-parser-theory'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-parser-theory'.");
9
+ }
10
+ if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
11
+ throw new Error("Error loading module '2p-parser-theory'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-parser-theory'.");
12
+ }
13
+ if (typeof this['2p-theory'] === 'undefined') {
14
+ throw new Error("Error loading module '2p-parser-theory'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-parser-theory'.");
15
+ }
16
+ if (typeof this['2p-unify'] === 'undefined') {
17
+ throw new Error("Error loading module '2p-parser-theory'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-parser-theory'.");
18
+ }
19
+ if (typeof this['2p-parser-core'] === 'undefined') {
20
+ throw new Error("Error loading module '2p-parser-theory'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to '2p-parser-theory'.");
21
+ }
22
+ root['2p-parser-theory'] = factory(typeof this['2p-parser-theory'] === 'undefined' ? {} : this['2p-parser-theory'], this['2p-core'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-theory'], this['2p-unify'], this['2p-parser-core']);
23
+ }
24
+ }(this, function (_, kotlin_it_unibo_tuprolog_core, kotlin_kotlin, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core) {
25
+ 'use strict';
26
+ //region block: imports
27
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.f;
28
+ var protoOf = kotlin_kotlin.$_$.q5;
29
+ var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.c;
30
+ var objectMeta = kotlin_kotlin.$_$.p5;
31
+ var VOID = kotlin_kotlin.$_$.s9;
32
+ var setMetadataFor = kotlin_kotlin.$_$.r5;
33
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
34
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
35
+ var toList = kotlin_kotlin.$_$.t7;
36
+ var interfaceMeta = kotlin_kotlin.$_$.c5;
37
+ var PrologVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
38
+ var termToClause = kotlin_it_unibo_tuprolog_parser_core.$_$.c;
39
+ var PrologParserFactory_getInstance = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
40
+ var Unit_getInstance = kotlin_kotlin.$_$.o1;
41
+ var map = kotlin_kotlin.$_$.h7;
42
+ var classMeta = kotlin_kotlin.$_$.u4;
43
+ //endregion
44
+ //region block: pre-declaration
45
+ setMetadataFor(Companion, 'Companion', objectMeta);
46
+ function parseTheoryWithOperators(input, operators, unificator) {
47
+ return Companion_getInstance_0().indexedOfSequence(unificator, this.parseClausesLazilyWithOperators(input, operators));
48
+ }
49
+ function parseTheoryWithOperatorsAndDefaultUnificator(input, operators) {
50
+ return this.parseTheoryWithOperators(input, operators, Companion_getInstance_1().c1i());
51
+ }
52
+ function parseTheory(input, unificator) {
53
+ return this.parseTheoryWithOperators(input, this.s34(), unificator);
54
+ }
55
+ function parseTheoryWithDefaultUnificator(input) {
56
+ return this.parseTheory(input, Companion_getInstance_1().c1i());
57
+ }
58
+ function parseClausesLazily(input) {
59
+ return this.parseClausesLazilyWithOperators(input, this.s34());
60
+ }
61
+ function parseClausesWithOperators(input, operators) {
62
+ return toList(this.parseClausesLazilyWithOperators(input, operators));
63
+ }
64
+ function parseClauses(input) {
65
+ return this.parseClausesWithOperators(input, this.s34());
66
+ }
67
+ setMetadataFor(ClausesParser, 'ClausesParser', interfaceMeta);
68
+ setMetadataFor(ClausesParserImpl, 'ClausesParserImpl', classMeta, VOID, [ClausesParser]);
69
+ //endregion
70
+ function Companion() {
71
+ Companion_instance = this;
72
+ }
73
+ protoOf(Companion).withNoOperator = function () {
74
+ return this.withOperatorSet(Companion_getInstance().EMPTY);
75
+ };
76
+ protoOf(Companion).withStandardOperators = function () {
77
+ return this.withOperatorSet(Companion_getInstance().STANDARD);
78
+ };
79
+ protoOf(Companion).withDefaultOperators = function () {
80
+ return this.withOperatorSet(Companion_getInstance().DEFAULT);
81
+ };
82
+ protoOf(Companion).withOperatorSet = function (operators) {
83
+ return clausesParserWithOperators(operators);
84
+ };
85
+ protoOf(Companion).withOperators = function (operators) {
86
+ return this.withOperatorSet(OperatorSet_init_$Create$(operators.slice()));
87
+ };
88
+ var Companion_instance;
89
+ function Companion_getInstance_2() {
90
+ if (Companion_instance == null)
91
+ new Companion();
92
+ return Companion_instance;
93
+ }
94
+ function ClausesParser() {
95
+ }
96
+ function get_defaultParser() {
97
+ _init_properties_ClausesParserExtensions_kt__ht0tet();
98
+ return defaultParser;
99
+ }
100
+ var defaultParser;
101
+ function parseTheoryWithOperators_0(_this__u8e3s4, input, operators) {
102
+ _init_properties_ClausesParserExtensions_kt__ht0tet();
103
+ return get_defaultParser().parseTheoryWithOperatorsAndDefaultUnificator(input, operators);
104
+ }
105
+ var properties_initialized_ClausesParserExtensions_kt_4rkyvt;
106
+ function _init_properties_ClausesParserExtensions_kt__ht0tet() {
107
+ if (properties_initialized_ClausesParserExtensions_kt_4rkyvt) {
108
+ } else {
109
+ properties_initialized_ClausesParserExtensions_kt_4rkyvt = true;
110
+ defaultParser = Companion_getInstance_2().withDefaultOperators();
111
+ }
112
+ }
113
+ function clausesParserWithOperators(operators) {
114
+ return new ClausesParserImpl(operators);
115
+ }
116
+ function ClausesParserImpl$parseClausesLazily$lambda(it) {
117
+ return it.accept(new PrologVisitor());
118
+ }
119
+ function ClausesParserImpl$parseClausesLazily$lambda_0(it) {
120
+ return termToClause(it);
121
+ }
122
+ function ClausesParserImpl(defaultOperatorSet) {
123
+ this.t34_1 = defaultOperatorSet;
124
+ }
125
+ protoOf(ClausesParserImpl).s34 = function () {
126
+ return this.t34_1;
127
+ };
128
+ protoOf(ClausesParserImpl).u34 = function (input, operators) {
129
+ var tmp$ret$0;
130
+ // Inline function 'kotlin.sequences.asSequence' call
131
+ var tmp0_asSequence = PrologParserFactory_getInstance().c34(input, operators);
132
+ tmp$ret$0 = tmp0_asSequence;
133
+ var tmp = tmp$ret$0;
134
+ var tmp_0 = map(tmp, ClausesParserImpl$parseClausesLazily$lambda);
135
+ return map(tmp_0, ClausesParserImpl$parseClausesLazily$lambda_0);
136
+ };
137
+ protoOf(ClausesParserImpl).parseClausesLazilyWithOperators = function (input, operators) {
138
+ return this.u34(input, operators);
139
+ };
140
+ //region block: post-declaration
141
+ protoOf(ClausesParserImpl).parseTheoryWithOperators = parseTheoryWithOperators;
142
+ protoOf(ClausesParserImpl).parseTheoryWithOperatorsAndDefaultUnificator = parseTheoryWithOperatorsAndDefaultUnificator;
143
+ protoOf(ClausesParserImpl).parseTheory = parseTheory;
144
+ protoOf(ClausesParserImpl).parseTheoryWithDefaultUnificator = parseTheoryWithDefaultUnificator;
145
+ protoOf(ClausesParserImpl).parseClausesLazily = parseClausesLazily;
146
+ protoOf(ClausesParserImpl).parseClausesWithOperators = parseClausesWithOperators;
147
+ protoOf(ClausesParserImpl).parseClauses = parseClauses;
148
+ //endregion
149
+ //region block: exports
150
+ _.$_$ = _.$_$ || {};
151
+ _.$_$.a = parseTheoryWithOperators_0;
152
+ //endregion
153
+ return _;
154
+ }));
155
+
156
+ //# sourceMappingURL=2p-parser-theory.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParser.kt","../../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserExtensions.kt","../../../../../../../../../2p-kt/2p-kt/parser-theory/src/jsMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserExtensions.kt","../../../../../../../../../2p-kt/2p-kt/parser-theory/src/jsMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserImpl.kt","commonMainSources/libraries/stdlib/common/src/generated/_Sequences.kt"],"sourcesContent":[null,null,null,null,null],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","<get-defaultParser>","parse","<this>","<init properties ClausesParserExtensions.kt>","clausesParserWithOperators","ClausesParserImpl$parseClausesLazily$lambda","it","defaultOperatorSet","<get-defaultOperatorSet>"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mCAeIA,CAAgBC,K,EAAeC,S,EAAwBC,UAAvDH,EACI;A,IAAkE,OAA3D,4CAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;uDAGrEA,CAAgBC,K,EAAeC,SAA/BF,EAAiE;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,+BAAzC,C;EAAgD,C;sBAGjHA,CAAgBC,K,EAAeE,UAA/BH,EACI;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,UAAnB,EAAuC,UAAvC,C;EAAiD,C;2CAGrDA,CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,+BAA9B,C;EAAqC,C;6BAM9EI,CAAuBH,KAAvBG,EACI;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,UAA1B,C;EAA4C,C;oCAGhDC,CAAiBJ,K,EAAeC,SAAhCG,EACI;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;uBAGhDA,CAAiBJ,KAAjBI,EACI;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,UAApB,C;EAAsC,C;;;;oBAE1CC,CAAAA,EAAA;A;EAAA,C;+CAGIC,CAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;sDAItDC,CAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;qDAIhEC,CAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;gDAI9DC,CAAkBR,SAAlBQ,EAA4C;A,IAAqC,OAArC,2BAA2B,SAA3B,C;EAAoC,C;8CAIhFA,CAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;;;;;;;;4BClDrFC,CAAAA,EAAA;A;IAAA,oB;EAAuD,C;;qCAG/DC,CAAIC,a,EAAuBZ,K,EAAeC,SAA1CU,EACI;A;IAA2C,OAA3C,mBAAc,8CAAY,KAAZ,EAAmB,SAAnB,C;EAA4B,C;;8DAhB9CE,CAAAA,E;;;;sBAY0C,gD;;G;qCCRnCC,CAA+Bb,SAA/Ba,EAAsE;A,IACzE,OAAO,sBAAkB,SAAlB,C;EACX,C;sDCQiBC,CAAAC,EAAAD,EAAA;A,IAAK,OAAH,EAAG,QAAa,mBAAb,C;EAA8B,C;wDACnCA,CAAAC,EAAAD,EAAA;A,IAAK,oBAAH,EAAG,C;EAAW,C;4BANjCV,CAAwBY,kBAAxBZ,EAAA;A,IAAwB,+B;EAAxB,C;4CAAiCa,CAAAA,EAAA;A,IAAA,iB;EAAkC,C;4CAEtDf,CAAuBH,K,EAAeC,SAAtCE,EAAgF;A;;QCOrC,wDAE/C,KAF+C,EAExC,SAFwC,C;IA40FpD,YAAO,e;cDj1FE,S;gBACA,SAAI,2CAAJ,C;IAFL,OAGK,WAAI,6CAAJ,C;EACT,C;yEAEkdH,K,EAAeC,S;;;;;;;;;;;;;;;;;;"}