@tuprolog/2p-full 2.0.5 → 2.0.9

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.
Files changed (70) hide show
  1. package/2p-bdd.js +172 -172
  2. package/2p-bdd.js.map +1 -1
  3. package/2p-core.js +3593 -3366
  4. package/2p-core.js.map +1 -1
  5. package/2p-datalog.js.map +1 -1
  6. package/2p-dsl-core.js.map +1 -1
  7. package/2p-dsl-solve.js.map +1 -1
  8. package/2p-dsl-theory.js.map +1 -1
  9. package/2p-dsl-unify.js.map +1 -1
  10. package/2p-full.js +17 -4
  11. package/2p-full.js.map +1 -1
  12. package/2p-gui-plp.js.map +1 -1
  13. package/2p-gui.js.map +1 -1
  14. package/2p-ide-web.js.map +1 -1
  15. package/2p-io-lib.js +3489 -5
  16. package/2p-io-lib.js.map +1 -1
  17. package/2p-oop-lib.js +3382 -5
  18. package/2p-oop-lib.js.map +1 -1
  19. package/2p-parser-core.js +616 -5
  20. package/2p-parser-core.js.map +1 -1
  21. package/2p-parser-impl.js +5636 -5
  22. package/2p-parser-impl.js.map +1 -1
  23. package/2p-parser-theory.js +278 -5
  24. package/2p-parser-theory.js.map +1 -1
  25. package/2p-repl.js +533 -5
  26. package/2p-repl.js.map +1 -1
  27. package/2p-serialize-core.js.map +1 -1
  28. package/2p-serialize-theory.js.map +1 -1
  29. package/2p-solve-classic.js +1050 -1050
  30. package/2p-solve-classic.js.map +1 -1
  31. package/2p-solve-concurrent.js.map +1 -1
  32. package/2p-solve-plp.js +3 -3
  33. package/2p-solve-plp.js.map +1 -1
  34. package/2p-solve-problog.js +1450 -1444
  35. package/2p-solve-problog.js.map +1 -1
  36. package/2p-solve-streams.js +1033 -1033
  37. package/2p-solve-streams.js.map +1 -1
  38. package/2p-solve.js +5580 -4490
  39. package/2p-solve.js.map +1 -1
  40. package/2p-test-dsl.js.map +1 -1
  41. package/2p-theory.js +1725 -1725
  42. package/2p-theory.js.map +1 -1
  43. package/2p-unify.js +375 -375
  44. package/2p-unify.js.map +1 -1
  45. package/2p-utils.js +546 -493
  46. package/2p-utils.js.map +1 -1
  47. package/clikt-clikt-mordant.js +311 -5
  48. package/clikt-clikt-mordant.js.map +1 -1
  49. package/clikt-clikt.js +6672 -5
  50. package/clikt-clikt.js.map +1 -1
  51. package/colormath-root-colormath.js +1654 -5
  52. package/colormath-root-colormath.js.map +1 -1
  53. package/kotlin-kotlin-stdlib.js +5400 -2597
  54. package/kotlin-kotlin-stdlib.js.map +1 -1
  55. package/kotlin-kotlin-test.js.map +1 -1
  56. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -1
  57. package/kotlinx-atomicfu.js.map +1 -1
  58. package/kotlinx-coroutines-core.js.map +1 -1
  59. package/kotlinx-serialization-kotlinx-serialization-core.js.map +1 -1
  60. package/kotlinx-serialization-kotlinx-serialization-json.js.map +1 -1
  61. package/kt-math.js +1622 -1614
  62. package/kt-math.js.map +1 -1
  63. package/mordant-mordant-omnibus.js.map +1 -1
  64. package/mordant-mordant.js +10375 -5
  65. package/mordant-mordant.js.map +1 -1
  66. package/okio-parent-okio-nodefilesystem.js +201 -5
  67. package/okio-parent-okio-nodefilesystem.js.map +1 -1
  68. package/okio-parent-okio.js +3863 -5
  69. package/okio-parent-okio.js.map +1 -1
  70. package/package.json +4 -4
package/2p-repl.js CHANGED
@@ -1,13 +1,541 @@
1
1
  (function (factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports'], factory);
3
+ define(['exports', './kotlin-kotlin-stdlib.js', './2p-solve.js', './2p-core.js', './clikt-clikt.js', './clikt-clikt-mordant.js', './mordant-mordant.js', './2p-theory.js', './2p-parser-core.js', './2p-io-lib.js', './2p-oop-lib.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports);
6
- else
7
- globalThis['2p-repl'] = factory(typeof globalThis['2p-repl'] === 'undefined' ? {} : globalThis['2p-repl']);
8
- }(function (_) {
5
+ factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-solve.js'), require('./2p-core.js'), require('./clikt-clikt.js'), require('./clikt-clikt-mordant.js'), require('./mordant-mordant.js'), require('./2p-theory.js'), require('./2p-parser-core.js'), require('./2p-io-lib.js'), require('./2p-oop-lib.js'));
6
+ else {
7
+ if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
8
+ throw new Error("Error loading module '2p-repl'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-repl'.");
9
+ }
10
+ if (typeof globalThis['2p-solve'] === 'undefined') {
11
+ throw new Error("Error loading module '2p-repl'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-repl'.");
12
+ }
13
+ if (typeof globalThis['2p-core'] === 'undefined') {
14
+ throw new Error("Error loading module '2p-repl'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-repl'.");
15
+ }
16
+ if (typeof globalThis['clikt-clikt'] === 'undefined') {
17
+ throw new Error("Error loading module '2p-repl'. Its dependency 'clikt-clikt' was not found. Please, check whether 'clikt-clikt' is loaded prior to '2p-repl'.");
18
+ }
19
+ if (typeof globalThis['clikt-clikt-mordant'] === 'undefined') {
20
+ throw new Error("Error loading module '2p-repl'. Its dependency 'clikt-clikt-mordant' was not found. Please, check whether 'clikt-clikt-mordant' is loaded prior to '2p-repl'.");
21
+ }
22
+ if (typeof globalThis['mordant-mordant'] === 'undefined') {
23
+ throw new Error("Error loading module '2p-repl'. Its dependency 'mordant-mordant' was not found. Please, check whether 'mordant-mordant' is loaded prior to '2p-repl'.");
24
+ }
25
+ if (typeof globalThis['2p-theory'] === 'undefined') {
26
+ throw new Error("Error loading module '2p-repl'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-repl'.");
27
+ }
28
+ if (typeof globalThis['2p-parser-core'] === 'undefined') {
29
+ throw new Error("Error loading module '2p-repl'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to '2p-repl'.");
30
+ }
31
+ if (typeof globalThis['2p-io-lib'] === 'undefined') {
32
+ throw new Error("Error loading module '2p-repl'. Its dependency '2p-io-lib' was not found. Please, check whether '2p-io-lib' is loaded prior to '2p-repl'.");
33
+ }
34
+ if (typeof globalThis['2p-oop-lib'] === 'undefined') {
35
+ throw new Error("Error loading module '2p-repl'. Its dependency '2p-oop-lib' was not found. Please, check whether '2p-oop-lib' is loaded prior to '2p-repl'.");
36
+ }
37
+ globalThis['2p-repl'] = factory(typeof globalThis['2p-repl'] === 'undefined' ? {} : globalThis['2p-repl'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-solve'], globalThis['2p-core'], globalThis['clikt-clikt'], globalThis['clikt-clikt-mordant'], globalThis['mordant-mordant'], globalThis['2p-theory'], globalThis['2p-parser-core'], globalThis['2p-io-lib'], globalThis['2p-oop-lib']);
38
+ }
39
+ }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_core, kotlin_clikt_clikt, kotlin_clikt_clikt_mordant, kotlin_mordant_mordant, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_io_lib, kotlin_it_unibo_tuprolog_oop_lib) {
9
40
  'use strict';
41
+ //region block: imports
42
+ var noWhenBranchMatchedException = kotlin_kotlin.$_$.qe;
43
+ var Unit_instance = kotlin_kotlin.$_$.r;
44
+ var Halt = kotlin_it_unibo_tuprolog_solve.$_$.k4;
45
+ var isInterface = kotlin_kotlin.$_$.j8;
46
+ var No = kotlin_it_unibo_tuprolog_solve.$_$.l4;
47
+ var Yes = kotlin_it_unibo_tuprolog_solve.$_$.m4;
48
+ var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.r1;
49
+ var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
50
+ var ProgramResult = kotlin_clikt_clikt.$_$.c;
51
+ var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.q2;
52
+ var StringBuilder = kotlin_kotlin.$_$.pb;
53
+ var THROW_CCE = kotlin_kotlin.$_$.ge;
54
+ var isCharSequence = kotlin_kotlin.$_$.h8;
55
+ var trim = kotlin_kotlin.$_$.qd;
56
+ var toString = kotlin_kotlin.$_$.u8;
57
+ var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
58
+ var endsWith = kotlin_kotlin.$_$.ac;
59
+ var get_terminal = kotlin_clikt_clikt_mordant.$_$.b;
60
+ var VOID = kotlin_kotlin.$_$.b;
61
+ var prompt = kotlin_mordant_mordant.$_$.c;
62
+ var CliktCommand = kotlin_clikt_clikt_mordant.$_$.a;
63
+ var emptyMap = kotlin_kotlin.$_$.k3;
64
+ var protoOf = kotlin_kotlin.$_$.r8;
65
+ var charSequenceLength = kotlin_kotlin.$_$.n7;
66
+ var charCodeAt = kotlin_kotlin.$_$.l7;
67
+ var toString_0 = kotlin_kotlin.$_$.h;
68
+ var titlecase = kotlin_kotlin.$_$.ed;
69
+ var isLowerCase = kotlin_kotlin.$_$.gc;
70
+ var substring = kotlin_kotlin.$_$.bd;
71
+ var initMetadataForClass = kotlin_kotlin.$_$.a8;
72
+ var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.i1;
73
+ var objectCreate = kotlin_kotlin.$_$.q8;
74
+ var captureStack = kotlin_kotlin.$_$.i7;
75
+ var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
76
+ var initMetadataForCompanion = kotlin_kotlin.$_$.b8;
77
+ var KProperty1 = kotlin_kotlin.$_$.s9;
78
+ var getPropertyCallableRef = kotlin_kotlin.$_$.x7;
79
+ var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
80
+ var trimMargin = kotlin_kotlin.$_$.od;
81
+ var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
82
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.x;
83
+ var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
84
+ var constructCallableReference = kotlin_kotlin.$_$.q7;
85
+ var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.z;
86
+ var joinToString = kotlin_kotlin.$_$.t3;
87
+ var option = kotlin_clikt_clikt.$_$.l;
88
+ var multiple = kotlin_clikt_clikt.$_$.k;
89
+ var int = kotlin_clikt_clikt.$_$.m;
90
+ var default_0 = kotlin_clikt_clikt.$_$.i;
91
+ var flag = kotlin_clikt_clikt.$_$.j;
92
+ var fromInt = kotlin_kotlin.$_$.v6;
93
+ var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.t;
94
+ var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.k1;
95
+ var IOLib_getInstance = kotlin_it_unibo_tuprolog_io_lib.$_$.a;
96
+ var arrayConcat = kotlin_kotlin.$_$.a;
97
+ var OOPLib_getInstance = kotlin_it_unibo_tuprolog_oop_lib.$_$.a;
98
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.t1;
99
+ var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
100
+ var NotImplementedError = kotlin_kotlin.$_$.be;
101
+ var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.c;
102
+ var argument = kotlin_clikt_clikt.$_$.h;
103
+ var subcommands = kotlin_clikt_clikt.$_$.f;
104
+ var main = kotlin_clikt_clikt.$_$.d;
105
+ //endregion
10
106
  //region block: pre-declaration
107
+ initMetadataForClass(AbstractTuPrologCommand, 'AbstractTuPrologCommand', VOID, CliktCommand);
108
+ initMetadataForClass(NullInputException, 'NullInputException', VOID, TuPrologException);
109
+ initMetadataForCompanion(Companion);
110
+ initMetadataForClass(TuPrologCmd, 'TuPrologCmd', VOID, AbstractTuPrologCommand);
111
+ initMetadataForClass(TuPrologSolveQuery, 'TuPrologSolveQuery', TuPrologSolveQuery, AbstractTuPrologCommand);
112
+ //endregion
113
+ function printSolution($this, sol, operatorSet) {
114
+ if (isInterface(sol, Yes)) {
115
+ printYesSolution($this, sol, operatorSet);
116
+ } else {
117
+ if (isInterface(sol, No)) {
118
+ printNoSolution($this, sol, operatorSet);
119
+ } else {
120
+ if (isInterface(sol, Halt)) {
121
+ printHaltSolution($this, sol, operatorSet);
122
+ } else {
123
+ noWhenBranchMatchedException();
124
+ }
125
+ }
126
+ }
127
+ }
128
+ function printYesSolution($this, sol, operatorSet) {
129
+ $this.echo$default_d8zfhf_k$(format(sol, Companion_instance.withOperators(operatorSet)));
130
+ }
131
+ function printHaltSolution($this, sol, operatorSet) {
132
+ var ex = sol.get_exception_x0n6w6_k$();
133
+ if (ex instanceof HaltException) {
134
+ $this.echo$default_d8zfhf_k$('# goodbye.');
135
+ throw new ProgramResult(ex.exitStatus);
136
+ } else {
137
+ $this.echo$default_d8zfhf_k$(format(sol, Companion_instance.withOperators(operatorSet)));
138
+ }
139
+ }
140
+ function printEndOfSolutions($this) {
141
+ }
142
+ function readQueryMultiline($this, query) {
143
+ var longQuery = new StringBuilder(query);
144
+ var lastRead = query;
145
+ $l$loop: while (true) {
146
+ // Inline function 'kotlin.text.trim' call
147
+ var this_0 = lastRead;
148
+ var tmp$ret$0 = toString(trim(isCharSequence(this_0) ? this_0 : THROW_CCE()));
149
+ if (!!endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
150
+ break $l$loop;
151
+ }
152
+ var tmp0_elvis_lhs = prompt(get_terminal($this), '>', VOID, VOID, VOID, VOID, VOID, ' ');
153
+ var tmp;
154
+ if (tmp0_elvis_lhs == null) {
155
+ throw NullInputException_init_$Create$('The standard input has been closed unexpectedly');
156
+ } else {
157
+ tmp = tmp0_elvis_lhs;
158
+ }
159
+ lastRead = tmp;
160
+ longQuery.append_22ad7x_k$(lastRead);
161
+ }
162
+ return longQuery.toString();
163
+ }
164
+ function printNoSolution($this, sol, operatorSet) {
165
+ $this.echo$default_d8zfhf_k$(format(sol, Companion_instance.withOperators(operatorSet)));
166
+ }
167
+ function AbstractTuPrologCommand(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hiddenFromHelp) {
168
+ help = help === VOID ? '' : help;
169
+ epilog = epilog === VOID ? '' : epilog;
170
+ name = name === VOID ? null : name;
171
+ invokeWithoutSubcommand = invokeWithoutSubcommand === VOID ? false : invokeWithoutSubcommand;
172
+ printHelpOnEmptyArgs = printHelpOnEmptyArgs === VOID ? false : printHelpOnEmptyArgs;
173
+ helpTags = helpTags === VOID ? emptyMap() : helpTags;
174
+ autoCompleteEnvvar = autoCompleteEnvvar === VOID ? '' : autoCompleteEnvvar;
175
+ allowMultipleSubcommands = allowMultipleSubcommands === VOID ? false : allowMultipleSubcommands;
176
+ treatUnknownOptionsAsArgs = treatUnknownOptionsAsArgs === VOID ? false : treatUnknownOptionsAsArgs;
177
+ hiddenFromHelp = hiddenFromHelp === VOID ? false : hiddenFromHelp;
178
+ CliktCommand.call(this, name);
179
+ this.help_1 = help;
180
+ this.epilog_1 = epilog;
181
+ this.invokeWithoutSubcommand_2 = invokeWithoutSubcommand;
182
+ this.printHelpOnEmptyArgs_2 = printHelpOnEmptyArgs;
183
+ this.helpTags_2 = helpTags;
184
+ this.autoCompleteEnvvar_2 = autoCompleteEnvvar;
185
+ this.allowMultipleSubcommands_2 = allowMultipleSubcommands;
186
+ this.treatUnknownOptionsAsArgs_2 = treatUnknownOptionsAsArgs;
187
+ this.hiddenFromHelp_2 = hiddenFromHelp;
188
+ }
189
+ protoOf(AbstractTuPrologCommand).get_invokeWithoutSubcommand_34omfi_k$ = function () {
190
+ return this.invokeWithoutSubcommand_2;
191
+ };
192
+ protoOf(AbstractTuPrologCommand).get_printHelpOnEmptyArgs_9s9u9y_k$ = function () {
193
+ return this.printHelpOnEmptyArgs_2;
194
+ };
195
+ protoOf(AbstractTuPrologCommand).get_helpTags_q5ym6b_k$ = function () {
196
+ return this.helpTags_2;
197
+ };
198
+ protoOf(AbstractTuPrologCommand).get_autoCompleteEnvvar_cors51_k$ = function () {
199
+ return this.autoCompleteEnvvar_2;
200
+ };
201
+ protoOf(AbstractTuPrologCommand).get_allowMultipleSubcommands_8lbp2g_k$ = function () {
202
+ return this.allowMultipleSubcommands_2;
203
+ };
204
+ protoOf(AbstractTuPrologCommand).get_treatUnknownOptionsAsArgs_9im5nw_k$ = function () {
205
+ return this.treatUnknownOptionsAsArgs_2;
206
+ };
207
+ protoOf(AbstractTuPrologCommand).get_hiddenFromHelp_2g64ta_k$ = function () {
208
+ return this.hiddenFromHelp_2;
209
+ };
210
+ protoOf(AbstractTuPrologCommand).help_bkvmun_k$ = function (context) {
211
+ return this.help_1;
212
+ };
213
+ protoOf(AbstractTuPrologCommand).helpEpilog_jniqzb_k$ = function (context) {
214
+ return this.epilog_1;
215
+ };
216
+ protoOf(AbstractTuPrologCommand).printParseException_dkyw14_k$ = function (e) {
217
+ var tmp0_safe_receiver = e.message;
218
+ var tmp;
219
+ if (tmp0_safe_receiver == null) {
220
+ tmp = null;
221
+ } else {
222
+ // Inline function 'kotlin.text.replaceFirstChar' call
223
+ var tmp_0;
224
+ // Inline function 'kotlin.text.isNotEmpty' call
225
+ if (charSequenceLength(tmp0_safe_receiver) > 0) {
226
+ var it = charCodeAt(tmp0_safe_receiver, 0);
227
+ var tmp$ret$2 = isLowerCase(it) ? titlecase(it) : toString_0(it);
228
+ tmp_0 = toString(tmp$ret$2) + substring(tmp0_safe_receiver, 1);
229
+ } else {
230
+ tmp_0 = tmp0_safe_receiver;
231
+ }
232
+ tmp = tmp_0;
233
+ }
234
+ this.echo$default_d8zfhf_k$('# ' + tmp, VOID, true);
235
+ };
236
+ protoOf(AbstractTuPrologCommand).readQuery_imlg6m_k$ = function () {
237
+ var query = prompt(get_terminal(this), '?-', VOID, VOID, VOID, VOID, VOID, ' ');
238
+ var tmp;
239
+ if (query == null) {
240
+ throw NullInputException_init_$Create$('The standard input has been close unexpectedly');
241
+ } else {
242
+ // Inline function 'kotlin.text.trim' call
243
+ var tmp$ret$0 = toString(trim(isCharSequence(query) ? query : THROW_CCE()));
244
+ if (endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
245
+ tmp = query;
246
+ } else {
247
+ tmp = readQueryMultiline(this, query);
248
+ }
249
+ }
250
+ return tmp;
251
+ };
252
+ protoOf(AbstractTuPrologCommand).printSolutions_hif9gy_k$ = function (solutions, operatorSet) {
253
+ var first = true;
254
+ $l$loop: while (solutions.hasNext_bitz1p_k$()) {
255
+ if (!first) {
256
+ var tmp0_safe_receiver = prompt(get_terminal(this), '', VOID, VOID, VOID, false);
257
+ var tmp;
258
+ if (tmp0_safe_receiver == null) {
259
+ tmp = null;
260
+ } else {
261
+ // Inline function 'kotlin.text.trim' call
262
+ tmp = toString(trim(isCharSequence(tmp0_safe_receiver) ? tmp0_safe_receiver : THROW_CCE()));
263
+ }
264
+ var cmd = tmp;
265
+ if (!(cmd === ';'))
266
+ break $l$loop;
267
+ } else {
268
+ first = false;
269
+ }
270
+ printSolution(this, solutions.next_20eer_k$(), operatorSet);
271
+ }
272
+ printEndOfSolutions(this);
273
+ };
274
+ protoOf(AbstractTuPrologCommand).printNumSolutions_v44wnk_k$ = function (solutions, maxSolutions, operatorSet) {
275
+ var i = 0;
276
+ while (i < maxSolutions && solutions.hasNext_bitz1p_k$()) {
277
+ i = i + 1 | 0;
278
+ printSolution(this, solutions.next_20eer_k$(), operatorSet);
279
+ }
280
+ printEndOfSolutions(this);
281
+ };
282
+ function NullInputException_init_$Init$(message, cause, $this) {
283
+ TuPrologException_init_$Init$(message, cause, $this);
284
+ NullInputException.call($this);
285
+ return $this;
286
+ }
287
+ function NullInputException_init_$Init$_0(message, $this) {
288
+ NullInputException_init_$Init$(message, null, $this);
289
+ return $this;
290
+ }
291
+ function NullInputException_init_$Create$(message) {
292
+ var tmp = NullInputException_init_$Init$_0(message, objectCreate(protoOf(NullInputException)));
293
+ captureStack(tmp, NullInputException_init_$Create$);
294
+ return tmp;
295
+ }
296
+ function NullInputException() {
297
+ captureStack(this, NullInputException);
298
+ }
299
+ function Companion() {
300
+ this.DEFAULT_TIMEOUT_1 = 1000;
301
+ }
302
+ var Companion_instance_4;
303
+ function Companion_getInstance_1() {
304
+ return Companion_instance_4;
305
+ }
306
+ function _get_files__hkfg7a($this) {
307
+ var tmp = KProperty1;
308
+ return $this.files$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('files', 1, tmp, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
309
+ }
310
+ function _get_timeout__tg4wg($this) {
311
+ var tmp = KProperty1;
312
+ return $this.timeout$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('timeout', 1, tmp, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
313
+ }
314
+ function _get_oop__e6e8e9($this) {
315
+ var tmp = KProperty1;
316
+ return $this.oop$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('oop', 1, tmp, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
317
+ }
318
+ function loadTheory($this) {
319
+ var theory = Companion_instance_0.emptyWithDefaultUnificator();
320
+ var _iterator__ex2g4s = _get_files__hkfg7a($this).iterator_jk1svi_k$();
321
+ while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
322
+ var file = _iterator__ex2g4s.next_20eer_k$();
323
+ if (isReadableFile(file)) {
324
+ try {
325
+ var t = loadTheoryFromFile(file);
326
+ $this.echo$default_d8zfhf_k$('# Successfully loaded ' + t.get_size_woubt6_k$().toString() + ' clauses from ' + file);
327
+ theory = theory.plusTheory(t);
328
+ } catch ($p) {
329
+ if ($p instanceof ParseException) {
330
+ var e = $p;
331
+ $this.echo$default_d8zfhf_k$(trimMargin('\n |# Error while parsing theory file: ' + file + '\n |# Message: ' + e.message + '\n |# Line : ' + e.line + '\n |# Column : ' + e.column + '\n |# Clause : ' + e.clauseIndex + '\n '), VOID, true);
332
+ } else {
333
+ throw $p;
334
+ }
335
+ }
336
+ }
337
+ }
338
+ $this.echo$default_d8zfhf_k$('');
339
+ return theory;
340
+ }
341
+ function readEvalPrintLoop($this, solver) {
342
+ try {
343
+ var query = $this.readQuery_imlg6m_k$();
344
+ while (!(query == null)) {
345
+ try {
346
+ var goal = parseStructWithOperators(Companion_getInstance(), query, solver.get_operators_z0nmfu_k$());
347
+ var solutions = solver.solveWithTimeout(goal, $this.getTimeout_4ky5zp_k$()).iterator_jk1svi_k$();
348
+ $this.printSolutions_hif9gy_k$(solutions, solver.get_operators_z0nmfu_k$());
349
+ } catch ($p) {
350
+ if ($p instanceof ParseException) {
351
+ var e = $p;
352
+ $this.printParseException_dkyw14_k$(e);
353
+ } else {
354
+ throw $p;
355
+ }
356
+ }
357
+ $this.echo$default_d8zfhf_k$('');
358
+ query = $this.readQuery_imlg6m_k$();
359
+ }
360
+ } catch ($p_0) {
361
+ if ($p_0 instanceof NullInputException) {
362
+ var _unused_var__etf5q3 = $p_0;
363
+ $this.echo$default_d8zfhf_k$('\n# goodbye.');
364
+ throw new ProgramResult(0);
365
+ } else {
366
+ throw $p_0;
367
+ }
368
+ }
369
+ }
370
+ function TuPrologCmd$_get_files_$ref_c1qk0p() {
371
+ return constructCallableReference(function (p0) {
372
+ return _get_files__hkfg7a(p0);
373
+ }, 1, 0, 166);
374
+ }
375
+ function TuPrologCmd$_get_timeout_$ref_q0nd1f() {
376
+ return constructCallableReference(function (p0) {
377
+ return _get_timeout__tg4wg(p0);
378
+ }, 1, 0, 167);
379
+ }
380
+ function TuPrologCmd$_get_oop_$ref_nvbbou() {
381
+ return constructCallableReference(function (p0) {
382
+ return _get_oop__e6e8e9(p0);
383
+ }, 1, 0, 168);
384
+ }
385
+ function TuPrologCmd$getSolver$lambda$lambda($formatter) {
386
+ return function (it) {
387
+ return format(it, $formatter);
388
+ };
389
+ }
390
+ function TuPrologCmd$getSolver$lambda(this$0) {
391
+ return function (w) {
392
+ this$0.echo$default_d8zfhf_k$('# ' + w.message, VOID, true);
393
+ var sep = '\n at ';
394
+ var formatter = Companion_instance_1.prettyExpressionsPrettyVariables(w.get_context_h02k06_k$().get_operators_z0nmfu_k$());
395
+ var tmp = w.get_logicStackTrace_2ngtyq_k$();
396
+ var stacktrace = joinToString(tmp, sep, VOID, VOID, VOID, VOID, TuPrologCmd$getSolver$lambda$lambda(formatter));
397
+ this$0.echo$default_d8zfhf_k$('# at ' + stacktrace, VOID, true);
398
+ return Unit_instance;
399
+ };
400
+ }
401
+ function TuPrologCmd$getSolver$lambda_0($this$flag) {
402
+ return $this$flag.ON_1;
403
+ }
404
+ function TuPrologCmd(additionalLibraries) {
405
+ AbstractTuPrologCommand.call(this, 'Start a Prolog Read-Eval-Print loop', VOID, 'java -jar 2p-repl.jar', true, VOID, VOID, VOID, true);
406
+ this.additionalLibraries_1 = additionalLibraries;
407
+ var tmp = this;
408
+ var tmp_0 = multiple(option(this, ['-T', '--theory'], 'Path of theory file to be loaded'));
409
+ var tmp_1 = KProperty1;
410
+ tmp.files$delegate_1 = tmp_0.provideDelegate_ugm9ea_k$(this, getPropertyCallableRef('files', 1, tmp_1, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
411
+ var tmp_2 = this;
412
+ var tmp_3 = default_0(int(option(this, ['-t', '--timeout'], 'Maximum amount of time for computing a solution (default: 1000 ms)')), 1000);
413
+ var tmp_4 = KProperty1;
414
+ tmp_2.timeout$delegate_1 = tmp_3.provideDelegate_ugm9ea_k$(this, getPropertyCallableRef('timeout', 1, tmp_4, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
415
+ var tmp_5 = this;
416
+ var tmp_6 = flag(option(this, ['--oop'], 'Loads the OOP library'), [], false);
417
+ var tmp_7 = KProperty1;
418
+ tmp_5.oop$delegate_1 = tmp_6.provideDelegate_ugm9ea_k$(this, getPropertyCallableRef('oop', 1, tmp_7, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
419
+ }
420
+ protoOf(TuPrologCmd).run_mvkpxh_k$ = function () {
421
+ var solve = this.getSolver_d7ulft_k$();
422
+ var subcommand = this.get_currentContext_mswz5r_k$().get_invokedSubcommand_ekcfwy_k$();
423
+ if (subcommand == null) {
424
+ readEvalPrintLoop(this, solve);
425
+ }
426
+ };
427
+ protoOf(TuPrologCmd).getTimeout_4ky5zp_k$ = function () {
428
+ return fromInt(_get_timeout__tg4wg(this));
429
+ };
430
+ protoOf(TuPrologCmd).getSolver_d7ulft_k$ = function () {
431
+ this.echo$default_d8zfhf_k$('# 2P-Kt version 2.0.9');
432
+ var theory = loadTheory(this);
433
+ var tmp = Companion_instance_2;
434
+ var outputChannel = tmp.of(TuPrologCmd$getSolver$lambda(this));
435
+ var tmp_0;
436
+ if (_get_oop__e6e8e9(this)) {
437
+ tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.additionalLibraries_1]));
438
+ } else {
439
+ tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance()], this.additionalLibraries_1]));
440
+ }
441
+ var libraries = tmp_0;
442
+ var tmp_1 = Companion_getInstance_0().get_prolog_i7fhq8_k$().newBuilder().setRuntime(libraries).setStaticKb(theory);
443
+ var tmp_2 = TrackVariables_getInstance();
444
+ // Inline function 'kotlin.also' call
445
+ var this_0 = tmp_1.setNotableFlagByValue(tmp_2, TuPrologCmd$getSolver$lambda_0).setWarnings(outputChannel).build();
446
+ // Inline function 'kotlin.collections.iterator' call
447
+ var _iterator__ex2g4s = this_0.get_libraries_lyf10w_k$().get_entries_p20ztl_k$().iterator_jk1svi_k$();
448
+ while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
449
+ // Inline function 'kotlin.collections.component2' call
450
+ var library = _iterator__ex2g4s.next_20eer_k$().get_value_j01efc_k$();
451
+ this.echo$default_d8zfhf_k$('# Successfully loaded library `' + library.get_alias_iooo4n_k$() + '`');
452
+ }
453
+ this.echo$default_d8zfhf_k$('');
454
+ return this_0;
455
+ };
456
+ function _get_query__c6g9vb($this) {
457
+ var tmp = KProperty1;
458
+ return $this.query$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('query', 1, tmp, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
459
+ }
460
+ function _get_maxSolutions__ysux2t($this) {
461
+ var tmp = KProperty1;
462
+ return $this.maxSolutions$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('maxSolutions', 1, tmp, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
463
+ }
464
+ function _get_parentCommand__z09ff4($this) {
465
+ var tmp0_safe_receiver = $this.get_currentContext_mswz5r_k$().parent_1;
466
+ var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.command_1;
467
+ return tmp instanceof TuPrologCmd ? tmp : THROW_CCE();
468
+ }
469
+ function evalAndPrint($this, solver) {
470
+ // Inline function 'kotlin.text.isNotEmpty' call
471
+ var this_0 = _get_query__c6g9vb($this);
472
+ if (charSequenceLength(this_0) > 0) {
473
+ try {
474
+ var duration = _get_parentCommand__z09ff4($this).getTimeout_4ky5zp_k$();
475
+ var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance(), _get_query__c6g9vb($this)), duration).iterator_jk1svi_k$();
476
+ if (_get_maxSolutions__ysux2t($this) === 0) {
477
+ $this.printSolutions_hif9gy_k$(solutions, solver.get_operators_z0nmfu_k$());
478
+ } else {
479
+ $this.printNumSolutions_v44wnk_k$(solutions, _get_maxSolutions__ysux2t($this), solver.get_operators_z0nmfu_k$());
480
+ }
481
+ } catch ($p) {
482
+ if ($p instanceof ParseException) {
483
+ var e = $p;
484
+ $this.printParseException_dkyw14_k$(e);
485
+ } else {
486
+ throw $p;
487
+ }
488
+ }
489
+ } else {
490
+ // Inline function 'kotlin.TODO' call
491
+ var reason = 'throw adequate exception';
492
+ throw new NotImplementedError('An operation is not implemented: ' + reason);
493
+ }
494
+ }
495
+ function TuPrologSolveQuery$_get_query_$ref_bkd3qt() {
496
+ return constructCallableReference(function (p0) {
497
+ return _get_query__c6g9vb(p0);
498
+ }, 1, 0, 169);
499
+ }
500
+ function TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7() {
501
+ return constructCallableReference(function (p0) {
502
+ return _get_maxSolutions__ysux2t(p0);
503
+ }, 1, 0, 170);
504
+ }
505
+ function TuPrologSolveQuery() {
506
+ AbstractTuPrologCommand.call(this, 'Compute a particular query and then terminate', VOID, 'solve');
507
+ var tmp = this;
508
+ var tmp_0 = argument(this);
509
+ var tmp_1 = KProperty1;
510
+ tmp.query$delegate_1 = tmp_0.provideDelegate_uuljd1_k$(this, getPropertyCallableRef('query', 1, tmp_1, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
511
+ var tmp_2 = this;
512
+ var tmp_3 = default_0(int(option(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate')), 0);
513
+ var tmp_4 = KProperty1;
514
+ tmp_2.maxSolutions$delegate_1 = tmp_3.provideDelegate_ugm9ea_k$(this, getPropertyCallableRef('maxSolutions', 1, tmp_4, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
515
+ }
516
+ protoOf(TuPrologSolveQuery).run_mvkpxh_k$ = function () {
517
+ var solver = _get_parentCommand__z09ff4(this).getSolver_d7ulft_k$();
518
+ evalAndPrint(this, solver);
519
+ };
520
+ function isReadableFile(path) {
521
+ // Inline function 'kotlin.TODO' call
522
+ var reason = 'Not yet implemented';
523
+ throw new NotImplementedError('An operation is not implemented: ' + reason);
524
+ }
525
+ function loadTheoryFromFile(path) {
526
+ // Inline function 'kotlin.TODO' call
527
+ var reason = 'Not yet implemented';
528
+ throw new NotImplementedError('An operation is not implemented: ' + reason);
529
+ }
530
+ function main_0(args) {
531
+ main(subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]), args);
532
+ }
533
+ //region block: init
534
+ Companion_instance_4 = new Companion();
535
+ //endregion
536
+ //region block: exports
537
+ _.$_$ = _.$_$ || {};
538
+ _.$_$.a = main_0;
11
539
  //endregion
12
540
  return _;
13
541
  }));
package/2p-repl.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
1
+ {"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Standard.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["printSolution","sol","operatorSet","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","context","helpEpilog","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","loadTheory","theory","t","readEvalPrintLoop","solver","goal","TuPrologCmd$getSolver$lambda$lambda$lambda","TuPrologCmd$getSolver$lambda$lambda","sep","formatter","stacktrace","TuPrologCmd$getSolver$lambda","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","<get-parentCommand>","evalAndPrint","duration","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EC6CYA,uBD7CZ,K,EC8CQC,G,EACAC,WAFIF,EAGN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,C;IACJ,C;MACA,gBAJE,GAIF,M,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,gBAPE,GAOF,Q,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;UATJ,8B;;;;EAWJ,C;EAEQG,0BD9DZ,K,EC+DQF,G,EACAC,WAFIC,EAGN;A,IACE,6BAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;EAEQC,2BDrEZ,K,ECsEQH,G,EACAC,WAFIE,EAGN;A,QACQC,KAAS,GAAI,0B;IACf,gC,CAAoB;A,MAChB,6BAAK,YAAL,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,6BAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;EAWQC,6BD3FZ,KC2FYA,EAA0B;A,EAElC,C;EAyBQC,4BDtHZ,K,ECsHmCC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;UDzHR,SCyHgB,Q;UC2DkE,YAAV,SAAP,KAAtB,6CAAsB,CAAO,C;WD3DzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,iBAAS,OAAT,mBAAS,EAAO,GAAP,gCAA2B,GAA3B,C;UD1HhC,G;MC0HuB,2B;QACJ,MAAM,iCAAmB,iDAAnB,C;;cADF,c;;MAAX,c;MAEA,SAAU,kBAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;EAGQC,yBDlIZ,K,ECmIQV,G,EACAC,WAFIS,EAGN;A,IACE,6BAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;EA1GkCC,iCD7BtC,I,EAAA,M,EAAA,I,EAAA,uB,EAAA,oB,EAAA,Q,EAAA,kB,EAAA,wB,EAAA,yB,EAAA,cC6BsCA,EAAA;A,2BACP,E;+BACE,E;2BACb,I;iEACgC,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+CACX,K;IAV3C,wBAWiB,IAXjB,C;IACI,kB;IACA,sB;IAEA,wD;IACA,kD;IACA,0B;IACA,8C;IACA,0D;IACA,4D;IACA,sC;EAVkC,C;2ED7BtC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,yBAAA;AAAA,EAAA,CAAA;wEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,sBAAA;AAAA,EAAA,CAAA;4DAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,UAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,oBAAA;AAAA,EAAA,CAAA;4EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,0BAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,2BAAA;AAAA,EAAA,CAAA;kEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,gBAAA;AAAA,EAAA,CAAA;oDCyCaC,UAASC,OAATD,EAA6B;A,IAAS,OAAT,IAAS,CAAJ,M;EAAG,C;0DAErCE,UAAeD,OAAfC,EAAmC;A,IAAW,OAAX,IAAW,CAAN,Q;EAAK,C;mEA4C5CC,UAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;QDxFpB,G;ICwF6B,+B;YAAA,I;;;UDxF7B,K;;MEi1Be,IAniBwC,mBDtNrC,kBCsNqC,IAAS,CAmiBjD,C;YFj1Bf,KEi1BuC,WDzvBrB,kBCyvBqB,EAAK,CAAL,C;YDzvBgE,YAAhD,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;gBCyvB7C,SAAnB,SAAmB,CAAnB,GAAgC,UDzvB3C,kBCyvB2C,EAAU,CAAV,C;;gBDzvB3C,kB;;;;IAAV,4BAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;yDAcUE,UAAAA,EAAwB;A,QAC9BV,QAA8B,OAAT,kBAAS,EAAO,IAAP,gCAA4B,GAA5B,C;QDxGtC,G;IC0GY,aAAS,IAAT,C;MACI,MAAM,iCAAmB,gDAAnB,C;;;UCyE4D,YAAV,SAAP,KAAtB,eDvE/B,KCuE+B,IDvE/B,KCuE+B,cAAsB,CAAO,C;MDvE5D,IAAa,SAAP,SAAO,EAAS,8BAAT,CAAb,C;cACI,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;8DA6BUW,UACNC,S,EACAlB,WAFMiB,EAGR;A,QACEE,QAAY,I;oBACL,SAAU,oB,EAAW;A,MACpB,KAAC,KAAD,C,CAAQ;A,YACW,4BAAT,kBAAS,EAAO,EAAP,oBAAuB,KAAvB,C;YDxJnC,G;QCwJkE,+B;gBAAA,I;;;gBC4BM,SAAP,KAAtB,eD5BjB,kBC4BiB,ID5BjB,kBC4BiB,cAAsB,CAAO,C;;YD5BxDC,S;QACI,cAAO,GAAP,E;UAAY,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,gBAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;iEASUC,UACNH,S,EACAI,Y,EACAtB,WAHMqB,EAIR;A,QACEE,IAAQ,C;WACD,IAAI,Y,IAAgB,SAAU,oB,EAAW;A,MAC5C,IAAA,CAAC,IAAD,I;MACA,oBAAc,SAAU,gBAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;EEvKAC,wCAAYC,O,EAAkBC,K,EHblC,KGaIF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;EAEAA,0CAAYC,O,EHfhB,KGeID,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;EAAhCA,0CAAYC,OAAZD,E;QHfJ,0F;;;G;EAAA,4BAAA,EAAA;AAAA;AAAA,EAAA,CAAA;A,EIuDId,mBAAAA,EAAA;A,IAEqC,6B;EAFrC,C;;EJvDJ,iCAAA,EAAA;AAAA;AAAA,GAAA;EAAA,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,gBAAA,oBAAA,KAAA,sFAAA;AAAA,EAAA,CAAA;EAAA,6BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,kBAAA,oBAAA,KAAA,0FAAA;AAAA,EAAA,CAAA;EAAA,0BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,cAAA,oBAAA,KAAA,kFAAA;AAAA,EAAA,CAAA;EI4FYiB,oBJ5FZ,KI4FYA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,oBAAK,mBAAL,KAAK,CAAL,qB;WAAA,qC,EAAY;A,UJ9FjC,OI8FqB,iC;MACL,mBAAe,IAAf,E,CAAsB;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,6BAAM,wBAAN,GAA8B,CAAE,qBAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBJpG5C,M;YIqGoB,6BAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,6BAAK,EAAL,C;IACA,OAAO,M;EACX,C;EAEQC,2BJtHZ,K,EIsHkCC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACAxB,QAAqB,2B;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACA0B,OAAkB,kDAAM,KAAN,EAAa,MAAO,0BAApB,C;cAClBd,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,uBAAjB,CAA+B,qB;UACtD,+BAAe,SAAf,EAA0B,MAAO,0BAAjC,C;QACJ,C;4CAA4B;A,gBJ9H5C,M;YI+HoB,oCAAoB,CAApB,C;UACJ,C;;;;QACA,6BAAK,EAAL,C;QACA,QAAQ,2B;MACZ,C;IACJ,C;8CAAgC;A,YJpIxC,0B;QIqIY,6BAAK,cAAL,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;EJxIJ,4CAAA,EAAA;AAAA,gDAAA,E;aI8DuC,sB;OJ9DvC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,8CAAA,EAAA;AAAA,gDAAA,E;aIiE2B,uB;OJjE3B,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0CAAA,EAAA;AAAA,gDAAA,E;aIuEuB,oB;OJvEvB,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,6CAAA,UAAA,EAAA;AAAA,WIqKqEe,UAAA,EAAAA,EAAA;A,MAAsB,OAAjB,OAAH,EAAG,EAAO,UAAP,C;IAAkB,C;AJrK5F,GAAA;EAAA,sCAAA,MAAA,EAAA;AAAA,WIiKsCC,UJjKtC,CIiKsCA,EAAA;A,MACtB,8BAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAC,MAAU,W;UACVC,YAAwC,sDAAkB,CAAE,wBAAQ,0BAA5B,C;UJpKxD,MIqKiC,CAAE,gC;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,8BAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;AJvKZ,GAAA;EIkLkCC,wCAAA,UAAAA,EAAA;A,IAAI,OAAF,UAAE,CAAF,I;EAAG,C;EAnItB5B,qBACb6B,mBADa7B,EAAA;A,IAAjB,mCAMe,qCANf,QAKe,uBALf,EAGkC,IAHlC,oBAImC,IAJnC,C;IAa0D,gD;QJ5D1D,MI8DuC,I;QJ9DvC,QI+DS,SAD8B,aAAO,OAAM,UAAN,CAAP,EAAgC,kCAAhC,CAC9B,C;QJ/DT,kB;II8DuC,mJ;QJ9DvC,QIiE2B,I;QJjE3B,QIqEY,UAAN,IAJqB,aACnB,OACA,WADA,CADmB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,C;QJrEZ,kB;IIiE2B,2J;QJjE3B,QIuEuB,I;QJvEvB,QI0EM,KAHiB,aACf,SADe,EAER,uBAFQ,CAGjB,MAAe,KAAf,C;QJ1EN,kB;IIuEuB,+I;EAxBN,C;uCAmCJ8B,UAAAA,EAAU;A,QACfC,QAAoB,0B;QACpBC,aAAiB,IAAK,+BAAe,kC;IAEjC,kBAAc,IAAd,C,CAAoB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;8CAqDAC,UAAAA,EAAiC;A,IAAgB,OAAR,QAAR,yBAAQ,C;EAAO,C;6CAchDC,UAAAA,EAAwB;A,IACpB,4BAAK,uBAAL,C;QACAhB,SAA0B,WAAL,IAAK,C;QJ/JlC,0B;QIgKQiB,gBACkB,OAAY,kCAAZ,C;QJjK1B,K;IIyKgB,2B;cACQ,wBAAG,0DAAgB,IAAhB,CAAgB,qBAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,qBAAR,EAAH,C;;QAJhBC,iB;QJxKR,QI8KsB,gDACT,aACA,YAAQ,SAAR,CACA,aAAS,MAAT,C;QJjLb,oC;;QAAA,SIkLa,mCAAqB,8BAArB,CACA,aAAS,aAAT,CACA,Q;;QAEwB,oBEhF3B,MFgF8B,0BCwWgD,wBAAQ,qB;WDxW3D,qC,EAAc;A;UAA1B,UAAY,iCC8I+B,sB;MD7IhD,4BAAM,iCAAN,GAAuC,OAAQ,sBAA/C,GAAqD,GAArD,C;IACJ,C;IACA,4BAAK,EAAL,C;IAXR,OEvEG,M;EFoFP,C;EJ3LJ,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,gBAAA,oBAAA,KAAA,6FAAA;AAAA,EAAA,CAAA;EAAA,mCAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,uBAAA,oBAAA,KAAA,2GAAA;AAAA,EAAA,CAAA;EOmCQC,oCPnCR,KOmCQA,EAAQ;A,QAAe,qBAAf,oCAAe,S;QPnC/B,MOmCuC,oCAAvB,kBAAuB,U;IAAsB,OAA7C,8C;EAA4C,C;EAWhDC,sBP9CZ,K,EO8C6BjB,MAAjBiB,EAAiC;A;QP9C7C,SO+CY,yB;IAAA,IL+P2C,6BAAS,CK/PpD,C,CAAoB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,uB;YAC3C/B,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,qB;QACxD,yCAAgB,CAAhB,C,CAAmB;A,UACnB,+BAAe,SAAf,EAA0B,MAAO,0BAAjC,C;QACJ,C,MAAO;A,UACH,kCAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,0BAAlD,C;QACJ,C;MACJ,C;0CAA4B;A,cPxDxC,M;UOyDgB,oCAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;UP3DR,SO4DiB,0B;MD/BiC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;;ECiCpD,C;EP9DJ,mDAAA,EAAA;AAAA,gDAAA,E;aO6BiC,sB;OP7BjC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0DAAA,EAAA;AAAA,gDAAA,E;aO8BqC,6B;OP9BrC,CAAA,EAAA,CAAA;AAAA,GAAA;A,EOwBAR,4BAAAA,EAAA;A,IAAA,mCAEe,+CAFf,QAGe,OAHf,C;QPxBA,MO6BiC,I;QP7BjC,QO6BiC,c;QP7BjC,kB;IO6BiC,0J;QP7BjC,QO8BqC,I;QP9BrC,QOgCS,UADA,IAD4B,aAAO,OAAM,qBAAN,CAAP,EAA2C,iCAA3C,CAC5B,CACA,EAAQ,CAAR,C;QPhCT,kB;IO8BqC,iL;EANrC,C;8CAiBa8B,UAAAA,EAAU;A,QACfT,SAAa,gCAAc,sB;IAC3B,mBAAa,MAAb,C;EACJ,C;ECnCGmB,wBAAmBC,IAAnBD,EAA0C;A;QRTjD,SQUS,qB;IFmByC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EElBxD,C;EAOOE,4BAAuBD,IAAvBC,EAA6C;A;QRlBpD,SQmBS,qB;IFUyC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EETxD,C;ECPAC,gBAASC,IAATD,EAA8B;A,IACsB,KAAlC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,EAAK,IAAL,C;EACpD,C;;;;;;;;;;"}
@@ -1 +1 @@
1
- {"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
1
+ {"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
@@ -1 +1 @@
1
- {"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}
1
+ {"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}