@tuprolog/arg2p 0.13.2 → 0.14.2
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.
- package/2p-core.js +2267 -2267
- package/2p-core.js.map +1 -1
- package/2p-dsl-core.js +442 -442
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +246 -246
- package/2p-dsl-solve.js.map +1 -1
- package/2p-dsl-theory.js +152 -152
- package/2p-dsl-theory.js.map +1 -1
- package/2p-dsl-unify.js +15 -15
- package/2p-parser-core.js +160 -160
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-js.js +1 -1
- package/2p-parser-theory.js +17 -17
- package/2p-solve-classic.js +869 -869
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve.js +3095 -3095
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +1351 -1351
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +227 -227
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +323 -323
- package/2p-utils.js.map +1 -1
- package/arg2p-causality-solver.js +90 -90
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +1707 -1488
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +89 -88
- package/arg2p.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +1784 -1225
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +1514 -1512
- package/kt-math.js.map +1 -1
- package/package.json +1 -1
package/2p-parser-core.js
CHANGED
|
@@ -45,25 +45,25 @@
|
|
|
45
45
|
var BailErrorStrategy = $module$antlr4_src_antlr4_error_s9pni7.BailErrorStrategy;
|
|
46
46
|
var PrologParserVisitor = $module$_tuprolog_parser_utils_xy31vy.PrologParserVisitor;
|
|
47
47
|
var VOID = kotlin_kotlin.$_$.b;
|
|
48
|
-
var captureStack = kotlin_kotlin.$_$.
|
|
49
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
50
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
48
|
+
var captureStack = kotlin_kotlin.$_$.m5;
|
|
49
|
+
var protoOf = kotlin_kotlin.$_$.n6;
|
|
50
|
+
var initMetadataForClass = kotlin_kotlin.$_$.a6;
|
|
51
51
|
var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.c1;
|
|
52
52
|
var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.e;
|
|
53
|
-
var ensureNotNull = kotlin_kotlin.$_$.
|
|
54
|
-
var replace = kotlin_kotlin.$_$.
|
|
53
|
+
var ensureNotNull = kotlin_kotlin.$_$.ua;
|
|
54
|
+
var replace = kotlin_kotlin.$_$.o9;
|
|
55
55
|
var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
|
|
56
|
-
var Char = kotlin_kotlin.$_$.
|
|
56
|
+
var Char = kotlin_kotlin.$_$.ea;
|
|
57
57
|
var toString = kotlin_kotlin.$_$.h1;
|
|
58
58
|
var Struct = kotlin_it_unibo_tuprolog_core.$_$.s1;
|
|
59
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
59
|
+
var isInterface = kotlin_kotlin.$_$.h6;
|
|
60
60
|
var Numeric = kotlin_it_unibo_tuprolog_core.$_$.o1;
|
|
61
61
|
var Atom = kotlin_it_unibo_tuprolog_core.$_$.f1;
|
|
62
62
|
var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.i;
|
|
63
63
|
var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
|
|
64
64
|
var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.f;
|
|
65
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
66
|
-
var getKClass = kotlin_kotlin.$_$.
|
|
65
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
|
|
66
|
+
var getKClass = kotlin_kotlin.$_$.f7;
|
|
67
67
|
var Constant = kotlin_it_unibo_tuprolog_core.$_$.h1;
|
|
68
68
|
var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
|
|
69
69
|
var Integer = kotlin_it_unibo_tuprolog_core.$_$.m1;
|
|
@@ -72,54 +72,54 @@
|
|
|
72
72
|
var Rule = kotlin_it_unibo_tuprolog_core.$_$.q1;
|
|
73
73
|
var Fact = kotlin_it_unibo_tuprolog_core.$_$.k1;
|
|
74
74
|
var Directive = kotlin_it_unibo_tuprolog_core.$_$.j1;
|
|
75
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
75
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.c6;
|
|
76
76
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.m;
|
|
77
|
-
var toString_0 = kotlin_kotlin.$_$.
|
|
78
|
-
var Unit_instance = kotlin_kotlin.$_$.
|
|
79
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
80
|
-
var contains = kotlin_kotlin.$_$.
|
|
77
|
+
var toString_0 = kotlin_kotlin.$_$.q6;
|
|
78
|
+
var Unit_instance = kotlin_kotlin.$_$.l1;
|
|
79
|
+
var THROW_CCE = kotlin_kotlin.$_$.qa;
|
|
80
|
+
var contains = kotlin_kotlin.$_$.e2;
|
|
81
81
|
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.j;
|
|
82
|
-
var map = kotlin_kotlin.$_$.
|
|
82
|
+
var map = kotlin_kotlin.$_$.g8;
|
|
83
83
|
var Operator = kotlin_it_unibo_tuprolog_core.$_$.e1;
|
|
84
84
|
var List = kotlin_it_unibo_tuprolog_core.$_$.n1;
|
|
85
|
-
var coerceAtLeast = kotlin_kotlin.$_$.
|
|
85
|
+
var coerceAtLeast = kotlin_kotlin.$_$.b7;
|
|
86
86
|
var isRecognitionException = kotlin_it_unibo_tuprolog_parser_js.$_$.b;
|
|
87
87
|
var isParseCancellationException = kotlin_it_unibo_tuprolog_parser_js.$_$.a;
|
|
88
|
-
var generateSequence = kotlin_kotlin.$_$.
|
|
89
|
-
var takeWhile = kotlin_kotlin.$_$.
|
|
88
|
+
var generateSequence = kotlin_kotlin.$_$.a8;
|
|
89
|
+
var takeWhile = kotlin_kotlin.$_$.r8;
|
|
90
90
|
var to = kotlin_kotlin.$_$.cb;
|
|
91
|
-
var initMetadataForObject = kotlin_kotlin.$_$.
|
|
92
|
-
var substring = kotlin_kotlin.$_$.
|
|
91
|
+
var initMetadataForObject = kotlin_kotlin.$_$.e6;
|
|
92
|
+
var substring = kotlin_kotlin.$_$.u9;
|
|
93
93
|
var Companion_getInstance_1 = kotlin_io_github_gciatto_kt_math.$_$.e;
|
|
94
|
-
var charCodeAt = kotlin_kotlin.$_$.
|
|
94
|
+
var charCodeAt = kotlin_kotlin.$_$.p5;
|
|
95
95
|
var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g1;
|
|
96
|
-
var contains_0 = kotlin_kotlin.$_$.
|
|
97
|
-
var plus = kotlin_kotlin.$_$.
|
|
96
|
+
var contains_0 = kotlin_kotlin.$_$.d9;
|
|
97
|
+
var plus = kotlin_kotlin.$_$.ya;
|
|
98
98
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
|
|
99
99
|
var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
|
|
100
|
-
var listOf = kotlin_kotlin.$_$.
|
|
101
|
-
var asList = kotlin_kotlin.$_$.
|
|
102
|
-
var plus_0 = kotlin_kotlin.$_$.
|
|
103
|
-
var collectionSizeOrDefault = kotlin_kotlin.$_$.
|
|
104
|
-
var toList = kotlin_kotlin.$_$.
|
|
105
|
-
var flatMap = kotlin_kotlin.$_$.
|
|
106
|
-
var asSequence = kotlin_kotlin.$_$.
|
|
107
|
-
var toList_0 = kotlin_kotlin.$_$.
|
|
108
|
-
var sequenceOf = kotlin_kotlin.$_$.
|
|
109
|
-
var asSequence_0 = kotlin_kotlin.$_$.
|
|
110
|
-
var plus_1 = kotlin_kotlin.$_$.
|
|
100
|
+
var listOf = kotlin_kotlin.$_$.d3;
|
|
101
|
+
var asList = kotlin_kotlin.$_$.w1;
|
|
102
|
+
var plus_0 = kotlin_kotlin.$_$.x3;
|
|
103
|
+
var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
|
|
104
|
+
var toList = kotlin_kotlin.$_$.g4;
|
|
105
|
+
var flatMap = kotlin_kotlin.$_$.x7;
|
|
106
|
+
var asSequence = kotlin_kotlin.$_$.a2;
|
|
107
|
+
var toList_0 = kotlin_kotlin.$_$.v8;
|
|
108
|
+
var sequenceOf = kotlin_kotlin.$_$.n8;
|
|
109
|
+
var asSequence_0 = kotlin_kotlin.$_$.b2;
|
|
110
|
+
var plus_1 = kotlin_kotlin.$_$.k8;
|
|
111
111
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
|
|
112
112
|
var Term = kotlin_it_unibo_tuprolog_core.$_$.r2;
|
|
113
113
|
var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.o;
|
|
114
114
|
var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.r;
|
|
115
|
-
var NumberFormatException = kotlin_kotlin.$_$.
|
|
115
|
+
var NumberFormatException = kotlin_kotlin.$_$.na;
|
|
116
116
|
//endregion
|
|
117
117
|
//region block: pre-declaration
|
|
118
118
|
initMetadataForClass(ParseException, 'ParseException', VOID, TuPrologException);
|
|
119
119
|
initMetadataForClass(InvalidTermTypeException, 'InvalidTermTypeException', VOID, ParseException);
|
|
120
120
|
initMetadataForCompanion(Companion);
|
|
121
121
|
function parseTerm(input) {
|
|
122
|
-
return this.parseTermWithOperators(input, this.
|
|
122
|
+
return this.parseTermWithOperators(input, this.q38());
|
|
123
123
|
}
|
|
124
124
|
function parseStructWithOperators(input, operators) {
|
|
125
125
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -135,7 +135,7 @@
|
|
|
135
135
|
return tmp;
|
|
136
136
|
}
|
|
137
137
|
function parseStruct(input) {
|
|
138
|
-
return this.parseStructWithOperators(input, this.
|
|
138
|
+
return this.parseStructWithOperators(input, this.q38());
|
|
139
139
|
}
|
|
140
140
|
function parseConstantWithOperators(input, operators) {
|
|
141
141
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -151,7 +151,7 @@
|
|
|
151
151
|
return tmp;
|
|
152
152
|
}
|
|
153
153
|
function parseConstant(input) {
|
|
154
|
-
return this.parseConstantWithOperators(input, this.
|
|
154
|
+
return this.parseConstantWithOperators(input, this.q38());
|
|
155
155
|
}
|
|
156
156
|
function parseVarWithOperators(input, operators) {
|
|
157
157
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -167,7 +167,7 @@
|
|
|
167
167
|
return tmp;
|
|
168
168
|
}
|
|
169
169
|
function parseVar(input) {
|
|
170
|
-
return this.parseVarWithOperators(input, this.
|
|
170
|
+
return this.parseVarWithOperators(input, this.q38());
|
|
171
171
|
}
|
|
172
172
|
function parseAtomWithOperators(input, operators) {
|
|
173
173
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -183,7 +183,7 @@
|
|
|
183
183
|
return tmp;
|
|
184
184
|
}
|
|
185
185
|
function parseAtom(input) {
|
|
186
|
-
return this.parseAtomWithOperators(input, this.
|
|
186
|
+
return this.parseAtomWithOperators(input, this.q38());
|
|
187
187
|
}
|
|
188
188
|
function parseNumericWithOperators(input, operators) {
|
|
189
189
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -199,7 +199,7 @@
|
|
|
199
199
|
return tmp;
|
|
200
200
|
}
|
|
201
201
|
function parseNumeric(input) {
|
|
202
|
-
return this.parseNumericWithOperators(input, this.
|
|
202
|
+
return this.parseNumericWithOperators(input, this.q38());
|
|
203
203
|
}
|
|
204
204
|
function parseIntegerWithOperators(input, operators) {
|
|
205
205
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -215,7 +215,7 @@
|
|
|
215
215
|
return tmp;
|
|
216
216
|
}
|
|
217
217
|
function parseInteger(input) {
|
|
218
|
-
return this.parseIntegerWithOperators(input, this.
|
|
218
|
+
return this.parseIntegerWithOperators(input, this.q38());
|
|
219
219
|
}
|
|
220
220
|
function parseRealWithOperators(input, operators) {
|
|
221
221
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -231,7 +231,7 @@
|
|
|
231
231
|
return tmp;
|
|
232
232
|
}
|
|
233
233
|
function parseReal(input) {
|
|
234
|
-
return this.parseRealWithOperators(input, this.
|
|
234
|
+
return this.parseRealWithOperators(input, this.q38());
|
|
235
235
|
}
|
|
236
236
|
function parseClauseWithOperators(input, operators) {
|
|
237
237
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -247,7 +247,7 @@
|
|
|
247
247
|
return tmp;
|
|
248
248
|
}
|
|
249
249
|
function parseClause(input) {
|
|
250
|
-
return this.parseClauseWithOperators(input, this.
|
|
250
|
+
return this.parseClauseWithOperators(input, this.q38());
|
|
251
251
|
}
|
|
252
252
|
function parseRuleWithOperators(input, operators) {
|
|
253
253
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -263,7 +263,7 @@
|
|
|
263
263
|
return tmp;
|
|
264
264
|
}
|
|
265
265
|
function parseRule(input) {
|
|
266
|
-
return this.parseRuleWithOperators(input, this.
|
|
266
|
+
return this.parseRuleWithOperators(input, this.q38());
|
|
267
267
|
}
|
|
268
268
|
function parseFactWithOperators(input, operators) {
|
|
269
269
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -279,7 +279,7 @@
|
|
|
279
279
|
return tmp;
|
|
280
280
|
}
|
|
281
281
|
function parseFact(input) {
|
|
282
|
-
return this.parseFactWithOperators(input, this.
|
|
282
|
+
return this.parseFactWithOperators(input, this.q38());
|
|
283
283
|
}
|
|
284
284
|
function parseDirectiveWithOperators(input, operators) {
|
|
285
285
|
// Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
|
|
@@ -295,7 +295,7 @@
|
|
|
295
295
|
return tmp;
|
|
296
296
|
}
|
|
297
297
|
function parseDirective(input) {
|
|
298
|
-
return this.parseDirectiveWithOperators(input, this.
|
|
298
|
+
return this.parseDirectiveWithOperators(input, this.q38());
|
|
299
299
|
}
|
|
300
300
|
initMetadataForInterface(TermParser, 'TermParser');
|
|
301
301
|
initMetadataForCompanion(Companion_0);
|
|
@@ -320,8 +320,8 @@
|
|
|
320
320
|
throwable = throwable === VOID ? null : throwable;
|
|
321
321
|
ParseException.call(this, input, offendingSymbol, line, column, message, throwable);
|
|
322
322
|
captureStack(this, InvalidTermTypeException);
|
|
323
|
-
this.
|
|
324
|
-
this.
|
|
323
|
+
this.z37_1 = term;
|
|
324
|
+
this.a38_1 = type;
|
|
325
325
|
}
|
|
326
326
|
function ParseException(input, offendingSymbol, line, column, message, throwable) {
|
|
327
327
|
TuPrologException_init_$Init$(message, throwable, this);
|
|
@@ -332,34 +332,34 @@
|
|
|
332
332
|
this.column = column;
|
|
333
333
|
this.clauseIndex = -1;
|
|
334
334
|
}
|
|
335
|
-
protoOf(ParseException).
|
|
335
|
+
protoOf(ParseException).b38 = function (_set____db54di) {
|
|
336
336
|
this.input = _set____db54di;
|
|
337
337
|
};
|
|
338
|
-
protoOf(ParseException).
|
|
338
|
+
protoOf(ParseException).c38 = function () {
|
|
339
339
|
return this.input;
|
|
340
340
|
};
|
|
341
|
-
protoOf(ParseException).
|
|
341
|
+
protoOf(ParseException).d38 = function (_set____db54di) {
|
|
342
342
|
this.offendingSymbol = _set____db54di;
|
|
343
343
|
};
|
|
344
|
-
protoOf(ParseException).
|
|
344
|
+
protoOf(ParseException).e38 = function () {
|
|
345
345
|
return this.offendingSymbol;
|
|
346
346
|
};
|
|
347
|
-
protoOf(ParseException).
|
|
347
|
+
protoOf(ParseException).f38 = function (_set____db54di) {
|
|
348
348
|
this.line = _set____db54di;
|
|
349
349
|
};
|
|
350
|
-
protoOf(ParseException).
|
|
350
|
+
protoOf(ParseException).g38 = function () {
|
|
351
351
|
return this.line;
|
|
352
352
|
};
|
|
353
|
-
protoOf(ParseException).
|
|
353
|
+
protoOf(ParseException).h38 = function (_set____db54di) {
|
|
354
354
|
this.column = _set____db54di;
|
|
355
355
|
};
|
|
356
|
-
protoOf(ParseException).
|
|
356
|
+
protoOf(ParseException).i38 = function () {
|
|
357
357
|
return this.column;
|
|
358
358
|
};
|
|
359
|
-
protoOf(ParseException).
|
|
359
|
+
protoOf(ParseException).j38 = function (_set____db54di) {
|
|
360
360
|
this.clauseIndex = _set____db54di;
|
|
361
361
|
};
|
|
362
|
-
protoOf(ParseException).
|
|
362
|
+
protoOf(ParseException).k38 = function () {
|
|
363
363
|
return this.clauseIndex;
|
|
364
364
|
};
|
|
365
365
|
protoOf(ParseException).toString = function () {
|
|
@@ -372,17 +372,17 @@
|
|
|
372
372
|
var tmp_2;
|
|
373
373
|
var tmp_3;
|
|
374
374
|
if (isInterface(_this__u8e3s4, Struct)) {
|
|
375
|
-
tmp_3 = _this__u8e3s4.
|
|
375
|
+
tmp_3 = _this__u8e3s4.zu() === 3;
|
|
376
376
|
} else {
|
|
377
377
|
tmp_3 = false;
|
|
378
378
|
}
|
|
379
379
|
if (tmp_3) {
|
|
380
|
-
tmp_2 = _this__u8e3s4.
|
|
380
|
+
tmp_2 = _this__u8e3s4.fv() === 'op';
|
|
381
381
|
} else {
|
|
382
382
|
tmp_2 = false;
|
|
383
383
|
}
|
|
384
384
|
if (tmp_2) {
|
|
385
|
-
tmp_1 = _this__u8e3s4.
|
|
385
|
+
tmp_1 = _this__u8e3s4.jw();
|
|
386
386
|
} else {
|
|
387
387
|
tmp_1 = false;
|
|
388
388
|
}
|
|
@@ -402,40 +402,40 @@
|
|
|
402
402
|
}
|
|
403
403
|
function Companion() {
|
|
404
404
|
}
|
|
405
|
-
protoOf(Companion).
|
|
406
|
-
return this.
|
|
405
|
+
protoOf(Companion).l38 = function (scope) {
|
|
406
|
+
return this.m38(Companion_getInstance().EMPTY, scope);
|
|
407
407
|
};
|
|
408
408
|
protoOf(Companion).withNoOperator = function (scope, $super) {
|
|
409
409
|
scope = scope === VOID ? Companion_instance.empty() : scope;
|
|
410
|
-
return $super === VOID ? this.
|
|
410
|
+
return $super === VOID ? this.l38(scope) : $super.l38.call(this, scope);
|
|
411
411
|
};
|
|
412
|
-
protoOf(Companion).
|
|
413
|
-
return this.
|
|
412
|
+
protoOf(Companion).n38 = function (scope) {
|
|
413
|
+
return this.m38(Companion_getInstance().STANDARD, scope);
|
|
414
414
|
};
|
|
415
415
|
protoOf(Companion).withStandardOperators = function (scope, $super) {
|
|
416
416
|
scope = scope === VOID ? Companion_instance.empty() : scope;
|
|
417
|
-
return $super === VOID ? this.
|
|
417
|
+
return $super === VOID ? this.n38(scope) : $super.n38.call(this, scope);
|
|
418
418
|
};
|
|
419
|
-
protoOf(Companion).
|
|
420
|
-
return this.
|
|
419
|
+
protoOf(Companion).o38 = function (scope) {
|
|
420
|
+
return this.m38(Companion_getInstance().DEFAULT, scope);
|
|
421
421
|
};
|
|
422
422
|
protoOf(Companion).withDefaultOperators = function (scope, $super) {
|
|
423
423
|
scope = scope === VOID ? Companion_instance.empty() : scope;
|
|
424
|
-
return $super === VOID ? this.
|
|
424
|
+
return $super === VOID ? this.o38(scope) : $super.o38.call(this, scope);
|
|
425
425
|
};
|
|
426
|
-
protoOf(Companion).
|
|
426
|
+
protoOf(Companion).m38 = function (operators, scope) {
|
|
427
427
|
return termParserWithOperators(operators, scope);
|
|
428
428
|
};
|
|
429
429
|
protoOf(Companion).withOperatorSet = function (operators, scope, $super) {
|
|
430
430
|
scope = scope === VOID ? Companion_instance.empty() : scope;
|
|
431
|
-
return $super === VOID ? this.
|
|
431
|
+
return $super === VOID ? this.m38(operators, scope) : $super.m38.call(this, operators, scope);
|
|
432
432
|
};
|
|
433
|
-
protoOf(Companion).
|
|
434
|
-
return this.
|
|
433
|
+
protoOf(Companion).p38 = function (operators, scope) {
|
|
434
|
+
return this.m38(OperatorSet_init_$Create$(operators.slice()), scope);
|
|
435
435
|
};
|
|
436
436
|
protoOf(Companion).withOperators = function (operators, scope, $super) {
|
|
437
437
|
scope = scope === VOID ? Companion_instance.empty() : scope;
|
|
438
|
-
return $super === VOID ? this.
|
|
438
|
+
return $super === VOID ? this.p38(operators, scope) : $super.p38.call(this, operators, scope);
|
|
439
439
|
};
|
|
440
440
|
var Companion_instance_1;
|
|
441
441
|
function Companion_getInstance_4() {
|
|
@@ -481,12 +481,12 @@
|
|
|
481
481
|
return Unit_instance;
|
|
482
482
|
}
|
|
483
483
|
function onOperatorDefined($this, operator) {
|
|
484
|
-
$this.
|
|
485
|
-
$this.
|
|
484
|
+
$this.r38_1.addOperator(operator.e1h_1, toAssociativity(operator.f1h_1), operator.g1h_1);
|
|
485
|
+
$this.s38_1($this.r38_1, operator);
|
|
486
486
|
}
|
|
487
487
|
function Companion_0() {
|
|
488
488
|
}
|
|
489
|
-
protoOf(Companion_0).
|
|
489
|
+
protoOf(Companion_0).t38 = function (parser) {
|
|
490
490
|
return new DynamicOpListener(parser, DynamicOpListener$Companion$of$lambda);
|
|
491
491
|
};
|
|
492
492
|
var Companion_instance_2;
|
|
@@ -498,10 +498,10 @@
|
|
|
498
498
|
}
|
|
499
499
|
function DynamicOpListener(parser, operatorDefinedCallback) {
|
|
500
500
|
PrologParserListener.call(this);
|
|
501
|
-
this.
|
|
502
|
-
this.
|
|
501
|
+
this.r38_1 = parser;
|
|
502
|
+
this.s38_1 = operatorDefinedCallback;
|
|
503
503
|
}
|
|
504
|
-
protoOf(DynamicOpListener).
|
|
504
|
+
protoOf(DynamicOpListener).u38 = function (ctx) {
|
|
505
505
|
var expr = ctx.expression();
|
|
506
506
|
if (ctx.exception != null) {
|
|
507
507
|
return Unit_instance;
|
|
@@ -523,11 +523,11 @@
|
|
|
523
523
|
if (tmp) {
|
|
524
524
|
var tmp_1 = ctx.accept(new PrologVisitor());
|
|
525
525
|
var directive = isInterface(tmp_1, Directive) ? tmp_1 : THROW_CCE();
|
|
526
|
-
var op = directive.
|
|
526
|
+
var op = directive.mx();
|
|
527
527
|
if (get_isOpDirective(op)) {
|
|
528
528
|
var tmp_2 = (isInterface(op, Struct) ? op : THROW_CCE()).get(0);
|
|
529
529
|
// Inline function 'kotlin.math.max' call
|
|
530
|
-
var b = (isInterface(tmp_2, Numeric) ? tmp_2 : THROW_CCE()).
|
|
530
|
+
var b = (isInterface(tmp_2, Numeric) ? tmp_2 : THROW_CCE()).nz().toInt();
|
|
531
531
|
// Inline function 'kotlin.math.min' call
|
|
532
532
|
var b_0 = Math.max(0, b);
|
|
533
533
|
var priority = Math.min(1200, b_0);
|
|
@@ -537,7 +537,7 @@
|
|
|
537
537
|
onOperatorDefined(this, new Operator(operator.e2(), specifier, priority));
|
|
538
538
|
} else {
|
|
539
539
|
if (isInterface(operator, List)) {
|
|
540
|
-
var tmp0 = operator.
|
|
540
|
+
var tmp0 = operator.vt();
|
|
541
541
|
var tmp$ret$3;
|
|
542
542
|
$l$block: {
|
|
543
543
|
// Inline function 'kotlin.sequences.all' call
|
|
@@ -552,7 +552,7 @@
|
|
|
552
552
|
tmp$ret$3 = true;
|
|
553
553
|
}
|
|
554
554
|
if (tmp$ret$3) {
|
|
555
|
-
var tmp_3 = operator.
|
|
555
|
+
var tmp_3 = operator.vt();
|
|
556
556
|
var _iterator__ex2g4s_0 = map(tmp_3, DynamicOpListener$exitClause$lambda).p();
|
|
557
557
|
while (_iterator__ex2g4s_0.s()) {
|
|
558
558
|
var it = _iterator__ex2g4s_0.t();
|
|
@@ -565,7 +565,7 @@
|
|
|
565
565
|
}
|
|
566
566
|
};
|
|
567
567
|
protoOf(DynamicOpListener).exitClause = function (ctx) {
|
|
568
|
-
return this.
|
|
568
|
+
return this.u38(ctx);
|
|
569
569
|
};
|
|
570
570
|
function parseException(token, message) {
|
|
571
571
|
return new ParseException(null, token.text, token.line, token.column, message, null);
|
|
@@ -585,7 +585,7 @@
|
|
|
585
585
|
function parseExpression($this, parserAndErrorStrategy, source) {
|
|
586
586
|
var mark = -1;
|
|
587
587
|
var index = -1;
|
|
588
|
-
var parser = parserAndErrorStrategy.
|
|
588
|
+
var parser = parserAndErrorStrategy.first;
|
|
589
589
|
var tmp;
|
|
590
590
|
try {
|
|
591
591
|
mark = parser.getTokenStream().mark();
|
|
@@ -598,7 +598,7 @@
|
|
|
598
598
|
if (isParseCancellationException(e) && parser._interp.predictionMode === PredictionMode.SLL) {
|
|
599
599
|
parser.getTokenStream().seek(index);
|
|
600
600
|
parser._interp.predictionMode = PredictionMode.LL;
|
|
601
|
-
parser._errHandler = parserAndErrorStrategy.
|
|
601
|
+
parser._errHandler = parserAndErrorStrategy.second;
|
|
602
602
|
parser.addErrorListener(newErrorListener($this, source));
|
|
603
603
|
tmp_1 = parseExpression($this, parserAndErrorStrategy, source);
|
|
604
604
|
} else if (e.clause !== null && isRecognitionException(e.cause)) {
|
|
@@ -618,7 +618,7 @@
|
|
|
618
618
|
function parseClause_1($this, parserAndErrorStrategy, source) {
|
|
619
619
|
var mark = -1;
|
|
620
620
|
var index = -1;
|
|
621
|
-
var parser = parserAndErrorStrategy.
|
|
621
|
+
var parser = parserAndErrorStrategy.first;
|
|
622
622
|
var tmp;
|
|
623
623
|
try {
|
|
624
624
|
mark = parser.getTokenStream().mark();
|
|
@@ -631,7 +631,7 @@
|
|
|
631
631
|
if (isParseCancellationException(e) && parser._interp.predictionMode === PredictionMode.SLL) {
|
|
632
632
|
parser.getTokenStream().seek(index);
|
|
633
633
|
parser._interp.predictionMode = PredictionMode.LL;
|
|
634
|
-
parser._errHandler = parserAndErrorStrategy.
|
|
634
|
+
parser._errHandler = parserAndErrorStrategy.second;
|
|
635
635
|
parser.addErrorListener(newErrorListener($this, source));
|
|
636
636
|
tmp_1 = parseClause_1($this, parserAndErrorStrategy, source);
|
|
637
637
|
} else if (e.clause !== null && isRecognitionException(e.cause)) {
|
|
@@ -655,13 +655,13 @@
|
|
|
655
655
|
return map(tmp_1, PrologParserFactory$parseClauses$lambda_2);
|
|
656
656
|
}
|
|
657
657
|
function PrologParserFactory$newErrorListener$1($whileParsing) {
|
|
658
|
-
this.
|
|
658
|
+
this.v38_1 = $whileParsing;
|
|
659
659
|
}
|
|
660
660
|
protoOf(PrologParserFactory$newErrorListener$1).syntaxError = function (recognizer, offendingSymbol, line, column, msg, e) {
|
|
661
661
|
if (recognizer instanceof PrologParser) {
|
|
662
662
|
recognizer.removeParseListeners();
|
|
663
663
|
}
|
|
664
|
-
throw new ParseException(this.
|
|
664
|
+
throw new ParseException(this.v38_1, symbolToString(this, offendingSymbol), line, column + 1 | 0, msg, e);
|
|
665
665
|
};
|
|
666
666
|
function PrologParserFactory$parseClauses$lambda(it) {
|
|
667
667
|
return it + 1 | 0;
|
|
@@ -692,15 +692,15 @@
|
|
|
692
692
|
}
|
|
693
693
|
function PrologParserFactory() {
|
|
694
694
|
}
|
|
695
|
-
protoOf(PrologParserFactory).
|
|
696
|
-
var parser = this.
|
|
695
|
+
protoOf(PrologParserFactory).w38 = function (string, withOperators) {
|
|
696
|
+
var parser = this.x38(string, withOperators);
|
|
697
697
|
return parseExpression(this, parser, string);
|
|
698
698
|
};
|
|
699
|
-
protoOf(PrologParserFactory).
|
|
700
|
-
var parser = this.
|
|
699
|
+
protoOf(PrologParserFactory).y38 = function (source, withOperators) {
|
|
700
|
+
var parser = this.x38(source, withOperators);
|
|
701
701
|
return parseClauses(this, parser, source);
|
|
702
702
|
};
|
|
703
|
-
protoOf(PrologParserFactory).
|
|
703
|
+
protoOf(PrologParserFactory).x38 = function (source, operators) {
|
|
704
704
|
var stream = new InputStream(source);
|
|
705
705
|
var lexer = new PrologLexer(stream);
|
|
706
706
|
lexer.removeErrorListeners();
|
|
@@ -710,16 +710,16 @@
|
|
|
710
710
|
var originalErrorStrategy = parser._errHandler;
|
|
711
711
|
parser._errHandler = new BailErrorStrategy();
|
|
712
712
|
parser._interp.predictionMode = PredictionMode.SLL;
|
|
713
|
-
return to(this.
|
|
713
|
+
return to(this.z38(parser, operators), originalErrorStrategy);
|
|
714
714
|
};
|
|
715
|
-
protoOf(PrologParserFactory).
|
|
715
|
+
protoOf(PrologParserFactory).z38 = function (prologParser, operators) {
|
|
716
716
|
// Inline function 'kotlin.collections.forEach' call
|
|
717
717
|
var _iterator__ex2g4s = operators.p();
|
|
718
718
|
while (_iterator__ex2g4s.s()) {
|
|
719
719
|
var element = _iterator__ex2g4s.t();
|
|
720
|
-
prologParser.addOperator(element.
|
|
720
|
+
prologParser.addOperator(element.e1h_1, toAssociativity(element.f1h_1), element.g1h_1);
|
|
721
721
|
}
|
|
722
|
-
prologParser.addParseListener(Companion_instance_2.
|
|
722
|
+
prologParser.addParseListener(Companion_instance_2.t38(prologParser));
|
|
723
723
|
return prologParser;
|
|
724
724
|
};
|
|
725
725
|
var PrologParserFactory_instance;
|
|
@@ -789,9 +789,9 @@
|
|
|
789
789
|
}
|
|
790
790
|
function postfix($this, term, ops) {
|
|
791
791
|
var operator = ops.p();
|
|
792
|
-
var result = $this.
|
|
792
|
+
var result = $this.a39_1.structOf(operator.t(), [term]);
|
|
793
793
|
while (operator.s()) {
|
|
794
|
-
result = $this.
|
|
794
|
+
result = $this.a39_1.structOf(operator.t(), [result]);
|
|
795
795
|
}
|
|
796
796
|
return result;
|
|
797
797
|
}
|
|
@@ -815,9 +815,9 @@
|
|
|
815
815
|
var i = ops.v() - 1 | 0;
|
|
816
816
|
var _unary__edvuaz = i;
|
|
817
817
|
i = _unary__edvuaz - 1 | 0;
|
|
818
|
-
var result = $this.
|
|
818
|
+
var result = $this.a39_1.structOf(ops.w(_unary__edvuaz), [term]);
|
|
819
819
|
while (i >= 0) {
|
|
820
|
-
result = $this.
|
|
820
|
+
result = $this.a39_1.structOf(ops.w(i), [result]);
|
|
821
821
|
i = i - 1 | 0;
|
|
822
822
|
}
|
|
823
823
|
return result;
|
|
@@ -865,7 +865,7 @@
|
|
|
865
865
|
return infixNonAssociative($this, operands, operators);
|
|
866
866
|
}
|
|
867
867
|
function infixNonAssociative($this, terms, ops) {
|
|
868
|
-
return $this.
|
|
868
|
+
return $this.a39_1.structOf(ops.w(0), [terms.w(0), terms.w(1)]);
|
|
869
869
|
}
|
|
870
870
|
function handleOuters($this, expression, outers) {
|
|
871
871
|
var result = expression;
|
|
@@ -924,12 +924,12 @@
|
|
|
924
924
|
var j = ops.v() - 1 | 0;
|
|
925
925
|
var _unary__edvuaz = j;
|
|
926
926
|
j = _unary__edvuaz - 1 | 0;
|
|
927
|
-
var result = $this.
|
|
927
|
+
var result = $this.a39_1.structOf(ops.w(_unary__edvuaz), [terms.w(i - 1 | 0), terms.w(i)]);
|
|
928
928
|
i = i - 2 | 0;
|
|
929
929
|
while (i >= 0) {
|
|
930
930
|
var _unary__edvuaz_0 = j;
|
|
931
931
|
j = _unary__edvuaz_0 - 1 | 0;
|
|
932
|
-
result = $this.
|
|
932
|
+
result = $this.a39_1.structOf(ops.w(_unary__edvuaz_0), [terms.w(i), result]);
|
|
933
933
|
i = i - 1 | 0;
|
|
934
934
|
}
|
|
935
935
|
return result;
|
|
@@ -945,11 +945,11 @@
|
|
|
945
945
|
var tmp_0 = terms.w(_unary__edvuaz_0);
|
|
946
946
|
var _unary__edvuaz_1 = i;
|
|
947
947
|
i = _unary__edvuaz_1 + 1 | 0;
|
|
948
|
-
var result = $this.
|
|
948
|
+
var result = $this.a39_1.structOf(tmp, [tmp_0, terms.w(_unary__edvuaz_1)]);
|
|
949
949
|
while (i < terms.v()) {
|
|
950
950
|
var _unary__edvuaz_2 = j;
|
|
951
951
|
j = _unary__edvuaz_2 + 1 | 0;
|
|
952
|
-
result = $this.
|
|
952
|
+
result = $this.a39_1.structOf(ops.w(_unary__edvuaz_2), [result, terms.w(i)]);
|
|
953
953
|
i = i + 1 | 0;
|
|
954
954
|
}
|
|
955
955
|
return result;
|
|
@@ -998,7 +998,7 @@
|
|
|
998
998
|
}
|
|
999
999
|
function PrologVisitor$visitExpression$ref(p0) {
|
|
1000
1000
|
var l = function (_this__u8e3s4) {
|
|
1001
|
-
return p0.
|
|
1001
|
+
return p0.b39(_this__u8e3s4);
|
|
1002
1002
|
};
|
|
1003
1003
|
l.callableName = 'visitExpression';
|
|
1004
1004
|
return l;
|
|
@@ -1011,30 +1011,30 @@
|
|
|
1011
1011
|
function PrologVisitor(scope) {
|
|
1012
1012
|
scope = scope === VOID ? Companion_instance.empty() : scope;
|
|
1013
1013
|
PrologParserVisitor.call(this);
|
|
1014
|
-
this.
|
|
1014
|
+
this.a39_1 = scope;
|
|
1015
1015
|
}
|
|
1016
|
-
protoOf(PrologVisitor).
|
|
1017
|
-
return this.
|
|
1016
|
+
protoOf(PrologVisitor).c39 = function (ctx) {
|
|
1017
|
+
return this.d39(ctx.term());
|
|
1018
1018
|
};
|
|
1019
1019
|
protoOf(PrologVisitor).visitSingletonTerm = function (ctx) {
|
|
1020
|
-
return this.
|
|
1020
|
+
return this.c39(ctx);
|
|
1021
1021
|
};
|
|
1022
|
-
protoOf(PrologVisitor).
|
|
1023
|
-
return this.
|
|
1022
|
+
protoOf(PrologVisitor).e39 = function (ctx) {
|
|
1023
|
+
return this.b39(ctx.expression());
|
|
1024
1024
|
};
|
|
1025
1025
|
protoOf(PrologVisitor).visitSingletonExpression = function (ctx) {
|
|
1026
|
-
return this.
|
|
1026
|
+
return this.e39(ctx);
|
|
1027
1027
|
};
|
|
1028
|
-
protoOf(PrologVisitor).
|
|
1028
|
+
protoOf(PrologVisitor).f39 = function (ctx) {
|
|
1029
1029
|
return termToClause(ctx.expression().accept(this), null, ensureNotNull(ctx.start).line, ensureNotNull(ctx.start).column);
|
|
1030
1030
|
};
|
|
1031
1031
|
protoOf(PrologVisitor).visitClause = function (ctx) {
|
|
1032
|
-
return this.
|
|
1032
|
+
return this.f39(ctx);
|
|
1033
1033
|
};
|
|
1034
|
-
protoOf(PrologVisitor).
|
|
1034
|
+
protoOf(PrologVisitor).b39 = function (ctx) {
|
|
1035
1035
|
var tmp;
|
|
1036
1036
|
if (ctx.isTerm) {
|
|
1037
|
-
tmp = this.
|
|
1037
|
+
tmp = this.d39(ensureNotNull(ctx.left));
|
|
1038
1038
|
} else if (contains(Associativity.INFIX, ctx.associativity)) {
|
|
1039
1039
|
tmp = visitInfixExpression(this, ctx);
|
|
1040
1040
|
} else if (contains(Associativity.POSTFIX, ctx.associativity)) {
|
|
@@ -1047,12 +1047,12 @@
|
|
|
1047
1047
|
return handleOuters(this, tmp, flatten_0(this, asList(ctx.outers)));
|
|
1048
1048
|
};
|
|
1049
1049
|
protoOf(PrologVisitor).visitExpression = function (ctx) {
|
|
1050
|
-
return this.
|
|
1050
|
+
return this.b39(ctx);
|
|
1051
1051
|
};
|
|
1052
|
-
protoOf(PrologVisitor).
|
|
1052
|
+
protoOf(PrologVisitor).d39 = function (ctx) {
|
|
1053
1053
|
var tmp;
|
|
1054
1054
|
if (ctx.isExpr) {
|
|
1055
|
-
tmp = this.
|
|
1055
|
+
tmp = this.b39(ctx.expression());
|
|
1056
1056
|
} else {
|
|
1057
1057
|
var tmp_0 = ctx.children[0].accept(this);
|
|
1058
1058
|
tmp = (!(tmp_0 == null) ? isInterface(tmp_0, Term) : false) ? tmp_0 : THROW_CCE();
|
|
@@ -1060,23 +1060,23 @@
|
|
|
1060
1060
|
return tmp;
|
|
1061
1061
|
};
|
|
1062
1062
|
protoOf(PrologVisitor).visitTerm = function (ctx) {
|
|
1063
|
-
return this.
|
|
1063
|
+
return this.d39(ctx);
|
|
1064
1064
|
};
|
|
1065
|
-
protoOf(PrologVisitor).
|
|
1065
|
+
protoOf(PrologVisitor).g39 = function (ctx) {
|
|
1066
1066
|
var value = parseInteger_0(this, ctx);
|
|
1067
1067
|
return Companion_getInstance_2().ofBigInteger(value);
|
|
1068
1068
|
};
|
|
1069
1069
|
protoOf(PrologVisitor).visitInteger = function (ctx) {
|
|
1070
|
-
return this.
|
|
1070
|
+
return this.g39(ctx);
|
|
1071
1071
|
};
|
|
1072
|
-
protoOf(PrologVisitor).
|
|
1072
|
+
protoOf(PrologVisitor).h39 = function (ctx) {
|
|
1073
1073
|
var tmp = ctx.children[0].accept(this);
|
|
1074
1074
|
return (!(tmp == null) ? isInterface(tmp, Term) : false) ? tmp : THROW_CCE();
|
|
1075
1075
|
};
|
|
1076
1076
|
protoOf(PrologVisitor).visitNumber = function (ctx) {
|
|
1077
|
-
return this.
|
|
1077
|
+
return this.h39(ctx);
|
|
1078
1078
|
};
|
|
1079
|
-
protoOf(PrologVisitor).
|
|
1079
|
+
protoOf(PrologVisitor).i39 = function (ctx) {
|
|
1080
1080
|
var raw = ctx.value.text;
|
|
1081
1081
|
if (!(ctx.sign == null)) {
|
|
1082
1082
|
var tmp0_safe_receiver = ctx.sign;
|
|
@@ -1097,39 +1097,39 @@
|
|
|
1097
1097
|
return tmp;
|
|
1098
1098
|
};
|
|
1099
1099
|
protoOf(PrologVisitor).visitReal = function (ctx) {
|
|
1100
|
-
return this.
|
|
1100
|
+
return this.i39(ctx);
|
|
1101
1101
|
};
|
|
1102
|
-
protoOf(PrologVisitor).
|
|
1102
|
+
protoOf(PrologVisitor).j39 = function (ctx) {
|
|
1103
1103
|
var tmp;
|
|
1104
1104
|
if (ctx.isAnonymous) {
|
|
1105
|
-
tmp = this.
|
|
1105
|
+
tmp = this.a39_1.anonymous();
|
|
1106
1106
|
} else {
|
|
1107
|
-
tmp = this.
|
|
1107
|
+
tmp = this.a39_1.varOf(ctx.value.text);
|
|
1108
1108
|
}
|
|
1109
1109
|
return tmp;
|
|
1110
1110
|
};
|
|
1111
1111
|
protoOf(PrologVisitor).visitVariable = function (ctx) {
|
|
1112
|
-
return this.
|
|
1112
|
+
return this.j39(ctx);
|
|
1113
1113
|
};
|
|
1114
|
-
protoOf(PrologVisitor).
|
|
1114
|
+
protoOf(PrologVisitor).k39 = function (ctx) {
|
|
1115
1115
|
var tmp;
|
|
1116
1116
|
if (ctx.isList) {
|
|
1117
|
-
tmp = this.
|
|
1117
|
+
tmp = this.a39_1.logicListOf([]);
|
|
1118
1118
|
} else if (ctx.isBlock) {
|
|
1119
|
-
tmp = this.
|
|
1119
|
+
tmp = this.a39_1.blockOf([]);
|
|
1120
1120
|
} else if (ctx.arity === 0) {
|
|
1121
|
-
tmp = this.
|
|
1121
|
+
tmp = this.a39_1.atomOf(ctx.functor.text);
|
|
1122
1122
|
} else {
|
|
1123
1123
|
var tmp_0 = ctx.functor.text;
|
|
1124
1124
|
var tmp_1 = asSequence_0(ctx.args);
|
|
1125
|
-
tmp = this.
|
|
1125
|
+
tmp = this.a39_1.structOfSequence(tmp_0, map(tmp_1, PrologVisitor$visitExpression$ref(this)));
|
|
1126
1126
|
}
|
|
1127
1127
|
return tmp;
|
|
1128
1128
|
};
|
|
1129
1129
|
protoOf(PrologVisitor).visitStructure = function (ctx) {
|
|
1130
|
-
return this.
|
|
1130
|
+
return this.k39(ctx);
|
|
1131
1131
|
};
|
|
1132
|
-
protoOf(PrologVisitor).
|
|
1132
|
+
protoOf(PrologVisitor).l39 = function (ctx) {
|
|
1133
1133
|
// Inline function 'kotlin.collections.map' call
|
|
1134
1134
|
var this_0 = ctx.items;
|
|
1135
1135
|
// Inline function 'kotlin.collections.mapTo' call
|
|
@@ -1139,26 +1139,26 @@
|
|
|
1139
1139
|
while (inductionVariable < last) {
|
|
1140
1140
|
var item = this_0[inductionVariable];
|
|
1141
1141
|
inductionVariable = inductionVariable + 1 | 0;
|
|
1142
|
-
var tmp$ret$0 = this.
|
|
1142
|
+
var tmp$ret$0 = this.b39(item);
|
|
1143
1143
|
destination.m(tmp$ret$0);
|
|
1144
1144
|
}
|
|
1145
1145
|
var terms = destination;
|
|
1146
1146
|
var tmp;
|
|
1147
1147
|
if (ctx.hasTail) {
|
|
1148
1148
|
var tmp0_safe_receiver = ctx.tail;
|
|
1149
|
-
tmp = this.
|
|
1149
|
+
tmp = this.a39_1.w10(terms, tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this));
|
|
1150
1150
|
} else {
|
|
1151
|
-
tmp = this.
|
|
1151
|
+
tmp = this.a39_1.logicListOfIterable(terms);
|
|
1152
1152
|
}
|
|
1153
1153
|
return tmp;
|
|
1154
1154
|
};
|
|
1155
1155
|
protoOf(PrologVisitor).visitList = function (ctx) {
|
|
1156
|
-
return this.
|
|
1156
|
+
return this.l39(ctx);
|
|
1157
1157
|
};
|
|
1158
|
-
protoOf(PrologVisitor).
|
|
1158
|
+
protoOf(PrologVisitor).m39 = function (ctx) {
|
|
1159
1159
|
var tmp;
|
|
1160
1160
|
if (ctx.length === 1) {
|
|
1161
|
-
tmp = this.
|
|
1161
|
+
tmp = this.a39_1.blockOf([ctx.items[0].accept(this)]);
|
|
1162
1162
|
} else {
|
|
1163
1163
|
// Inline function 'kotlin.collections.map' call
|
|
1164
1164
|
var this_0 = ctx.items;
|
|
@@ -1169,32 +1169,32 @@
|
|
|
1169
1169
|
while (inductionVariable < last) {
|
|
1170
1170
|
var item = this_0[inductionVariable];
|
|
1171
1171
|
inductionVariable = inductionVariable + 1 | 0;
|
|
1172
|
-
var tmp$ret$0 = this.
|
|
1172
|
+
var tmp$ret$0 = this.b39(item);
|
|
1173
1173
|
destination.m(tmp$ret$0);
|
|
1174
1174
|
}
|
|
1175
|
-
tmp = this.
|
|
1175
|
+
tmp = this.a39_1.blockOfIterable(destination);
|
|
1176
1176
|
}
|
|
1177
1177
|
return tmp;
|
|
1178
1178
|
};
|
|
1179
1179
|
protoOf(PrologVisitor).visitBlock = function (ctx) {
|
|
1180
|
-
return this.
|
|
1180
|
+
return this.m39(ctx);
|
|
1181
1181
|
};
|
|
1182
1182
|
function termParserWithOperators(operators, scope) {
|
|
1183
1183
|
scope = scope === VOID ? Companion_instance.empty() : scope;
|
|
1184
1184
|
return new TermParserImpl(scope, operators);
|
|
1185
1185
|
}
|
|
1186
1186
|
function TermParserImpl(scope, defaultOperatorSet) {
|
|
1187
|
-
this.
|
|
1188
|
-
this.
|
|
1187
|
+
this.n39_1 = scope;
|
|
1188
|
+
this.o39_1 = defaultOperatorSet;
|
|
1189
1189
|
}
|
|
1190
|
-
protoOf(TermParserImpl).
|
|
1191
|
-
return this.
|
|
1190
|
+
protoOf(TermParserImpl).q38 = function () {
|
|
1191
|
+
return this.o39_1;
|
|
1192
1192
|
};
|
|
1193
|
-
protoOf(TermParserImpl).
|
|
1194
|
-
return PrologParserFactory_instance.
|
|
1193
|
+
protoOf(TermParserImpl).p39 = function (input, operators) {
|
|
1194
|
+
return PrologParserFactory_instance.w38(input, operators).accept(new PrologVisitor(this.n39_1));
|
|
1195
1195
|
};
|
|
1196
1196
|
protoOf(TermParserImpl).parseTermWithOperators = function (input, operators) {
|
|
1197
|
-
return this.
|
|
1197
|
+
return this.p39(input, operators);
|
|
1198
1198
|
};
|
|
1199
1199
|
//region block: post-declaration
|
|
1200
1200
|
protoOf(TermParserImpl).parseTerm = parseTerm;
|