@tuprolog/2p-full 0.31.5-dev0f → 0.31.5-dev0n

package/2p-repl.js

@@ -1,95 +1,106 @@
-(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_core, kotlin_clikt_clikt, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_io_lib, kotlin_it_unibo_tuprolog_oop_lib) {
+(function (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', './2p-solve.js', './kotlin-kotlin-stdlib-js-ir.js', './2p-core.js', './clikt-clikt-js-ir.js', './2p-theory.js', './2p-parser-core.js', './2p-io-lib.js', './2p-oop-lib.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('./2p-solve.js'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-core.js'), require('./clikt-clikt-js-ir.js'), require('./2p-theory.js'), require('./2p-parser-core.js'), require('./2p-io-lib.js'), require('./2p-oop-lib.js'));
+  else {
+    if (typeof this['2p-solve'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['clikt-clikt-js-ir'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency 'clikt-clikt-js-ir' was not found. Please, check whether 'clikt-clikt-js-ir' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-theory'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-parser-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-io-lib'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-io-lib' was not found. Please, check whether '2p-io-lib' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-oop-lib'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-oop-lib' was not found. Please, check whether '2p-oop-lib' is loaded prior to '2p-repl'.");
+    }
+    root['2p-repl'] = factory(typeof this['2p-repl'] === 'undefined' ? {} : this['2p-repl'], this['2p-solve'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-core'], this['clikt-clikt-js-ir'], this['2p-theory'], this['2p-parser-core'], this['2p-io-lib'], this['2p-oop-lib']);
+  }
+}(this, function (_, kotlin_it_unibo_tuprolog_solve, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_clikt_clikt, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_io_lib, kotlin_it_unibo_tuprolog_oop_lib) {
   'use strict';
   //region block: imports
-  var emptyMap = kotlin_kotlin.$_$.t3;
   var Halt = kotlin_it_unibo_tuprolog_solve.$_$.r4;
-  var isInterface = kotlin_kotlin.$_$.y6;
+  var isInterface = kotlin_kotlin.$_$.g6;
   var No = kotlin_it_unibo_tuprolog_solve.$_$.s4;
   var Yes = kotlin_it_unibo_tuprolog_solve.$_$.t4;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n2;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l2;
   var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
   var ProgramResult = kotlin_clikt_clikt.$_$.b;
-  var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.t2;
-  var StringBuilder = kotlin_kotlin.$_$.v9;
-  var THROW_CCE = kotlin_kotlin.$_$.sb;
-  var isCharSequence = kotlin_kotlin.$_$.w6;
-  var trim = kotlin_kotlin.$_$.cb;
-  var toString = kotlin_kotlin.$_$.n7;
-  var Unit_getInstance = kotlin_kotlin.$_$.r2;
-  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d2;
-  var endsWith$default = kotlin_kotlin.$_$.l;
+  var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.r2;
+  var StringBuilder = kotlin_kotlin.$_$.h9;
+  var THROW_CCE = kotlin_kotlin.$_$.tb;
+  var isCharSequence = kotlin_kotlin.$_$.e6;
+  var trim = kotlin_kotlin.$_$.db;
+  var toString = kotlin_kotlin.$_$.x6;
+  var Unit_getInstance = kotlin_kotlin.$_$.v1;
+  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.h1;
+  var endsWith = kotlin_kotlin.$_$.n9;
+  var VOID = kotlin_kotlin.$_$.gc;
   var CliktCommand = kotlin_clikt_clikt.$_$.a;
-  var charSequenceLength = kotlin_kotlin.$_$.l6;
-  var charSequenceGet = kotlin_kotlin.$_$.k6;
-  var toString_0 = kotlin_kotlin.$_$.h2;
+  var emptyMap = kotlin_kotlin.$_$.x2;
+  var charSequenceLength = kotlin_kotlin.$_$.s5;
+  var charSequenceGet = kotlin_kotlin.$_$.r5;
+  var toString_0 = kotlin_kotlin.$_$.l1;
   var titlecase = kotlin_kotlin.$_$.qa;
-  var isLowerCase = kotlin_kotlin.$_$.ba;
+  var isLowerCase = kotlin_kotlin.$_$.s9;
+  var protoOf = kotlin_kotlin.$_$.s6;
   var defaultCliktConsole = kotlin_clikt_clikt.$_$.d;
-  var classMeta = kotlin_kotlin.$_$.m6;
-  var setMetadataFor = kotlin_kotlin.$_$.j7;
+  var classMeta = kotlin_kotlin.$_$.t5;
+  var setMetadataFor = kotlin_kotlin.$_$.t6;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var captureStack = kotlin_kotlin.$_$.h6;
+  var objectCreate = kotlin_kotlin.$_$.q6;
+  var captureStack = kotlin_kotlin.$_$.o5;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
-  var objectMeta = kotlin_kotlin.$_$.i7;
+  var objectMeta = kotlin_kotlin.$_$.r6;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
-  var trimMargin$default = kotlin_kotlin.$_$.a1;
-  var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
+  var trimMargin = kotlin_kotlin.$_$.bb;
+  var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.d1;
-  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
+  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.f1;
-  var joinToString$default = kotlin_kotlin.$_$.e;
-  var option$default = kotlin_clikt_clikt.$_$.j;
-  var multiple$default = kotlin_clikt_clikt.$_$.i;
-  var int = kotlin_clikt_clikt.$_$.e;
-  var default$default = kotlin_clikt_clikt.$_$.g;
-  var flag$default = kotlin_clikt_clikt.$_$.h;
-  var toLong = kotlin_kotlin.$_$.l7;
+  var joinToString = kotlin_kotlin.$_$.f3;
+  var option = kotlin_clikt_clikt.$_$.i;
+  var multiple = kotlin_clikt_clikt.$_$.h;
+  var int = kotlin_clikt_clikt.$_$.j;
+  var default_0 = kotlin_clikt_clikt.$_$.f;
+  var flag = kotlin_clikt_clikt.$_$.g;
+  var toLong = kotlin_kotlin.$_$.v6;
   var Info_getInstance = kotlin_it_unibo_tuprolog_core.$_$.k1;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.f2;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.d2;
   var IOLib_getInstance = kotlin_it_unibo_tuprolog_io_lib.$_$.a;
   var arrayConcat = kotlin_kotlin.$_$.a;
   var OOPLib_getInstance = kotlin_it_unibo_tuprolog_oop_lib.$_$.a;
-  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.p2;
-  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c2;
-  var KProperty1 = kotlin_kotlin.$_$.d8;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.r6;
-  var NotImplementedError = kotlin_kotlin.$_$.nb;
-  var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
-  var argument$default = kotlin_clikt_clikt.$_$.f;
+  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.n2;
+  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a2;
+  var KProperty1 = kotlin_kotlin.$_$.o7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.z5;
+  var NotImplementedError = kotlin_kotlin.$_$.ob;
+  var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
+  var argument = kotlin_clikt_clikt.$_$.e;
   var subcommands = kotlin_clikt_clikt.$_$.c;
   //endregion
   //region block: pre-declaration
-  setMetadataFor(AbstractTuPrologCommand, 'AbstractTuPrologCommand', classMeta, CliktCommand, undefined, undefined, undefined, []);
-  setMetadataFor(NullInputException, 'NullInputException', classMeta, TuPrologException, undefined, undefined, undefined, []);
-  setMetadataFor(Companion, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(TuPrologCmd, 'TuPrologCmd', classMeta, AbstractTuPrologCommand, undefined, undefined, undefined, []);
-  setMetadataFor(TuPrologSolveQuery, 'TuPrologSolveQuery', classMeta, AbstractTuPrologCommand, undefined, undefined, undefined, []);
+  setMetadataFor(AbstractTuPrologCommand, 'AbstractTuPrologCommand', classMeta, CliktCommand);
+  setMetadataFor(NullInputException, 'NullInputException', classMeta, TuPrologException);
+  setMetadataFor(Companion, 'Companion', objectMeta);
+  setMetadataFor(TuPrologCmd, 'TuPrologCmd', classMeta, AbstractTuPrologCommand);
+  setMetadataFor(TuPrologSolveQuery, 'TuPrologSolveQuery', classMeta, AbstractTuPrologCommand);
   //endregion
-  function AbstractTuPrologCommand_init_$Init$(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden, $mask0, $marker, $this) {
-    if (!(($mask0 & 1) === 0))
-      help = '';
-    if (!(($mask0 & 2) === 0))
-      epilog = '';
-    if (!(($mask0 & 4) === 0))
-      name = null;
-    if (!(($mask0 & 8) === 0))
-      invokeWithoutSubcommand = false;
-    if (!(($mask0 & 16) === 0))
-      printHelpOnEmptyArgs = false;
-    if (!(($mask0 & 32) === 0))
-      helpTags = emptyMap();
-    if (!(($mask0 & 64) === 0))
-      autoCompleteEnvvar = '';
-    if (!(($mask0 & 128) === 0))
-      allowMultipleSubcommands = false;
-    if (!(($mask0 & 256) === 0))
-      treatUnknownOptionsAsArgs = false;
-    if (!(($mask0 & 512) === 0))
-      hidden = false;
-    AbstractTuPrologCommand.call($this, help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden);
-    return $this;
-  }
   function printSolution($this, sol, operatorSet) {
     var tmp0_subject = sol;
     if (isInterface(tmp0_subject, Yes)) {
@@ -105,17 +116,15 @@
     }
   }
   function printYesSolution($this, sol, operatorSet) {
-    var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-    $this.f3y(tmp, false, false, null, 14, null);
+    $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
   }
   function printHaltSolution($this, sol, operatorSet) {
-    var ex = sol.z1v();
+    var ex = sol.y1u();
     if (ex instanceof HaltException) {
-      $this.f3y('# goodbye.', false, false, null, 14, null);
+      $this.a3w('# goodbye.');
       throw new ProgramResult(ex.exitStatus);
     } else {
-      var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-      $this.f3y(tmp, false, false, null, 14, null);
+      $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
     }
   }
   function printEndOfSolutions($this) {
@@ -128,31 +137,38 @@
       // Inline function 'kotlin.text.trim' call
       var tmp0_trim = lastRead;
       tmp$ret$0 = toString(trim(isCharSequence(tmp0_trim) ? tmp0_trim : THROW_CCE()));
-      var tmp = tmp$ret$0;
-      var tmp_0 = _Char___init__impl__6a9atx(46);
-      if (!!endsWith$default(tmp, tmp_0, false, 2, null)) {
+      if (!!endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
         break $l$loop;
       }
-      var tmp0_elvis_lhs = $this.j3y('>', null, false, false, null, ' ', false, 94, null);
-      var tmp_1;
+      var tmp0_elvis_lhs = $this.e3w('>', VOID, VOID, VOID, VOID, ' ');
+      var tmp;
       if (tmp0_elvis_lhs == null) {
         throw NullInputException_init_$Create$('The standard input has been closed unexpectedly');
       } else {
-        tmp_1 = tmp0_elvis_lhs;
+        tmp = tmp0_elvis_lhs;
       }
-      lastRead = tmp_1;
-      longQuery.re(lastRead);
+      lastRead = tmp;
+      longQuery.te(lastRead);
     }
     return longQuery.toString();
   }
   function printNoSolution($this, sol, operatorSet) {
-    var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-    $this.f3y(tmp, false, false, null, 14, null);
+    $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
   }
   function AbstractTuPrologCommand(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden) {
+    help = help === VOID ? '' : help;
+    epilog = epilog === VOID ? '' : epilog;
+    name = name === VOID ? null : name;
+    invokeWithoutSubcommand = invokeWithoutSubcommand === VOID ? false : invokeWithoutSubcommand;
+    printHelpOnEmptyArgs = printHelpOnEmptyArgs === VOID ? false : printHelpOnEmptyArgs;
+    helpTags = helpTags === VOID ? emptyMap() : helpTags;
+    autoCompleteEnvvar = autoCompleteEnvvar === VOID ? '' : autoCompleteEnvvar;
+    allowMultipleSubcommands = allowMultipleSubcommands === VOID ? false : allowMultipleSubcommands;
+    treatUnknownOptionsAsArgs = treatUnknownOptionsAsArgs === VOID ? false : treatUnknownOptionsAsArgs;
+    hidden = hidden === VOID ? false : hidden;
     CliktCommand.call(this, help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden);
   }
-  AbstractTuPrologCommand.prototype.i4a = function (e) {
+  protoOf(AbstractTuPrologCommand).d48 = function (e) {
     var tmp0_safe_receiver = e.message;
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -183,11 +199,10 @@
       tmp$ret$4 = tmp_0;
       tmp = tmp$ret$4;
     }
-    var tmp_2 = '# ' + tmp;
-    this.f3y(tmp_2, false, true, null, 10, null);
+    this.a3w('# ' + tmp, VOID, true);
   };
-  AbstractTuPrologCommand.prototype.j4a = function () {
-    var query = this.j3y('?-', null, false, false, null, ' ', false, 94, null);
+  protoOf(AbstractTuPrologCommand).e48 = function () {
+    var query = this.e3w('?-', VOID, VOID, VOID, VOID, ' ');
     var tmp;
     if (query == null) {
       throw NullInputException_init_$Create$('The standard input has been close unexpectedly');
@@ -195,9 +210,7 @@
       var tmp$ret$0;
       // Inline function 'kotlin.text.trim' call
       tmp$ret$0 = toString(trim((!(query == null) ? isCharSequence(query) : false) ? query : THROW_CCE()));
-      var tmp_0 = tmp$ret$0;
-      var tmp_1 = _Char___init__impl__6a9atx(46);
-      if (endsWith$default(tmp_0, tmp_1, false, 2, null)) {
+      if (endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
         tmp = query;
       } else {
         tmp = readQueryMultiline(this, query);
@@ -205,11 +218,11 @@
     }
     return tmp;
   };
-  AbstractTuPrologCommand.prototype.k4a = function (solutions, operatorSet) {
+  protoOf(AbstractTuPrologCommand).f48 = function (solutions, operatorSet) {
     var first = true;
     $l$loop: while (solutions.m()) {
       if (!first) {
-        var tmp0_safe_receiver = defaultCliktConsole().y45('', false);
+        var tmp0_safe_receiver = defaultCliktConsole().t43('', false);
         var tmp;
         if (tmp0_safe_receiver == null) {
           tmp = null;
@@ -229,7 +242,7 @@
     }
     printEndOfSolutions(this);
   };
-  AbstractTuPrologCommand.prototype.l4a = function (solutions, maxSolutions, operatorSet) {
+  protoOf(AbstractTuPrologCommand).g48 = function (solutions, maxSolutions, operatorSet) {
     var i = 0;
     while (i < maxSolutions ? solutions.m() : false) {
       var tmp0 = i;
@@ -248,7 +261,7 @@
     return $this;
   }
   function NullInputException_init_$Create$(message) {
-    var tmp = NullInputException_init_$Init$_0(message, Object.create(NullInputException.prototype));
+    var tmp = NullInputException_init_$Init$_0(message, objectCreate(protoOf(NullInputException)));
     captureStack(tmp, NullInputException_init_$Create$);
     return tmp;
   }
@@ -257,7 +270,7 @@
   }
   function Companion() {
     Companion_instance = this;
-    this.m4a_1 = 1000;
+    this.h48_1 = 1000;
   }
   var Companion_instance;
   function Companion_getInstance_6() {
@@ -266,13 +279,13 @@
     return Companion_instance;
   }
   function _get_files__hkfg7a($this) {
-    return $this.f4b_1.h46($this, files$factory_0());
+    return $this.a49_1.c44($this, files$factory_0());
   }
   function _get_timeout__tg4wg($this) {
-    return $this.g4b_1.h46($this, timeout$factory_0());
+    return $this.b49_1.c44($this, timeout$factory_0());
   }
   function _get_oop__e6e8e9($this) {
-    return $this.h4b_1.h46($this, oop$factory_0());
+    return $this.c49_1.c44($this, oop$factory_0());
   }
   function loadTheory($this) {
     var theory = Companion_getInstance_0().emptyWithDefaultUnificator();
@@ -282,44 +295,44 @@
       if (isReadableFile(file)) {
         try {
           var t = loadTheoryFromFile(file);
-          var tmp = '# Successfully loaded ' + toString(t.p()) + ' clauses from ' + file;
-          $this.f3y(tmp, false, false, null, 14, null);
+          $this.a3w('# Successfully loaded ' + toString(t.p()) + ' clauses from ' + file);
           theory = theory.plusTheory(t);
         } catch ($p) {
           if ($p instanceof ParseException) {
-            var tmp_0 = '\n                        |# Error while parsing theory file: ' + file + '\n                        |#     Message: ' + $p.message + '\n                        |#     Line   : ' + $p.line + '\n                        |#     Column : ' + $p.column + '\n                        |#     Clause : ' + $p.clauseIndex + '\n                        ';
-            var tmp_1 = trimMargin$default(tmp_0, null, 1, null);
-            $this.f3y(tmp_1, false, true, null, 10, null);
+            var e = $p;
+            $this.a3w(trimMargin('\n                        |# Error while parsing theory file: ' + file + '\n                        |#     Message: ' + e.message + '\n                        |#     Line   : ' + e.line + '\n                        |#     Column : ' + e.column + '\n                        |#     Clause : ' + e.clauseIndex + '\n                        '), VOID, true);
           } else {
             throw $p;
           }
         }
       }
     }
-    $this.f3y('', false, false, null, 14, null);
+    $this.a3w('');
     return theory;
   }
   function readEvalPrintLoop($this, solver) {
     try {
-      var query = $this.j4a();
+      var query = $this.e48();
       while (!(query == null)) {
         try {
-          var goal = parseStructWithOperators(Companion_getInstance_1(), query, solver.e1v());
-          var solutions = solver.solveWithTimeout(goal, $this.i4b()).j();
-          $this.k4a(solutions, solver.e1v());
+          var goal = parseStructWithOperators(Companion_getInstance_1(), query, solver.e1u());
+          var solutions = solver.solveWithTimeout(goal, $this.d49()).j();
+          $this.f48(solutions, solver.e1u());
         } catch ($p) {
           if ($p instanceof ParseException) {
-            $this.i4a($p);
+            var e = $p;
+            $this.d48(e);
           } else {
             throw $p;
           }
         }
-        $this.f3y('', false, false, null, 14, null);
-        query = $this.j4a();
+        $this.a3w('');
+        query = $this.e48();
       }
     } catch ($p) {
       if ($p instanceof NullInputException) {
-        $this.f3y('\n# goodbye.', false, false, null, 14, null);
+        var _ = $p;
+        $this.a3w('\n# goodbye.');
         throw new ProgramResult(0);
       } else {
         throw $p;
@@ -333,71 +346,63 @@
   }
   function TuPrologCmd$getSolver$lambda(this$0) {
     return function (w) {
-      var tmp = '# ' + w.message;
-      this$0.f3y(tmp, false, true, null, 10, null);
+      this$0.a3w('# ' + w.message, VOID, true);
       var sep = '\n    at ';
-      var formatter = Companion_getInstance_2().prettyExpressionsPrettyVariables(w.j5().e1v());
-      var tmp_0 = w.p1u();
-      var stacktrace = joinToString$default(tmp_0, sep, null, null, 0, null, TuPrologCmd$getSolver$lambda$lambda(formatter), 30, null);
-      var tmp_1 = '#    at ' + stacktrace;
-      this$0.f3y(tmp_1, false, true, null, 10, null);
+      var formatter = Companion_getInstance_2().prettyExpressionsPrettyVariables(w.n5().e1u());
+      var tmp = w.s1t();
+      var stacktrace = joinToString(tmp, sep, VOID, VOID, VOID, VOID, TuPrologCmd$getSolver$lambda$lambda(formatter));
+      this$0.a3w('#    at ' + stacktrace, VOID, true);
       return Unit_getInstance();
     };
   }
   function TuPrologCmd$getSolver$lambda_0($this$flag) {
-    return $this$flag.r29_1;
+    return $this$flag.x27_1;
   }
   function TuPrologCmd(additionalLibraries) {
     Companion_getInstance_6();
-    AbstractTuPrologCommand_init_$Init$('Start a Prolog Read-Eval-Print loop', null, 'java -jar 2p-repl.jar', true, false, null, null, true, false, false, 882, null, this);
-    this.e4b_1 = additionalLibraries;
+    AbstractTuPrologCommand.call(this, 'Start a Prolog Read-Eval-Print loop', VOID, 'java -jar 2p-repl.jar', true, VOID, VOID, VOID, true);
+    this.z48_1 = additionalLibraries;
+    this.a49_1 = multiple(option(this, ['-T', '--theory'], 'Path of theory file to be loaded')).l45(this, files$factory());
     var tmp = this;
-    var tmp_0 = option$default(this, ['-T', '--theory'], 'Path of theory file to be loaded', null, false, null, null, null, null, 252, null);
-    tmp.f4b_1 = multiple$default(tmp_0, null, false, 3, null).q47(this, files$factory());
-    var tmp_1 = this;
     Companion_getInstance_6();
-    var tmp_2 = 'Maximum amount of time for computing a solution (default: ' + 1000 + ' ms)';
-    var tmp_3 = int(option$default(this, ['-t', '--timeout'], tmp_2, null, false, null, null, null, null, 252, null));
+    var tmp_0 = int(option(this, ['-t', '--timeout'], 'Maximum amount of time for computing a solution (default: ' + 1000 + ' ms)'));
     Companion_getInstance_6();
-    tmp_1.g4b_1 = default$default(tmp_3, 1000, null, 2, null).q47(this, timeout$factory());
-    var tmp_4 = this;
-    var tmp_5 = option$default(this, ['--oop'], 'Loads the OOP library', null, false, null, null, null, null, 252, null);
-    tmp_4.h4b_1 = flag$default(tmp_5, [], false, null, 5, null).q47(this, oop$factory());
-  }
-  TuPrologCmd.prototype.e3z = function () {
-    var solve = this.j4b();
-    var subcommand = this.s2b().z3w_1;
+    tmp.b49_1 = default_0(tmp_0, 1000).l45(this, timeout$factory());
+    this.c49_1 = flag(option(this, ['--oop'], 'Loads the OOP library'), [], false).l45(this, oop$factory());
+  }
+  protoOf(TuPrologCmd).z3w = function () {
+    var solve = this.e49();
+    var subcommand = this.y29().u3u_1;
     if (subcommand == null) {
       readEvalPrintLoop(this, solve);
     }
   };
-  TuPrologCmd.prototype.i4b = function () {
+  protoOf(TuPrologCmd).d49 = function () {
     return toLong(_get_timeout__tg4wg(this));
   };
-  TuPrologCmd.prototype.j4b = function () {
+  protoOf(TuPrologCmd).e49 = function () {
     Info_getInstance();
-    var tmp = '# 2P-Kt version ' + '0.31.5-dev0f+5a2ad7593';
-    this.f3y(tmp, false, false, null, 14, null);
+    this.a3w('# 2P-Kt version ' + '0.1.0-archeo+0c07eb3');
     var theory = loadTheory(this);
-    var tmp_0 = Companion_getInstance_3();
-    var outputChannel = tmp_0.of(TuPrologCmd$getSolver$lambda(this));
-    var tmp_1;
+    var tmp = Companion_getInstance_3();
+    var outputChannel = tmp.of(TuPrologCmd$getSolver$lambda(this));
+    var tmp_0;
     if (_get_oop__e6e8e9(this)) {
-      tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.e4b_1]));
+      tmp_0 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.z48_1]));
     } else {
-      tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.e4b_1]));
+      tmp_0 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.z48_1]));
     }
-    var libraries = tmp_1;
+    var libraries = tmp_0;
     var tmp$ret$2;
     // Inline function 'kotlin.also' call
-    var tmp_2 = Companion_getInstance_5().q1x().newBuilder().setRuntime(libraries).setStaticKb(theory);
-    var tmp_3 = TrackVariables_getInstance();
-    var tmp0_also = tmp_2.setNotableFlagByValue(tmp_3, TuPrologCmd$getSolver$lambda_0).setWarnings(outputChannel).build();
+    var tmp_1 = Companion_getInstance_5().l1w().newBuilder().setRuntime(libraries).setStaticKb(theory);
+    var tmp_2 = TrackVariables_getInstance();
+    var tmp0_also = tmp_1.setNotableFlagByValue(tmp_2, TuPrologCmd$getSolver$lambda_0).setWarnings(outputChannel).build();
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.ui.repl.TuPrologCmd.getSolver.<anonymous>' call
     var tmp$ret$0;
     // Inline function 'kotlin.collections.iterator' call
-    var tmp0_iterator = tmp0_also.t1u();
+    var tmp0_iterator = tmp0_also.v1t();
     tmp$ret$0 = tmp0_iterator.z().j();
     var tmp0_iterator_0 = tmp$ret$0;
     while (tmp0_iterator_0.m()) {
@@ -406,10 +411,9 @@
       // Inline function 'kotlin.collections.component2' call
       tmp$ret$1 = tmp1_loop_parameter.b1();
       var library = tmp$ret$1;
-      var tmp_4 = '# Successfully loaded library `' + library.l2e() + '`';
-      this.f3y(tmp_4, false, false, null, 14, null);
+      this.a3w('# Successfully loaded library `' + library.q2c() + '`');
     }
-    this.f3y('', false, false, null, 14, null);
+    this.a3w('');
     tmp$ret$2 = tmp0_also;
     return tmp$ret$2;
   };
@@ -444,14 +448,14 @@
     }, null);
   }
   function _get_query__c6g9vb($this) {
-    return $this.b4c_1.h46($this, query$factory_0());
+    return $this.w49_1.c44($this, query$factory_0());
   }
   function _get_maxSolutions__ysux2t($this) {
-    return $this.c4c_1.h46($this, maxSolutions$factory_0());
+    return $this.x49_1.c44($this, maxSolutions$factory_0());
   }
   function _get_parentCommand__z09ff4($this) {
-    var tmp0_safe_receiver = $this.s2b().j3w_1;
-    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.k3w_1;
+    var tmp0_safe_receiver = $this.y29().e3u_1;
+    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.f3u_1;
     return tmp instanceof TuPrologCmd ? tmp : THROW_CCE();
   }
   function evalAndPrint($this, solver) {
@@ -461,16 +465,17 @@
     tmp$ret$0 = charSequenceLength(tmp0_isNotEmpty) > 0;
     if (tmp$ret$0) {
       try {
-        var duration = _get_parentCommand__z09ff4($this).i4b();
+        var duration = _get_parentCommand__z09ff4($this).d49();
         var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance_1(), _get_query__c6g9vb($this)), duration).j();
         if (_get_maxSolutions__ysux2t($this) === 0) {
-          $this.k4a(solutions, solver.e1v());
+          $this.f48(solutions, solver.e1u());
         } else {
-          $this.l4a(solutions, _get_maxSolutions__ysux2t($this), solver.e1v());
+          $this.g48(solutions, _get_maxSolutions__ysux2t($this), solver.e1u());
         }
       } catch ($p) {
         if ($p instanceof ParseException) {
-          $this.i4a($p);
+          var e = $p;
+          $this.d48(e);
         } else {
           throw $p;
         }
@@ -481,15 +486,12 @@
     }
   }
   function TuPrologSolveQuery() {
-    AbstractTuPrologCommand_init_$Init$('Compute a particular query and then terminate', null, 'solve', false, false, null, null, false, false, false, 1018, null, this);
-    var tmp = this;
-    tmp.b4c_1 = argument$default(this, null, null, null, null, 15, null).i46(this, query$factory());
-    var tmp_0 = this;
-    var tmp_1 = int(option$default(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate', null, false, null, null, null, null, 252, null));
-    tmp_0.c4c_1 = default$default(tmp_1, 0, null, 2, null).q47(this, maxSolutions$factory());
+    AbstractTuPrologCommand.call(this, 'Compute a particular query and then terminate', VOID, 'solve');
+    this.w49_1 = argument(this).d44(this, query$factory());
+    this.x49_1 = default_0(int(option(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate')), 0).l45(this, maxSolutions$factory());
   }
-  TuPrologSolveQuery.prototype.e3z = function () {
-    var solver = _get_parentCommand__z09ff4(this).j4b();
+  protoOf(TuPrologSolveQuery).z3w = function () {
+    var solver = _get_parentCommand__z09ff4(this).e49();
     evalAndPrint(this, solver);
   };
   function query$factory() {
@@ -521,13 +523,13 @@
     throw new NotImplementedError('An operation is not implemented: Not yet implemented');
   }
   function main(args) {
-    subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).d3z(args);
+    subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).y3w(args);
   }
   //region block: exports
   _.$_$ = _.$_$ || {};
   _.$_$.a = main;
   //endregion
   return _;
-}(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-solve.js'), require('./2p-core.js'), require('./clikt-clikt-js-ir.js'), require('./2p-theory.js'), require('./2p-parser-core.js'), require('./2p-io-lib.js'), require('./2p-oop-lib.js')));
+}));
 
 //# sourceMappingURL=2p-repl.js.map

package/2p-repl.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","commonMainSources/libraries/stdlib/src/kotlin/text/Strings.kt","jsMainSources/libraries/stdlib/js/src/kotlin/dynamic.kt","jsMainSources/libraries/stdlib/js/src/kotlin/text/string.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","commonMainSources/libraries/stdlib/src/kotlin/util/Standard.kt","commonMainSources/libraries/stdlib/src/kotlin/collections/Maps.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAYS,qB;MAAA,OACU,E;QADV,qB;MAAA,SAEY,E;QAFZ,qB;MAAA,OAGW,I;QAHX,qB;MAAA,0BAI8B,K;QAJ9B,sB;MAAA,uBAK2B,K;QAL3B,sB;MAAA,WAM2B,U;QAN3B,sB;MAAA,qBAOyB,E;QAPzB,uB;MAAA,2BAQ+B,K;QAR/B,uB;MAAA,4BASgC,K;QAThC,uB;MAAA,SAUa,K;IAVb,iM;;;;IAwBK,sB;oBACF,Y;MACI,wBAAiB,GAAjB,EAAsB,WAAtB,C;;sBAEJ,Y;QACI,uBAAgB,GAAhB,EAAqB,WAArB,C;;wBAEJ,Y;UACI,yBAAkB,GAAlB,EAAuB,WAAvB,C;;;;;;cAMC,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,C;IAAT,4C;;;IAIM,SAAS,GAAI,M;QACf,E;MACI,UAAM,YAAN,+B;MACA,MAAM,kBAAc,EAAG,WAAjB,C;;gBAEO,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,C;MAAT,4C;;;;;;IA4BZ,gBAAgB,kBAAc,KAAd,C;IAChB,eAAe,K;;;;MChBtB,wB;MA6GiF,YAAV,SAAP,oBAAtB,SAAsB,IAAtB,SAAsB,eAAO,C;gBD5F/C,S;;WAAV,CAAiB,4C;;;MACT,+BAAQ,GAAR,4BAA4B,GAA5B,kB;;UAAA,sB;QACJ,MAAM,iCAAoB,iDAApB,C;;gBADF,c;;MAAX,gB;MAEA,SAAU,IAAO,QAAP,C;;IAEd,OAAO,SAAU,W;;;cAKR,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,C;IAAT,4C;;;IA5EJ,wBACA,IADA,EAEA,MAFA,EAGA,IAHA,EAIA,uBAJA,EAKA,oBALA,EAMA,QANA,EAOA,kBAPA,EAQA,wBARA,EASA,yBATA,EAUA,MAVA,C;;;IAyCgB,yBAAF,CAAE,Q;;QAAA,kBAAS,Q;YAAA,I;;;;;;;MC+OoC,YAAV,mBAvPzC,kBAuPyC,IAAS,C;UAsfjD,S;;;QDxqBw53B,8CA7Dn53B,kBA6Dm53B,EAAK,CAAL,C;QA7Dv33B,YAAO,YAAH,uBAAG,CAAP,GAAyB,UAAH,uBAAG,CAAzB,GAA6C,WAAH,uBAAG,C;oBCquB7C,SAAnB,SAAmB,C;;;;;QC1xBE,YAoC6kB,kB;QC2MzhB,YAAjC,SAAY,WAwFq4lB,CAxFr4lB,C;gBF2iBpD,QAAgC,S;;gBA7uB/C,kB;;MA6uBV,iB;YDruByB,S;;gBAAf,I;IAAN,uBAA2G,IAA3G,iB;;;IAQA,YAAqB,SAAQ,IAAR,4BAA6B,GAA7B,kB;;QAEjB,SAAS,I;MACL,MAAM,iCAAoB,gDAApB,C;;;;MC0G4D,YAAV,SAAP,QApHQ,KAoHR,2BApHQ,KAoHR,aAAtB,KAAsB,eAAO,C;kBDxGtD,S;;UAAO,8C;cACT,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;;;IA8BA,YAAY,I;oBACL,SAAU,I;UACT,CAAC,K;QAC+B,yBAAtB,qBAAsB,KAAc,EAAd,EAAkB,KAAlB,C;;YAAA,kBAA0B,Q;gBAAA,I;;;;UC2EQ,YAAV,SAAP,QAvFnD,kBAuFmD,2BAvFnD,kBAuFmD,aAAtB,kBAAsB,eAAO,C;gBD3EE,S;;QAA1D,a;YACI,UAAQ,GAAR,C;UAAY,a;;QAEhB,QAAQ,K;;MAEZ,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;;IAEJ,yB;;;IAIA,QAAQ,C;WACD,IAAI,Y,GAAgB,SAAU,I,GAAA,K;MACjC,Y;MAAA,gB;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;;IAEJ,yB;;;IIrH+C,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;;;IAEgC,+BAAK,OAAL,EAAc,IAAd,Q;;;;;;;;;;;;;IC0BK,iB;;;;;;;;;IAKF,OAAH,WAAG,KAtC/B,KAsC+B,EAAH,iBAAG,C;;;IAGZ,OAAH,WAAG,KAzCnB,KAyCmB,EAAH,mBAAG,C;;;IAMJ,OAAH,WAAG,KA/Cf,KA+Ce,EAAH,eAAG,C;;;IAgBf,aAA4B,sD;IACf,oBAAK,mBAAL,KAAK,CAAL,I;WAAA,iB;MAAR,WAAQ,iB;UACL,eAAe,IAAf,C;;UAEI,QAAQ,mBAAmB,IAAnB,C;oBACF,wB,YAAwB,CAAE,I,IAAK,gB,GAAe,I;UAApD,4C;UACA,2BAAU,CAAV,C;;;wBAGO,gE,GACkC,I,GAAI,4C,GACrB,U,GAAQ,4C,GACR,O,GAAK,4C,GACL,S,GAAO,4C,GACP,c,GAAY,4B;wBAC5B,wC;YAPR,wBAQU,IARV,iB;;;;;;;IAaZ,UAAK,EAAL,+B;IACA,OAAO,M;;;;MAKH,YAAqB,W;aACd,WAAS,IAAT,C;;UAEC,WAAkB,oDAAM,KAAN,EAAa,MAAO,MAApB,C;UAClB,gBAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;;;YAEA,a;;;;;QAEJ,UAAK,EAAL,+B;QACA,QAAQ,W;;;;QAGZ,UAAM,cAAN,+B;QACA,MAAM,kBAAc,CAAd,C;;;;;;;;MAeoD,cAAH,EAAG,EAAO,UAAP,C;;;;;gBAHpD,I,GAAI,CAAE,Q;MAAZ,uBAA6B,IAA7B,iB;MACA,UAAW,W;MACX,gBAAwC,2DAAkB,CAAE,KAAQ,MAA5B,C;kBACvB,CAAE,M;MAAnB,iBAAmC,4BAAa,GAAb,uBAAkB,8CAAlB,W;kBAC7B,U,GAAS,U;MAAf,yBAAkC,IAAlC,iB;;;;;IAUwB,uB;;;IAzGpC,yB;IAAyD,oCAI7C,qCAJ6C,QAG7C,uBAH6C,EAC3B,IAD2B,qBAE1B,IAF0B,gC;IAWC,gC;cAEtB,I;gBAAG,qBAAQ,OAAM,UAAN,CAAR,EAAiC,kCAAjC,iD;IAAH,YAC3B,6CAD2B,KAtC5B,IAsC4B,kB;gBAGZ,I;;gBAGR,4D,GAXyB,I,GAWiD,M;gBACpF,IAJqB,qBAClB,OACA,WADA,CADkB,wDAIrB,C;;IAJkB,cAIZ,uBAZ6B,IAY7B,gBAJY,KAzChB,IAyCgB,oB;gBAMJ,I;gBAAG,qBACd,SADc,EAEP,uBAFO,iD;IAAH,cAGd,wBAAe,KAAf,gBAHc,KA/CZ,IA+CY,gB;;;IAMZ,YAAoB,U;IACpB,iBAAiB,IAAK,MAAe,M;QAEjC,cAAc,I;MACd,wBAAkB,KAAlB,C;;;;IAoDJ,OAAe,OAAR,yBAAQ,C;;;;cAIT,kB,GA/GgB,wB;IA+GtB,2C;IACA,aAA0B,WAAL,IAAK,C;;IAC1B,oBAAkC,SAAY,kCAAZ,C;;QAOd,sB;cACR,6BAAG,0DAAgB,UAAhB,EAAH,C;;cAEA,6BAAG,oCAAQ,UAAR,EAAH,C;;IAHZ,qB;;;gBCiBN,+BAAO,aAA0B,YAAQ,SAAR,CAIvB,aAAS,MAAT,C;;IAEoC,gBAFN,mCAAqB,8BAArB,CAE/B,aAAS,aAAT,CAAqC,Q;;;;;ICfH,oBA3CJ,SA2CI,M;IAsP6D,YAAlB,iBAAQ,I;IFnP3D,+B;WAAA,mB;MAAA,6C;;;MEiLoC,YApL/B,mBAoL0B,K;MFjL3C,uB;kBACC,iC,GAAiC,OAAQ,M,GAAM,G;MAArD,6C;;IAEJ,SAAK,EAAL,+B;ICtCZ,YAAO,S;ID6BH,OAKa,S;;;kCA9Fe,O,KAAA,U;;OAAA,I;;;kCAGZ,S,KAAA,U;;OAAA,I;;;kCAMJ,K,KAAA,U;;OAAA,I;;;kCATgB,O,KAAA,U;;OAAA,I;;;kCAGZ,S,KAAA,U;;OAAA,I;;;kCAMJ,K,KAAA,U;;OAAA,I;;;IG9Ba,OAAH,WAAG,KAjBzB,KAiByB,EAAH,iBAAG,C;;;IACI,OAAH,WAAG,KAlB7B,KAkB6B,EAAH,wBAAG,C;;;IAIN,yBAAf,WAAe,M;cAAA,kBAAQ,Q,GAAA,I,GAAR,kBAAQ,M;IAAsB,oCAA7C,GAA6C,c;;;;;IPQzB,+C;IAiR6B,YAAV,sCAAS,C;QOjR9C,S;;QAEF,eAA6B,iCAAc,M;QAC3C,gBAAgB,MAAO,kBAAa,uCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;YACxD,qCAAgB,C;UAChB,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;;UAEA,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,C;;;;UAGJ,a;;;;;;;MFXkC,MAAM,wBAAqB,2DAArB,C;;;;IEjB7B,oCACf,+CADe,QAEf,OAFe,kE;cAKG,I;IAAA,YAAG,wDAAH,KAjBtB,IAiBsB,kB;gBACI,I;gBAAiF,IAA9E,qBAAQ,OAAM,qBAAN,CAAR,EAA4C,iCAA5C,iDAA8E,C;IAAjF,cACzB,uBAAQ,CAAR,gBADyB,KAlB1B,IAkB0B,yB;;;IAO1B,aAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;;;kCATsB,O,KAAA,U;;OAAA,I;;;kCACI,c,KAAA,U;;OAAA,I;;;kCADJ,O,KAAA,U;;OAAA,I;;;kCACI,c,KAAA,U;;OAAA,I;;;;IFWgB,MAAM,wBA3BT,sDA2BS,C;;;;IAAN,MAAM,wBAxBzC,sDAwByC,C;;;IGxBtC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,KAAK,IAAL,C;;;;;;;;"}
+{"version":3,"sources":["../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","commonMainSources/libraries/stdlib/src/kotlin/text/Strings.kt","jsMainSources/libraries/stdlib/js/src/kotlin/dynamic.kt","jsMainSources/libraries/stdlib/js/src/kotlin/text/string.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","commonMainSources/libraries/stdlib/src/kotlin/util/Standard.kt","commonMainSources/libraries/stdlib/src/kotlin/collections/Maps.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null],"names":["printSolution","sol","operatorSet","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","epilog","name","invokeWithoutSubcommand","printHelpOnEmptyArgs","helpTags","autoCompleteEnvvar","allowMultipleSubcommands","treatUnknownOptionsAsArgs","hidden","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","NullInputException_init_$Create$","<get-files>","<get-timeout>","<get-oop>","loadTheory","theory","file","t","readEvalPrintLoop","solver","goal","_","TuPrologCmd$getSolver$lambda$lambda","$formatter","TuPrologCmd$getSolver$lambda$lambda$lambda","it","TuPrologCmd$getSolver$lambda","w","sep","formatter","stacktrace","$this$flag","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","library","files$factory","get","receiver","timeout$factory","oop$factory","<get-query>","<get-maxSolutions>","<get-parentCommand>","evalAndPrint","duration","query$factory","maxSolutions$factory","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAmCYA,C,OAAkBC,G,EAAeC,WAAjCF,EAA2D;A,QACzD,kB;IACF,mC,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,C;IACJ,C;MACA,kC,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,oC,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;;;EAER,C;2BAEQG,C,OAAqBF,G,EAAmBC,WAAxCC,EAAkE;A,IACtE,UAAS,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;4BAEQC,C,OAAsBH,G,EAAoBC,WAA1CE,EAAoE;A,QAClEC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAM,YAAN,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;8BAMQC,C,KAAAA,EAA0B;A,EAElC,C;6BAiBQC,C,OAAuBC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;;UCjBP,oB;MA6GiF,YAAV,SAAP,oBAAtB,SAAsB,IAAtB,SAAsB,eAAO,C;WD5FzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,2BAAQ,GAAR,0BAA4B,GAA5B,C;;MAAA,2B;QACJ,MAAM,iCAAoB,iDAApB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;0BAGQC,C,OAAoBV,G,EAAkBC,WAAtCS,EAAgE;A,IACpE,UAAS,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;kCAxFKC,CACLC,I,EACAC,M,EACAC,I,EACAC,uB,EACAC,oB,EACAC,Q,EACAC,kB,EACAC,wB,EACAC,yB,EACAC,MAVKV,EAAT;A,2BACmB,E;+BACE,E;2BACD,I;iEACmB,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+BACnB,K;IAClB,wBACA,IADA,EAEA,MAFA,EAGA,IAHA,EAIA,uBAJA,EAKA,oBALA,EAMA,QANA,EAOA,kBAPA,EAQA,wBARA,EASA,yBATA,EAUA,MAVA,C;EAXJ,C;kDAmDcW,CAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;;IAAS,IAAT,kBAAS,S;YAAA,I;;;;;;;MC+OoC,YAAV,mBAvPzC,kBAuPyC,IAAS,C;MAsfrD,IAAI,SAAJ,C;;;YDxqB453B,0CA7Dn53B,kBA6Dm53B,EAAK,CAAL,C;QA7Dv33B,YAAO,YAAH,uBAAG,CAAP,GAAyB,UAAH,uBAAG,CAAzB,GAA6C,WAAH,uBAAG,C;oBCquB7C,SAAnB,SAAmB,C;;;;;QC1xBE,YAoC6kB,kB;QC2MzhB,YAAjC,SAAY,WAwFq4lB,CAxFr4lB,C;gBF2iBpD,QAAgC,S;;gBA7uB/C,kB;;MA6uBV,iB;YDruByB,S;;IAArB,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;kDAMUE,CAAAA,EAAwB;A,QAC9BjB,QAAqB,SAAQ,IAAR,0BAA6B,GAA7B,C;;IAEjB,aAAS,IAAT,C;MACI,MAAM,iCAAoB,gDAApB,C;;;;MC0G4D,YAAV,SAAP,QApHQ,KAoHR,2BApHQ,KAoHR,aAAtB,KAAsB,eAAO,C;MDxG/C,aAAP,SAAO,EAAS,8BAAT,E;cACT,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;kDAkBUkB,CAAmBC,S,EAA+BzB,WAAlDwB,EAA4E;A,QAClFE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACxB,IAAI,CAAC,KAAL,C,CAAY;A,YACwB,qBAAtB,qBAAsB,KAAc,EAAd,EAAkB,KAAlB,C;;QAA0B,IAA1B,kBAA0B,S;gBAAA,I;;;;UC2EQ,YAAV,SAAP,QAvFnD,kBAuFmD,2BAvFnD,kBAuFmD,aAAtB,kBAAsB,eAAO,C;gBD3EE,S;;YAA1DC,S;QACA,IAAI,UAAQ,GAAR,CAAJ,C;UAAgB,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;kDAEUC,CAAsBH,S,EAA+BI,Y,EAAmB7B,WAAxE4B,EAAkG;A,QACxGE,IAAQ,C;WACD,IAAI,YAAJ,GAAoB,SAAU,IAA9B,GAA8B,K,EAAW;A,UAC5C,Q;MAAA,gB;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;yCItHAC,CAAYC,O,EAAkBC,K,OAA9BF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;2CAEAA,CAAYC,O,OAAZD,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;2CAAhCG,CAAYF,OAAZE,E;;;;G;gCAHJ;A;EAAA,C;oBC4BIxB,CAAAA,EAAA;A;IACqC,iB;EADrC,C;;;;;;;6BAMgCyB,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAtC/B,KAsC+B,EAAH,iBAAG,C;EACrB,C;8BAEMC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAzCnB,KAyCmB,EAAH,mBAAG,C;EAIQ,C;2BAEfC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KA/Cf,KA+Ce,EAAH,eAAG,C;EAGG,C;qBAYdC,C,KAAAA,EAAyB;A,QAC7BC,SAA4B,sD;QACf,gBAAK,mBAAL,KAAK,CAAL,I;WAAA,iB,EAAb;A,UAAKC,OAAQ,iB;MACT,IAAI,eAAe,IAAf,CAAJ,C,CAA0B;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,UAAM,wBAAN,YAA8B,CAAE,IAAhC,IAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBAAnBnB,M;YACL,UAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,UAAK,EAAL,C;IACA,OAAO,M;EACX,C;4BAEQoB,C,OAAsBC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACApC,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACAsC,OAAkB,oDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBnB,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C;4CAA4B;A,gBAAnBH,M;YACL,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;4CAAgC;A,YAAvBuB,M;QACL,UAAM,cAAN,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;8CAa6DC,CADrDC,UACqDD,E;oBAAAE,CAAAC,EAAAD,EAAA;A,MAAK,cAAH,EAAG,EAAO,UAAP,C;IAAkB,C;G;uCAJlCE,CAHlD,MAGkDA,E;oBAAAJ,CAAEK,CAAFL,EAAA;A,MAC1C,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAM,MAAW,W;UACXC,YAAwC,2DAAkB,CAAE,KAAQ,MAA5B,C;gBACvB,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,yB;IAAA,C;G;yCAS0BJ,CAAAK,UAAAL,EAAA;A,IAAE,uB;EAAG,C;sBAzGvCxC,CAAkB8C,mBAAlB9C,EAAA;A,IAAA,yB;IAAyD,mCAI7C,qCAJ6C,QAG7C,uBAH6C,EAC3B,IAD2B,oBAE1B,IAF0B,C;IAWC,gC;IAEtB,aAC3B,SAD8B,aAAQ,OAAM,UAAN,CAAR,EAAiC,kCAAjC,CAC9B,CAD2B,KAtC5B,IAsC4B,kB;cAGZ,I;;gBAIlB,IAJqB,aAClB,OACA,WADA,CADkB,EAGX,4DAHW,GARc,IAQd,GAG+D,MAH/D,CAIrB,C;;IAJkB,YAIZ,iBAZ6B,IAY7B,CAJY,KAzChB,IAyCgB,oB;IAMJ,aAGd,KAHiB,aACd,SADc,EAEP,uBAFO,CAGjB,MAAe,KAAf,CAHc,KA/CZ,IA+CY,gB;EAtBpB,C;sCA2Ba+C,CAAAA,EAAU;A,QACfC,QAAoB,U;QACpBC,aAAiB,IAAK,MAAtBA,CAAqC,K;IAErC,IAAI,cAAc,IAAlB,C,CAAwB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;sCAgDAC,CAAAA,EAA+B;A,IAC3B,OAAe,OAAR,yBAAQ,C;EACnB,C;sCAEAC,CAAAA,EAAwB;A;IACpB,SAAM,kBAAN,GA/GsB,sBA+GtB,C;QACAtB,SAA0B,WAAL,IAAK,C;;QAC1BuB,gBAAkC,OAAY,kCAAZ,C;;IAOlB,IAAI,sBAAJ,C;cACJ,6BAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,6BAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAHZC,iB;;;gBCiBN,+BAAO,aAA0B,YAAQ,SAAR,CAIvB,aAAS,MAAT,C;;QAEoC,YAFN,mCAAqB,8BAArB,CAE/B,aAAS,aAAT,CAAqC,Q;;;;;QCfH,gBA3CJ,SA2CI,M;IAsP6D,YAAlB,iBAAQ,I;QFnP3D,2B;WAAA,mB,EAArB;A,UAAqB,yC;;;MEiLoC,YApL/B,mBAoL0B,K;UFjL3CC,mB;MACL,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;ICtCZ,YAAO,S;ID6BH,OAKa,S;EAMjB,C;wBApGgCC,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBtBC,QArBsBD,E;;K,EAAA,I;G;0BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBVC,QAlBUD,E;;K,EAAA,I;G;sBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYNC,QAZMD,E;;K,EAAA,I;G;0BATgBD,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBtBC,QArBsBD,E;;K,EAAA,I;G;4BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBVC,QAlBUD,E;;K,EAAA,I;G;wBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYNC,QAZMD,E;;K,EAAA,I;G;6BG9BUI,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAjBzB,KAiByB,EAAH,iBAAG,C;EAAS,C;oCACRC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAlB7B,KAkB6B,EAAH,wBAAG,C;EACnB,C;qCAGVC,C,KAAAA,EAAQ;A,QAAe,qBAAf,WAAe,M;cAAA,kBAAQ,kBAAR,kBAAQ,M;IAAsB,oCAA7C,GAA6C,c;EAAD,C;uBAOhDC,C,OAAiB9B,MAAjB8B,EAAiC;A;;QPCT,2C;IAiR6B,YAAV,sCAAS,C;IOjRxD,IAAU,SAAV,C,CAAwB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,M;YAC3CjD,YAAgB,MAAO,kBAAa,uCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;QAC5D,IAAI,qCAAgB,CAApB,C,CAAuB;A,UACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C,MAAO;A,UACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,C;QACJ,C;MACJ,C;0CAA4B;A,cAAnBH,M;UACL,UAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;MFb0C,MAAM,wBAAqB,2DAArB,C;;EEgBpD,C;6BAjCJZ,CAAAA,EAAA;A,IAA2B,mCACf,+CADe,QAEf,OAFe,C;IAKG,aAAG,cAAH,KAjBtB,IAiBsB,kB;IACI,aACzB,UAD0G,IAA9E,aAAQ,OAAM,qBAAN,CAAR,EAA4C,iCAA5C,CAA8E,CAC1G,EAAQ,CAAR,CADyB,KAlB1B,IAkB0B,yB;EANlC,C;6CAYa+C,CAAAA,EAAU;A,QACfd,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;wBAV0BgC,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B0bC,QA9B1bD,E;;K,EAAA,I;G;+BACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BsbC,QA7BtbD,E;;K,EAAA,I;G;0BADJS,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B0bC,QA9B1bD,E;;K,EAAA,I;G;iCACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BsbC,QA7BtbD,E;;K,EAAA,I;G;yBCd3BW,CAAmBC,IAAnBD,EAA0C;A;IHyBC,MAAM,wBA3BT,sDA2BS,C;EGvBxD,C;6BAEOE,CAAuBD,IAAvBC,EAA6C;A;IHqBF,MAAM,wBAxBzC,sDAwByC,C;EGnBxD,C;eCNAC,CAASC,IAATD,EAA8B;A,IACZ,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,KAAK,IAAL,C;EACpD,C;;;;;;;"}