@tuprolog/arg2p 0.16.2 → 0.16.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -28,38 +28,38 @@
28
28
  'use strict';
29
29
  //region block: imports
30
30
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.b;
31
- var protoOf = kotlin_kotlin.$_$.f7;
32
- var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.b1;
33
- var initMetadataForCompanion = kotlin_kotlin.$_$.t6;
31
+ var protoOf = kotlin_kotlin.$_$.o7;
32
+ var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.j1;
33
+ var initMetadataForCompanion = kotlin_kotlin.$_$.c7;
34
34
  var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
35
35
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.a;
36
- var toList = kotlin_kotlin.$_$.o9;
37
- var initMetadataForInterface = kotlin_kotlin.$_$.u6;
36
+ var toList = kotlin_kotlin.$_$.x9;
37
+ var initMetadataForInterface = kotlin_kotlin.$_$.d7;
38
38
  var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.i;
39
- var Unit_instance = kotlin_kotlin.$_$.o;
39
+ var Unit_instance = kotlin_kotlin.$_$.p;
40
40
  var VOID = kotlin_kotlin.$_$.b;
41
41
  var LexerOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.r;
42
42
  var ParserOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.s;
43
- var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.t;
44
- var initMetadataForClass = kotlin_kotlin.$_$.s6;
45
- var sequence = kotlin_kotlin.$_$.h9;
46
- var CoroutineImpl = kotlin_kotlin.$_$.g5;
47
- var THROW_CCE = kotlin_kotlin.$_$.nb;
48
- var SequenceScope = kotlin_kotlin.$_$.b8;
43
+ var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.u;
44
+ var initMetadataForClass = kotlin_kotlin.$_$.b7;
45
+ var sequence = kotlin_kotlin.$_$.q9;
46
+ var CoroutineImpl = kotlin_kotlin.$_$.p5;
47
+ var THROW_CCE = kotlin_kotlin.$_$.bc;
48
+ var SequenceScope = kotlin_kotlin.$_$.k8;
49
49
  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.m;
50
50
  var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
51
51
  var termToClause = kotlin_it_unibo_tuprolog_parser_core.$_$.g;
52
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.f5;
53
- var ArrayList_init_$Create$ = kotlin_kotlin.$_$.q;
54
- var Struct = kotlin_it_unibo_tuprolog_core.$_$.t1;
55
- var isInterface = kotlin_kotlin.$_$.z6;
52
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.o5;
53
+ var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
54
+ var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
55
+ var isInterface = kotlin_kotlin.$_$.i7;
56
56
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.a;
57
57
  var toDefinition = kotlin_it_unibo_tuprolog_parser_core.$_$.h;
58
58
  var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
59
59
  var InvalidOperatorDefinitionException = kotlin_it_unibo_tuprolog_parser_impl.$_$.i;
60
60
  var PrologSyntaxException = kotlin_it_unibo_tuprolog_parser_impl.$_$.j;
61
- var initMetadataForLambda = kotlin_kotlin.$_$.v6;
62
- var constructCallableReference = kotlin_kotlin.$_$.j6;
61
+ var initMetadataForLambda = kotlin_kotlin.$_$.e7;
62
+ var constructCallableReference = kotlin_kotlin.$_$.s6;
63
63
  //endregion
64
64
  //region block: pre-declaration
65
65
  initMetadataForCompanion(Companion);
@@ -67,22 +67,22 @@
67
67
  return Companion_instance.indexedOfSequence(unificator, this.parseClausesLazilyWithOperators(input, operators));
68
68
  }
69
69
  function parseTheoryWithOperatorsAndDefaultUnificator(input, operators) {
70
- return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().g1m());
70
+ return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().i1n());
71
71
  }
72
72
  function parseTheory(input, unificator) {
73
- return this.parseTheoryWithOperators(input, this.n3o(), unificator);
73
+ return this.parseTheoryWithOperators(input, this.k3r(), unificator);
74
74
  }
75
75
  function parseTheoryWithDefaultUnificator(input) {
76
- return this.parseTheory(input, Companion_getInstance_0().g1m());
76
+ return this.parseTheory(input, Companion_getInstance_0().i1n());
77
77
  }
78
78
  function parseClausesLazily(input) {
79
- return this.parseClausesLazilyWithOperators(input, this.n3o());
79
+ return this.parseClausesLazilyWithOperators(input, this.k3r());
80
80
  }
81
81
  function parseClausesWithOperators(input, operators) {
82
82
  return toList(this.parseClausesLazilyWithOperators(input, operators));
83
83
  }
84
84
  function parseClauses(input) {
85
- return this.parseClausesWithOperators(input, this.n3o());
85
+ return this.parseClausesWithOperators(input, this.k3r());
86
86
  }
87
87
  initMetadataForInterface(ClausesParser, 'ClausesParser');
88
88
  initMetadataForClass(ClausesParserImpl, 'ClausesParserImpl', ClausesParserImpl, VOID, [ClausesParser]);
@@ -133,7 +133,7 @@
133
133
  }
134
134
  function ClausesParserImpl$parseClausesLazily$lambda($operators) {
135
135
  return function (parser, lexedSource) {
136
- var session = parser.r3i(lexedSource, toOperatorTable($operators));
136
+ var session = parser.o3l(lexedSource, toOperatorTable($operators));
137
137
  return parseClausesLazily_0(session);
138
138
  };
139
139
  }
@@ -141,68 +141,68 @@
141
141
  defaultOperatorSet = defaultOperatorSet === VOID ? Companion_getInstance().DEFAULT : defaultOperatorSet;
142
142
  lexerOptions = lexerOptions === VOID ? new LexerOptions() : lexerOptions;
143
143
  parserOptions = parserOptions === VOID ? new ParserOptions() : parserOptions;
144
- this.t3o_1 = defaultOperatorSet;
145
- this.u3o_1 = lexerOptions;
146
- this.v3o_1 = parserOptions;
144
+ this.q3r_1 = defaultOperatorSet;
145
+ this.r3r_1 = lexerOptions;
146
+ this.s3r_1 = parserOptions;
147
147
  }
148
- protoOf(ClausesParserImpl).n3o = function () {
149
- return this.t3o_1;
148
+ protoOf(ClausesParserImpl).k3r = function () {
149
+ return this.q3r_1;
150
150
  };
151
- protoOf(ClausesParserImpl).w3o = function (input, operators) {
152
- return buildParserFor(input, VOID, this.u3o_1, this.v3o_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
151
+ protoOf(ClausesParserImpl).t3r = function (input, operators) {
152
+ return buildParserFor(input, VOID, this.r3r_1, this.s3r_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
153
153
  };
154
154
  protoOf(ClausesParserImpl).parseClausesLazilyWithOperators = function (input, operators) {
155
- return this.w3o(input, operators);
155
+ return this.t3r(input, operators);
156
156
  };
157
157
  function parseClausesLazily_0(session) {
158
158
  return sequence(parseClausesLazily$slambda_0(session, null));
159
159
  }
160
160
  function parseClausesLazily$slambda($session, resultContinuation) {
161
- this.f3p_1 = $session;
161
+ this.c3s_1 = $session;
162
162
  CoroutineImpl.call(this, resultContinuation);
163
163
  }
164
- protoOf(parseClausesLazily$slambda).l3p = function ($this$sequence, $completion) {
165
- var tmp = this.m3p($this$sequence, $completion);
166
- tmp.g8_1 = Unit_instance;
167
- tmp.h8_1 = null;
168
- return tmp.m8();
164
+ protoOf(parseClausesLazily$slambda).i3s = function ($this$sequence, $completion) {
165
+ var tmp = this.j3s($this$sequence, $completion);
166
+ tmp.l8_1 = Unit_instance;
167
+ tmp.m8_1 = null;
168
+ return tmp.r8();
169
169
  };
170
- protoOf(parseClausesLazily$slambda).d9 = function (p1, $completion) {
171
- return this.l3p(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
170
+ protoOf(parseClausesLazily$slambda).i9 = function (p1, $completion) {
171
+ return this.i3s(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
172
172
  };
173
- protoOf(parseClausesLazily$slambda).m8 = function () {
174
- var suspendResult = this.g8_1;
173
+ protoOf(parseClausesLazily$slambda).r8 = function () {
174
+ var suspendResult = this.l8_1;
175
175
  $sm: do
176
176
  try {
177
- var tmp = this.e8_1;
177
+ var tmp = this.j8_1;
178
178
  switch (tmp) {
179
179
  case 0:
180
- this.f8_1 = 6;
181
- this.h3p_1 = 0;
182
- this.f8_1 = 5;
183
- this.i3p_1 = this.f3p_1.b3i();
184
- this.j3p_1 = Companion_instance_0.empty();
185
- this.e8_1 = 1;
180
+ this.k8_1 = 6;
181
+ this.e3s_1 = 0;
182
+ this.k8_1 = 5;
183
+ this.f3s_1 = this.c3s_1.w3k();
184
+ this.g3s_1 = Companion_instance_0.empty();
185
+ this.j8_1 = 1;
186
186
  continue $sm;
187
187
  case 1:
188
- if (!!(this.i3p_1 == null)) {
189
- this.e8_1 = 3;
188
+ if (!!(this.f3s_1 == null)) {
189
+ this.j8_1 = 3;
190
190
  continue $sm;
191
191
  }
192
192
 
193
- var visitor = new PrologTermParserVisitor(this.j3p_1);
194
- var clause = this.i3p_1.t3n_1.b3k(visitor);
195
- var $this$with = this.i3p_1.m3f();
196
- this.k3p_1 = termToClause(clause, $this$with.j3g_1, $this$with.i().z3a_1 + 1 | 0, $this$with.i().a3b_1 + 1 | 0);
197
- this.e8_1 = 2;
198
- suspendResult = this.g3p_1.rd(this.k3p_1, this);
193
+ var visitor = new PrologTermParserVisitor(this.g3s_1);
194
+ var clause = this.f3s_1.q3q_1.y3m(visitor);
195
+ var $this$with = this.f3s_1.h3i();
196
+ this.h3s_1 = termToClause(clause, $this$with.e3j_1, $this$with.i().u3d_1 + 1 | 0, $this$with.i().v3d_1 + 1 | 0);
197
+ this.j8_1 = 2;
198
+ suspendResult = this.d3s_1.he(this.h3s_1, this);
199
199
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
200
200
  return suspendResult;
201
201
  }
202
202
 
203
203
  continue $sm;
204
204
  case 2:
205
- var tmp0 = this.k3p_1.gy();
205
+ var tmp0 = this.h3s_1.iz();
206
206
  var destination = ArrayList_init_$Create$();
207
207
  var _iterator__ex2g4s = tmp0.n();
208
208
  while (_iterator__ex2g4s.q()) {
@@ -219,14 +219,14 @@
219
219
  while (_iterator__ex2g4s_1.q()) {
220
220
  var operator = _iterator__ex2g4s_1.r();
221
221
  try {
222
- this.f3p_1.u1w().u3m(toDefinition(operator));
222
+ this.c3s_1.w1x().r3p(toDefinition(operator));
223
223
  } catch ($p) {
224
224
  if ($p instanceof InvalidOperatorDefinitionException) {
225
225
  var e = $p;
226
- var it = this.f3p_1.a3i().m3f();
227
- var tmp0_elvis_lhs = it.n14();
228
- var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.t3d() : tmp0_elvis_lhs, this.i3p_1.z3m(), this.i3p_1.t3n_1.z3j().b3b_1.z3a_1 + 1 | 0, this.i3p_1.t3n_1.z3j().b3b_1.a3b_1 + 1 | 0, e.message, e);
229
- this_0.clauseIndex = this.h3p_1;
226
+ var it = this.c3s_1.v3k().h3i();
227
+ var tmp0_elvis_lhs = it.p15();
228
+ var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.o3g() : tmp0_elvis_lhs, this.f3s_1.w3p(), this.f3s_1.q3q_1.w3m().w3d_1.u3d_1 + 1 | 0, this.f3s_1.q3q_1.w3m().w3d_1.v3d_1 + 1 | 0, e.message, e);
229
+ this_0.clauseIndex = this.e3s_1;
230
230
  throw this_0;
231
231
  } else {
232
232
  throw $p;
@@ -235,55 +235,55 @@
235
235
  }
236
236
  }
237
237
 
238
- this.j3p_1 = Companion_instance_0.empty();
239
- this.h3p_1 = this.h3p_1 + 1 | 0;
240
- this.i3p_1 = this.f3p_1.b3i();
241
- this.e8_1 = 1;
238
+ this.g3s_1 = Companion_instance_0.empty();
239
+ this.e3s_1 = this.e3s_1 + 1 | 0;
240
+ this.f3s_1 = this.c3s_1.w3k();
241
+ this.j8_1 = 1;
242
242
  continue $sm;
243
243
  case 3:
244
- this.f8_1 = 6;
245
- this.e8_1 = 4;
244
+ this.k8_1 = 6;
245
+ this.j8_1 = 4;
246
246
  continue $sm;
247
247
  case 4:
248
- this.f8_1 = 6;
248
+ this.k8_1 = 6;
249
249
  return Unit_instance;
250
250
  case 5:
251
- this.f8_1 = 6;
252
- var tmp_0 = this.h8_1;
251
+ this.k8_1 = 6;
252
+ var tmp_0 = this.m8_1;
253
253
  if (tmp_0 instanceof PrologSyntaxException) {
254
- var e_0 = this.h8_1;
255
- var it_0 = this.f3p_1.a3i().m3f();
256
- var tmp0_elvis_lhs_0 = it_0.n14();
257
- var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.t3d() : tmp0_elvis_lhs_0, e_0.c3d_1, e_0.b3d_1.b3b_1.z3a_1 + 1 | 0, e_0.b3d_1.b3b_1.a3b_1 + 1 | 0, e_0.message, e_0);
258
- this_1.clauseIndex = this.h3p_1;
254
+ var e_0 = this.m8_1;
255
+ var it_0 = this.c3s_1.v3k().h3i();
256
+ var tmp0_elvis_lhs_0 = it_0.p15();
257
+ var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.o3g() : tmp0_elvis_lhs_0, e_0.x3f_1, e_0.w3f_1.w3d_1.u3d_1 + 1 | 0, e_0.w3f_1.w3d_1.v3d_1 + 1 | 0, e_0.message, e_0);
258
+ this_1.clauseIndex = this.e3s_1;
259
259
  throw this_1;
260
260
  } else {
261
- throw this.h8_1;
261
+ throw this.m8_1;
262
262
  }
263
263
 
264
264
  case 6:
265
- throw this.h8_1;
265
+ throw this.m8_1;
266
266
  }
267
267
  } catch ($p_0) {
268
268
  var e_1 = $p_0;
269
- if (this.f8_1 === 6) {
269
+ if (this.k8_1 === 6) {
270
270
  throw e_1;
271
271
  } else {
272
- this.e8_1 = this.f8_1;
273
- this.h8_1 = e_1;
272
+ this.j8_1 = this.k8_1;
273
+ this.m8_1 = e_1;
274
274
  }
275
275
  }
276
276
  while (true);
277
277
  };
278
- protoOf(parseClausesLazily$slambda).m3p = function ($this$sequence, completion) {
279
- var i = new parseClausesLazily$slambda(this.f3p_1, completion);
280
- i.g3p_1 = $this$sequence;
278
+ protoOf(parseClausesLazily$slambda).j3s = function ($this$sequence, completion) {
279
+ var i = new parseClausesLazily$slambda(this.c3s_1, completion);
280
+ i.d3s_1 = $this$sequence;
281
281
  return i;
282
282
  };
283
283
  function parseClausesLazily$slambda_0($session, resultContinuation) {
284
284
  var i = new parseClausesLazily$slambda($session, resultContinuation);
285
285
  return constructCallableReference(function ($this$sequence, $completion) {
286
- return i.l3p($this$sequence, $completion);
286
+ return i.i3s($this$sequence, $completion);
287
287
  }, 1);
288
288
  }
289
289
  //region block: post-declaration
@@ -300,8 +300,9 @@
300
300
  //endregion
301
301
  //region block: exports
302
302
  _.$_$ = _.$_$ || {};
303
- _.$_$.a = parseTheory_0;
304
- _.$_$.b = parseTheoryWithOperators_0;
303
+ _.$_$.a = Companion_instance_1;
304
+ _.$_$.b = parseTheory_0;
305
+ _.$_$.c = parseTheoryWithOperators_0;
305
306
  //endregion
306
307
  return _;
307
308
  }));
@@ -1 +1 @@
1
- {"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParser.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserExtensions.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserImpl.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/Utils.kt"],"sourcesContent":[null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","<get-defaultParser>","parse","<this>","<init properties ClausesParserExtensions.kt>","ClausesParserImpl$parseClausesLazily$lambda","ClausesParserImpl$parseClausesLazily$lambda$lambda","session","defaultOperatorSet","lexerOptions","parserOptions","<get-defaultOperatorSet>","invoke","$completion","doResume","element","goal","operator","e","parseClausesLazily$slambda","parseClausesLazily$slambda$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mCAmDIA,CACIC,K,EACAC,S,EACAC,UAHJH,EAIY;A,IAAkE,OAA3D,qCAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;uDAQ7EA,CACIC,K,EACAC,SAFJF,EAGY;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,+BAAzC,C;EAAgD,C;sBAQ5DA,CACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,UAAnB,EAAuC,UAAvC,C;EAAiD,C;2CAM7DA,CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,+BAA9B,C;EAAqC,C;6BAmB9EI,CAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,UAA1B,C;EAA4C,C;oCAQtGC,CACIJ,K,EACAC,SAFJG,EAGkB;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;uBAM9DA,CAAiBJ,KAAjBI,EAAgD;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,UAApB,C;EAAsC,C;;;;;oBAEtFC,CAAAA,EAAA;A,EAAA,C;+CAIIC,CAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;sDAKtDC,CAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;qDAKhEC,CAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;gDAK9DC,CAAkBR,SAAlBQ,EAA2D;A,IAA4B,OAA5B,sBAAkB,SAAlB,C;EAA2B,C;8CAKtFA,CAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;;;;;;4BCvIrFC,CAAAA,EAAA;A;IAAA,oB;EAAgB,C;;wBAmBxBC,CAAIC,a,EAAuBZ,KAA3BW,EAAoD;A;IAAgC,OAAhC,mBAAc,kCAAY,KAAZ,C;EAAiB,C;qCAXnFA,CAAIC,a,EACAZ,K,EACAC,SAFJU,EAGY;A;IAA2C,OAA3C,mBAAc,8CAAY,KAAZ,EAAmB,SAAnB,C;EAA4B,C;;8DArBtDE,CAAAA,E;;;sBAU0C,2C;;G;sDCYhCC,C,UAAAA,E;oBAAAC,CAAE,M,EAAQ,WAAVA,EAAA;A,UACEC,UAAc,MAAO,KAAY,WAAZ,EAAmC,gBAAV,UAAU,CAAnC,C;MACM,OAA3B,qBAAmB,OAAnB,C;IACJ,C;G;4BAhBwBX,CACnBY,kB,EACDC,Y,EACAC,aAHoBd,EAAA;A,+EAC+B,O;2CAClB,kB;6CACE,mB;IAF3C,+B;IACA,yB;IACA,0B;EAH4B,C;4CACnBe,CAAAA,EAAA;A,IAAA,iB;EAAwD,C;4CAIxDjB,CACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,KAFnB,EAGoB,IAHpB,CAGoB,KAHpB,EAIE,sDAJF,C;EAOA,C;;;;+BCRCA,CAAuBa,OAAvBb,EACL;A,IA0CC,OA1CD,SAAS,2CAAT,C;EA0CA,C;;;;;qDA1CSkB,CAAA,c,EAAAC,WAAAD,EACL;A;;;;EAwCA,C;;;;oDAzCKE,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,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;;;;;;;uBACoB,KAAP,KAAO,K;8BAgCuiqB,yB;gBAAqW,4B;mBAAA,qB,EAAM;A,kBAAjBC,UAAW,qB;cAAU,8D,CAA0B;A,gBAAZ,WAAY,GAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,I;mBAAA,uB,EAA6C;A,kBAArDC,OAAQ,uB;kBACQ,sBAAS,uCAAa,IAAb,CAAT,I;qBAAA,uB,EAA6B;A,oBAAzCC,WAAY,uB;gBACb,IAAI;A,kBACQ,KAAR,KAAQ,MAAU,KAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBAAvCC,M;6BAEe,KAAR,KAAQ,MAAM,M;wBAAa,iBAAA,EAAG,M;iCADpC,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;;;;;kBAVaA,e;yBAEe,KAAR,KAAQ,MAAM,M;kBAAa,mBAAA,IAAG,M;2BADpC,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;;;;;;;;;;;;;;;;;;EADthB,C;sDA1CS,c,EAwCmC,U;;;;;uCAxCnCC,C,4BAAAA,E;;+CAAAC,CAAA,c,EAAAP,WAAAO,E;;K,EAlBb,C;G;;;;;;;;;;;;;;;;;;;;"}
1
+ {"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParser.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserExtensions.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserImpl.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/Utils.kt"],"sourcesContent":[null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","<get-defaultParser>","parse","<this>","<init properties ClausesParserExtensions.kt>","ClausesParserImpl$parseClausesLazily$lambda","ClausesParserImpl$parseClausesLazily$lambda$lambda","session","defaultOperatorSet","lexerOptions","parserOptions","<get-defaultOperatorSet>","invoke","$completion","doResume","element","goal","operator","e","parseClausesLazily$slambda","parseClausesLazily$slambda$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mCAmDIA,CACIC,K,EACAC,S,EACAC,UAHJH,EAIY;A,IAAkE,OAA3D,qCAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;uDAQ7EA,CACIC,K,EACAC,SAFJF,EAGY;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,+BAAzC,C;EAAgD,C;sBAQ5DA,CACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,UAAnB,EAAuC,UAAvC,C;EAAiD,C;2CAM7DA,CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,+BAA9B,C;EAAqC,C;6BAmB9EI,CAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,UAA1B,C;EAA4C,C;oCAQtGC,CACIJ,K,EACAC,SAFJG,EAGkB;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;uBAM9DA,CAAiBJ,KAAjBI,EAAgD;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,UAApB,C;EAAsC,C;;;;;oBAEtFC,CAAAA,EAAA;A,EAAA,C;+CAIIC,CAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;sDAKtDC,CAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;qDAKhEC,CAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;gDAK9DC,CAAkBR,SAAlBQ,EAA2D;A,IAA4B,OAA5B,sBAAkB,SAAlB,C;EAA2B,C;8CAKtFA,CAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;;;;;;4BCvIrFC,CAAAA,EAAA;A;IAAA,oB;EAAgB,C;;wBAmBxBC,CAAIC,a,EAAuBZ,KAA3BW,EAAoD;A;IAAgC,OAAhC,mBAAc,kCAAY,KAAZ,C;EAAiB,C;qCAXnFA,CAAIC,a,EACAZ,K,EACAC,SAFJU,EAGY;A;IAA2C,OAA3C,mBAAc,8CAAY,KAAZ,EAAmB,SAAnB,C;EAA4B,C;;8DArBtDE,CAAAA,E;;;sBAU0C,2C;;G;sDCYhCC,C,UAAAA,E;oBAAAC,CAAE,M,EAAQ,WAAVA,EAAA;A,UACEC,UAAc,MAAO,KAAY,WAAZ,EAAmC,gBAAV,UAAU,CAAnC,C;MACM,OAA3B,qBAAmB,OAAnB,C;IACJ,C;G;4BAhBwBX,CACnBY,kB,EACDC,Y,EACAC,aAHoBd,EAAA;A,+EAC+B,O;2CAClB,kB;6CACE,mB;IAF3C,+B;IACA,yB;IACA,0B;EAH4B,C;4CACnBe,CAAAA,EAAA;A,IAAA,iB;EAAwD,C;4CAIxDjB,CACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,KAFnB,EAGoB,IAHpB,CAGoB,KAHpB,EAIE,sDAJF,C;EAOA,C;;;;+BCRCA,CAAuBa,OAAvBb,EACL;A,IA0CC,OA1CD,SAAS,2CAAT,C;EA0CA,C;;;;;qDA1CSkB,CAAA,c,EAAAC,WAAAD,EACL;A;;;;EAwCA,C;;;;oDAzCKE,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,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;;;;;;;uBACoB,KAAP,KAAO,K;8BAgCuiqB,yB;gBAAqW,4B;mBAAA,qB,EAAM;A,kBAAjBC,UAAW,qB;cAAU,8D,CAA0B;A,gBAAZ,WAAY,GAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,I;mBAAA,uB,EAA6C;A,kBAArDC,OAAQ,uB;kBACQ,sBAAS,uCAAa,IAAb,CAAT,I;qBAAA,uB,EAA6B;A,oBAAzCC,WAAY,uB;gBACb,IAAI;A,kBACQ,KAAR,KAAQ,MAAU,KAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBAAvCC,M;6BAEe,KAAR,KAAQ,MAAM,M;wBAAa,iBAAA,EAAG,M;iCADpC,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;;;;;kBAVaA,e;yBAEe,KAAR,KAAQ,MAAM,M;kBAAa,mBAAA,IAAG,M;2BADpC,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;;;;;;;;;;;;;;;;;;EADthB,C;sDA1CS,c,EAwCmC,U;;;;;uCAxCnCC,C,4BAAAA,E;;+CAAAC,CAAA,c,EAAAP,WAAAO,E;;K,EAlBb,C;G;;;;;;;;;;;;;;;;;;;;;"}