@tuprolog/arg2p 0.17.2 → 0.18.0

package/2p-parser-theory.js

@@ -28,38 +28,38 @@
   'use strict';
   //region block: imports
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.i;
-  var protoOf = kotlin_kotlin.$_$.v7;
+  var protoOf = kotlin_kotlin.$_$.e8;
   var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.j1;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.j7;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.s7;
   var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.a;
-  var toList = kotlin_kotlin.$_$.fa;
-  var initMetadataForInterface = kotlin_kotlin.$_$.k7;
+  var toList = kotlin_kotlin.$_$.la;
+  var initMetadataForInterface = kotlin_kotlin.$_$.t7;
   var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.i;
-  var Unit_instance = kotlin_kotlin.$_$.q;
+  var Unit_instance = kotlin_kotlin.$_$.r;
   var VOID = kotlin_kotlin.$_$.b;
-  var LexerOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.r;
-  var ParserOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.s;
-  var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.u;
-  var initMetadataForClass = kotlin_kotlin.$_$.i7;
-  var sequence = kotlin_kotlin.$_$.y9;
-  var CoroutineImpl = kotlin_kotlin.$_$.w5;
-  var THROW_CCE = kotlin_kotlin.$_$.kc;
-  var SequenceScope = kotlin_kotlin.$_$.r8;
+  var LexerOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.w;
+  var ParserOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.x;
+  var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.z;
+  var initMetadataForClass = kotlin_kotlin.$_$.r7;
+  var sequence = kotlin_kotlin.$_$.fa;
+  var CoroutineImpl = kotlin_kotlin.$_$.f6;
+  var THROW_CCE = kotlin_kotlin.$_$.pc;
+  var SequenceScope = kotlin_kotlin.$_$.z8;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.t;
   var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
   var termToClause = kotlin_it_unibo_tuprolog_parser_core.$_$.g;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.v5;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.e6;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
-  var isInterface = kotlin_kotlin.$_$.p7;
+  var isInterface = kotlin_kotlin.$_$.y7;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.h;
   var toDefinition = kotlin_it_unibo_tuprolog_parser_core.$_$.h;
   var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
-  var InvalidOperatorDefinitionException = kotlin_it_unibo_tuprolog_parser_impl.$_$.i;
-  var PrologSyntaxException = kotlin_it_unibo_tuprolog_parser_impl.$_$.j;
-  var initMetadataForLambda = kotlin_kotlin.$_$.l7;
-  var constructCallableReference = kotlin_kotlin.$_$.z6;
+  var InvalidOperatorDefinitionException = kotlin_it_unibo_tuprolog_parser_impl.$_$.m;
+  var PrologSyntaxException = kotlin_it_unibo_tuprolog_parser_impl.$_$.n;
+  var initMetadataForLambda = kotlin_kotlin.$_$.u7;
+  var constructCallableReference = kotlin_kotlin.$_$.i7;
   //endregion
   //region block: pre-declaration
   initMetadataForCompanion(Companion);
@@ -67,22 +67,22 @@
     return Companion_instance.indexedOfSequence(unificator, this.parseClausesLazilyWithOperators(input, operators));
   }
   function parseTheoryWithOperatorsAndDefaultUnificator(input, operators) {
-    return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().s1n());
+    return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().b1o());
   }
   function parseTheory(input, unificator) {
-    return this.parseTheoryWithOperators(input, this.u3z(), unificator);
+    return this.parseTheoryWithOperators(input, this.k3o(), unificator);
   }
   function parseTheoryWithDefaultUnificator(input) {
-    return this.parseTheory(input, Companion_getInstance_0().s1n());
+    return this.parseTheory(input, Companion_getInstance_0().b1o());
   }
   function parseClausesLazily(input) {
-    return this.parseClausesLazilyWithOperators(input, this.u3z());
+    return this.parseClausesLazilyWithOperators(input, this.k3o());
   }
   function parseClausesWithOperators(input, operators) {
     return toList(this.parseClausesLazilyWithOperators(input, operators));
   }
   function parseClauses(input) {
-    return this.parseClausesWithOperators(input, this.u3z());
+    return this.parseClausesWithOperators(input, this.k3o());
   }
   initMetadataForInterface(ClausesParser, 'ClausesParser');
   initMetadataForClass(ClausesParserImpl, 'ClausesParserImpl', ClausesParserImpl, VOID, [ClausesParser]);
@@ -116,10 +116,6 @@
     return defaultParser;
   }
   var defaultParser;
-  function parseTheory_0(_this__u8e3s4, input) {
-    _init_properties_ClausesParserExtensions_kt__ht0tet();
-    return get_defaultParser().parseTheoryWithDefaultUnificator(input);
-  }
   function parseTheoryWithOperators_0(_this__u8e3s4, input, operators) {
     _init_properties_ClausesParserExtensions_kt__ht0tet();
     return get_defaultParser().parseTheoryWithOperatorsAndDefaultUnificator(input, operators);
@@ -133,7 +129,7 @@
   }
   function ClausesParserImpl$parseClausesLazily$lambda($operators) {
     return function (parser, lexedSource) {
-      var session = parser.y3t(lexedSource, toOperatorTable($operators));
+      var session = parser.o3i(lexedSource, toOperatorTable($operators));
       return parseClausesLazily_0(session);
     };
   }
@@ -141,68 +137,68 @@
     defaultOperatorSet = defaultOperatorSet === VOID ? Companion_getInstance().DEFAULT : defaultOperatorSet;
     lexerOptions = lexerOptions === VOID ? new LexerOptions() : lexerOptions;
     parserOptions = parserOptions === VOID ? new ParserOptions() : parserOptions;
-    this.a40_1 = defaultOperatorSet;
-    this.b40_1 = lexerOptions;
-    this.c40_1 = parserOptions;
+    this.u3q_1 = defaultOperatorSet;
+    this.v3q_1 = lexerOptions;
+    this.w3q_1 = parserOptions;
   }
-  protoOf(ClausesParserImpl).u3z = function () {
-    return this.a40_1;
+  protoOf(ClausesParserImpl).k3o = function () {
+    return this.u3q_1;
   };
-  protoOf(ClausesParserImpl).d40 = function (input, operators) {
-    return buildParserFor(input, VOID, this.b40_1, this.c40_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
+  protoOf(ClausesParserImpl).x3q = function (input, operators) {
+    return buildParserFor(input, VOID, this.v3q_1, this.w3q_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
   };
   protoOf(ClausesParserImpl).parseClausesLazilyWithOperators = function (input, operators) {
-    return this.d40(input, operators);
+    return this.x3q(input, operators);
   };
   function parseClausesLazily_0(session) {
     return sequence(parseClausesLazily$slambda_0(session, null));
   }
   function parseClausesLazily$slambda($session, resultContinuation) {
-    this.m40_1 = $session;
+    this.g3r_1 = $session;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(parseClausesLazily$slambda).s40 = function ($this$sequence, $completion) {
-    var tmp = this.t40($this$sequence, $completion);
-    tmp.n8_1 = Unit_instance;
-    tmp.o8_1 = null;
-    return tmp.t8();
+  protoOf(parseClausesLazily$slambda).m3r = function ($this$sequence, $completion) {
+    var tmp = this.n3r($this$sequence, $completion);
+    tmp.t8_1 = Unit_instance;
+    tmp.u8_1 = null;
+    return tmp.z8();
   };
-  protoOf(parseClausesLazily$slambda).k9 = function (p1, $completion) {
-    return this.s40(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(parseClausesLazily$slambda).q9 = function (p1, $completion) {
+    return this.m3r(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(parseClausesLazily$slambda).t8 = function () {
-    var suspendResult = this.n8_1;
+  protoOf(parseClausesLazily$slambda).z8 = function () {
+    var suspendResult = this.t8_1;
     $sm: do
       try {
-        var tmp = this.l8_1;
+        var tmp = this.r8_1;
         switch (tmp) {
           case 0:
-            this.m8_1 = 6;
-            this.o40_1 = 0;
-            this.m8_1 = 5;
-            this.p40_1 = this.m40_1.g3t();
-            this.q40_1 = Companion_instance_0.empty();
-            this.l8_1 = 1;
+            this.s8_1 = 6;
+            this.i3r_1 = 0;
+            this.s8_1 = 5;
+            this.j3r_1 = this.g3r_1.w3h();
+            this.k3r_1 = Companion_instance_0.empty();
+            this.r8_1 = 1;
             continue $sm;
           case 1:
-            if (!!(this.p40_1 == null)) {
-              this.l8_1 = 3;
+            if (!!(this.j3r_1 == null)) {
+              this.r8_1 = 3;
               continue $sm;
             }
 
-            var visitor = new PrologTermParserVisitor(this.q40_1);
-            var clause = this.p40_1.a3z_1.i3v(visitor);
-            var $this$with = this.p40_1.r3q();
-            this.r40_1 = termToClause(clause, $this$with.o3r_1, $this$with.j().e3m_1 + 1 | 0, $this$with.j().f3m_1 + 1 | 0);
-            this.l8_1 = 2;
-            suspendResult = this.n40_1.ne(this.r40_1, this);
+            var visitor = new PrologTermParserVisitor(this.k3r_1);
+            var clause = this.j3r_1.q3n_1.y3j(visitor);
+            var $this$with = this.j3r_1.h3f();
+            this.l3r_1 = termToClause(clause, $this$with.e3g_1, $this$with.j().u3a_1 + 1 | 0, $this$with.j().v3a_1 + 1 | 0);
+            this.r8_1 = 2;
+            suspendResult = this.h3r_1.bf(this.l3r_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            var tmp0 = this.r40_1.pz();
+            var tmp0 = this.l3r_1.wz();
             var destination = ArrayList_init_$Create$();
             var _iterator__ex2g4s = tmp0.n();
             while (_iterator__ex2g4s.q()) {
@@ -219,14 +215,14 @@
               while (_iterator__ex2g4s_1.q()) {
                 var operator = _iterator__ex2g4s_1.r();
                 try {
-                  this.m40_1.h1y().b3y(toDefinition(operator));
+                  this.g3r_1.q1y().r3m(toDefinition(operator));
                 } catch ($p) {
                   if ($p instanceof InvalidOperatorDefinitionException) {
                     var e = $p;
-                    var it = this.m40_1.f3t().r3q();
-                    var tmp0_elvis_lhs = it.x15();
-                    var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.y3o() : tmp0_elvis_lhs, this.p40_1.g3y(), this.p40_1.a3z_1.g3v().g3m_1.e3m_1 + 1 | 0, this.p40_1.a3z_1.g3v().g3m_1.f3m_1 + 1 | 0, e.message, e);
-                    this_0.clauseIndex = this.o40_1;
+                    var it = this.g3r_1.v3h().h3f();
+                    var tmp0_elvis_lhs = it.e16();
+                    var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.o3d() : tmp0_elvis_lhs, this.j3r_1.w3m(), this.j3r_1.q3n_1.w3j().w3a_1.u3a_1 + 1 | 0, this.j3r_1.q3n_1.w3j().w3a_1.v3a_1 + 1 | 0, e.message, e);
+                    this_0.clauseIndex = this.i3r_1;
                     throw this_0;
                   } else {
                     throw $p;
@@ -235,55 +231,55 @@
               }
             }
 
-            this.q40_1 = Companion_instance_0.empty();
-            this.o40_1 = this.o40_1 + 1 | 0;
-            this.p40_1 = this.m40_1.g3t();
-            this.l8_1 = 1;
+            this.k3r_1 = Companion_instance_0.empty();
+            this.i3r_1 = this.i3r_1 + 1 | 0;
+            this.j3r_1 = this.g3r_1.w3h();
+            this.r8_1 = 1;
             continue $sm;
           case 3:
-            this.m8_1 = 6;
-            this.l8_1 = 4;
+            this.s8_1 = 6;
+            this.r8_1 = 4;
             continue $sm;
           case 4:
-            this.m8_1 = 6;
+            this.s8_1 = 6;
             return Unit_instance;
           case 5:
-            this.m8_1 = 6;
-            var tmp_0 = this.o8_1;
+            this.s8_1 = 6;
+            var tmp_0 = this.u8_1;
             if (tmp_0 instanceof PrologSyntaxException) {
-              var e_0 = this.o8_1;
-              var it_0 = this.m40_1.f3t().r3q();
-              var tmp0_elvis_lhs_0 = it_0.x15();
-              var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.y3o() : tmp0_elvis_lhs_0, e_0.h3o_1, e_0.g3o_1.g3m_1.e3m_1 + 1 | 0, e_0.g3o_1.g3m_1.f3m_1 + 1 | 0, e_0.message, e_0);
-              this_1.clauseIndex = this.o40_1;
+              var e_0 = this.u8_1;
+              var it_0 = this.g3r_1.v3h().h3f();
+              var tmp0_elvis_lhs_0 = it_0.e16();
+              var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.o3d() : tmp0_elvis_lhs_0, e_0.x3c_1, e_0.w3c_1.w3a_1.u3a_1 + 1 | 0, e_0.w3c_1.w3a_1.v3a_1 + 1 | 0, e_0.message, e_0);
+              this_1.clauseIndex = this.i3r_1;
               throw this_1;
             } else {
-              throw this.o8_1;
+              throw this.u8_1;
             }
 
           case 6:
-            throw this.o8_1;
+            throw this.u8_1;
         }
       } catch ($p_0) {
         var e_1 = $p_0;
-        if (this.m8_1 === 6) {
+        if (this.s8_1 === 6) {
           throw e_1;
         } else {
-          this.l8_1 = this.m8_1;
-          this.o8_1 = e_1;
+          this.r8_1 = this.s8_1;
+          this.u8_1 = e_1;
         }
       }
      while (true);
   };
-  protoOf(parseClausesLazily$slambda).t40 = function ($this$sequence, completion) {
-    var i = new parseClausesLazily$slambda(this.m40_1, completion);
-    i.n40_1 = $this$sequence;
+  protoOf(parseClausesLazily$slambda).n3r = function ($this$sequence, completion) {
+    var i = new parseClausesLazily$slambda(this.g3r_1, completion);
+    i.h3r_1 = $this$sequence;
     return i;
   };
   function parseClausesLazily$slambda_0($session, resultContinuation) {
     var i = new parseClausesLazily$slambda($session, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.s40($this$sequence, $completion);
+      return i.m3r($this$sequence, $completion);
     }, 1);
   }
   //region block: post-declaration
@@ -301,8 +297,7 @@
   //region block: exports
   _.$_$ = _.$_$ || {};
   _.$_$.a = Companion_instance_1;
-  _.$_$.b = parseTheory_0;
-  _.$_$.c = parseTheoryWithOperators_0;
+  _.$_$.b = parseTheoryWithOperators_0;
   //endregion
   return _;
 }));

package/2p-parser-theory.js.map

@@ -1 +1 @@
-{"version":3,"sourceRoot":"../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/","sources":["NATIVE_IMPLEMENTATIONS.kt","ClausesParser.kt","ClausesParserExtensions.kt","ClausesParserImpl.kt","Utils.kt"],"sourcesContent":[null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","parse","<this>","ClausesParserImpl$parseClausesLazily$lambda$lambda","session","doResume","parseClausesLazily$slambda$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECmDIA,kCACIC,K,EACAC,S,EACAC,UAHJH,EAIY;A,IAAkE,OAA3D,qCAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;EAQ7EA,sDACIC,K,EACAC,SAFJF,EAGY;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,+BAAzC,C;EAAgD,C;EAQ5DA,qBACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,UAAnB,EAAuC,UAAvC,C;EAAiD,C;EAM7DA,0CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,+BAA9B,C;EAAqC,C;EAmB9EI,4BAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,UAA1B,C;EAA4C,C;EAQtGC,mCACIJ,K,EACAC,SAFJG,EAGkB;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;EAM9DA,sBAAiBJ,KAAjBI,EAAgD;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,UAApB,C;EAAsC,C;;;;;EAEtFC,mBAAAA,EAAA;A,EAAA,C;sCAIIC,UAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;6CAKtDC,UAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;4CAKhEC,UAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;uCAK9DC,UAAkBR,SAAlBQ,EAA2D;A,IAA4B,OAA5B,sBAAkB,SAAlB,C;EAA2B,C;qCAKtFA,UAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;EDjJ7F,iCAAA,EAAA;AAAA;AAAA,GAAA;A;;EAAA,2BAAA,EAAA;AAAA;IAAA,OAAA,aAAA;AAAA,EAAA,CAAA;;EE6BAC,uBAAIC,a,EAAuBX,KAA3BU,EAAoD;A;IAAgC,OAAhC,mBAAc,kCAAY,KAAZ,C;EAAiB,C;EAXnFA,oCAAIC,a,EACAX,K,EACAC,SAFJS,EAGY;A;IAA2C,OAA3C,mBAAc,8CAAY,KAAZ,EAAmB,SAAnB,C;EAA4B,C;;EFrBtD,6DAAA,EAAA;AAAA,mEAAA;AAAA;sBAAA,2CAAA;AAAA;AAAA,GAAA;EAAA,qDAAA,UAAA,EAAA;AAAA,WGsBUE,UHtBV,M,EAAA,WGsBUA,EAAA;A,UACEC,UAAc,MAAO,KAAY,WAAZ,EAAmC,gBAAV,UAAU,CAAnC,C;MACM,OAA3B,qBAAmB,OAAnB,C;IACJ,C;AHzBR,GAAA;A,EGSgCR,2BHThC,kB,EAAA,Y,EAAA,aGSgCA,EAAA;A,+EAC+B,O;2CAClB,kB;6CACE,mB;IAF3C,+B;IACA,yB;IACA,0B;EAH4B,C;mCHThC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;mCGcaF,UACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,KAFnB,EAGoB,IAHpB,CAGoB,KAHpB,EAIE,sDAJF,C;EAOA,C;+DHzBR,UAAA,gBAAA,EAAA;AAAA;AAAA,GAAA;A,EIiBSA,8BAAuBU,OAAvBV,EACL;A,IA0CC,OA1CD,SAAS,2CAAT,C;EA0CA,C;EJ5DJ,oCAAA,QAAA,EAAA,kBAAA,EAAA;AAAA;;AAAA,GAAA;4CAAA,UAAA,cAAA,EAAA,WAAA,EAAA;AAAA,QAAA,2CAAA;;;;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA,EAAA,WAAA,EAAA;AAAA;AAAA,GAAA;2CIkBaW,UAAAA,EAAA;A,QJlBb,yB;;MIkBa,I;YJlBb,e;;;;YImBQ,aAAkB,C;;YAEd,aAAwB,KAAR,KAAQ,M;YACxB,aAAkB,4B;;;;iBACX,gBAAa,IAAb,C;;;;;gBACH,UAAc,iCAAwB,KAAxB,C;gBACd,SAA4B,KAAf,KAAe,CAAL,KAAK,KAAO,OAAP,C;6BACb,KAAV,KAAU,M;YACX,aAAoB,aAAP,MAAO,EAAS,UAAT,CAAS,KAAT,EAAa,eAAM,KAAN,GAAa,CAA1B,MAA6B,eAAM,KAAN,GAAe,CAA5C,K;;4BACpB,mBAAM,KAAN,O;;;;;;;gBJ5BpB,OI6BwC,KAAP,KAAO,K;gBJ7BxC,cI6D+kqB,yB;gBAAqW,4B;mBAAA,qB,EAAM;A,kBJ7D17qB,UI6Do7qB,qB;cAAU,8D,CAA0B;A,gBAAZ,WAAY,GAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,I;mBAAA,uB,EAA6C;A,kBJ7B9E,OI6BiC,uB;kBACQ,sBAAS,uCAAa,IAAb,CAAT,I;qBAAA,uB,EAA6B;A,oBJ9BtE,WI8ByC,uB;gBACb,IAAI;A,kBACQ,KAAR,KAAQ,MAAU,KAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBJjC5E,M;wBAAA,KImCoD,KAAR,KAAQ,MAAM,M;wBAAa,iBAAA,EAAG,M;wBJnC1E,SIkCsC,mBACiC,sBA0Bu5B,GA1B94B,EAAG,MA0B24B,GA1Bv5B,cADjC,EAE0B,KAAV,KAAU,MAF1B,EAGoB,KAAf,KAAe,CAAL,KAAK,MAAf,CAAoB,KAApB,CAA0B,KAA1B,GAAiC,CAHtC,MAIsB,KAAf,KAAe,CAAL,KAAK,MAAf,CAAoB,KAApB,CAA0B,KAA1B,GAAmC,CAJ1C,MAKQ,CALR,CAKU,OALV,EAMU,CANV,C;oBA2Bme,MApB7d,oBAAc,K;oBAP1B,MA2B0f,M;kBAnB9f,C;;;;cACJ,C;YACJ,C;;YAEJ,aAAc,4B;YACd,aAAW,KAAX,KAAW,IAAX,I;YACA,aAAoB,KAAR,KAAQ,M;;;;;;;;;YAYhC,oB;;;gBJ5DJ,iB;;kBAAA,e;kBAAA,OIoDgC,KAAR,KAAQ,MAAM,M;kBAAa,mBAAA,IAAG,M;kBJpDtD,SImDkB,mBACiC,wBAS26B,GATl6B,IAAG,MAS+5B,GAT36B,gBADjC,EAEgB,GAFhB,CAEkB,KAFlB,EAGK,IAAE,KAAF,CAAO,KAAP,CAAa,KAAb,GAAoB,CAHzB,MAIO,IAAE,KAAF,CAAO,KAAP,CAAa,KAAb,GAAsB,CAJ7B,MAKQ,GALR,CAKU,OALV,EAMU,GANV,C;cAUuf,MAHjf,oBAAc,K;cAP1B,MAU8gB,M;;;;;;;;;YJ7D1hB,U;;;;;;;;;EI4DI,C;4CJ5DJ,UAAA,cAAA,EAAA,UAAA,EAAA;AAAA,QAAA,0DAAA;;;AAAA,GAAA;A,EAAA,sCAAA,QAAA,EAAA,kBAAA,EAAA;AAAA,QAAA,gEAAA;sCIkBaC,UJlBb,c,EAAA,WIkBaA,E;;K,EJlBb,CAAA;AAAA,GAAA;;;;;;;;;;;;;;;;;;;;A;"}
+{"version":3,"sourceRoot":"../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/","sources":["NATIVE_IMPLEMENTATIONS.kt","ClausesParser.kt","ClausesParserExtensions.kt","ClausesParserImpl.kt","Utils.kt"],"sourcesContent":[null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","parse","<this>","ClausesParserImpl$parseClausesLazily$lambda$lambda","session","doResume","parseClausesLazily$slambda$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECmDIA,kCACIC,K,EACAC,S,EACAC,UAHJH,EAIY;A,IAAkE,OAA3D,qCAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;EAQ7EA,sDACIC,K,EACAC,SAFJF,EAGY;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,+BAAzC,C;EAAgD,C;EAQ5DA,qBACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,UAAnB,EAAuC,UAAvC,C;EAAiD,C;EAM7DA,0CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,+BAA9B,C;EAAqC,C;EAmB9EI,4BAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,UAA1B,C;EAA4C,C;EAQtGC,mCACIJ,K,EACAC,SAFJG,EAGkB;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;EAM9DA,sBAAiBJ,KAAjBI,EAAgD;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,UAApB,C;EAAsC,C;;;;;EAEtFC,mBAAAA,EAAA;A,EAAA,C;sCAIIC,UAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;6CAKtDC,UAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;4CAKhEC,UAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;uCAK9DC,UAAkBR,SAAlBQ,EAA2D;A,IAA4B,OAA5B,sBAAkB,SAAlB,C;EAA2B,C;qCAKtFA,UAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;EDjJ7F,iCAAA,EAAA;AAAA;AAAA,GAAA;A;;EAAA,2BAAA,EAAA;AAAA;IAAA,OAAA,aAAA;AAAA,EAAA,CAAA;;EEkBAC,oCAAIC,a,EACAX,K,EACAC,SAFJS,EAGY;A;IAA2C,OAA3C,mBAAc,8CAAY,KAAZ,EAAmB,SAAnB,C;EAA4B,C;;EFrBtD,6DAAA,EAAA;AAAA,mEAAA;AAAA;sBAAA,2CAAA;AAAA;AAAA,GAAA;EAAA,qDAAA,UAAA,EAAA;AAAA,WGsBUE,UHtBV,M,EAAA,WGsBUA,EAAA;A,UACEC,UAAc,MAAO,KAAY,WAAZ,EAAmC,gBAAV,UAAU,CAAnC,C;MACM,OAA3B,qBAAmB,OAAnB,C;IACJ,C;AHzBR,GAAA;A,EGSgCR,2BHThC,kB,EAAA,Y,EAAA,aGSgCA,EAAA;A,+EAC+B,O;2CAClB,kB;6CACE,mB;IAF3C,+B;IACA,yB;IACA,0B;EAH4B,C;mCHThC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;mCGcaF,UACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,KAFnB,EAGoB,IAHpB,CAGoB,KAHpB,EAIE,sDAJF,C;EAOA,C;+DHzBR,UAAA,gBAAA,EAAA;AAAA;AAAA,GAAA;A,EIiBSA,8BAAuBU,OAAvBV,EACL;A,IA0CC,OA1CD,SAAS,2CAAT,C;EA0CA,C;EJ5DJ,oCAAA,QAAA,EAAA,kBAAA,EAAA;AAAA;;AAAA,GAAA;4CAAA,UAAA,cAAA,EAAA,WAAA,EAAA;AAAA,QAAA,2CAAA;;;;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA,EAAA,WAAA,EAAA;AAAA;AAAA,GAAA;2CIkBaW,UAAAA,EAAA;A,QJlBb,yB;;MIkBa,I;YJlBb,e;;;;YImBQ,aAAkB,C;;YAEd,aAAwB,KAAR,KAAQ,M;YACxB,aAAkB,4B;;;;iBACX,gBAAa,IAAb,C;;;;;gBACH,UAAc,iCAAwB,KAAxB,C;gBACd,SAA4B,KAAf,KAAe,CAAL,KAAK,KAAO,OAAP,C;6BACb,KAAV,KAAU,M;YACX,aAAoB,aAAP,MAAO,EAAS,UAAT,CAAS,KAAT,EAAa,eAAM,KAAN,GAAa,CAA1B,MAA6B,eAAM,KAAN,GAAe,CAA5C,K;;4BACpB,mBAAM,KAAN,O;;;;;;;gBJ5BpB,OI6BwC,KAAP,KAAO,K;gBJ7BxC,cI6D+kqB,yB;gBAAqW,4B;mBAAA,qB,EAAM;A,kBJ7D17qB,UI6Do7qB,qB;cAAU,8D,CAA0B;A,gBAAZ,WAAY,GAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,I;mBAAA,uB,EAA6C;A,kBJ7B9E,OI6BiC,uB;kBACQ,sBAAS,uCAAa,IAAb,CAAT,I;qBAAA,uB,EAA6B;A,oBJ9BtE,WI8ByC,uB;gBACb,IAAI;A,kBACQ,KAAR,KAAQ,MAAU,KAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBJjC5E,M;wBAAA,KImCoD,KAAR,KAAQ,MAAM,M;wBAAa,iBAAA,EAAG,M;wBJnC1E,SIkCsC,mBACiC,sBA0Bu5B,GA1B94B,EAAG,MA0B24B,GA1Bv5B,cADjC,EAE0B,KAAV,KAAU,MAF1B,EAGoB,KAAf,KAAe,CAAL,KAAK,MAAf,CAAoB,KAApB,CAA0B,KAA1B,GAAiC,CAHtC,MAIsB,KAAf,KAAe,CAAL,KAAK,MAAf,CAAoB,KAApB,CAA0B,KAA1B,GAAmC,CAJ1C,MAKQ,CALR,CAKU,OALV,EAMU,CANV,C;oBA2Bme,MApB7d,oBAAc,K;oBAP1B,MA2B0f,M;kBAnB9f,C;;;;cACJ,C;YACJ,C;;YAEJ,aAAc,4B;YACd,aAAW,KAAX,KAAW,IAAX,I;YACA,aAAoB,KAAR,KAAQ,M;;;;;;;;;YAYhC,oB;;;gBJ5DJ,iB;;kBAAA,e;kBAAA,OIoDgC,KAAR,KAAQ,MAAM,M;kBAAa,mBAAA,IAAG,M;kBJpDtD,SImDkB,mBACiC,wBAS26B,GATl6B,IAAG,MAS+5B,GAT36B,gBADjC,EAEgB,GAFhB,CAEkB,KAFlB,EAGK,IAAE,KAAF,CAAO,KAAP,CAAa,KAAb,GAAoB,CAHzB,MAIO,IAAE,KAAF,CAAO,KAAP,CAAa,KAAb,GAAsB,CAJ7B,MAKQ,GALR,CAKU,OALV,EAMU,GANV,C;cAUuf,MAHjf,oBAAc,K;cAP1B,MAU8gB,M;;;;;;;;;YJ7D1hB,U;;;;;;;;;EI4DI,C;4CJ5DJ,UAAA,cAAA,EAAA,UAAA,EAAA;AAAA,QAAA,0DAAA;;;AAAA,GAAA;A,EAAA,sCAAA,QAAA,EAAA,kBAAA,EAAA;AAAA,QAAA,gEAAA;sCIkBaC,UJlBb,c,EAAA,WIkBaA,E;;K,EJlBb,CAAA;AAAA,GAAA;;;;;;;;;;;;;;;;;;;A;"}