@tuprolog/arg2p 0.16.6 → 0.16.8

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.$_$.r7;
+  var protoOf = kotlin_kotlin.$_$.v7;
   var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.j1;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.f7;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.j7;
   var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.a;
-  var toList = kotlin_kotlin.$_$.aa;
-  var initMetadataForInterface = kotlin_kotlin.$_$.g7;
+  var toList = kotlin_kotlin.$_$.fa;
+  var initMetadataForInterface = kotlin_kotlin.$_$.k7;
   var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.i;
   var Unit_instance = kotlin_kotlin.$_$.q;
   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.$_$.e7;
-  var sequence = kotlin_kotlin.$_$.t9;
-  var CoroutineImpl = kotlin_kotlin.$_$.s5;
-  var THROW_CCE = kotlin_kotlin.$_$.ec;
-  var SequenceScope = kotlin_kotlin.$_$.n8;
+  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 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.$_$.r5;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.v5;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
-  var isInterface = kotlin_kotlin.$_$.l7;
+  var isInterface = kotlin_kotlin.$_$.p7;
   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.$_$.h7;
-  var constructCallableReference = kotlin_kotlin.$_$.v6;
+  var initMetadataForLambda = kotlin_kotlin.$_$.l7;
+  var constructCallableReference = kotlin_kotlin.$_$.z6;
   //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().get_default_qtagd4_k$());
+    return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().s1n());
   }
   function parseTheory(input, unificator) {
-    return this.parseTheoryWithOperators(input, this.get_defaultOperatorSet_nz5v8a_k$(), unificator);
+    return this.parseTheoryWithOperators(input, this.u3z(), unificator);
   }
   function parseTheoryWithDefaultUnificator(input) {
-    return this.parseTheory(input, Companion_getInstance_0().get_default_qtagd4_k$());
+    return this.parseTheory(input, Companion_getInstance_0().s1n());
   }
   function parseClausesLazily(input) {
-    return this.parseClausesLazilyWithOperators(input, this.get_defaultOperatorSet_nz5v8a_k$());
+    return this.parseClausesLazilyWithOperators(input, this.u3z());
   }
   function parseClausesWithOperators(input, operators) {
     return toList(this.parseClausesLazilyWithOperators(input, operators));
   }
   function parseClauses(input) {
-    return this.parseClausesWithOperators(input, this.get_defaultOperatorSet_nz5v8a_k$());
+    return this.parseClausesWithOperators(input, this.u3z());
   }
   initMetadataForInterface(ClausesParser, 'ClausesParser');
   initMetadataForClass(ClausesParserImpl, 'ClausesParserImpl', ClausesParserImpl, VOID, [ClausesParser]);
@@ -133,7 +133,7 @@
   }
   function ClausesParserImpl$parseClausesLazily$lambda($operators) {
     return function (parser, lexedSource) {
-      var session = parser.openSession_4uoqee_k$(lexedSource, toOperatorTable($operators));
+      var session = parser.y3t(lexedSource, toOperatorTable($operators));
       return parseClausesLazily_0(session);
     };
   }
@@ -141,92 +141,92 @@
     defaultOperatorSet = defaultOperatorSet === VOID ? Companion_getInstance().DEFAULT : defaultOperatorSet;
     lexerOptions = lexerOptions === VOID ? new LexerOptions() : lexerOptions;
     parserOptions = parserOptions === VOID ? new ParserOptions() : parserOptions;
-    this.defaultOperatorSet_1 = defaultOperatorSet;
-    this.lexerOptions_1 = lexerOptions;
-    this.parserOptions_1 = parserOptions;
+    this.a40_1 = defaultOperatorSet;
+    this.b40_1 = lexerOptions;
+    this.c40_1 = parserOptions;
   }
-  protoOf(ClausesParserImpl).get_defaultOperatorSet_nz5v8a_k$ = function () {
-    return this.defaultOperatorSet_1;
+  protoOf(ClausesParserImpl).u3z = function () {
+    return this.a40_1;
   };
-  protoOf(ClausesParserImpl).parseClausesLazilyWithOperators_b4n2cy_k$ = function (input, operators) {
-    return buildParserFor(input, VOID, this.lexerOptions_1, this.parserOptions_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
+  protoOf(ClausesParserImpl).d40 = function (input, operators) {
+    return buildParserFor(input, VOID, this.b40_1, this.c40_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
   };
   protoOf(ClausesParserImpl).parseClausesLazilyWithOperators = function (input, operators) {
-    return this.parseClausesLazilyWithOperators_b4n2cy_k$(input, operators);
+    return this.d40(input, operators);
   };
   function parseClausesLazily_0(session) {
     return sequence(parseClausesLazily$slambda_0(session, null));
   }
   function parseClausesLazily$slambda($session, resultContinuation) {
-    this.$session_1 = $session;
+    this.m40_1 = $session;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(parseClausesLazily$slambda).invoke_a7p0o1_k$ = function ($this$sequence, $completion) {
-    var tmp = this.create_qhqucj_k$($this$sequence, $completion);
-    tmp.result_1 = Unit_instance;
-    tmp.exception_1 = null;
-    return tmp.doResume_5yljmg_k$();
+  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).invoke_qns8j1_k$ = function (p1, $completion) {
-    return this.invoke_a7p0o1_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(parseClausesLazily$slambda).k9 = function (p1, $completion) {
+    return this.s40(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(parseClausesLazily$slambda).doResume_5yljmg_k$ = function () {
-    var suspendResult = this.result_1;
+  protoOf(parseClausesLazily$slambda).t8 = function () {
+    var suspendResult = this.n8_1;
     $sm: do
       try {
-        var tmp = this.state_1;
+        var tmp = this.l8_1;
         switch (tmp) {
           case 0:
-            this.exceptionState_1 = 6;
-            this.clauseIndex0__1 = 0;
-            this.exceptionState_1 = 5;
-            this.clauseAST1__1 = this.$session_1.parseNextClause_q42uz9_k$();
-            this.scope2__1 = Companion_instance_0.empty();
-            this.state_1 = 1;
+            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;
             continue $sm;
           case 1:
-            if (!!(this.clauseAST1__1 == null)) {
-              this.state_1 = 3;
+            if (!!(this.p40_1 == null)) {
+              this.l8_1 = 3;
               continue $sm;
             }
 
-            var visitor = new PrologTermParserVisitor(this.scope2__1);
-            var clause = this.clauseAST1__1.root_1.accept_crnher_k$(visitor);
-            var $this$with = this.clauseAST1__1.get_source_jl0x7o_k$();
-            this.clause3__1 = termToClause(clause, $this$with.id_1, $this$with.get_start_iypx6h_k$().line_1 + 1 | 0, $this$with.get_start_iypx6h_k$().column_1 + 1 | 0);
-            this.state_1 = 2;
-            suspendResult = this.$this$sequence_1.yield_3xhcex_k$(this.clause3__1, this);
+            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);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            var tmp0 = this.clause3__1.get_bodyItems_swfrmd_k$();
+            var tmp0 = this.r40_1.pz();
             var destination = ArrayList_init_$Create$();
-            var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-            while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-              var element = _iterator__ex2g4s.next_20eer_k$();
+            var _iterator__ex2g4s = tmp0.n();
+            while (_iterator__ex2g4s.q()) {
+              var element = _iterator__ex2g4s.r();
               if (!(element == null) ? isInterface(element, Struct) : false) {
-                destination.add_utx5q5_k$(element);
+                destination.l(element);
               }
             }
 
-            var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
-            while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-              var goal = _iterator__ex2g4s_0.next_20eer_k$();
-              var _iterator__ex2g4s_1 = Companion_getInstance_1().manyFromTerm(goal).iterator_jk1svi_k$();
-              while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
-                var operator = _iterator__ex2g4s_1.next_20eer_k$();
+            var _iterator__ex2g4s_0 = destination.n();
+            while (_iterator__ex2g4s_0.q()) {
+              var goal = _iterator__ex2g4s_0.r();
+              var _iterator__ex2g4s_1 = Companion_getInstance_1().manyFromTerm(goal).n();
+              while (_iterator__ex2g4s_1.q()) {
+                var operator = _iterator__ex2g4s_1.r();
                 try {
-                  this.$session_1.get_operators_z0nmfu_k$().define_y36wdt_k$(toDefinition(operator));
+                  this.m40_1.h1y().b3y(toDefinition(operator));
                 } catch ($p) {
                   if ($p instanceof InvalidOperatorDefinitionException) {
                     var e = $p;
-                    var it = this.$session_1.get_input_it4gip_k$().get_source_jl0x7o_k$();
-                    var tmp0_elvis_lhs = it.get_id_kntnx8_k$();
-                    var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.text$default_f8ergi_k$() : tmp0_elvis_lhs, this.clauseAST1__1.toRepresentation_fe9lnc_k$(), this.clauseAST1__1.root_1.get_span_wouger_k$().start_1.line_1 + 1 | 0, this.clauseAST1__1.root_1.get_span_wouger_k$().start_1.column_1 + 1 | 0, e.message, e);
-                    this_0.clauseIndex = this.clauseIndex0__1;
+                    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;
                     throw this_0;
                   } else {
                     throw $p;
@@ -235,55 +235,55 @@
               }
             }
 
-            this.scope2__1 = Companion_instance_0.empty();
-            this.clauseIndex0__1 = this.clauseIndex0__1 + 1 | 0;
-            this.clauseAST1__1 = this.$session_1.parseNextClause_q42uz9_k$();
-            this.state_1 = 1;
+            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;
             continue $sm;
           case 3:
-            this.exceptionState_1 = 6;
-            this.state_1 = 4;
+            this.m8_1 = 6;
+            this.l8_1 = 4;
             continue $sm;
           case 4:
-            this.exceptionState_1 = 6;
+            this.m8_1 = 6;
             return Unit_instance;
           case 5:
-            this.exceptionState_1 = 6;
-            var tmp_0 = this.exception_1;
+            this.m8_1 = 6;
+            var tmp_0 = this.o8_1;
             if (tmp_0 instanceof PrologSyntaxException) {
-              var e_0 = this.exception_1;
-              var it_0 = this.$session_1.get_input_it4gip_k$().get_source_jl0x7o_k$();
-              var tmp0_elvis_lhs_0 = it_0.get_id_kntnx8_k$();
-              var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.text$default_f8ergi_k$() : tmp0_elvis_lhs_0, e_0.offendingText_1, e_0.span_1.start_1.line_1 + 1 | 0, e_0.span_1.start_1.column_1 + 1 | 0, e_0.message, e_0);
-              this_1.clauseIndex = this.clauseIndex0__1;
+              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;
               throw this_1;
             } else {
-              throw this.exception_1;
+              throw this.o8_1;
             }
 
           case 6:
-            throw this.exception_1;
+            throw this.o8_1;
         }
       } catch ($p_0) {
         var e_1 = $p_0;
-        if (this.exceptionState_1 === 6) {
+        if (this.m8_1 === 6) {
           throw e_1;
         } else {
-          this.state_1 = this.exceptionState_1;
-          this.exception_1 = e_1;
+          this.l8_1 = this.m8_1;
+          this.o8_1 = e_1;
         }
       }
      while (true);
   };
-  protoOf(parseClausesLazily$slambda).create_qhqucj_k$ = function ($this$sequence, completion) {
-    var i = new parseClausesLazily$slambda(this.$session_1, completion);
-    i.$this$sequence_1 = $this$sequence;
+  protoOf(parseClausesLazily$slambda).t40 = function ($this$sequence, completion) {
+    var i = new parseClausesLazily$slambda(this.m40_1, completion);
+    i.n40_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.invoke_a7p0o1_k$($this$sequence, $completion);
+      return i.s40($this$sequence, $completion);
     }, 1);
   }
   //region block: post-declaration

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,iDAAzC,C;EAAgD,C;EAQ5DA,qBACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,uCAAnB,EAAuC,UAAvC,C;EAAiD,C;EAM7DA,0CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,iDAA9B,C;EAAqC,C;EAmB9EI,4BAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,uCAA1B,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,uCAApB,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,uBAAY,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,8C;IACA,kC;IACA,oC;EAH4B,C;gEHThC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,oBAAA;AAAA,EAAA,CAAA;yEGcaF,UACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,cAFnB,EAGoB,IAHpB,CAGoB,eAHpB,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;yDAAA,UAAA,cAAA,EAAA,WAAA,EAAA;AAAA,QAAA,wDAAA;;;;AAAA,EAAA,CAAA;yDAAA,UAAA,EAAA,EAAA,WAAA,EAAA;AAAA;AAAA,GAAA;2DIkBaW,UAAAA,EAAA;A,QJlBb,6B;;MIkBa,I;YJlBb,kB;;;;YImBQ,uBAAkB,C;;YAEd,qBAAwB,KAAR,UAAQ,4B;YACxB,iBAAkB,4B;;;;iBACX,wBAAa,IAAb,C;;;;;gBACH,UAAc,iCAAwB,SAAxB,C;gBACd,SAA4B,KAAf,aAAe,CAAL,MAAK,kBAAO,OAAP,C;6BACb,KAAV,aAAU,uB;YACX,kBAAoB,aAAP,MAAO,EAAS,UAAT,CAAS,IAAT,EAAa,iCAAM,MAAN,GAAa,CAA1B,MAA6B,iCAAM,QAAN,GAAe,CAA5C,K;;4BACpB,2CAAM,UAAN,O;;;;;;;gBJ5BpB,OI6BwC,KAAP,UAAO,0B;gBJ7BxC,cI6D+kqB,yB;gBAAqW,6C;mBAAA,qC,EAAM;A,kBJ7D17qB,UI6Do7qB,iC;cAAU,8D,CAA0B;A,gBAAZ,WAAY,eAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,qB;mBAAA,uC,EAA6C;A,kBJ7B9E,OI6BiC,mC;kBACQ,sBAAS,uCAAa,IAAb,CAAT,qB;qBAAA,uC,EAA6B;A,oBJ9BtE,WI8ByC,mC;gBACb,IAAI;A,kBACQ,KAAR,UAAQ,0BAAU,kBAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBJjC5E,M;wBAAA,KImCoD,KAAR,UAAQ,sBAAM,uB;wBAAa,iBAAA,EAAG,mB;wBJnC1E,SIkCsC,mBACiC,sBA0Bu5B,GA1B94B,EAAG,yBA0B24B,GA1Bv5B,cADjC,EAE0B,KAAV,aAAU,6BAF1B,EAGoB,KAAf,aAAe,CAAL,MAAK,qBAAf,CAAoB,OAApB,CAA0B,MAA1B,GAAiC,CAHtC,MAIsB,KAAf,aAAe,CAAL,MAAK,qBAAf,CAAoB,OAApB,CAA0B,QAA1B,GAAmC,CAJ1C,MAKQ,CALR,CAKU,OALV,EAMU,CANV,C;oBA2Bme,MApB7d,oBAAc,e;oBAP1B,MA2B0f,M;kBAnB9f,C;;;;cACJ,C;YACJ,C;;YAEJ,iBAAc,4B;YACd,uBAAW,KAAX,eAAW,IAAX,I;YACA,qBAAoB,KAAR,UAAQ,4B;;;;;;;;;YAYhC,oB;;;gBJ5DJ,wB;;kBAAA,sB;kBAAA,OIoDgC,KAAR,UAAQ,sBAAM,uB;kBAAa,mBAAA,IAAG,mB;kBJpDtD,SImDkB,mBACiC,wBAS26B,GATl6B,IAAG,yBAS+5B,GAT36B,gBADjC,EAEgB,GAFhB,CAEkB,eAFlB,EAGK,IAAE,MAAF,CAAO,OAAP,CAAa,MAAb,GAAoB,CAHzB,MAIO,IAAE,MAAF,CAAO,OAAP,CAAa,QAAb,GAAsB,CAJ7B,MAKQ,GALR,CAKU,OALV,EAMU,GANV,C;cAUuf,MAHjf,oBAAc,e;cAP1B,MAU8gB,M;;;;;;;;;YJ7D1hB,U;;;;;;;;;EI4DI,C;yDJ5DJ,UAAA,cAAA,EAAA,UAAA,EAAA;AAAA,QAAA,+DAAA;;;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;;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;"}