@tuprolog/2p-full 3.0.6 → 3.0.8

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.$_$.k;
31
- var protoOf = kotlin_kotlin.$_$.s8;
31
+ var protoOf = kotlin_kotlin.$_$.u8;
32
32
  var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.j1;
33
- var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
33
+ var initMetadataForCompanion = kotlin_kotlin.$_$.e8;
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.$_$.hb;
37
- var initMetadataForInterface = kotlin_kotlin.$_$.e8;
36
+ var toList = kotlin_kotlin.$_$.kb;
37
+ var initMetadataForInterface = kotlin_kotlin.$_$.g8;
38
38
  var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.g;
39
39
  var Unit_instance = kotlin_kotlin.$_$.r;
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
43
  var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.u;
44
- var initMetadataForClass = kotlin_kotlin.$_$.b8;
45
- var sequence = kotlin_kotlin.$_$.bb;
46
- var CoroutineImpl = kotlin_kotlin.$_$.j6;
47
- var THROW_CCE = kotlin_kotlin.$_$.fe;
48
- var SequenceScope = kotlin_kotlin.$_$.u9;
44
+ var initMetadataForClass = kotlin_kotlin.$_$.d8;
45
+ var sequence = kotlin_kotlin.$_$.eb;
46
+ var CoroutineImpl = kotlin_kotlin.$_$.l6;
47
+ var THROW_CCE = kotlin_kotlin.$_$.he;
48
+ var SequenceScope = kotlin_kotlin.$_$.w9;
49
49
  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.w;
50
50
  var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
51
51
  var termToClause = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
52
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i6;
53
- var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
52
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.k6;
53
+ var ArrayList_init_$Create$ = kotlin_kotlin.$_$.v;
54
54
  var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
55
- var isInterface = kotlin_kotlin.$_$.k8;
55
+ var isInterface = kotlin_kotlin.$_$.m8;
56
56
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.j;
57
57
  var toDefinition = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
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.$_$.f8;
62
- var constructCallableReference = kotlin_kotlin.$_$.r7;
61
+ var initMetadataForLambda = kotlin_kotlin.$_$.h8;
62
+ var constructCallableReference = kotlin_kotlin.$_$.t7;
63
63
  //endregion
64
64
  //region block: pre-declaration
65
65
  initMetadataForCompanion(Companion);
@@ -70,19 +70,19 @@
70
70
  return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().o1n());
71
71
  }
72
72
  function parseTheory(input, unificator) {
73
- return this.parseTheoryWithOperators(input, this.v4n(), unificator);
73
+ return this.parseTheoryWithOperators(input, this.f4o(), unificator);
74
74
  }
75
75
  function parseTheoryWithDefaultUnificator(input) {
76
76
  return this.parseTheory(input, Companion_getInstance_0().o1n());
77
77
  }
78
78
  function parseClausesLazily(input) {
79
- return this.parseClausesLazilyWithOperators(input, this.v4n());
79
+ return this.parseClausesLazilyWithOperators(input, this.f4o());
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.v4n());
85
+ return this.parseClausesWithOperators(input, this.f4o());
86
86
  }
87
87
  initMetadataForInterface(ClausesParser, 'ClausesParser');
88
88
  initMetadataForClass(ClausesParserImpl, 'ClausesParserImpl', ClausesParserImpl, VOID, [ClausesParser]);
@@ -113,7 +113,7 @@
113
113
  }
114
114
  function ClausesParserImpl$parseClausesLazily$lambda($operators) {
115
115
  return function (parser, lexedSource) {
116
- var session = parser.z4h(lexedSource, toOperatorTable($operators));
116
+ var session = parser.i4i(lexedSource, toOperatorTable($operators));
117
117
  return parseClausesLazily_0(session);
118
118
  };
119
119
  }
@@ -121,34 +121,34 @@
121
121
  defaultOperatorSet = defaultOperatorSet === VOID ? Companion_getInstance().DEFAULT : defaultOperatorSet;
122
122
  lexerOptions = lexerOptions === VOID ? new LexerOptions() : lexerOptions;
123
123
  parserOptions = parserOptions === VOID ? new ParserOptions() : parserOptions;
124
- this.g4s_1 = defaultOperatorSet;
125
- this.h4s_1 = lexerOptions;
126
- this.i4s_1 = parserOptions;
124
+ this.q4s_1 = defaultOperatorSet;
125
+ this.r4s_1 = lexerOptions;
126
+ this.s4s_1 = parserOptions;
127
127
  }
128
- protoOf(ClausesParserImpl).v4n = function () {
129
- return this.g4s_1;
128
+ protoOf(ClausesParserImpl).f4o = function () {
129
+ return this.q4s_1;
130
130
  };
131
- protoOf(ClausesParserImpl).j4s = function (input, operators) {
132
- return buildParserFor(input, VOID, this.h4s_1, this.i4s_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
131
+ protoOf(ClausesParserImpl).t4s = function (input, operators) {
132
+ return buildParserFor(input, VOID, this.r4s_1, this.s4s_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
133
133
  };
134
134
  protoOf(ClausesParserImpl).parseClausesLazilyWithOperators = function (input, operators) {
135
- return this.j4s(input, operators);
135
+ return this.t4s(input, operators);
136
136
  };
137
137
  function parseClausesLazily_0(session) {
138
138
  return sequence(parseClausesLazily$slambda_0(session, null));
139
139
  }
140
140
  function parseClausesLazily$slambda($session, resultContinuation) {
141
- this.s4s_1 = $session;
141
+ this.c4t_1 = $session;
142
142
  CoroutineImpl.call(this, resultContinuation);
143
143
  }
144
- protoOf(parseClausesLazily$slambda).y4s = function ($this$sequence, $completion) {
145
- var tmp = this.z4s($this$sequence, $completion);
144
+ protoOf(parseClausesLazily$slambda).i4t = function ($this$sequence, $completion) {
145
+ var tmp = this.j4t($this$sequence, $completion);
146
146
  tmp.r8_1 = Unit_instance;
147
147
  tmp.s8_1 = null;
148
148
  return tmp.x8();
149
149
  };
150
150
  protoOf(parseClausesLazily$slambda).o9 = function (p1, $completion) {
151
- return this.y4s(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
151
+ return this.i4t(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
152
152
  };
153
153
  protoOf(parseClausesLazily$slambda).x8 = function () {
154
154
  var suspendResult = this.r8_1;
@@ -158,31 +158,31 @@
158
158
  switch (tmp) {
159
159
  case 0:
160
160
  this.q8_1 = 6;
161
- this.u4s_1 = 0;
161
+ this.e4t_1 = 0;
162
162
  this.q8_1 = 5;
163
- this.v4s_1 = this.s4s_1.h4h();
164
- this.w4s_1 = Companion_instance_0.empty();
163
+ this.f4t_1 = this.c4t_1.q4h();
164
+ this.g4t_1 = Companion_instance_0.empty();
165
165
  this.p8_1 = 1;
166
166
  continue $sm;
167
167
  case 1:
168
- if (!!(this.v4s_1 == null)) {
168
+ if (!!(this.f4t_1 == null)) {
169
169
  this.p8_1 = 3;
170
170
  continue $sm;
171
171
  }
172
172
 
173
- var visitor = new PrologTermParserVisitor(this.w4s_1);
174
- var clause = this.v4s_1.b4n_1.j4j(visitor);
175
- var $this$with = this.v4s_1.s4e();
176
- this.x4s_1 = termToClause(clause, $this$with.p4f_1, $this$with.j().f4a_1 + 1 | 0, $this$with.j().g4a_1 + 1 | 0);
173
+ var visitor = new PrologTermParserVisitor(this.g4t_1);
174
+ var clause = this.f4t_1.l4n_1.t4j(visitor);
175
+ var $this$with = this.f4t_1.b4f();
176
+ this.h4t_1 = termToClause(clause, $this$with.y4f_1, $this$with.j().o4a_1 + 1 | 0, $this$with.j().p4a_1 + 1 | 0);
177
177
  this.p8_1 = 2;
178
- suspendResult = this.t4s_1.te(this.x4s_1, this);
178
+ suspendResult = this.d4t_1.se(this.h4t_1, this);
179
179
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
180
180
  return suspendResult;
181
181
  }
182
182
 
183
183
  continue $sm;
184
184
  case 2:
185
- var tmp0 = this.x4s_1.qz();
185
+ var tmp0 = this.h4t_1.pz();
186
186
  var destination = ArrayList_init_$Create$();
187
187
  var _iterator__ex2g4s = tmp0.n();
188
188
  while (_iterator__ex2g4s.q()) {
@@ -199,14 +199,14 @@
199
199
  while (_iterator__ex2g4s_1.q()) {
200
200
  var operator = _iterator__ex2g4s_1.r();
201
201
  try {
202
- this.s4s_1.c1y().c4m(toDefinition(operator));
202
+ this.c4t_1.c1y().m4m(toDefinition(operator));
203
203
  } catch ($p) {
204
204
  if ($p instanceof InvalidOperatorDefinitionException) {
205
205
  var e = $p;
206
- var it = this.s4s_1.g4h().s4e();
207
- var tmp0_elvis_lhs = it.x15();
208
- var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.z4c() : tmp0_elvis_lhs, this.v4s_1.h4m(), this.v4s_1.b4n_1.h4j().h4a_1.f4a_1 + 1 | 0, this.v4s_1.b4n_1.h4j().h4a_1.g4a_1 + 1 | 0, e.message, e);
209
- this_0.clauseIndex = this.u4s_1;
206
+ var it = this.c4t_1.p4h().b4f();
207
+ var tmp0_elvis_lhs = it.w15();
208
+ var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.i4d() : tmp0_elvis_lhs, this.f4t_1.r4m(), this.f4t_1.l4n_1.r4j().q4a_1.o4a_1 + 1 | 0, this.f4t_1.l4n_1.r4j().q4a_1.p4a_1 + 1 | 0, e.message, e);
209
+ this_0.clauseIndex = this.e4t_1;
210
210
  throw this_0;
211
211
  } else {
212
212
  throw $p;
@@ -215,9 +215,9 @@
215
215
  }
216
216
  }
217
217
 
218
- this.w4s_1 = Companion_instance_0.empty();
219
- this.u4s_1 = this.u4s_1 + 1 | 0;
220
- this.v4s_1 = this.s4s_1.h4h();
218
+ this.g4t_1 = Companion_instance_0.empty();
219
+ this.e4t_1 = this.e4t_1 + 1 | 0;
220
+ this.f4t_1 = this.c4t_1.q4h();
221
221
  this.p8_1 = 1;
222
222
  continue $sm;
223
223
  case 3:
@@ -232,10 +232,10 @@
232
232
  var tmp_0 = this.s8_1;
233
233
  if (tmp_0 instanceof PrologSyntaxException) {
234
234
  var e_0 = this.s8_1;
235
- var it_0 = this.s4s_1.g4h().s4e();
236
- var tmp0_elvis_lhs_0 = it_0.x15();
237
- var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.z4c() : tmp0_elvis_lhs_0, e_0.i4c_1, e_0.h4c_1.h4a_1.f4a_1 + 1 | 0, e_0.h4c_1.h4a_1.g4a_1 + 1 | 0, e_0.message, e_0);
238
- this_1.clauseIndex = this.u4s_1;
235
+ var it_0 = this.c4t_1.p4h().b4f();
236
+ var tmp0_elvis_lhs_0 = it_0.w15();
237
+ var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.i4d() : tmp0_elvis_lhs_0, e_0.r4c_1, e_0.q4c_1.q4a_1.o4a_1 + 1 | 0, e_0.q4c_1.q4a_1.p4a_1 + 1 | 0, e_0.message, e_0);
238
+ this_1.clauseIndex = this.e4t_1;
239
239
  throw this_1;
240
240
  } else {
241
241
  throw this.s8_1;
@@ -255,15 +255,15 @@
255
255
  }
256
256
  while (true);
257
257
  };
258
- protoOf(parseClausesLazily$slambda).z4s = function ($this$sequence, completion) {
259
- var i = new parseClausesLazily$slambda(this.s4s_1, completion);
260
- i.t4s_1 = $this$sequence;
258
+ protoOf(parseClausesLazily$slambda).j4t = function ($this$sequence, completion) {
259
+ var i = new parseClausesLazily$slambda(this.c4t_1, completion);
260
+ i.d4t_1 = $this$sequence;
261
261
  return i;
262
262
  };
263
263
  function parseClausesLazily$slambda_0($session, resultContinuation) {
264
264
  var i = new parseClausesLazily$slambda($session, resultContinuation);
265
265
  return constructCallableReference(function ($this$sequence, $completion) {
266
- return i.y4s($this$sequence, $completion);
266
+ return i.i4t($this$sequence, $completion);
267
267
  }, 1);
268
268
  }
269
269
  //region block: post-declaration