@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.
- package/2p-bdd.js +159 -159
- package/2p-core.js +2210 -2140
- package/2p-core.js.map +1 -1
- package/2p-io-lib.js +765 -766
- package/2p-io-lib.js.map +1 -1
- package/2p-oop-lib.js +890 -892
- package/2p-oop-lib.js.map +1 -1
- package/2p-parser-core.js +105 -115
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-impl.js +1421 -1418
- package/2p-parser-impl.js.map +1 -1
- package/2p-parser-theory.js +56 -56
- package/2p-repl.js +149 -142
- package/2p-repl.js.map +1 -1
- package/2p-solve-plp.js +2 -2
- package/2p-solve-problog.js +1024 -964
- package/2p-solve-problog.js.map +1 -1
- package/2p-solve-prolog.js +821 -831
- package/2p-solve-prolog.js.map +1 -1
- package/2p-solve.js +3931 -3596
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +199 -199
- package/2p-unify.js +75 -75
- package/2p-utils.js +352 -330
- package/2p-utils.js.map +1 -1
- package/clikt-clikt-mordant.js +90 -90
- package/clikt-clikt.js +1524 -1481
- package/clikt-clikt.js.map +1 -1
- package/colormath-root-colormath.js +472 -472
- package/kotlin-kotlin-stdlib.js +1379 -1367
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +1485 -1484
- package/kt-math.js.map +1 -1
- package/mordant-mordant.js +1442 -1442
- package/okio-parent-okio-nodefilesystem.js +46 -46
- package/okio-parent-okio.js +647 -647
- package/package.json +1 -1
- package/2p-test-dsl.js +0 -15
- package/2p-test-dsl.js.map +0 -1
- package/kotlin-kotlin-test.js +0 -15
- package/kotlin-kotlin-test.js.map +0 -1
package/2p-io-lib.js
CHANGED
|
@@ -40,57 +40,58 @@
|
|
|
40
40
|
var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.v;
|
|
41
41
|
var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.s;
|
|
42
42
|
var Unit_instance = kotlin_kotlin.$_$.r;
|
|
43
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
44
|
-
var equals = kotlin_kotlin.$_$.
|
|
45
|
-
var FunctionAdapter = kotlin_kotlin.$_$.
|
|
46
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
43
|
+
var protoOf = kotlin_kotlin.$_$.u8;
|
|
44
|
+
var equals = kotlin_kotlin.$_$.v7;
|
|
45
|
+
var FunctionAdapter = kotlin_kotlin.$_$.i7;
|
|
46
|
+
var isInterface = kotlin_kotlin.$_$.m8;
|
|
47
47
|
var TextChunkSource = kotlin_it_unibo_tuprolog_parser_impl.$_$.t;
|
|
48
|
-
var hashCode = kotlin_kotlin.$_$.
|
|
49
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
50
|
-
var CoroutineImpl = kotlin_kotlin.$_$.
|
|
51
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
52
|
-
var SequenceScope = kotlin_kotlin.$_$.
|
|
53
|
-
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.
|
|
48
|
+
var hashCode = kotlin_kotlin.$_$.c8;
|
|
49
|
+
var initMetadataForClass = kotlin_kotlin.$_$.d8;
|
|
50
|
+
var CoroutineImpl = kotlin_kotlin.$_$.l6;
|
|
51
|
+
var THROW_CCE = kotlin_kotlin.$_$.he;
|
|
52
|
+
var SequenceScope = kotlin_kotlin.$_$.w9;
|
|
53
|
+
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.k6;
|
|
54
54
|
var toParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.h;
|
|
55
55
|
var PrologSyntaxException = kotlin_it_unibo_tuprolog_parser_impl.$_$.j;
|
|
56
|
-
var initMetadataForLambda = kotlin_kotlin.$_$.
|
|
57
|
-
var constructCallableReference = kotlin_kotlin.$_$.
|
|
56
|
+
var initMetadataForLambda = kotlin_kotlin.$_$.h8;
|
|
57
|
+
var constructCallableReference = kotlin_kotlin.$_$.t7;
|
|
58
58
|
var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.g;
|
|
59
59
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.w;
|
|
60
60
|
var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
|
|
61
|
-
var sequence = kotlin_kotlin.$_$.
|
|
62
|
-
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.
|
|
61
|
+
var sequence = kotlin_kotlin.$_$.eb;
|
|
62
|
+
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.x;
|
|
63
63
|
var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.w2;
|
|
64
64
|
var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l1;
|
|
65
|
-
var listOf = kotlin_kotlin.$_$.
|
|
65
|
+
var listOf = kotlin_kotlin.$_$.i4;
|
|
66
66
|
var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
|
|
67
|
-
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.
|
|
68
|
-
var to = kotlin_kotlin.$_$.
|
|
69
|
-
var initMetadataForObject = kotlin_kotlin.$_$.
|
|
67
|
+
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
|
|
68
|
+
var to = kotlin_kotlin.$_$.ye;
|
|
69
|
+
var initMetadataForObject = kotlin_kotlin.$_$.i8;
|
|
70
70
|
var Companion_instance_1 = kotlin_kotlin.$_$.p;
|
|
71
71
|
var asSequence = kotlin_kotlin.$_$.r2;
|
|
72
|
-
var map = kotlin_kotlin.$_$.
|
|
72
|
+
var map = kotlin_kotlin.$_$.wa;
|
|
73
73
|
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.m;
|
|
74
|
-
var toSet = kotlin_kotlin.$_$.
|
|
75
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
76
|
-
var THROW_IAE = kotlin_kotlin.$_$.
|
|
77
|
-
var enumEntries = kotlin_kotlin.$_$.
|
|
78
|
-
var Enum = kotlin_kotlin.$_$.
|
|
79
|
-
var toString = kotlin_kotlin.$_$.
|
|
74
|
+
var toSet = kotlin_kotlin.$_$.mb;
|
|
75
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.e8;
|
|
76
|
+
var THROW_IAE = kotlin_kotlin.$_$.ie;
|
|
77
|
+
var enumEntries = kotlin_kotlin.$_$.m6;
|
|
78
|
+
var Enum = kotlin_kotlin.$_$.xd;
|
|
79
|
+
var toString = kotlin_kotlin.$_$.x8;
|
|
80
|
+
var Regex_init_$Create$ = kotlin_kotlin.$_$.z;
|
|
80
81
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
|
|
81
|
-
var startsWith = kotlin_kotlin.$_$.
|
|
82
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
82
|
+
var startsWith = kotlin_kotlin.$_$.yc;
|
|
83
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.g8;
|
|
83
84
|
var AbstractOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.n2;
|
|
84
85
|
var AbstractInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.m2;
|
|
85
86
|
var ArrayDeque_init_$Create$ = kotlin_kotlin.$_$.s;
|
|
86
87
|
var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
|
|
87
88
|
var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g;
|
|
88
|
-
var numberToChar = kotlin_kotlin.$_$.
|
|
89
|
-
var Char = kotlin_kotlin.$_$.
|
|
89
|
+
var numberToChar = kotlin_kotlin.$_$.q8;
|
|
90
|
+
var Char = kotlin_kotlin.$_$.td;
|
|
90
91
|
var toString_0 = kotlin_kotlin.$_$.h;
|
|
91
92
|
var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.g1;
|
|
92
|
-
var objectCreate = kotlin_kotlin.$_$.
|
|
93
|
-
var captureStack = kotlin_kotlin.$_$.
|
|
93
|
+
var objectCreate = kotlin_kotlin.$_$.t8;
|
|
94
|
+
var captureStack = kotlin_kotlin.$_$.l7;
|
|
94
95
|
var TuPrologException_init_$Init$_0 = kotlin_it_unibo_tuprolog_core.$_$.i1;
|
|
95
96
|
var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
|
|
96
97
|
var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.d1;
|
|
@@ -104,62 +105,62 @@
|
|
|
104
105
|
var OutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.p2;
|
|
105
106
|
var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.o3;
|
|
106
107
|
var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.n1;
|
|
107
|
-
var IllegalStateException = kotlin_kotlin.$_$.
|
|
108
|
+
var IllegalStateException = kotlin_kotlin.$_$.ae;
|
|
108
109
|
var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
|
|
109
|
-
var KProperty1 = kotlin_kotlin.$_$.
|
|
110
|
-
var getPropertyCallableRef = kotlin_kotlin.$_$.
|
|
111
|
-
var sequenceOf = kotlin_kotlin.$_$.
|
|
112
|
-
var flatMap = kotlin_kotlin.$_$.
|
|
110
|
+
var KProperty1 = kotlin_kotlin.$_$.v9;
|
|
111
|
+
var getPropertyCallableRef = kotlin_kotlin.$_$.a8;
|
|
112
|
+
var sequenceOf = kotlin_kotlin.$_$.cb;
|
|
113
|
+
var flatMap = kotlin_kotlin.$_$.la;
|
|
113
114
|
var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.x;
|
|
114
115
|
var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.c1;
|
|
115
116
|
var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.a1;
|
|
116
117
|
var Companion_instance_4 = kotlin_it_unibo_tuprolog_core.$_$.s;
|
|
117
|
-
var filter = kotlin_kotlin.$_$.
|
|
118
|
-
var Sequence = kotlin_kotlin.$_$.
|
|
119
|
-
var firstOrNull = kotlin_kotlin.$_$.
|
|
118
|
+
var filter = kotlin_kotlin.$_$.ia;
|
|
119
|
+
var Sequence = kotlin_kotlin.$_$.x9;
|
|
120
|
+
var firstOrNull = kotlin_kotlin.$_$.ja;
|
|
120
121
|
var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.y;
|
|
121
|
-
var
|
|
122
|
+
var charCodeAt = kotlin_kotlin.$_$.o7;
|
|
123
|
+
var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
|
|
124
|
+
var Limit_CHARACTER_CODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
|
|
125
|
+
var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.v;
|
|
122
126
|
var asSequence_0 = kotlin_kotlin.$_$.q2;
|
|
123
127
|
var addAll = kotlin_kotlin.$_$.i2;
|
|
124
|
-
var toList = kotlin_kotlin.$_$.
|
|
128
|
+
var toList = kotlin_kotlin.$_$.v5;
|
|
125
129
|
var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
|
|
126
|
-
var
|
|
127
|
-
var filterNot = kotlin_kotlin.$_$.
|
|
130
|
+
var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.u;
|
|
131
|
+
var filterNot = kotlin_kotlin.$_$.ha;
|
|
128
132
|
var Truth = kotlin_it_unibo_tuprolog_core.$_$.z2;
|
|
129
|
-
var lazy = kotlin_kotlin.$_$.
|
|
130
|
-
var
|
|
133
|
+
var lazy = kotlin_kotlin.$_$.re;
|
|
134
|
+
var Companion_instance_7 = kotlin_it_unibo_tuprolog_solve.$_$.x;
|
|
131
135
|
var Expected_STREAM_PROPERTY_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e;
|
|
132
136
|
var Expected_WRITE_OPTION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g;
|
|
133
137
|
var Expected_READ_OPTION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b;
|
|
134
138
|
var List = kotlin_it_unibo_tuprolog_core.$_$.v1;
|
|
135
|
-
var Var = kotlin_it_unibo_tuprolog_core.$_$.
|
|
139
|
+
var Var = kotlin_it_unibo_tuprolog_core.$_$.a3;
|
|
136
140
|
var FuncFormat_LITERAL_getInstance = kotlin_it_unibo_tuprolog_core.$_$.d;
|
|
137
141
|
var FuncFormat_QUOTED_IF_NECESSARY_getInstance = kotlin_it_unibo_tuprolog_core.$_$.e;
|
|
138
142
|
var OpFormat_EXPRESSIONS_getInstance = kotlin_it_unibo_tuprolog_core.$_$.f;
|
|
139
143
|
var OpFormat_IGNORE_OPERATORS_getInstance = kotlin_it_unibo_tuprolog_core.$_$.g;
|
|
140
|
-
var
|
|
144
|
+
var Companion_instance_8 = kotlin_it_unibo_tuprolog_core.$_$.z;
|
|
141
145
|
var VarFormat_UNDERSCORE_getInstance = kotlin_it_unibo_tuprolog_core.$_$.h;
|
|
142
146
|
var Expected_SOURCE_SINK_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c;
|
|
143
147
|
var Expected_IO_MODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a;
|
|
144
|
-
var
|
|
148
|
+
var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.y;
|
|
145
149
|
var Expected_STREAM_OR_ALIAS_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d;
|
|
146
150
|
var Expected_IN_CHARACTER_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
|
|
147
|
-
var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
|
|
148
|
-
var Limit_CHARACTER_CODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
|
|
149
151
|
var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.r;
|
|
150
152
|
var Integer = kotlin_it_unibo_tuprolog_core.$_$.u1;
|
|
151
153
|
var KtMap = kotlin_kotlin.$_$.f2;
|
|
152
154
|
var Expected_STREAM_TYPE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f;
|
|
153
|
-
var format = kotlin_it_unibo_tuprolog_core.$_$.
|
|
154
|
-
var
|
|
155
|
-
var
|
|
156
|
-
var
|
|
157
|
-
var
|
|
158
|
-
var last = kotlin_kotlin.$_$.b4;
|
|
155
|
+
var format = kotlin_it_unibo_tuprolog_core.$_$.b3;
|
|
156
|
+
var emptyList = kotlin_kotlin.$_$.l3;
|
|
157
|
+
var get_lastIndex = kotlin_kotlin.$_$.z3;
|
|
158
|
+
var toList_0 = kotlin_kotlin.$_$.kb;
|
|
159
|
+
var last = kotlin_kotlin.$_$.c4;
|
|
159
160
|
var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
|
|
160
161
|
var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
|
|
161
|
-
var emptySet = kotlin_kotlin.$_$.
|
|
162
|
-
var noWhenBranchMatchedException = kotlin_kotlin.$_$.
|
|
162
|
+
var emptySet = kotlin_kotlin.$_$.n3;
|
|
163
|
+
var noWhenBranchMatchedException = kotlin_kotlin.$_$.se;
|
|
163
164
|
var ObjectType_SOURCE_SINK_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i;
|
|
164
165
|
var ExistenceError_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.g2;
|
|
165
166
|
var FileNotFoundException = kotlin_com_squareup_okio_okio.$_$.d;
|
|
@@ -168,20 +169,20 @@
|
|
|
168
169
|
var Companion_instance_11 = kotlin_it_unibo_tuprolog_parser_theory.$_$.a;
|
|
169
170
|
var Companion_instance_12 = kotlin_it_unibo_tuprolog_theory.$_$.b;
|
|
170
171
|
var Companion_instance_13 = kotlin_it_unibo_tuprolog_theory.$_$.a;
|
|
171
|
-
var charSequenceLength = kotlin_kotlin.$_$.
|
|
172
|
-
var titlecase = kotlin_kotlin.$_$.
|
|
173
|
-
var isLowerCase = kotlin_kotlin.$_$.
|
|
174
|
-
var substring = kotlin_kotlin.$_$.
|
|
172
|
+
var charSequenceLength = kotlin_kotlin.$_$.q7;
|
|
173
|
+
var titlecase = kotlin_kotlin.$_$.gd;
|
|
174
|
+
var isLowerCase = kotlin_kotlin.$_$.hc;
|
|
175
|
+
var substring = kotlin_kotlin.$_$.dd;
|
|
175
176
|
var BinaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.d3;
|
|
176
|
-
var distinct = kotlin_kotlin.$_$.
|
|
177
|
-
var removeSuffix = kotlin_kotlin.$_$.
|
|
178
|
-
var toIntOrNull = kotlin_kotlin.$_$.
|
|
179
|
-
var removePrefix = kotlin_kotlin.$_$.
|
|
177
|
+
var distinct = kotlin_kotlin.$_$.da;
|
|
178
|
+
var removeSuffix = kotlin_kotlin.$_$.qc;
|
|
179
|
+
var toIntOrNull = kotlin_kotlin.$_$.jd;
|
|
180
|
+
var removePrefix = kotlin_kotlin.$_$.oc;
|
|
180
181
|
var buffer = kotlin_com_squareup_okio_okio.$_$.g;
|
|
181
|
-
var addSuppressed = kotlin_kotlin.$_$.
|
|
182
|
+
var addSuppressed = kotlin_kotlin.$_$.ke;
|
|
182
183
|
var IOException = kotlin_com_squareup_okio_okio.$_$.f;
|
|
183
|
-
var getStringHashCode = kotlin_kotlin.$_$.
|
|
184
|
-
var KProperty0 = kotlin_kotlin.$_$.
|
|
184
|
+
var getStringHashCode = kotlin_kotlin.$_$.b8;
|
|
185
|
+
var KProperty0 = kotlin_kotlin.$_$.u9;
|
|
185
186
|
var Info_getInstance = kotlin_it_unibo_tuprolog_core.$_$.e1;
|
|
186
187
|
var Platform_BROWSER_getInstance = kotlin_it_unibo_tuprolog_core.$_$.i;
|
|
187
188
|
var Companion_getInstance_7 = kotlin_com_squareup_okio_okio.$_$.a;
|
|
@@ -197,16 +198,16 @@
|
|
|
197
198
|
initMetadataForObject(LocalFileSystem, 'LocalFileSystem');
|
|
198
199
|
initMetadataForCompanion(Companion_0);
|
|
199
200
|
function resolve(child) {
|
|
200
|
-
return
|
|
201
|
+
return Companion_getInstance_9().g4u(this.k4u(), this.l4u(), this.m4u(), this.w3a() + '/' + child, this.j1z());
|
|
201
202
|
}
|
|
202
203
|
function div(child) {
|
|
203
204
|
return this.resolve(child);
|
|
204
205
|
}
|
|
205
206
|
function get_isFile() {
|
|
206
|
-
return this.
|
|
207
|
+
return this.k4u() === 'file';
|
|
207
208
|
}
|
|
208
209
|
function get_isHttp() {
|
|
209
|
-
return startsWith(this.
|
|
210
|
+
return startsWith(this.k4u(), 'http');
|
|
210
211
|
}
|
|
211
212
|
initMetadataForInterface(Url, 'Url');
|
|
212
213
|
initMetadataForClass(SinkOutputChannel, 'SinkOutputChannel', VOID, AbstractOutputChannel);
|
|
@@ -289,13 +290,13 @@
|
|
|
289
290
|
return tmp;
|
|
290
291
|
}
|
|
291
292
|
function sam$it_unibo_tuprolog_parser_TextChunkSource$0(function_0) {
|
|
292
|
-
this.
|
|
293
|
+
this.k4t_1 = function_0;
|
|
293
294
|
}
|
|
294
|
-
protoOf(sam$it_unibo_tuprolog_parser_TextChunkSource$0).
|
|
295
|
-
return this.
|
|
295
|
+
protoOf(sam$it_unibo_tuprolog_parser_TextChunkSource$0).m4a = function () {
|
|
296
|
+
return this.k4t_1();
|
|
296
297
|
};
|
|
297
298
|
protoOf(sam$it_unibo_tuprolog_parser_TextChunkSource$0).r2 = function () {
|
|
298
|
-
return this.
|
|
299
|
+
return this.k4t_1;
|
|
299
300
|
};
|
|
300
301
|
protoOf(sam$it_unibo_tuprolog_parser_TextChunkSource$0).equals = function (other) {
|
|
301
302
|
var tmp;
|
|
@@ -321,9 +322,9 @@
|
|
|
321
322
|
};
|
|
322
323
|
}
|
|
323
324
|
function asTermChannel$lambda$slambda($session, $visitor, $lexedSource, resultContinuation) {
|
|
324
|
-
this.
|
|
325
|
-
this.
|
|
326
|
-
this.
|
|
325
|
+
this.t4t_1 = $session;
|
|
326
|
+
this.u4t_1 = $visitor;
|
|
327
|
+
this.v4t_1 = $lexedSource;
|
|
327
328
|
CoroutineImpl.call(this, resultContinuation);
|
|
328
329
|
}
|
|
329
330
|
protoOf(asTermChannel$lambda$slambda).q1q = function ($this$sequence, $completion) {
|
|
@@ -344,24 +345,24 @@
|
|
|
344
345
|
case 0:
|
|
345
346
|
this.q8_1 = 6;
|
|
346
347
|
this.q8_1 = 5;
|
|
347
|
-
this.
|
|
348
|
+
this.x4t_1 = this.t4t_1.e4i();
|
|
348
349
|
this.p8_1 = 1;
|
|
349
350
|
continue $sm;
|
|
350
351
|
case 1:
|
|
351
|
-
if (!!(this.
|
|
352
|
+
if (!!(this.x4t_1 == null)) {
|
|
352
353
|
this.p8_1 = 3;
|
|
353
354
|
continue $sm;
|
|
354
355
|
}
|
|
355
356
|
|
|
356
357
|
this.p8_1 = 2;
|
|
357
|
-
suspendResult = this.
|
|
358
|
+
suspendResult = this.w4t_1.se(this.x4t_1.l4n_1.t4j(this.u4t_1), this);
|
|
358
359
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
359
360
|
return suspendResult;
|
|
360
361
|
}
|
|
361
362
|
|
|
362
363
|
continue $sm;
|
|
363
364
|
case 2:
|
|
364
|
-
this.
|
|
365
|
+
this.x4t_1 = this.t4t_1.e4i();
|
|
365
366
|
this.p8_1 = 1;
|
|
366
367
|
continue $sm;
|
|
367
368
|
case 3:
|
|
@@ -376,9 +377,9 @@
|
|
|
376
377
|
var tmp_0 = this.s8_1;
|
|
377
378
|
if (tmp_0 instanceof PrologSyntaxException) {
|
|
378
379
|
var e = this.s8_1;
|
|
379
|
-
var it = this.
|
|
380
|
-
var tmp0_elvis_lhs = it.
|
|
381
|
-
var input = tmp0_elvis_lhs == null ? it.
|
|
380
|
+
var it = this.v4t_1.b4f();
|
|
381
|
+
var tmp0_elvis_lhs = it.w15();
|
|
382
|
+
var input = tmp0_elvis_lhs == null ? it.i4d() : tmp0_elvis_lhs;
|
|
382
383
|
throw toParseException(e, input);
|
|
383
384
|
} else {
|
|
384
385
|
throw this.s8_1;
|
|
@@ -399,8 +400,8 @@
|
|
|
399
400
|
while (true);
|
|
400
401
|
};
|
|
401
402
|
protoOf(asTermChannel$lambda$slambda).r1q = function ($this$sequence, completion) {
|
|
402
|
-
var i = new asTermChannel$lambda$slambda(this.
|
|
403
|
-
i.
|
|
403
|
+
var i = new asTermChannel$lambda$slambda(this.t4t_1, this.u4t_1, this.v4t_1, completion);
|
|
404
|
+
i.w4t_1 = $this$sequence;
|
|
404
405
|
return i;
|
|
405
406
|
};
|
|
406
407
|
function asTermChannel$lambda$slambda_0($session, $visitor, $lexedSource, resultContinuation) {
|
|
@@ -411,7 +412,7 @@
|
|
|
411
412
|
}
|
|
412
413
|
function asTermChannel$lambda_0($operators) {
|
|
413
414
|
return function (parser, lexedSource) {
|
|
414
|
-
var session = parser.
|
|
415
|
+
var session = parser.i4i(lexedSource, toOperatorTable($operators));
|
|
415
416
|
var visitor = new PrologTermParserVisitor(Companion_instance_0.empty());
|
|
416
417
|
return sequence(asTermChannel$lambda$slambda_0(session, visitor, lexedSource, null));
|
|
417
418
|
};
|
|
@@ -424,7 +425,7 @@
|
|
|
424
425
|
function Iterator$hasNext$ref(p0) {
|
|
425
426
|
return constructCallableReference(function () {
|
|
426
427
|
return p0.q();
|
|
427
|
-
}, 0, 0,
|
|
428
|
+
}, 0, 0, 106, 'hasNext', [p0]);
|
|
428
429
|
}
|
|
429
430
|
var properties_initialized_ChannelUtils_kt_an3chc;
|
|
430
431
|
function _init_properties_ChannelUtils_kt__fqios2() {
|
|
@@ -437,15 +438,15 @@
|
|
|
437
438
|
function IOLib() {
|
|
438
439
|
IOLib_instance = this;
|
|
439
440
|
AbstractLibrary.call(this);
|
|
440
|
-
this.
|
|
441
|
+
this.z4t_1 = "`library('prolog.io')`\n\nProvides the ISO Prolog stream-based input/output predicates. Streams are opened on files or URLs via `open/3,4` and are denoted by aliases (e.g. `user_input`, `user_output`) or by `$stream(Direction, Id)` terms; `close/1`, `current_input/1`, `current_output/1`, `set_input/1`, `set_output/1`, `stream_property/2`, `at_end_of_stream/0,1` and `flush_output/1` manage them. Only text streams are supported, and writing is only possible to local files on the JVM.\n\nCharacter-level I/O is offered by `get_char/1,2`, `get_code/1,2`, `peek_char/1,2`, `peek_code/1,2`, `put_char/1,2`, `put_code/1,2` and `nl/1`, while term-level I/O is offered by `read/1,2`, `read_term/2,3`, `write/2`, `writeq/1,2`, `write_canonical/1,2` and `write_term/2,3`; the variants without a stream argument use the current input or output stream. The tuProlog-specific `consult/1` adds the clauses of a theory loaded from a file or URL to the knowledge base, whereas `set_theory/1` replaces the knowledge base with a theory given as source text.\n\nThe byte-oriented predicates (`get_byte/1,2`, `peek_byte/1,2`, `put_byte/1,2`), the character conversion predicates (`char_conversion/2`, `current_char_conversion/2`) and `close/2` are registered for ISO conformance, but are not supported: calling them always raises a system error.";
|
|
441
442
|
}
|
|
442
443
|
protoOf(IOLib).i1x = function () {
|
|
443
|
-
return this.
|
|
444
|
+
return this.z4t_1;
|
|
444
445
|
};
|
|
445
|
-
protoOf(IOLib).
|
|
446
|
+
protoOf(IOLib).e2j = function () {
|
|
446
447
|
return 'prolog.io';
|
|
447
448
|
};
|
|
448
|
-
protoOf(IOLib).
|
|
449
|
+
protoOf(IOLib).z2i = function () {
|
|
449
450
|
var tmp = Companion_getInstance();
|
|
450
451
|
// Inline function 'kotlin.collections.map' call
|
|
451
452
|
var this_0 = listOf([AtEndOfStream0_getInstance(), AtEndOfStream1_getInstance(), CharConversion_getInstance(), Close1_getInstance(), Close2_getInstance(), Consult_getInstance(), CurrentCharConversion_getInstance(), CurrentInput_getInstance(), CurrentOutput_getInstance(), FlushOutput_getInstance(), GetByte1_getInstance(), GetByte2_getInstance(), GetChar1_getInstance(), GetChar2_getInstance(), GetCode1_getInstance(), GetCode2_getInstance(), Nl1_getInstance(), Open3_getInstance(), Open4_getInstance(), PeekByte1_getInstance(), PeekByte2_getInstance(), PeekChar1_getInstance(), PeekChar2_getInstance(), PeekCode1_getInstance(), PeekCode2_getInstance(), PutByte1_getInstance(), PutByte2_getInstance(), PutChar1_getInstance(), PutChar2_getInstance(), PutCode1_getInstance(), PutCode2_getInstance(), Read1_getInstance(), Read2_getInstance(), ReadTerm2_getInstance(), ReadTerm3_getInstance(), SetInput_getInstance(), SetOutput_getInstance(), SetTheory_getInstance(), StreamProperty_getInstance(), Write2_getInstance(), WriteCanonical1_getInstance(), WriteCanonical2_getInstance(), WriteEq1_getInstance(), WriteEq2_getInstance(), WriteTerm2_getInstance(), WriteTerm3_getInstance()]);
|
|
@@ -474,7 +475,7 @@
|
|
|
474
475
|
function Atom$Companion$of$ref(p0) {
|
|
475
476
|
return constructCallableReference(function (p0_0) {
|
|
476
477
|
return p0.of(p0_0);
|
|
477
|
-
}, 1, 0,
|
|
478
|
+
}, 1, 0, 107, 'of', [p0]);
|
|
478
479
|
}
|
|
479
480
|
var static_init_called;
|
|
480
481
|
function static_init() {
|
|
@@ -497,7 +498,7 @@
|
|
|
497
498
|
var tmp = this;
|
|
498
499
|
var tmp_0 = asSequence(get_entries());
|
|
499
500
|
var tmp_1 = map(tmp_0, IOMode$Companion$atomValues$lambda);
|
|
500
|
-
tmp.
|
|
501
|
+
tmp.a4u_1 = toSet(map(tmp_1, Atom$Companion$of$ref(Companion_getInstance_0())));
|
|
501
502
|
}
|
|
502
503
|
var Companion_instance_14;
|
|
503
504
|
function Companion_getInstance_8() {
|
|
@@ -546,24 +547,24 @@
|
|
|
546
547
|
}
|
|
547
548
|
function LocalFileSystem() {
|
|
548
549
|
LocalFileSystem_instance = this;
|
|
549
|
-
this.
|
|
550
|
+
this.b4u_1 = get_platformFileSystem();
|
|
550
551
|
}
|
|
551
|
-
protoOf(LocalFileSystem).
|
|
552
|
-
return this.
|
|
552
|
+
protoOf(LocalFileSystem).p4q = function (path) {
|
|
553
|
+
return this.b4u_1.p4q(path);
|
|
553
554
|
};
|
|
554
|
-
protoOf(LocalFileSystem).
|
|
555
|
-
return this.
|
|
555
|
+
protoOf(LocalFileSystem).q4q = function (path, mustCreate) {
|
|
556
|
+
return this.b4u_1.q4q(path, mustCreate);
|
|
556
557
|
};
|
|
557
|
-
protoOf(LocalFileSystem).
|
|
558
|
+
protoOf(LocalFileSystem).c4u = function (path, mustCreate, $super) {
|
|
558
559
|
mustCreate = mustCreate === VOID ? false : mustCreate;
|
|
559
|
-
return $super === VOID ? this.
|
|
560
|
+
return $super === VOID ? this.q4q(path, mustCreate) : $super.q4q.call(this, path, mustCreate);
|
|
560
561
|
};
|
|
561
|
-
protoOf(LocalFileSystem).
|
|
562
|
-
return this.
|
|
562
|
+
protoOf(LocalFileSystem).r4q = function (path, mustExist) {
|
|
563
|
+
return this.b4u_1.r4q(path, mustExist);
|
|
563
564
|
};
|
|
564
|
-
protoOf(LocalFileSystem).
|
|
565
|
+
protoOf(LocalFileSystem).d4u = function (path, mustExist, $super) {
|
|
565
566
|
mustExist = mustExist === VOID ? false : mustExist;
|
|
566
|
-
return $super === VOID ? this.
|
|
567
|
+
return $super === VOID ? this.r4q(path, mustExist) : $super.r4q.call(this, path, mustExist);
|
|
567
568
|
};
|
|
568
569
|
var LocalFileSystem_instance;
|
|
569
570
|
function LocalFileSystem_getInstance() {
|
|
@@ -591,8 +592,10 @@
|
|
|
591
592
|
return '?' + it;
|
|
592
593
|
}
|
|
593
594
|
function Companion_0() {
|
|
595
|
+
Companion_instance_15 = this;
|
|
596
|
+
this.e4u_1 = Regex_init_$Create$('^[A-Za-z]:[\\\\/]');
|
|
594
597
|
}
|
|
595
|
-
protoOf(Companion_0).
|
|
598
|
+
protoOf(Companion_0).f4u = function (_this__u8e3s4) {
|
|
596
599
|
var tmp;
|
|
597
600
|
if (_this__u8e3s4 < 0) {
|
|
598
601
|
throw IllegalArgumentException_init_$Create$('Invalid port: ' + _this__u8e3s4);
|
|
@@ -604,7 +607,7 @@
|
|
|
604
607
|
protoOf(Companion_0).file = function (path) {
|
|
605
608
|
return fileUrl(path);
|
|
606
609
|
};
|
|
607
|
-
protoOf(Companion_0).
|
|
610
|
+
protoOf(Companion_0).g4u = function (protocol, host, port, path, query) {
|
|
608
611
|
return remoteUrl(protocol, host, port, path, query);
|
|
609
612
|
};
|
|
610
613
|
protoOf(Companion_0).remote = function (protocol, host, port, path, query, $super) {
|
|
@@ -612,27 +615,27 @@
|
|
|
612
615
|
port = port === VOID ? null : port;
|
|
613
616
|
path = path === VOID ? '' : path;
|
|
614
617
|
query = query === VOID ? null : query;
|
|
615
|
-
return $super === VOID ? this.
|
|
618
|
+
return $super === VOID ? this.g4u(protocol, host, port, path, query) : $super.g4u.call(this, protocol, host, port, path, query);
|
|
616
619
|
};
|
|
617
|
-
protoOf(Companion_0).
|
|
618
|
-
return this.
|
|
620
|
+
protoOf(Companion_0).h4u = function (host, port, path, query) {
|
|
621
|
+
return this.g4u('http', host, port, path, query);
|
|
619
622
|
};
|
|
620
623
|
protoOf(Companion_0).http = function (host, port, path, query, $super) {
|
|
621
624
|
host = host === VOID ? '' : host;
|
|
622
625
|
port = port === VOID ? null : port;
|
|
623
626
|
path = path === VOID ? '' : path;
|
|
624
627
|
query = query === VOID ? null : query;
|
|
625
|
-
return $super === VOID ? this.
|
|
628
|
+
return $super === VOID ? this.h4u(host, port, path, query) : $super.h4u.call(this, host, port, path, query);
|
|
626
629
|
};
|
|
627
|
-
protoOf(Companion_0).
|
|
628
|
-
return this.
|
|
630
|
+
protoOf(Companion_0).i4u = function (host, port, path, query) {
|
|
631
|
+
return this.g4u('https', host, port, path, query);
|
|
629
632
|
};
|
|
630
633
|
protoOf(Companion_0).https = function (host, port, path, query, $super) {
|
|
631
634
|
host = host === VOID ? '' : host;
|
|
632
635
|
port = port === VOID ? null : port;
|
|
633
636
|
path = path === VOID ? '' : path;
|
|
634
637
|
query = query === VOID ? null : query;
|
|
635
|
-
return $super === VOID ? this.
|
|
638
|
+
return $super === VOID ? this.i4u(host, port, path, query) : $super.i4u.call(this, host, port, path, query);
|
|
636
639
|
};
|
|
637
640
|
protoOf(Companion_0).of = function (string) {
|
|
638
641
|
var tmp;
|
|
@@ -643,16 +646,22 @@
|
|
|
643
646
|
if ($p instanceof InvalidUrlException) {
|
|
644
647
|
var e = $p;
|
|
645
648
|
var tmp_1;
|
|
646
|
-
|
|
647
|
-
tmp_1 = parseUrl('file://' + string);
|
|
648
|
-
} catch ($p_0) {
|
|
649
|
+
if (startsWith(string, '/') || this.e4u_1.ob(string)) {
|
|
649
650
|
var tmp_2;
|
|
650
|
-
|
|
651
|
-
|
|
652
|
-
|
|
653
|
-
|
|
654
|
-
|
|
651
|
+
try {
|
|
652
|
+
tmp_2 = parseUrl('file://' + string);
|
|
653
|
+
} catch ($p_0) {
|
|
654
|
+
var tmp_3;
|
|
655
|
+
if ($p_0 instanceof InvalidUrlException) {
|
|
656
|
+
var _unused_var__etf5q3 = $p_0;
|
|
657
|
+
throw e;
|
|
658
|
+
} else {
|
|
659
|
+
throw $p_0;
|
|
660
|
+
}
|
|
655
661
|
}
|
|
662
|
+
tmp_1 = tmp_2;
|
|
663
|
+
} else {
|
|
664
|
+
tmp_1 = this.file(string);
|
|
656
665
|
}
|
|
657
666
|
tmp_0 = tmp_1;
|
|
658
667
|
} else {
|
|
@@ -662,32 +671,34 @@
|
|
|
662
671
|
}
|
|
663
672
|
return tmp;
|
|
664
673
|
};
|
|
665
|
-
protoOf(Companion_0).
|
|
666
|
-
var tmp = port == null ? null : this.
|
|
674
|
+
protoOf(Companion_0).j4u = function (protocol, host, port, path, query) {
|
|
675
|
+
var tmp = port == null ? null : this.f4u(port);
|
|
667
676
|
var tmp_0 = str(this, tmp, Url$Companion$toString$lambda);
|
|
668
677
|
return protocol + '://' + host + tmp_0 + path + str(this, query, Url$Companion$toString$lambda_0);
|
|
669
678
|
};
|
|
670
679
|
var Companion_instance_15;
|
|
671
680
|
function Companion_getInstance_9() {
|
|
681
|
+
if (Companion_instance_15 == null)
|
|
682
|
+
new Companion_0();
|
|
672
683
|
return Companion_instance_15;
|
|
673
684
|
}
|
|
674
685
|
function Url() {
|
|
675
686
|
}
|
|
676
687
|
function SinkOutputChannel(sink) {
|
|
677
688
|
AbstractOutputChannel.call(this);
|
|
678
|
-
this.
|
|
689
|
+
this.t4u_1 = sink;
|
|
679
690
|
}
|
|
680
|
-
protoOf(SinkOutputChannel).
|
|
681
|
-
this.
|
|
691
|
+
protoOf(SinkOutputChannel).u4u = function (value) {
|
|
692
|
+
this.t4u_1.u4p(value);
|
|
682
693
|
};
|
|
683
|
-
protoOf(SinkOutputChannel).
|
|
684
|
-
return this.
|
|
694
|
+
protoOf(SinkOutputChannel).k23 = function (value) {
|
|
695
|
+
return this.u4u(typeof value === 'string' ? value : THROW_CCE());
|
|
685
696
|
};
|
|
686
|
-
protoOf(SinkOutputChannel).
|
|
687
|
-
this.
|
|
697
|
+
protoOf(SinkOutputChannel).l23 = function () {
|
|
698
|
+
this.t4u_1.m8();
|
|
688
699
|
};
|
|
689
700
|
protoOf(SinkOutputChannel).h3 = function () {
|
|
690
|
-
this.
|
|
701
|
+
this.t4u_1.h3();
|
|
691
702
|
protoOf(AbstractOutputChannel).h3.call(this);
|
|
692
703
|
};
|
|
693
704
|
protoOf(SinkOutputChannel).close = function () {
|
|
@@ -695,28 +706,28 @@
|
|
|
695
706
|
};
|
|
696
707
|
function SourceInputChannel(source) {
|
|
697
708
|
AbstractInputChannel.call(this);
|
|
698
|
-
this.
|
|
699
|
-
this.
|
|
709
|
+
this.a4v_1 = source;
|
|
710
|
+
this.b4v_1 = ArrayDeque_init_$Create$();
|
|
700
711
|
}
|
|
701
|
-
protoOf(SourceInputChannel).
|
|
702
|
-
if (this.
|
|
703
|
-
if (this.
|
|
712
|
+
protoOf(SourceInputChannel).d23 = function () {
|
|
713
|
+
if (this.b4v_1.i()) {
|
|
714
|
+
if (this.a4v_1.c4q())
|
|
704
715
|
return null;
|
|
705
|
-
var codePoint = this.
|
|
716
|
+
var codePoint = this.a4v_1.j4r();
|
|
706
717
|
// Inline function 'kotlin.code' call
|
|
707
718
|
var this_0 = _Char___init__impl__6a9atx(65535);
|
|
708
719
|
if (codePoint > Char__toInt_impl_vasixd(this_0)) {
|
|
709
720
|
var offset = codePoint - 65536 | 0;
|
|
710
|
-
this.
|
|
711
|
-
this.
|
|
721
|
+
this.b4v_1.od(new Char(numberToChar((offset >> 10) + 55296 | 0)));
|
|
722
|
+
this.b4v_1.od(new Char(numberToChar((offset & 1023) + 56320 | 0)));
|
|
712
723
|
} else {
|
|
713
|
-
this.
|
|
724
|
+
this.b4v_1.od(new Char(numberToChar(codePoint)));
|
|
714
725
|
}
|
|
715
726
|
}
|
|
716
|
-
return toString_0(this.
|
|
727
|
+
return toString_0(this.b4v_1.pd().r1_1);
|
|
717
728
|
};
|
|
718
729
|
protoOf(SourceInputChannel).h3 = function () {
|
|
719
|
-
this.
|
|
730
|
+
this.a4v_1.h3();
|
|
720
731
|
protoOf(AbstractInputChannel).h3.call(this);
|
|
721
732
|
};
|
|
722
733
|
protoOf(SourceInputChannel).close = function () {
|
|
@@ -742,7 +753,7 @@
|
|
|
742
753
|
captureStack(tmp, IOException_init_$Create$_0);
|
|
743
754
|
return tmp;
|
|
744
755
|
}
|
|
745
|
-
protoOf(IOException_0).
|
|
756
|
+
protoOf(IOException_0).c4v = function (context) {
|
|
746
757
|
return Companion_instance_2.forUncaughtKtException(context, this);
|
|
747
758
|
};
|
|
748
759
|
function IOException_0() {
|
|
@@ -768,8 +779,8 @@
|
|
|
768
779
|
captureStack(tmp, InvalidUrlException_init_$Create$_0);
|
|
769
780
|
return tmp;
|
|
770
781
|
}
|
|
771
|
-
protoOf(InvalidUrlException).
|
|
772
|
-
return Companion_instance_3.
|
|
782
|
+
protoOf(InvalidUrlException).d4v = function (context, signature, culprit, index) {
|
|
783
|
+
return Companion_instance_3.j2b(context, signature, Expected_URL_getInstance(), culprit, index);
|
|
773
784
|
};
|
|
774
785
|
function InvalidUrlException() {
|
|
775
786
|
captureStack(this, InvalidUrlException);
|
|
@@ -777,18 +788,18 @@
|
|
|
777
788
|
function AtEndOfStream0() {
|
|
778
789
|
AtEndOfStream0_instance = this;
|
|
779
790
|
Predicative.call(this, 'at_end_of_stream');
|
|
780
|
-
this.
|
|
791
|
+
this.f4v_1 = '`at_end_of_stream`\n\nSucceeds iff the current input stream (standard input, unless changed via `set_input/1`) is closed or has no more characters to read, and fails otherwise. It is deterministic and raises no errors.\n\n**Examples**\n\n```prolog\n% with `foo.` still to be read from standard input\n?- at_end_of_stream.\nno.\n\n% once standard input has been exhausted\n?- at_end_of_stream.\nyes.\n```';
|
|
781
792
|
}
|
|
782
793
|
protoOf(AtEndOfStream0).i1x = function () {
|
|
783
|
-
return this.
|
|
794
|
+
return this.f4v_1;
|
|
784
795
|
};
|
|
785
|
-
protoOf(AtEndOfStream0).
|
|
796
|
+
protoOf(AtEndOfStream0).g4v = function (_this__u8e3s4) {
|
|
786
797
|
// Inline function 'kotlin.let' call
|
|
787
|
-
var it = IOPrimitiveUtils_getInstance().
|
|
788
|
-
return it.
|
|
798
|
+
var it = IOPrimitiveUtils_getInstance().y4v(_this__u8e3s4);
|
|
799
|
+
return it.g22() || it.tr();
|
|
789
800
|
};
|
|
790
|
-
protoOf(AtEndOfStream0).
|
|
791
|
-
return this.
|
|
801
|
+
protoOf(AtEndOfStream0).n2l = function (_this__u8e3s4) {
|
|
802
|
+
return this.g4v(_this__u8e3s4);
|
|
792
803
|
};
|
|
793
804
|
var AtEndOfStream0_instance;
|
|
794
805
|
function AtEndOfStream0_getInstance() {
|
|
@@ -799,18 +810,18 @@
|
|
|
799
810
|
function AtEndOfStream1() {
|
|
800
811
|
AtEndOfStream1_instance = this;
|
|
801
812
|
Predicative_0.call(this, 'at_end_of_stream');
|
|
802
|
-
this.
|
|
813
|
+
this.a4w_1 = '`at_end_of_stream(+Stream)`\n\nSucceeds iff the input stream `Stream` is closed or has no more characters to read, and fails otherwise. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error.\n\n**Examples**\n\n```prolog\n?- at_end_of_stream(user_output).\nthrows error(domain_error(stream_type, user_output), _).\n\n?- at_end_of_stream(S).\nthrows error(instantiation_error, _).\n\n?- at_end_of_stream(no_such_stream).\nthrows error(existence_error(source_sink, no_such_stream), _).\n```';
|
|
803
814
|
}
|
|
804
815
|
protoOf(AtEndOfStream1).i1x = function () {
|
|
805
|
-
return this.
|
|
816
|
+
return this.a4w_1;
|
|
806
817
|
};
|
|
807
|
-
protoOf(AtEndOfStream1).
|
|
818
|
+
protoOf(AtEndOfStream1).b4w = function (_this__u8e3s4, first) {
|
|
808
819
|
// Inline function 'kotlin.let' call
|
|
809
|
-
var it = IOPrimitiveUtils_getInstance().
|
|
810
|
-
return it.
|
|
820
|
+
var it = IOPrimitiveUtils_getInstance().c4w(_this__u8e3s4, 0);
|
|
821
|
+
return it.g22() || it.tr();
|
|
811
822
|
};
|
|
812
|
-
protoOf(AtEndOfStream1).
|
|
813
|
-
return this.
|
|
823
|
+
protoOf(AtEndOfStream1).f2o = function (_this__u8e3s4, first) {
|
|
824
|
+
return this.b4w(_this__u8e3s4, first);
|
|
814
825
|
};
|
|
815
826
|
var AtEndOfStream1_instance;
|
|
816
827
|
function AtEndOfStream1_getInstance() {
|
|
@@ -821,16 +832,16 @@
|
|
|
821
832
|
function CharConversion() {
|
|
822
833
|
CharConversion_instance = this;
|
|
823
834
|
NonBacktrackable.call(this, 'char_conversion');
|
|
824
|
-
this.
|
|
835
|
+
this.e4w_1 = '`char_conversion(+InChar, +OutChar)`\n\nRegistered for ISO conformance only: the current implementation does not support a character conversion table, so every call raises a system error regardless of its arguments.\n\n**Examples**\n\n```prolog\n?- char_conversion(a, b).\nthrows error(system_error, _).\n```';
|
|
825
836
|
}
|
|
826
837
|
protoOf(CharConversion).i1x = function () {
|
|
827
|
-
return this.
|
|
838
|
+
return this.e4w_1;
|
|
828
839
|
};
|
|
829
|
-
protoOf(CharConversion).
|
|
830
|
-
return Companion_getInstance_1().
|
|
840
|
+
protoOf(CharConversion).j2v = function (_this__u8e3s4, first, second) {
|
|
841
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
831
842
|
};
|
|
832
|
-
protoOf(CharConversion).
|
|
833
|
-
return this.
|
|
843
|
+
protoOf(CharConversion).v2k = function (_this__u8e3s4, first, second) {
|
|
844
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
834
845
|
};
|
|
835
846
|
var CharConversion_instance;
|
|
836
847
|
function CharConversion_getInstance() {
|
|
@@ -841,27 +852,27 @@
|
|
|
841
852
|
function Close1$computeOne$lambda($this_computeOne, $channel) {
|
|
842
853
|
return function ($this$replySuccess) {
|
|
843
854
|
var tmp = $this_computeOne.context.x1x();
|
|
844
|
-
$this$replySuccess.
|
|
855
|
+
$this$replySuccess.p2r(tmp.aliasesOf(isInterface($channel, InputChannel) ? $channel : THROW_CCE()));
|
|
845
856
|
return Unit_instance;
|
|
846
857
|
};
|
|
847
858
|
}
|
|
848
859
|
function Close1$computeOne$lambda_0($this_computeOne, $channel) {
|
|
849
860
|
return function ($this$replySuccess) {
|
|
850
861
|
var tmp = $this_computeOne.context.y1x();
|
|
851
|
-
$this$replySuccess.
|
|
862
|
+
$this$replySuccess.s2r(tmp.aliasesOf(isInterface($channel, OutputChannel) ? $channel : THROW_CCE()));
|
|
852
863
|
return Unit_instance;
|
|
853
864
|
};
|
|
854
865
|
}
|
|
855
866
|
function Close1() {
|
|
856
867
|
Close1_instance = this;
|
|
857
868
|
NonBacktrackable_0.call(this, 'close');
|
|
858
|
-
this.
|
|
869
|
+
this.g4w_1 = '`close(+Stream)`\n\nCloses the stream `Stream`, given as an alias or a `$stream(Direction, Id)` term, and unregisters every alias it was reachable through, succeeding deterministically. It raises an instantiation error if `Stream` is unbound, an existence error if it does not denote an open stream, and a domain error (`stream_or_alias`) if it is a compound term other than a stream term. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- close(S).\nthrows error(instantiation_error, _).\n\n?- close(no_such_stream).\nthrows error(existence_error(source_sink, no_such_stream), _).\n\n?- close(foo(bar)).\nthrows error(domain_error(stream_or_alias, foo(bar)), _).\n```';
|
|
859
870
|
}
|
|
860
871
|
protoOf(Close1).i1x = function () {
|
|
861
|
-
return this.
|
|
872
|
+
return this.g4w_1;
|
|
862
873
|
};
|
|
863
|
-
protoOf(Close1).
|
|
864
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
874
|
+
protoOf(Close1).v2u = function (_this__u8e3s4, first) {
|
|
875
|
+
var channel = IOPrimitiveUtils_getInstance().h4w(_this__u8e3s4, 0);
|
|
865
876
|
try {
|
|
866
877
|
channel.close();
|
|
867
878
|
var tmp;
|
|
@@ -884,8 +895,8 @@
|
|
|
884
895
|
}
|
|
885
896
|
}
|
|
886
897
|
};
|
|
887
|
-
protoOf(Close1).
|
|
888
|
-
return this.
|
|
898
|
+
protoOf(Close1).i2o = function (_this__u8e3s4, first) {
|
|
899
|
+
return this.v2u(_this__u8e3s4, first);
|
|
889
900
|
};
|
|
890
901
|
var Close1_instance;
|
|
891
902
|
function Close1_getInstance() {
|
|
@@ -896,16 +907,16 @@
|
|
|
896
907
|
function Close2() {
|
|
897
908
|
Close2_instance = this;
|
|
898
909
|
NonBacktrackable.call(this, 'close');
|
|
899
|
-
this.
|
|
910
|
+
this.j4w_1 = '`close(+Stream, +Options)`\n\nRegistered for ISO conformance only: the current implementation does not support close options such as `force(true)`, so every call raises a system error regardless of its arguments; use `close/1` instead.\n\n**Examples**\n\n```prolog\n?- close(user_output, [force(true)]).\nthrows error(system_error, _).\n```';
|
|
900
911
|
}
|
|
901
912
|
protoOf(Close2).i1x = function () {
|
|
902
|
-
return this.
|
|
913
|
+
return this.j4w_1;
|
|
903
914
|
};
|
|
904
|
-
protoOf(Close2).
|
|
905
|
-
return Companion_getInstance_1().
|
|
915
|
+
protoOf(Close2).j2v = function (_this__u8e3s4, first, second) {
|
|
916
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
906
917
|
};
|
|
907
|
-
protoOf(Close2).
|
|
908
|
-
return this.
|
|
918
|
+
protoOf(Close2).v2k = function (_this__u8e3s4, first, second) {
|
|
919
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
909
920
|
};
|
|
910
921
|
var Close2_instance;
|
|
911
922
|
function Close2_getInstance() {
|
|
@@ -916,35 +927,35 @@
|
|
|
916
927
|
function Consult() {
|
|
917
928
|
Consult_instance = this;
|
|
918
929
|
NonBacktrackable_0.call(this, 'consult');
|
|
919
|
-
this.
|
|
930
|
+
this.l4w_1 = "`consult(+Source)`\n\nLoads the Prolog theory found at `Source`, an atom holding either a URL (e.g. `'https://example.com/theory.pl'`) or a plain absolute or relative file path, parsing it with the current operators. This tuProlog-specific predicate adds the loaded clauses to the knowledge base without removing any existing clause (so consulting the same source twice duplicates its clauses), with clauses of predicates declared dynamic going to the dynamic knowledge base and all others to the static one; operators and flags set by the theory's directives take effect as well. It raises an instantiation error if `Source` is unbound, a type error (`atom`) if it is not an atom, a type error (`url`) if it is not a valid URL or path, a system error if the resource cannot be read, and a syntax error if its content is not a well-formed theory.\n\n**Examples**\n\n```prolog\n% with /path/to/family.pl containing `parent(tom, bob).`\n?- consult('/path/to/family.pl'), parent(tom, X).\nX = bob.\n\n?- consult(F).\nthrows error(instantiation_error, _).\n\n?- consult(42).\nthrows error(type_error(atom, 42), _).\n\n?- consult('/no/such/theory.pl').\nthrows error(system_error, _).\n```";
|
|
920
931
|
}
|
|
921
932
|
protoOf(Consult).i1x = function () {
|
|
922
|
-
return this.
|
|
933
|
+
return this.l4w_1;
|
|
923
934
|
};
|
|
924
|
-
protoOf(Consult).
|
|
925
|
-
Companion_getInstance_1().
|
|
926
|
-
Companion_getInstance_1().
|
|
935
|
+
protoOf(Consult).v2u = function (_this__u8e3s4, first) {
|
|
936
|
+
Companion_getInstance_1().w2l(_this__u8e3s4, 0);
|
|
937
|
+
Companion_getInstance_1().f2m(_this__u8e3s4, 0);
|
|
927
938
|
var urlString = (isInterface(first, Atom) ? first : THROW_CCE()).f1();
|
|
928
939
|
try {
|
|
929
|
-
var url =
|
|
940
|
+
var url = Companion_getInstance_9().of(urlString);
|
|
930
941
|
var text = url.readAsText();
|
|
931
|
-
return SetTheory_getInstance().
|
|
942
|
+
return SetTheory_getInstance().o4w(_this__u8e3s4, text);
|
|
932
943
|
} catch ($p) {
|
|
933
944
|
if ($p instanceof InvalidUrlException) {
|
|
934
945
|
var e = $p;
|
|
935
|
-
throw e.
|
|
946
|
+
throw e.d4v(_this__u8e3s4.context, _this__u8e3s4.signature, first, 0);
|
|
936
947
|
} else {
|
|
937
948
|
if ($p instanceof IOException_0) {
|
|
938
949
|
var e_0 = $p;
|
|
939
|
-
throw e_0.
|
|
950
|
+
throw e_0.c4v(_this__u8e3s4.context);
|
|
940
951
|
} else {
|
|
941
952
|
throw $p;
|
|
942
953
|
}
|
|
943
954
|
}
|
|
944
955
|
}
|
|
945
956
|
};
|
|
946
|
-
protoOf(Consult).
|
|
947
|
-
return this.
|
|
957
|
+
protoOf(Consult).i2o = function (_this__u8e3s4, first) {
|
|
958
|
+
return this.v2u(_this__u8e3s4, first);
|
|
948
959
|
};
|
|
949
960
|
var Consult_instance;
|
|
950
961
|
function Consult_getInstance() {
|
|
@@ -955,16 +966,16 @@
|
|
|
955
966
|
function CurrentCharConversion() {
|
|
956
967
|
CurrentCharConversion_instance = this;
|
|
957
968
|
NonBacktrackable.call(this, 'current_char_conversion');
|
|
958
|
-
this.
|
|
969
|
+
this.q4w_1 = '`current_char_conversion(?InChar, ?OutChar)`\n\nRegistered for ISO conformance only: since character conversion is not supported (see `char_conversion/2`), the current implementation raises a system error on every call regardless of its arguments.\n\n**Examples**\n\n```prolog\n?- current_char_conversion(X, Y).\nthrows error(system_error, _).\n```';
|
|
959
970
|
}
|
|
960
971
|
protoOf(CurrentCharConversion).i1x = function () {
|
|
961
|
-
return this.
|
|
972
|
+
return this.q4w_1;
|
|
962
973
|
};
|
|
963
|
-
protoOf(CurrentCharConversion).
|
|
964
|
-
return Companion_getInstance_1().
|
|
974
|
+
protoOf(CurrentCharConversion).j2v = function (_this__u8e3s4, first, second) {
|
|
975
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
965
976
|
};
|
|
966
|
-
protoOf(CurrentCharConversion).
|
|
967
|
-
return this.
|
|
977
|
+
protoOf(CurrentCharConversion).v2k = function (_this__u8e3s4, first, second) {
|
|
978
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
968
979
|
};
|
|
969
980
|
var CurrentCharConversion_instance;
|
|
970
981
|
function CurrentCharConversion_getInstance() {
|
|
@@ -975,21 +986,21 @@
|
|
|
975
986
|
function CurrentInput() {
|
|
976
987
|
CurrentInput_instance = this;
|
|
977
988
|
NonBacktrackable_0.call(this, 'current_input');
|
|
978
|
-
this.
|
|
989
|
+
this.s4w_1 = '`current_input(?Stream)`\n\nUnifies `Stream` with the `$stream(in, Id)` term of the current input stream (standard input, unless changed via `set_input/1`); if `Stream` is already a stream term, it succeeds iff that term denotes the current input stream. It is deterministic. It raises an existence error if `Stream` is a stream term denoting no open stream, and a domain error (`stream_or_alias`) if it is bound to anything else, aliases included.\n\n**Examples**\n\n```prolog\n?- current_input(S), stream_property(S, alias(user_input)).\nyes.\n\n?- current_input(user_input).\nthrows error(domain_error(stream_or_alias, user_input), _).\n```';
|
|
979
990
|
}
|
|
980
991
|
protoOf(CurrentInput).i1x = function () {
|
|
981
|
-
return this.
|
|
992
|
+
return this.s4w_1;
|
|
982
993
|
};
|
|
983
|
-
protoOf(CurrentInput).
|
|
984
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
994
|
+
protoOf(CurrentInput).v2u = function (_this__u8e3s4, first) {
|
|
995
|
+
var channel = IOPrimitiveUtils_getInstance().t4w(_this__u8e3s4, 0);
|
|
985
996
|
// Inline function 'kotlin.let' call
|
|
986
997
|
var it = _this__u8e3s4.context.x1x();
|
|
987
|
-
var tmp0_elvis_lhs = it.
|
|
998
|
+
var tmp0_elvis_lhs = it.rr();
|
|
988
999
|
var currentChannel = tmp0_elvis_lhs == null ? it.h1y() : tmp0_elvis_lhs;
|
|
989
|
-
return channel == null ? _this__u8e3s4.replyWith(Companion_getInstance_1().
|
|
1000
|
+
return channel == null ? _this__u8e3s4.replyWith(Companion_getInstance_1().q2l(_this__u8e3s4, first, currentChannel.h22()), VOID, []) : equals(channel, currentChannel) ? _this__u8e3s4.replySuccess(VOID, VOID, []) : _this__u8e3s4.replyFail(VOID, []);
|
|
990
1001
|
};
|
|
991
|
-
protoOf(CurrentInput).
|
|
992
|
-
return this.
|
|
1002
|
+
protoOf(CurrentInput).i2o = function (_this__u8e3s4, first) {
|
|
1003
|
+
return this.v2u(_this__u8e3s4, first);
|
|
993
1004
|
};
|
|
994
1005
|
var CurrentInput_instance;
|
|
995
1006
|
function CurrentInput_getInstance() {
|
|
@@ -1000,21 +1011,21 @@
|
|
|
1000
1011
|
function CurrentOutput() {
|
|
1001
1012
|
CurrentOutput_instance = this;
|
|
1002
1013
|
NonBacktrackable_0.call(this, 'current_output');
|
|
1003
|
-
this.
|
|
1014
|
+
this.v4w_1 = '`current_output(?Stream)`\n\nUnifies `Stream` with the `$stream(out, Id)` term of the current output stream (standard output, unless changed via `set_output/1`); if `Stream` is already a stream term, it succeeds iff that term denotes the current output stream. It is deterministic. It raises an existence error if `Stream` is a stream term denoting no open stream, and a domain error (`stream_or_alias`) if it is bound to anything else, aliases included.\n\n**Examples**\n\n```prolog\n?- current_output(S), stream_property(S, alias(user_output)).\nyes.\n\n?- current_output(S), write(S, hello).\n% prints: hello\nyes.\n\n?- current_output(user_output).\nthrows error(domain_error(stream_or_alias, user_output), _).\n```';
|
|
1004
1015
|
}
|
|
1005
1016
|
protoOf(CurrentOutput).i1x = function () {
|
|
1006
|
-
return this.
|
|
1017
|
+
return this.v4w_1;
|
|
1007
1018
|
};
|
|
1008
|
-
protoOf(CurrentOutput).
|
|
1009
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
1019
|
+
protoOf(CurrentOutput).v2u = function (_this__u8e3s4, first) {
|
|
1020
|
+
var channel = IOPrimitiveUtils_getInstance().t4w(_this__u8e3s4, 0);
|
|
1010
1021
|
// Inline function 'kotlin.let' call
|
|
1011
1022
|
var it = _this__u8e3s4.context.y1x();
|
|
1012
|
-
var tmp0_elvis_lhs = it.
|
|
1023
|
+
var tmp0_elvis_lhs = it.rr();
|
|
1013
1024
|
var currentChannel = tmp0_elvis_lhs == null ? it.i1y() : tmp0_elvis_lhs;
|
|
1014
|
-
return channel == null ? _this__u8e3s4.replyWith(Companion_getInstance_1().
|
|
1025
|
+
return channel == null ? _this__u8e3s4.replyWith(Companion_getInstance_1().q2l(_this__u8e3s4, first, currentChannel.h22()), VOID, []) : equals(channel, currentChannel) ? _this__u8e3s4.replySuccess(VOID, VOID, []) : _this__u8e3s4.replyFail(VOID, []);
|
|
1015
1026
|
};
|
|
1016
|
-
protoOf(CurrentOutput).
|
|
1017
|
-
return this.
|
|
1027
|
+
protoOf(CurrentOutput).i2o = function (_this__u8e3s4, first) {
|
|
1028
|
+
return this.v2u(_this__u8e3s4, first);
|
|
1018
1029
|
};
|
|
1019
1030
|
var CurrentOutput_instance;
|
|
1020
1031
|
function CurrentOutput_getInstance() {
|
|
@@ -1025,13 +1036,13 @@
|
|
|
1025
1036
|
function FlushOutput() {
|
|
1026
1037
|
FlushOutput_instance = this;
|
|
1027
1038
|
NonBacktrackable_0.call(this, 'flush_output');
|
|
1028
|
-
this.
|
|
1039
|
+
this.x4w_1 = '`flush_output(+Stream)`\n\nForces any buffered output of the output stream `Stream` to be written to its destination, succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write(user_output, hello), flush_output(user_output).\n% prints: hello\nyes.\n\n?- flush_output(user_input).\nthrows error(domain_error(stream_type, user_input), _).\n```';
|
|
1029
1040
|
}
|
|
1030
1041
|
protoOf(FlushOutput).i1x = function () {
|
|
1031
|
-
return this.
|
|
1042
|
+
return this.x4w_1;
|
|
1032
1043
|
};
|
|
1033
|
-
protoOf(FlushOutput).
|
|
1034
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
1044
|
+
protoOf(FlushOutput).v2u = function (_this__u8e3s4, first) {
|
|
1045
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
1035
1046
|
var tmp;
|
|
1036
1047
|
try {
|
|
1037
1048
|
channel.flush();
|
|
@@ -1048,8 +1059,8 @@
|
|
|
1048
1059
|
}
|
|
1049
1060
|
return tmp;
|
|
1050
1061
|
};
|
|
1051
|
-
protoOf(FlushOutput).
|
|
1052
|
-
return this.
|
|
1062
|
+
protoOf(FlushOutput).i2o = function (_this__u8e3s4, first) {
|
|
1063
|
+
return this.v2u(_this__u8e3s4, first);
|
|
1053
1064
|
};
|
|
1054
1065
|
var FlushOutput_instance;
|
|
1055
1066
|
function FlushOutput_getInstance() {
|
|
@@ -1060,16 +1071,16 @@
|
|
|
1060
1071
|
function GetByte1() {
|
|
1061
1072
|
GetByte1_instance = this;
|
|
1062
1073
|
NonBacktrackable_0.call(this, 'get_byte');
|
|
1063
|
-
this.
|
|
1074
|
+
this.a4x_1 = '`get_byte(?Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `get_code/1` instead.\n\n**Examples**\n\n```prolog\n?- get_byte(B).\nthrows error(system_error, _).\n```';
|
|
1064
1075
|
}
|
|
1065
1076
|
protoOf(GetByte1).i1x = function () {
|
|
1066
|
-
return this.
|
|
1077
|
+
return this.a4x_1;
|
|
1067
1078
|
};
|
|
1068
|
-
protoOf(GetByte1).
|
|
1069
|
-
return Companion_getInstance_1().
|
|
1079
|
+
protoOf(GetByte1).v2u = function (_this__u8e3s4, first) {
|
|
1080
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
1070
1081
|
};
|
|
1071
|
-
protoOf(GetByte1).
|
|
1072
|
-
return this.
|
|
1082
|
+
protoOf(GetByte1).i2o = function (_this__u8e3s4, first) {
|
|
1083
|
+
return this.v2u(_this__u8e3s4, first);
|
|
1073
1084
|
};
|
|
1074
1085
|
var GetByte1_instance;
|
|
1075
1086
|
function GetByte1_getInstance() {
|
|
@@ -1080,16 +1091,16 @@
|
|
|
1080
1091
|
function GetByte2() {
|
|
1081
1092
|
GetByte2_instance = this;
|
|
1082
1093
|
NonBacktrackable.call(this, 'get_byte');
|
|
1083
|
-
this.
|
|
1094
|
+
this.c4x_1 = '`get_byte(+Stream, ?Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `get_code/2` instead.\n\n**Examples**\n\n```prolog\n?- get_byte(user_input, B).\nthrows error(system_error, _).\n```';
|
|
1084
1095
|
}
|
|
1085
1096
|
protoOf(GetByte2).i1x = function () {
|
|
1086
|
-
return this.
|
|
1097
|
+
return this.c4x_1;
|
|
1087
1098
|
};
|
|
1088
|
-
protoOf(GetByte2).
|
|
1089
|
-
return Companion_getInstance_1().
|
|
1099
|
+
protoOf(GetByte2).j2v = function (_this__u8e3s4, first, second) {
|
|
1100
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
1090
1101
|
};
|
|
1091
|
-
protoOf(GetByte2).
|
|
1092
|
-
return this.
|
|
1102
|
+
protoOf(GetByte2).v2k = function (_this__u8e3s4, first, second) {
|
|
1103
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
1093
1104
|
};
|
|
1094
1105
|
var GetByte2_instance;
|
|
1095
1106
|
function GetByte2_getInstance() {
|
|
@@ -1100,17 +1111,17 @@
|
|
|
1100
1111
|
function GetChar1() {
|
|
1101
1112
|
GetChar1_instance = this;
|
|
1102
1113
|
NonBacktrackable_0.call(this, 'get_char');
|
|
1103
|
-
this.
|
|
1114
|
+
this.e4x_1 = '`get_char(?Char)`\n\nReads and consumes the next character from the current input stream (standard input, unless changed via `set_input/1`) and unifies it with `Char`, which becomes `end_of_file` at the end of the stream. It is deterministic. `Char` must be unbound, `end_of_file`, or a one-character atom, otherwise a type error (`in_character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- get_char(ab).\nthrows error(type_error(in_character, ab), _).\n\n?- get_char(1).\nthrows error(type_error(in_character, 1), _).\n```';
|
|
1104
1115
|
}
|
|
1105
1116
|
protoOf(GetChar1).i1x = function () {
|
|
1106
|
-
return this.
|
|
1117
|
+
return this.e4x_1;
|
|
1107
1118
|
};
|
|
1108
|
-
protoOf(GetChar1).
|
|
1109
|
-
IOPrimitiveUtils_getInstance().
|
|
1110
|
-
return IOPrimitiveUtils_getInstance().
|
|
1119
|
+
protoOf(GetChar1).v2u = function (_this__u8e3s4, first) {
|
|
1120
|
+
IOPrimitiveUtils_getInstance().f4x(_this__u8e3s4, 0);
|
|
1121
|
+
return IOPrimitiveUtils_getInstance().g4x(_this__u8e3s4, IOPrimitiveUtils_getInstance().y4v(_this__u8e3s4), first);
|
|
1111
1122
|
};
|
|
1112
|
-
protoOf(GetChar1).
|
|
1113
|
-
return this.
|
|
1123
|
+
protoOf(GetChar1).i2o = function (_this__u8e3s4, first) {
|
|
1124
|
+
return this.v2u(_this__u8e3s4, first);
|
|
1114
1125
|
};
|
|
1115
1126
|
var GetChar1_instance;
|
|
1116
1127
|
function GetChar1_getInstance() {
|
|
@@ -1121,18 +1132,18 @@
|
|
|
1121
1132
|
function GetChar2() {
|
|
1122
1133
|
GetChar2_instance = this;
|
|
1123
1134
|
NonBacktrackable.call(this, 'get_char');
|
|
1124
|
-
this.
|
|
1135
|
+
this.i4x_1 = '`get_char(+Stream, ?Char)`\n\nReads and consumes the next character from the input stream `Stream` and unifies it with `Char`, which becomes `end_of_file` at the end of the stream. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. `Char` must be unbound, `end_of_file`, or a one-character atom, otherwise a type error (`in_character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- get_char(user_input, ab).\nthrows error(type_error(in_character, ab), _).\n\n?- get_char(S, C).\nthrows error(instantiation_error, _).\n\n?- get_char(user_output, C).\nthrows error(domain_error(stream_type, user_output), _).\n```';
|
|
1125
1136
|
}
|
|
1126
1137
|
protoOf(GetChar2).i1x = function () {
|
|
1127
|
-
return this.
|
|
1138
|
+
return this.i4x_1;
|
|
1128
1139
|
};
|
|
1129
|
-
protoOf(GetChar2).
|
|
1130
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
1131
|
-
IOPrimitiveUtils_getInstance().
|
|
1132
|
-
return IOPrimitiveUtils_getInstance().
|
|
1140
|
+
protoOf(GetChar2).j2v = function (_this__u8e3s4, first, second) {
|
|
1141
|
+
var channel = IOPrimitiveUtils_getInstance().c4w(_this__u8e3s4, 0);
|
|
1142
|
+
IOPrimitiveUtils_getInstance().f4x(_this__u8e3s4, 1);
|
|
1143
|
+
return IOPrimitiveUtils_getInstance().g4x(_this__u8e3s4, channel, second);
|
|
1133
1144
|
};
|
|
1134
|
-
protoOf(GetChar2).
|
|
1135
|
-
return this.
|
|
1145
|
+
protoOf(GetChar2).v2k = function (_this__u8e3s4, first, second) {
|
|
1146
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
1136
1147
|
};
|
|
1137
1148
|
var GetChar2_instance;
|
|
1138
1149
|
function GetChar2_getInstance() {
|
|
@@ -1143,17 +1154,17 @@
|
|
|
1143
1154
|
function GetCode1() {
|
|
1144
1155
|
GetCode1_instance = this;
|
|
1145
1156
|
NonBacktrackable_0.call(this, 'get_code');
|
|
1146
|
-
this.
|
|
1157
|
+
this.k4x_1 = '`get_code(?Code)`\n\nReads and consumes the next character from the current input stream (standard input, unless changed via `set_input/1`) and unifies its code with `Code`, which becomes `-1` at the end of the stream. It is deterministic. `Code` must be unbound or an integer (type error otherwise) within the character-code range or `-1` (representation error otherwise); so is a character beyond the Basic Multilingual Plane in the stream, which has no single UTF-16 code (`representation_error(character_code)`). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- get_code(a).\nthrows error(type_error(integer, a), _).\n\n?- get_code(-2).\nthrows error(representation_error(character_code), _).\n```';
|
|
1147
1158
|
}
|
|
1148
1159
|
protoOf(GetCode1).i1x = function () {
|
|
1149
|
-
return this.
|
|
1160
|
+
return this.k4x_1;
|
|
1150
1161
|
};
|
|
1151
|
-
protoOf(GetCode1).
|
|
1152
|
-
IOPrimitiveUtils_getInstance().
|
|
1153
|
-
return IOPrimitiveUtils_getInstance().
|
|
1162
|
+
protoOf(GetCode1).v2u = function (_this__u8e3s4, first) {
|
|
1163
|
+
IOPrimitiveUtils_getInstance().l4x(_this__u8e3s4, 0);
|
|
1164
|
+
return IOPrimitiveUtils_getInstance().m4x(_this__u8e3s4, IOPrimitiveUtils_getInstance().y4v(_this__u8e3s4), first);
|
|
1154
1165
|
};
|
|
1155
|
-
protoOf(GetCode1).
|
|
1156
|
-
return this.
|
|
1166
|
+
protoOf(GetCode1).i2o = function (_this__u8e3s4, first) {
|
|
1167
|
+
return this.v2u(_this__u8e3s4, first);
|
|
1157
1168
|
};
|
|
1158
1169
|
var GetCode1_instance;
|
|
1159
1170
|
function GetCode1_getInstance() {
|
|
@@ -1164,18 +1175,18 @@
|
|
|
1164
1175
|
function GetCode2() {
|
|
1165
1176
|
GetCode2_instance = this;
|
|
1166
1177
|
NonBacktrackable.call(this, 'get_code');
|
|
1167
|
-
this.
|
|
1178
|
+
this.o4x_1 = '`get_code(+Stream, ?Code)`\n\nReads and consumes the next character from the input stream `Stream` and unifies its code with `Code`, which becomes `-1` at the end of the stream. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. `Code` must be unbound or an integer (type error otherwise) within the character-code range or `-1` (representation error otherwise); so is a character beyond the Basic Multilingual Plane in the stream, which has no single UTF-16 code (`representation_error(character_code)`). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- get_code(user_input, a).\nthrows error(type_error(integer, a), _).\n\n?- get_code(S, C).\nthrows error(instantiation_error, _).\n\n?- get_code(user_output, C).\nthrows error(domain_error(stream_type, user_output), _).\n```';
|
|
1168
1179
|
}
|
|
1169
1180
|
protoOf(GetCode2).i1x = function () {
|
|
1170
|
-
return this.
|
|
1181
|
+
return this.o4x_1;
|
|
1171
1182
|
};
|
|
1172
|
-
protoOf(GetCode2).
|
|
1173
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
1174
|
-
IOPrimitiveUtils_getInstance().
|
|
1175
|
-
return IOPrimitiveUtils_getInstance().
|
|
1183
|
+
protoOf(GetCode2).j2v = function (_this__u8e3s4, first, second) {
|
|
1184
|
+
var channel = IOPrimitiveUtils_getInstance().c4w(_this__u8e3s4, 0);
|
|
1185
|
+
IOPrimitiveUtils_getInstance().l4x(_this__u8e3s4, 1);
|
|
1186
|
+
return IOPrimitiveUtils_getInstance().m4x(_this__u8e3s4, channel, second);
|
|
1176
1187
|
};
|
|
1177
|
-
protoOf(GetCode2).
|
|
1178
|
-
return this.
|
|
1188
|
+
protoOf(GetCode2).v2k = function (_this__u8e3s4, first, second) {
|
|
1189
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
1179
1190
|
};
|
|
1180
1191
|
var GetCode2_instance;
|
|
1181
1192
|
function GetCode2_getInstance() {
|
|
@@ -1190,125 +1201,125 @@
|
|
|
1190
1201
|
return constructCallableReference(function (p0_0) {
|
|
1191
1202
|
var tmp0 = p0;
|
|
1192
1203
|
return alias(tmp0, p0_0);
|
|
1193
|
-
}, 1, 0,
|
|
1204
|
+
}, 1, 0, 108, 'alias', [p0]);
|
|
1194
1205
|
}
|
|
1195
1206
|
function IOPrimitiveUtils$propertiesOf$slambda$lambda_0(it) {
|
|
1196
1207
|
return it === '$current';
|
|
1197
1208
|
}
|
|
1198
1209
|
function _get_INPUT_STREAM_TERM_PATTERN__5fd8p6($this) {
|
|
1199
|
-
var tmp0 = $this.
|
|
1210
|
+
var tmp0 = $this.h4v_1;
|
|
1200
1211
|
var tmp = KProperty1;
|
|
1201
1212
|
// Inline function 'kotlin.getValue' call
|
|
1202
1213
|
getPropertyCallableRef('INPUT_STREAM_TERM_PATTERN', 1, tmp, IOPrimitiveUtils$_get_INPUT_STREAM_TERM_PATTERN_$ref_59oxnp(), null);
|
|
1203
1214
|
return tmp0.f1();
|
|
1204
1215
|
}
|
|
1205
1216
|
function _get_OUTPUT_STREAM_TERM_PATTERN__4vocxf($this) {
|
|
1206
|
-
var tmp0 = $this.
|
|
1217
|
+
var tmp0 = $this.i4v_1;
|
|
1207
1218
|
var tmp = KProperty1;
|
|
1208
1219
|
// Inline function 'kotlin.getValue' call
|
|
1209
1220
|
getPropertyCallableRef('OUTPUT_STREAM_TERM_PATTERN', 1, tmp, IOPrimitiveUtils$_get_OUTPUT_STREAM_TERM_PATTERN_$ref_kcdkmo(), null);
|
|
1210
1221
|
return tmp0.f1();
|
|
1211
1222
|
}
|
|
1212
1223
|
function _get_PROPERTY_TYPE_PATTERN__5nq864($this) {
|
|
1213
|
-
var tmp0 = $this.
|
|
1224
|
+
var tmp0 = $this.j4v_1;
|
|
1214
1225
|
var tmp = KProperty1;
|
|
1215
1226
|
// Inline function 'kotlin.getValue' call
|
|
1216
1227
|
getPropertyCallableRef('PROPERTY_TYPE_PATTERN', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_TYPE_PATTERN_$ref_qcyh3d(), null);
|
|
1217
1228
|
return tmp0.f1();
|
|
1218
1229
|
}
|
|
1219
1230
|
function _get_PROPERTY_REPOSITION_PATTERN__lznuii($this) {
|
|
1220
|
-
var tmp0 = $this.
|
|
1231
|
+
var tmp0 = $this.k4v_1;
|
|
1221
1232
|
var tmp = KProperty1;
|
|
1222
1233
|
// Inline function 'kotlin.getValue' call
|
|
1223
1234
|
getPropertyCallableRef('PROPERTY_REPOSITION_PATTERN', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_REPOSITION_PATTERN_$ref_uil93p(), null);
|
|
1224
1235
|
return tmp0.f1();
|
|
1225
1236
|
}
|
|
1226
1237
|
function _get_PROPERTY_EOF_ACTION_PATTERN__8k2shv($this) {
|
|
1227
|
-
var tmp0 = $this.
|
|
1238
|
+
var tmp0 = $this.l4v_1;
|
|
1228
1239
|
var tmp = KProperty1;
|
|
1229
1240
|
// Inline function 'kotlin.getValue' call
|
|
1230
1241
|
getPropertyCallableRef('PROPERTY_EOF_ACTION_PATTERN', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_EOF_ACTION_PATTERN_$ref_bt8ai0(), null);
|
|
1231
1242
|
return tmp0.f1();
|
|
1232
1243
|
}
|
|
1233
1244
|
function _get_PROPERTY_ALIAS_PATTERN__wipd2s($this) {
|
|
1234
|
-
var tmp0 = $this.
|
|
1245
|
+
var tmp0 = $this.m4v_1;
|
|
1235
1246
|
var tmp = KProperty1;
|
|
1236
1247
|
// Inline function 'kotlin.getValue' call
|
|
1237
1248
|
getPropertyCallableRef('PROPERTY_ALIAS_PATTERN', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_ALIAS_PATTERN_$ref_qs5lfb(), null);
|
|
1238
1249
|
return tmp0.f1();
|
|
1239
1250
|
}
|
|
1240
1251
|
function _get_PROPERTY_INPUT__z2zr91($this) {
|
|
1241
|
-
var tmp0 = $this.
|
|
1252
|
+
var tmp0 = $this.n4v_1;
|
|
1242
1253
|
var tmp = KProperty1;
|
|
1243
1254
|
// Inline function 'kotlin.getValue' call
|
|
1244
1255
|
getPropertyCallableRef('PROPERTY_INPUT', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_INPUT_$ref_hltzoy(), null);
|
|
1245
1256
|
return tmp0.f1();
|
|
1246
1257
|
}
|
|
1247
1258
|
function _get_PROPERTY_OUTPUT__1pem9m($this) {
|
|
1248
|
-
var tmp0 = $this.
|
|
1259
|
+
var tmp0 = $this.o4v_1;
|
|
1249
1260
|
var tmp = KProperty1;
|
|
1250
1261
|
// Inline function 'kotlin.getValue' call
|
|
1251
1262
|
getPropertyCallableRef('PROPERTY_OUTPUT', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_OUTPUT_$ref_9ccgyp(), null);
|
|
1252
1263
|
return tmp0.f1();
|
|
1253
1264
|
}
|
|
1254
1265
|
function _get_PROPERTY_TYPE_TEXT__9rpcwt($this) {
|
|
1255
|
-
var tmp0 = $this.
|
|
1266
|
+
var tmp0 = $this.p4v_1;
|
|
1256
1267
|
var tmp = KProperty1;
|
|
1257
1268
|
// Inline function 'kotlin.getValue' call
|
|
1258
1269
|
getPropertyCallableRef('PROPERTY_TYPE_TEXT', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_TYPE_TEXT_$ref_47hbty(), null);
|
|
1259
1270
|
return tmp0.f1();
|
|
1260
1271
|
}
|
|
1261
1272
|
function _get_PROPERTY_REPOSITION_FALSE__i73t3b($this) {
|
|
1262
|
-
var tmp0 = $this.
|
|
1273
|
+
var tmp0 = $this.q4v_1;
|
|
1263
1274
|
var tmp = KProperty1;
|
|
1264
1275
|
// Inline function 'kotlin.getValue' call
|
|
1265
1276
|
getPropertyCallableRef('PROPERTY_REPOSITION_FALSE', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_REPOSITION_FALSE_$ref_jx0m6(), null);
|
|
1266
1277
|
return tmp0.f1();
|
|
1267
1278
|
}
|
|
1268
1279
|
function _get_PROPERTY_EOF_ACTION_EOF_CODE__he3pvl($this) {
|
|
1269
|
-
var tmp0 = $this.
|
|
1280
|
+
var tmp0 = $this.r4v_1;
|
|
1270
1281
|
var tmp = KProperty1;
|
|
1271
1282
|
// Inline function 'kotlin.getValue' call
|
|
1272
1283
|
getPropertyCallableRef('PROPERTY_EOF_ACTION_EOF_CODE', 1, tmp, IOPrimitiveUtils$_get_PROPERTY_EOF_ACTION_EOF_CODE_$ref_1cwy66(), null);
|
|
1273
1284
|
return tmp0.f1();
|
|
1274
1285
|
}
|
|
1275
1286
|
function _get_OPTION_QUOTED_PATTERN__n2ri42($this) {
|
|
1276
|
-
var tmp0 = $this.
|
|
1287
|
+
var tmp0 = $this.s4v_1;
|
|
1277
1288
|
var tmp = KProperty1;
|
|
1278
1289
|
// Inline function 'kotlin.getValue' call
|
|
1279
1290
|
getPropertyCallableRef('OPTION_QUOTED_PATTERN', 1, tmp, IOPrimitiveUtils$_get_OPTION_QUOTED_PATTERN_$ref_nxjfbr(), null);
|
|
1280
1291
|
return tmp0.f1();
|
|
1281
1292
|
}
|
|
1282
1293
|
function _get_OPTION_NUMBER_VARS_PATTERN__p98ste($this) {
|
|
1283
|
-
var tmp0 = $this.
|
|
1294
|
+
var tmp0 = $this.t4v_1;
|
|
1284
1295
|
var tmp = KProperty1;
|
|
1285
1296
|
// Inline function 'kotlin.getValue' call
|
|
1286
1297
|
getPropertyCallableRef('OPTION_NUMBER_VARS_PATTERN', 1, tmp, IOPrimitiveUtils$_get_OPTION_NUMBER_VARS_PATTERN_$ref_pdk9ph(), null);
|
|
1287
1298
|
return tmp0.f1();
|
|
1288
1299
|
}
|
|
1289
1300
|
function _get_OPTION_IGNORE_OPS_PATTERN__cpse4v($this) {
|
|
1290
|
-
var tmp0 = $this.
|
|
1301
|
+
var tmp0 = $this.u4v_1;
|
|
1291
1302
|
var tmp = KProperty1;
|
|
1292
1303
|
// Inline function 'kotlin.getValue' call
|
|
1293
1304
|
getPropertyCallableRef('OPTION_IGNORE_OPS_PATTERN', 1, tmp, IOPrimitiveUtils$_get_OPTION_IGNORE_OPS_PATTERN_$ref_vvsa9g(), null);
|
|
1294
1305
|
return tmp0.f1();
|
|
1295
1306
|
}
|
|
1296
1307
|
function _get_INFO_VARIABLES_PATTERN__bhp1h0($this) {
|
|
1297
|
-
var tmp0 = $this.
|
|
1308
|
+
var tmp0 = $this.v4v_1;
|
|
1298
1309
|
var tmp = KProperty1;
|
|
1299
1310
|
// Inline function 'kotlin.getValue' call
|
|
1300
1311
|
getPropertyCallableRef('INFO_VARIABLES_PATTERN', 1, tmp, IOPrimitiveUtils$_get_INFO_VARIABLES_PATTERN_$ref_ih2rd5(), null);
|
|
1301
1312
|
return tmp0.f1();
|
|
1302
1313
|
}
|
|
1303
1314
|
function _get_INFO_VARIABLE_NAMES_PATTERN__j3oaom($this) {
|
|
1304
|
-
var tmp0 = $this.
|
|
1315
|
+
var tmp0 = $this.w4v_1;
|
|
1305
1316
|
var tmp = KProperty1;
|
|
1306
1317
|
// Inline function 'kotlin.getValue' call
|
|
1307
1318
|
getPropertyCallableRef('INFO_VARIABLE_NAMES_PATTERN', 1, tmp, IOPrimitiveUtils$_get_INFO_VARIABLE_NAMES_PATTERN_$ref_lzmk91(), null);
|
|
1308
1319
|
return tmp0.f1();
|
|
1309
1320
|
}
|
|
1310
1321
|
function _get_INFO_SINGLETONS_PATTERN__y21s87($this) {
|
|
1311
|
-
var tmp0 = $this.
|
|
1322
|
+
var tmp0 = $this.x4v_1;
|
|
1312
1323
|
var tmp = KProperty1;
|
|
1313
1324
|
// Inline function 'kotlin.getValue' call
|
|
1314
1325
|
getPropertyCallableRef('INFO_SINGLETONS_PATTERN', 1, tmp, IOPrimitiveUtils$_get_INFO_SINGLETONS_PATTERN_$ref_8msi4i(), null);
|
|
@@ -1407,8 +1418,8 @@
|
|
|
1407
1418
|
var _iterator__ex2g4s = vNames.n();
|
|
1408
1419
|
while (_iterator__ex2g4s.q()) {
|
|
1409
1420
|
var item = _iterator__ex2g4s.r();
|
|
1410
|
-
var a = item.
|
|
1411
|
-
var v = item.
|
|
1421
|
+
var a = item.zd();
|
|
1422
|
+
var v = item.ae();
|
|
1412
1423
|
var tmp$ret$2 = Companion_getInstance_2().of('=', [a, v]);
|
|
1413
1424
|
destination.l(tmp$ret$2);
|
|
1414
1425
|
}
|
|
@@ -1475,9 +1486,22 @@
|
|
|
1475
1486
|
var tmp1_elvis_lhs = tmp_0;
|
|
1476
1487
|
return tmp1_elvis_lhs == null ? Companion_getInstance_5().empty() : tmp1_elvis_lhs;
|
|
1477
1488
|
}
|
|
1489
|
+
function characterCodeOf($this, $receiver, char) {
|
|
1490
|
+
var tmp;
|
|
1491
|
+
if (char == null) {
|
|
1492
|
+
tmp = -1;
|
|
1493
|
+
} else if (char.length > 1) {
|
|
1494
|
+
throw Companion_instance_5.of($receiver.context, $receiver.signature, Limit_CHARACTER_CODE_getInstance());
|
|
1495
|
+
} else {
|
|
1496
|
+
// Inline function 'kotlin.code' call
|
|
1497
|
+
var this_0 = charCodeAt(char, 0);
|
|
1498
|
+
tmp = Char__toInt_impl_vasixd(this_0);
|
|
1499
|
+
}
|
|
1500
|
+
return tmp;
|
|
1501
|
+
}
|
|
1478
1502
|
function _get_singletons__bihqrn($this, $receiver) {
|
|
1479
1503
|
// Inline function 'kotlin.sequences.groupBy' call
|
|
1480
|
-
var tmp0 = $receiver.
|
|
1504
|
+
var tmp0 = $receiver.zw();
|
|
1481
1505
|
// Inline function 'kotlin.sequences.groupByTo' call
|
|
1482
1506
|
var destination = LinkedHashMap_init_$Create$();
|
|
1483
1507
|
var _iterator__ex2g4s = tmp0.n();
|
|
@@ -1550,14 +1574,14 @@
|
|
|
1550
1574
|
}
|
|
1551
1575
|
function replyOpeningStream($this, $receiver, channel, third, alias) {
|
|
1552
1576
|
alias = alias === VOID ? null : alias;
|
|
1553
|
-
var streamTerm = channel.
|
|
1554
|
-
var tmp = Companion_getInstance_1().
|
|
1577
|
+
var streamTerm = channel.h22();
|
|
1578
|
+
var tmp = Companion_getInstance_1().q2l($receiver, third, streamTerm);
|
|
1555
1579
|
return $receiver.replyWithBuildingSideEffects(tmp, VOID, IOPrimitiveUtils$replyOpeningStream$lambda(alias, channel));
|
|
1556
1580
|
}
|
|
1557
1581
|
function replyOpeningStream_0($this, $receiver, channel, third, alias) {
|
|
1558
1582
|
alias = alias === VOID ? null : alias;
|
|
1559
|
-
var streamTerm = channel.
|
|
1560
|
-
var tmp = Companion_getInstance_1().
|
|
1583
|
+
var streamTerm = channel.h22();
|
|
1584
|
+
var tmp = Companion_getInstance_1().q2l($receiver, third, streamTerm);
|
|
1561
1585
|
return $receiver.replyWithBuildingSideEffects(tmp, VOID, IOPrimitiveUtils$replyOpeningStream$lambda_0(alias, channel));
|
|
1562
1586
|
}
|
|
1563
1587
|
function IOPrimitiveUtils$INPUT_STREAM_TERM_PATTERN$delegate$lambda() {
|
|
@@ -1566,15 +1590,15 @@
|
|
|
1566
1590
|
function IOPrimitiveUtils$_get_INPUT_STREAM_TERM_PATTERN_$ref_59oxnp() {
|
|
1567
1591
|
return constructCallableReference(function (p0) {
|
|
1568
1592
|
return _get_INPUT_STREAM_TERM_PATTERN__5fd8p6(p0);
|
|
1569
|
-
}, 1, 0,
|
|
1593
|
+
}, 1, 0, 109);
|
|
1570
1594
|
}
|
|
1571
1595
|
function IOPrimitiveUtils$OUTPUT_STREAM_TERM_PATTERN$delegate$lambda() {
|
|
1572
|
-
return
|
|
1596
|
+
return Companion_instance_6.streamTerm();
|
|
1573
1597
|
}
|
|
1574
1598
|
function IOPrimitiveUtils$_get_OUTPUT_STREAM_TERM_PATTERN_$ref_kcdkmo() {
|
|
1575
1599
|
return constructCallableReference(function (p0) {
|
|
1576
1600
|
return _get_OUTPUT_STREAM_TERM_PATTERN__4vocxf(p0);
|
|
1577
|
-
}, 1, 0,
|
|
1601
|
+
}, 1, 0, 110);
|
|
1578
1602
|
}
|
|
1579
1603
|
function IOPrimitiveUtils$PROPERTY_TYPE_PATTERN$delegate$lambda() {
|
|
1580
1604
|
return Companion_getInstance_2().of('type', [Companion_getInstance_3().anonymous()]);
|
|
@@ -1582,7 +1606,7 @@
|
|
|
1582
1606
|
function IOPrimitiveUtils$_get_PROPERTY_TYPE_PATTERN_$ref_qcyh3d() {
|
|
1583
1607
|
return constructCallableReference(function (p0) {
|
|
1584
1608
|
return _get_PROPERTY_TYPE_PATTERN__5nq864(p0);
|
|
1585
|
-
}, 1, 0,
|
|
1609
|
+
}, 1, 0, 111);
|
|
1586
1610
|
}
|
|
1587
1611
|
function IOPrimitiveUtils$PROPERTY_REPOSITION_PATTERN$delegate$lambda() {
|
|
1588
1612
|
return Companion_getInstance_2().of('reposition', [Companion_getInstance_3().anonymous()]);
|
|
@@ -1590,7 +1614,7 @@
|
|
|
1590
1614
|
function IOPrimitiveUtils$_get_PROPERTY_REPOSITION_PATTERN_$ref_uil93p() {
|
|
1591
1615
|
return constructCallableReference(function (p0) {
|
|
1592
1616
|
return _get_PROPERTY_REPOSITION_PATTERN__lznuii(p0);
|
|
1593
|
-
}, 1, 0,
|
|
1617
|
+
}, 1, 0, 112);
|
|
1594
1618
|
}
|
|
1595
1619
|
function IOPrimitiveUtils$PROPERTY_EOF_ACTION_PATTERN$delegate$lambda() {
|
|
1596
1620
|
return Companion_getInstance_2().of('eof_action', [Companion_getInstance_3().anonymous()]);
|
|
@@ -1598,7 +1622,7 @@
|
|
|
1598
1622
|
function IOPrimitiveUtils$_get_PROPERTY_EOF_ACTION_PATTERN_$ref_bt8ai0() {
|
|
1599
1623
|
return constructCallableReference(function (p0) {
|
|
1600
1624
|
return _get_PROPERTY_EOF_ACTION_PATTERN__8k2shv(p0);
|
|
1601
|
-
}, 1, 0,
|
|
1625
|
+
}, 1, 0, 113);
|
|
1602
1626
|
}
|
|
1603
1627
|
function IOPrimitiveUtils$PROPERTY_ALIAS_PATTERN$delegate$lambda() {
|
|
1604
1628
|
return alias(IOPrimitiveUtils_getInstance());
|
|
@@ -1606,7 +1630,7 @@
|
|
|
1606
1630
|
function IOPrimitiveUtils$_get_PROPERTY_ALIAS_PATTERN_$ref_qs5lfb() {
|
|
1607
1631
|
return constructCallableReference(function (p0) {
|
|
1608
1632
|
return _get_PROPERTY_ALIAS_PATTERN__wipd2s(p0);
|
|
1609
|
-
}, 1, 0,
|
|
1633
|
+
}, 1, 0, 114);
|
|
1610
1634
|
}
|
|
1611
1635
|
function IOPrimitiveUtils$PROPERTY_INPUT$delegate$lambda() {
|
|
1612
1636
|
return Companion_getInstance_0().of('input');
|
|
@@ -1614,7 +1638,7 @@
|
|
|
1614
1638
|
function IOPrimitiveUtils$_get_PROPERTY_INPUT_$ref_hltzoy() {
|
|
1615
1639
|
return constructCallableReference(function (p0) {
|
|
1616
1640
|
return _get_PROPERTY_INPUT__z2zr91(p0);
|
|
1617
|
-
}, 1, 0,
|
|
1641
|
+
}, 1, 0, 115);
|
|
1618
1642
|
}
|
|
1619
1643
|
function IOPrimitiveUtils$PROPERTY_OUTPUT$delegate$lambda() {
|
|
1620
1644
|
return Companion_getInstance_0().of('output');
|
|
@@ -1622,7 +1646,7 @@
|
|
|
1622
1646
|
function IOPrimitiveUtils$_get_PROPERTY_OUTPUT_$ref_9ccgyp() {
|
|
1623
1647
|
return constructCallableReference(function (p0) {
|
|
1624
1648
|
return _get_PROPERTY_OUTPUT__1pem9m(p0);
|
|
1625
|
-
}, 1, 0,
|
|
1649
|
+
}, 1, 0, 116);
|
|
1626
1650
|
}
|
|
1627
1651
|
function IOPrimitiveUtils$PROPERTY_TYPE_TEXT$delegate$lambda() {
|
|
1628
1652
|
return Companion_getInstance_2().of('type', [Companion_getInstance_0().of('text')]);
|
|
@@ -1630,15 +1654,15 @@
|
|
|
1630
1654
|
function IOPrimitiveUtils$_get_PROPERTY_TYPE_TEXT_$ref_47hbty() {
|
|
1631
1655
|
return constructCallableReference(function (p0) {
|
|
1632
1656
|
return _get_PROPERTY_TYPE_TEXT__9rpcwt(p0);
|
|
1633
|
-
}, 1, 0,
|
|
1657
|
+
}, 1, 0, 117);
|
|
1634
1658
|
}
|
|
1635
1659
|
function IOPrimitiveUtils$PROPERTY_REPOSITION_FALSE$delegate$lambda() {
|
|
1636
|
-
return Companion_getInstance_2().of('reposition', [Companion_getInstance_4().
|
|
1660
|
+
return Companion_getInstance_2().of('reposition', [Companion_getInstance_4().qw_1]);
|
|
1637
1661
|
}
|
|
1638
1662
|
function IOPrimitiveUtils$_get_PROPERTY_REPOSITION_FALSE_$ref_jx0m6() {
|
|
1639
1663
|
return constructCallableReference(function (p0) {
|
|
1640
1664
|
return _get_PROPERTY_REPOSITION_FALSE__i73t3b(p0);
|
|
1641
|
-
}, 1, 0,
|
|
1665
|
+
}, 1, 0, 118);
|
|
1642
1666
|
}
|
|
1643
1667
|
function IOPrimitiveUtils$PROPERTY_EOF_ACTION_EOF_CODE$delegate$lambda() {
|
|
1644
1668
|
return Companion_getInstance_2().of('eof_action', [Companion_getInstance_0().of('eof_code')]);
|
|
@@ -1646,7 +1670,7 @@
|
|
|
1646
1670
|
function IOPrimitiveUtils$_get_PROPERTY_EOF_ACTION_EOF_CODE_$ref_1cwy66() {
|
|
1647
1671
|
return constructCallableReference(function (p0) {
|
|
1648
1672
|
return _get_PROPERTY_EOF_ACTION_EOF_CODE__he3pvl(p0);
|
|
1649
|
-
}, 1, 0,
|
|
1673
|
+
}, 1, 0, 119);
|
|
1650
1674
|
}
|
|
1651
1675
|
function IOPrimitiveUtils$OPTION_QUOTED_PATTERN$delegate$lambda() {
|
|
1652
1676
|
return quoted(IOPrimitiveUtils_getInstance());
|
|
@@ -1654,7 +1678,7 @@
|
|
|
1654
1678
|
function IOPrimitiveUtils$_get_OPTION_QUOTED_PATTERN_$ref_nxjfbr() {
|
|
1655
1679
|
return constructCallableReference(function (p0) {
|
|
1656
1680
|
return _get_OPTION_QUOTED_PATTERN__n2ri42(p0);
|
|
1657
|
-
}, 1, 0,
|
|
1681
|
+
}, 1, 0, 120);
|
|
1658
1682
|
}
|
|
1659
1683
|
function IOPrimitiveUtils$OPTION_NUMBER_VARS_PATTERN$delegate$lambda() {
|
|
1660
1684
|
return numberVars(IOPrimitiveUtils_getInstance());
|
|
@@ -1662,7 +1686,7 @@
|
|
|
1662
1686
|
function IOPrimitiveUtils$_get_OPTION_NUMBER_VARS_PATTERN_$ref_pdk9ph() {
|
|
1663
1687
|
return constructCallableReference(function (p0) {
|
|
1664
1688
|
return _get_OPTION_NUMBER_VARS_PATTERN__p98ste(p0);
|
|
1665
|
-
}, 1, 0,
|
|
1689
|
+
}, 1, 0, 121);
|
|
1666
1690
|
}
|
|
1667
1691
|
function IOPrimitiveUtils$OPTION_IGNORE_OPS_PATTERN$delegate$lambda() {
|
|
1668
1692
|
return ignoreOps(IOPrimitiveUtils_getInstance());
|
|
@@ -1670,7 +1694,7 @@
|
|
|
1670
1694
|
function IOPrimitiveUtils$_get_OPTION_IGNORE_OPS_PATTERN_$ref_vvsa9g() {
|
|
1671
1695
|
return constructCallableReference(function (p0) {
|
|
1672
1696
|
return _get_OPTION_IGNORE_OPS_PATTERN__cpse4v(p0);
|
|
1673
|
-
}, 1, 0,
|
|
1697
|
+
}, 1, 0, 122);
|
|
1674
1698
|
}
|
|
1675
1699
|
function IOPrimitiveUtils$INFO_VARIABLES_PATTERN$delegate$lambda() {
|
|
1676
1700
|
return variables(IOPrimitiveUtils_getInstance());
|
|
@@ -1678,7 +1702,7 @@
|
|
|
1678
1702
|
function IOPrimitiveUtils$_get_INFO_VARIABLES_PATTERN_$ref_ih2rd5() {
|
|
1679
1703
|
return constructCallableReference(function (p0) {
|
|
1680
1704
|
return _get_INFO_VARIABLES_PATTERN__bhp1h0(p0);
|
|
1681
|
-
}, 1, 0,
|
|
1705
|
+
}, 1, 0, 123);
|
|
1682
1706
|
}
|
|
1683
1707
|
function IOPrimitiveUtils$INFO_VARIABLE_NAMES_PATTERN$delegate$lambda() {
|
|
1684
1708
|
return variableNames(IOPrimitiveUtils_getInstance());
|
|
@@ -1686,7 +1710,7 @@
|
|
|
1686
1710
|
function IOPrimitiveUtils$_get_INFO_VARIABLE_NAMES_PATTERN_$ref_lzmk91() {
|
|
1687
1711
|
return constructCallableReference(function (p0) {
|
|
1688
1712
|
return _get_INFO_VARIABLE_NAMES_PATTERN__j3oaom(p0);
|
|
1689
|
-
}, 1, 0,
|
|
1713
|
+
}, 1, 0, 124);
|
|
1690
1714
|
}
|
|
1691
1715
|
function IOPrimitiveUtils$INFO_SINGLETONS_PATTERN$delegate$lambda() {
|
|
1692
1716
|
return singletons(IOPrimitiveUtils_getInstance());
|
|
@@ -1694,42 +1718,42 @@
|
|
|
1694
1718
|
function IOPrimitiveUtils$_get_INFO_SINGLETONS_PATTERN_$ref_8msi4i() {
|
|
1695
1719
|
return constructCallableReference(function (p0) {
|
|
1696
1720
|
return _get_INFO_SINGLETONS_PATTERN__y21s87(p0);
|
|
1697
|
-
}, 1, 0,
|
|
1721
|
+
}, 1, 0, 125);
|
|
1698
1722
|
}
|
|
1699
1723
|
function IOPrimitiveUtils$quoted$ref(p0) {
|
|
1700
1724
|
return constructCallableReference(function (p0_0) {
|
|
1701
1725
|
var tmp0 = p0;
|
|
1702
1726
|
return quoted(tmp0, p0_0);
|
|
1703
|
-
}, 1, 0,
|
|
1727
|
+
}, 1, 0, 126, 'quoted', [p0]);
|
|
1704
1728
|
}
|
|
1705
1729
|
function IOPrimitiveUtils$ignoreOps$ref(p0) {
|
|
1706
1730
|
return constructCallableReference(function (p0_0) {
|
|
1707
1731
|
var tmp0 = p0;
|
|
1708
1732
|
return ignoreOps(tmp0, p0_0);
|
|
1709
|
-
}, 1, 0,
|
|
1733
|
+
}, 1, 0, 127, 'ignoreOps', [p0]);
|
|
1710
1734
|
}
|
|
1711
1735
|
function IOPrimitiveUtils$numberVars$ref(p0) {
|
|
1712
1736
|
return constructCallableReference(function (p0_0) {
|
|
1713
1737
|
var tmp0 = p0;
|
|
1714
1738
|
return numberVars(tmp0, p0_0);
|
|
1715
|
-
}, 1, 0,
|
|
1739
|
+
}, 1, 0, 128, 'numberVars', [p0]);
|
|
1716
1740
|
}
|
|
1717
1741
|
function IOPrimitiveUtils$_get_validOptionsPattern_$lambda_r088xw(it) {
|
|
1718
1742
|
return map(sequenceOf([true, false]), it);
|
|
1719
1743
|
}
|
|
1720
1744
|
function IOPrimitiveUtils$propertiesOf$slambda($channel, $this_propertiesOf, resultContinuation) {
|
|
1721
|
-
this.
|
|
1722
|
-
this.
|
|
1745
|
+
this.x4x_1 = $channel;
|
|
1746
|
+
this.y4x_1 = $this_propertiesOf;
|
|
1723
1747
|
CoroutineImpl.call(this, resultContinuation);
|
|
1724
1748
|
}
|
|
1725
|
-
protoOf(IOPrimitiveUtils$propertiesOf$slambda).
|
|
1726
|
-
var tmp = this.
|
|
1749
|
+
protoOf(IOPrimitiveUtils$propertiesOf$slambda).a4y = function ($this$sequence, $completion) {
|
|
1750
|
+
var tmp = this.b4y($this$sequence, $completion);
|
|
1727
1751
|
tmp.r8_1 = Unit_instance;
|
|
1728
1752
|
tmp.s8_1 = null;
|
|
1729
1753
|
return tmp.x8();
|
|
1730
1754
|
};
|
|
1731
1755
|
protoOf(IOPrimitiveUtils$propertiesOf$slambda).o9 = function (p1, $completion) {
|
|
1732
|
-
return this.
|
|
1756
|
+
return this.a4y(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
|
|
1733
1757
|
};
|
|
1734
1758
|
protoOf(IOPrimitiveUtils$propertiesOf$slambda).x8 = function () {
|
|
1735
1759
|
var suspendResult = this.r8_1;
|
|
@@ -1739,10 +1763,10 @@
|
|
|
1739
1763
|
switch (tmp) {
|
|
1740
1764
|
case 0:
|
|
1741
1765
|
this.q8_1 = 7;
|
|
1742
|
-
var tmp0_subject = this.
|
|
1766
|
+
var tmp0_subject = this.x4x_1;
|
|
1743
1767
|
if (isInterface(tmp0_subject, InputChannel)) {
|
|
1744
1768
|
this.p8_1 = 3;
|
|
1745
|
-
suspendResult = this.
|
|
1769
|
+
suspendResult = this.z4x_1.se(_get_PROPERTY_INPUT__z2zr91(IOPrimitiveUtils_getInstance()), this);
|
|
1746
1770
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
1747
1771
|
return suspendResult;
|
|
1748
1772
|
}
|
|
@@ -1750,7 +1774,7 @@
|
|
|
1750
1774
|
} else {
|
|
1751
1775
|
if (isInterface(tmp0_subject, OutputChannel)) {
|
|
1752
1776
|
this.p8_1 = 1;
|
|
1753
|
-
suspendResult = this.
|
|
1777
|
+
suspendResult = this.z4x_1.se(_get_PROPERTY_OUTPUT__1pem9m(IOPrimitiveUtils_getInstance()), this);
|
|
1754
1778
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
1755
1779
|
return suspendResult;
|
|
1756
1780
|
}
|
|
@@ -1763,11 +1787,11 @@
|
|
|
1763
1787
|
|
|
1764
1788
|
case 1:
|
|
1765
1789
|
this.p8_1 = 2;
|
|
1766
|
-
var tmp_0 = this.
|
|
1767
|
-
var tmp_1 = this.
|
|
1790
|
+
var tmp_0 = this.y4x_1.context.y1x();
|
|
1791
|
+
var tmp_1 = this.x4x_1;
|
|
1768
1792
|
var tmp_2 = tmp_0.aliasesOf(isInterface(tmp_1, OutputChannel) ? tmp_1 : THROW_CCE());
|
|
1769
1793
|
var tmp_3 = filterNot(tmp_2, IOPrimitiveUtils$propertiesOf$slambda$lambda_0);
|
|
1770
|
-
suspendResult = this.
|
|
1794
|
+
suspendResult = this.z4x_1.ve(map(tmp_3, IOPrimitiveUtils$alias$ref(IOPrimitiveUtils_getInstance())), this);
|
|
1771
1795
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
1772
1796
|
return suspendResult;
|
|
1773
1797
|
}
|
|
@@ -1778,11 +1802,11 @@
|
|
|
1778
1802
|
continue $sm;
|
|
1779
1803
|
case 3:
|
|
1780
1804
|
this.p8_1 = 4;
|
|
1781
|
-
var tmp_4 = this.
|
|
1782
|
-
var tmp_5 = this.
|
|
1805
|
+
var tmp_4 = this.y4x_1.context.x1x();
|
|
1806
|
+
var tmp_5 = this.x4x_1;
|
|
1783
1807
|
var tmp_6 = tmp_4.aliasesOf(isInterface(tmp_5, InputChannel) ? tmp_5 : THROW_CCE());
|
|
1784
1808
|
var tmp_7 = filterNot(tmp_6, IOPrimitiveUtils$propertiesOf$slambda$lambda);
|
|
1785
|
-
suspendResult = this.
|
|
1809
|
+
suspendResult = this.z4x_1.ve(map(tmp_7, IOPrimitiveUtils$alias$ref(IOPrimitiveUtils_getInstance())), this);
|
|
1786
1810
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
1787
1811
|
return suspendResult;
|
|
1788
1812
|
}
|
|
@@ -1793,7 +1817,7 @@
|
|
|
1793
1817
|
continue $sm;
|
|
1794
1818
|
case 5:
|
|
1795
1819
|
this.p8_1 = 6;
|
|
1796
|
-
suspendResult = this.
|
|
1820
|
+
suspendResult = this.z4x_1.se(_get_PROPERTY_TYPE_TEXT__9rpcwt(IOPrimitiveUtils_getInstance()), this);
|
|
1797
1821
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
1798
1822
|
return suspendResult;
|
|
1799
1823
|
}
|
|
@@ -1815,15 +1839,15 @@
|
|
|
1815
1839
|
}
|
|
1816
1840
|
while (true);
|
|
1817
1841
|
};
|
|
1818
|
-
protoOf(IOPrimitiveUtils$propertiesOf$slambda).
|
|
1819
|
-
var i = new IOPrimitiveUtils$propertiesOf$slambda(this.
|
|
1820
|
-
i.
|
|
1842
|
+
protoOf(IOPrimitiveUtils$propertiesOf$slambda).b4y = function ($this$sequence, completion) {
|
|
1843
|
+
var i = new IOPrimitiveUtils$propertiesOf$slambda(this.x4x_1, this.y4x_1, completion);
|
|
1844
|
+
i.z4x_1 = $this$sequence;
|
|
1821
1845
|
return i;
|
|
1822
1846
|
};
|
|
1823
1847
|
function IOPrimitiveUtils$propertiesOf$slambda_0($channel, $this_propertiesOf, resultContinuation) {
|
|
1824
1848
|
var i = new IOPrimitiveUtils$propertiesOf$slambda($channel, $this_propertiesOf, resultContinuation);
|
|
1825
1849
|
return constructCallableReference(function ($this$sequence, $completion) {
|
|
1826
|
-
return i.
|
|
1850
|
+
return i.a4y($this$sequence, $completion);
|
|
1827
1851
|
}, 1);
|
|
1828
1852
|
}
|
|
1829
1853
|
function IOPrimitiveUtils$getOption$lambda(it) {
|
|
@@ -1841,7 +1865,7 @@
|
|
|
1841
1865
|
return !(it == null) ? isInterface(it, Truth) : false;
|
|
1842
1866
|
}
|
|
1843
1867
|
function IOPrimitiveUtils$getOption$lambda_3(it) {
|
|
1844
|
-
return it.
|
|
1868
|
+
return it.vw();
|
|
1845
1869
|
}
|
|
1846
1870
|
function IOPrimitiveUtils$getInfo$lambda(it) {
|
|
1847
1871
|
return !(it == null) ? isInterface(it, Struct) : false;
|
|
@@ -1859,81 +1883,81 @@
|
|
|
1859
1883
|
}
|
|
1860
1884
|
function IOPrimitiveUtils$open$lambda($this_open) {
|
|
1861
1885
|
return function (it) {
|
|
1862
|
-
return IOPrimitiveUtils_getInstance().
|
|
1886
|
+
return IOPrimitiveUtils_getInstance().c4y($this_open, it);
|
|
1863
1887
|
};
|
|
1864
1888
|
}
|
|
1865
1889
|
function IOPrimitiveUtils$open$lambda_0($this_open) {
|
|
1866
1890
|
return function (it) {
|
|
1867
|
-
return IOPrimitiveUtils_getInstance().
|
|
1891
|
+
return IOPrimitiveUtils_getInstance().d4y($this_open, it);
|
|
1868
1892
|
};
|
|
1869
1893
|
}
|
|
1870
1894
|
function IOPrimitiveUtils$replyOpeningStream$lambda($alias, $channel) {
|
|
1871
1895
|
return function ($this$replyWith) {
|
|
1872
1896
|
var tmp0_elvis_lhs = $alias;
|
|
1873
|
-
$this$replyWith.
|
|
1897
|
+
$this$replyWith.q2r(tmp0_elvis_lhs == null ? 'output_channel' + $channel.h22().get(1).toString() : tmp0_elvis_lhs, $channel);
|
|
1874
1898
|
return Unit_instance;
|
|
1875
1899
|
};
|
|
1876
1900
|
}
|
|
1877
1901
|
function IOPrimitiveUtils$replyOpeningStream$lambda_0($alias, $channel) {
|
|
1878
1902
|
return function ($this$replyWith) {
|
|
1879
1903
|
var tmp0_elvis_lhs = $alias;
|
|
1880
|
-
$this$replyWith.
|
|
1904
|
+
$this$replyWith.n2r(tmp0_elvis_lhs == null ? 'input_channel' + $channel.h22().get(1).toString() : tmp0_elvis_lhs, $channel);
|
|
1881
1905
|
return Unit_instance;
|
|
1882
1906
|
};
|
|
1883
1907
|
}
|
|
1884
1908
|
function IOPrimitiveUtils() {
|
|
1885
1909
|
IOPrimitiveUtils_instance = this;
|
|
1886
1910
|
var tmp = this;
|
|
1887
|
-
tmp.
|
|
1911
|
+
tmp.h4v_1 = lazy(IOPrimitiveUtils$INPUT_STREAM_TERM_PATTERN$delegate$lambda);
|
|
1888
1912
|
var tmp_0 = this;
|
|
1889
|
-
tmp_0.
|
|
1913
|
+
tmp_0.i4v_1 = lazy(IOPrimitiveUtils$OUTPUT_STREAM_TERM_PATTERN$delegate$lambda);
|
|
1890
1914
|
var tmp_1 = this;
|
|
1891
|
-
tmp_1.
|
|
1915
|
+
tmp_1.j4v_1 = lazy(IOPrimitiveUtils$PROPERTY_TYPE_PATTERN$delegate$lambda);
|
|
1892
1916
|
var tmp_2 = this;
|
|
1893
|
-
tmp_2.
|
|
1917
|
+
tmp_2.k4v_1 = lazy(IOPrimitiveUtils$PROPERTY_REPOSITION_PATTERN$delegate$lambda);
|
|
1894
1918
|
var tmp_3 = this;
|
|
1895
|
-
tmp_3.
|
|
1919
|
+
tmp_3.l4v_1 = lazy(IOPrimitiveUtils$PROPERTY_EOF_ACTION_PATTERN$delegate$lambda);
|
|
1896
1920
|
var tmp_4 = this;
|
|
1897
|
-
tmp_4.
|
|
1921
|
+
tmp_4.m4v_1 = lazy(IOPrimitiveUtils$PROPERTY_ALIAS_PATTERN$delegate$lambda);
|
|
1898
1922
|
var tmp_5 = this;
|
|
1899
|
-
tmp_5.
|
|
1923
|
+
tmp_5.n4v_1 = lazy(IOPrimitiveUtils$PROPERTY_INPUT$delegate$lambda);
|
|
1900
1924
|
var tmp_6 = this;
|
|
1901
|
-
tmp_6.
|
|
1925
|
+
tmp_6.o4v_1 = lazy(IOPrimitiveUtils$PROPERTY_OUTPUT$delegate$lambda);
|
|
1902
1926
|
var tmp_7 = this;
|
|
1903
|
-
tmp_7.
|
|
1927
|
+
tmp_7.p4v_1 = lazy(IOPrimitiveUtils$PROPERTY_TYPE_TEXT$delegate$lambda);
|
|
1904
1928
|
var tmp_8 = this;
|
|
1905
|
-
tmp_8.
|
|
1929
|
+
tmp_8.q4v_1 = lazy(IOPrimitiveUtils$PROPERTY_REPOSITION_FALSE$delegate$lambda);
|
|
1906
1930
|
var tmp_9 = this;
|
|
1907
|
-
tmp_9.
|
|
1931
|
+
tmp_9.r4v_1 = lazy(IOPrimitiveUtils$PROPERTY_EOF_ACTION_EOF_CODE$delegate$lambda);
|
|
1908
1932
|
var tmp_10 = this;
|
|
1909
|
-
tmp_10.
|
|
1933
|
+
tmp_10.s4v_1 = lazy(IOPrimitiveUtils$OPTION_QUOTED_PATTERN$delegate$lambda);
|
|
1910
1934
|
var tmp_11 = this;
|
|
1911
|
-
tmp_11.
|
|
1935
|
+
tmp_11.t4v_1 = lazy(IOPrimitiveUtils$OPTION_NUMBER_VARS_PATTERN$delegate$lambda);
|
|
1912
1936
|
var tmp_12 = this;
|
|
1913
|
-
tmp_12.
|
|
1937
|
+
tmp_12.u4v_1 = lazy(IOPrimitiveUtils$OPTION_IGNORE_OPS_PATTERN$delegate$lambda);
|
|
1914
1938
|
var tmp_13 = this;
|
|
1915
|
-
tmp_13.
|
|
1939
|
+
tmp_13.v4v_1 = lazy(IOPrimitiveUtils$INFO_VARIABLES_PATTERN$delegate$lambda);
|
|
1916
1940
|
var tmp_14 = this;
|
|
1917
|
-
tmp_14.
|
|
1941
|
+
tmp_14.w4v_1 = lazy(IOPrimitiveUtils$INFO_VARIABLE_NAMES_PATTERN$delegate$lambda);
|
|
1918
1942
|
var tmp_15 = this;
|
|
1919
|
-
tmp_15.
|
|
1943
|
+
tmp_15.x4v_1 = lazy(IOPrimitiveUtils$INFO_SINGLETONS_PATTERN$delegate$lambda);
|
|
1920
1944
|
}
|
|
1921
|
-
protoOf(IOPrimitiveUtils).
|
|
1945
|
+
protoOf(IOPrimitiveUtils).e4y = function (_this__u8e3s4, channel) {
|
|
1922
1946
|
return sequence(IOPrimitiveUtils$propertiesOf$slambda_0(channel, _this__u8e3s4, null));
|
|
1923
1947
|
};
|
|
1924
|
-
protoOf(IOPrimitiveUtils).
|
|
1948
|
+
protoOf(IOPrimitiveUtils).y4v = function (_this__u8e3s4) {
|
|
1925
1949
|
// Inline function 'kotlin.let' call
|
|
1926
1950
|
var it = _this__u8e3s4.context.x1x();
|
|
1927
|
-
var tmp0_elvis_lhs = it.
|
|
1951
|
+
var tmp0_elvis_lhs = it.rr();
|
|
1928
1952
|
return tmp0_elvis_lhs == null ? it.h1y() : tmp0_elvis_lhs;
|
|
1929
1953
|
};
|
|
1930
|
-
protoOf(IOPrimitiveUtils).
|
|
1954
|
+
protoOf(IOPrimitiveUtils).f4y = function (_this__u8e3s4) {
|
|
1931
1955
|
// Inline function 'kotlin.let' call
|
|
1932
1956
|
var it = _this__u8e3s4.context.y1x();
|
|
1933
|
-
var tmp0_elvis_lhs = it.
|
|
1957
|
+
var tmp0_elvis_lhs = it.rr();
|
|
1934
1958
|
return tmp0_elvis_lhs == null ? it.i1y() : tmp0_elvis_lhs;
|
|
1935
1959
|
};
|
|
1936
|
-
protoOf(IOPrimitiveUtils).
|
|
1960
|
+
protoOf(IOPrimitiveUtils).c4y = function (_this__u8e3s4, term) {
|
|
1937
1961
|
var tmp;
|
|
1938
1962
|
var tmp0 = _get_validPropertiesPattern__7s1t06(this);
|
|
1939
1963
|
var tmp$ret$0;
|
|
@@ -1942,7 +1966,7 @@
|
|
|
1942
1966
|
var _iterator__ex2g4s = tmp0.n();
|
|
1943
1967
|
while (_iterator__ex2g4s.q()) {
|
|
1944
1968
|
var element = _iterator__ex2g4s.r();
|
|
1945
|
-
if (Companion_getInstance_1().
|
|
1969
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, term, element)) {
|
|
1946
1970
|
tmp$ret$0 = true;
|
|
1947
1971
|
break $l$block;
|
|
1948
1972
|
}
|
|
@@ -1952,11 +1976,11 @@
|
|
|
1952
1976
|
if (tmp$ret$0) {
|
|
1953
1977
|
tmp = term;
|
|
1954
1978
|
} else {
|
|
1955
|
-
throw
|
|
1979
|
+
throw Companion_instance_7.forTerm(_this__u8e3s4.context, Expected_STREAM_PROPERTY_getInstance(), term);
|
|
1956
1980
|
}
|
|
1957
1981
|
return tmp;
|
|
1958
1982
|
};
|
|
1959
|
-
protoOf(IOPrimitiveUtils).
|
|
1983
|
+
protoOf(IOPrimitiveUtils).d4y = function (_this__u8e3s4, term) {
|
|
1960
1984
|
var tmp;
|
|
1961
1985
|
var tmp0 = _get_supportedPropertiesPattern__x8u7bw(this);
|
|
1962
1986
|
var tmp$ret$0;
|
|
@@ -1965,7 +1989,7 @@
|
|
|
1965
1989
|
var _iterator__ex2g4s = tmp0.n();
|
|
1966
1990
|
while (_iterator__ex2g4s.q()) {
|
|
1967
1991
|
var element = _iterator__ex2g4s.r();
|
|
1968
|
-
if (Companion_getInstance_1().
|
|
1992
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, term, element)) {
|
|
1969
1993
|
tmp$ret$0 = true;
|
|
1970
1994
|
break $l$block;
|
|
1971
1995
|
}
|
|
@@ -1979,7 +2003,7 @@
|
|
|
1979
2003
|
}
|
|
1980
2004
|
return tmp;
|
|
1981
2005
|
};
|
|
1982
|
-
protoOf(IOPrimitiveUtils).
|
|
2006
|
+
protoOf(IOPrimitiveUtils).g4y = function (_this__u8e3s4, term) {
|
|
1983
2007
|
var tmp;
|
|
1984
2008
|
var tmp0 = _get_validOptionsPattern__akhsd9(this);
|
|
1985
2009
|
var tmp$ret$0;
|
|
@@ -1988,7 +2012,7 @@
|
|
|
1988
2012
|
var _iterator__ex2g4s = tmp0.n();
|
|
1989
2013
|
while (_iterator__ex2g4s.q()) {
|
|
1990
2014
|
var element = _iterator__ex2g4s.r();
|
|
1991
|
-
if (Companion_getInstance_1().
|
|
2015
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, term, element)) {
|
|
1992
2016
|
tmp$ret$0 = true;
|
|
1993
2017
|
break $l$block;
|
|
1994
2018
|
}
|
|
@@ -1998,11 +2022,11 @@
|
|
|
1998
2022
|
if (tmp$ret$0) {
|
|
1999
2023
|
tmp = term;
|
|
2000
2024
|
} else {
|
|
2001
|
-
throw
|
|
2025
|
+
throw Companion_instance_7.forTerm(_this__u8e3s4.context, Expected_WRITE_OPTION_getInstance(), term);
|
|
2002
2026
|
}
|
|
2003
2027
|
return tmp;
|
|
2004
2028
|
};
|
|
2005
|
-
protoOf(IOPrimitiveUtils).
|
|
2029
|
+
protoOf(IOPrimitiveUtils).h4y = function (_this__u8e3s4, term) {
|
|
2006
2030
|
var tmp;
|
|
2007
2031
|
var tmp0 = _get_validInfoPattern__dtwgth(this);
|
|
2008
2032
|
var tmp$ret$0;
|
|
@@ -2011,7 +2035,7 @@
|
|
|
2011
2035
|
var _iterator__ex2g4s = tmp0.n();
|
|
2012
2036
|
while (_iterator__ex2g4s.q()) {
|
|
2013
2037
|
var element = _iterator__ex2g4s.r();
|
|
2014
|
-
if (Companion_getInstance_1().
|
|
2038
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, term, element)) {
|
|
2015
2039
|
tmp$ret$0 = true;
|
|
2016
2040
|
break $l$block;
|
|
2017
2041
|
}
|
|
@@ -2021,41 +2045,41 @@
|
|
|
2021
2045
|
if (tmp$ret$0) {
|
|
2022
2046
|
tmp = term;
|
|
2023
2047
|
} else {
|
|
2024
|
-
throw
|
|
2048
|
+
throw Companion_instance_7.forTerm(_this__u8e3s4.context, Expected_READ_OPTION_getInstance(), term);
|
|
2025
2049
|
}
|
|
2026
2050
|
return tmp;
|
|
2027
2051
|
};
|
|
2028
|
-
protoOf(IOPrimitiveUtils).
|
|
2029
|
-
Companion_getInstance_1().
|
|
2030
|
-
var tmp = _this__u8e3s4.arguments.
|
|
2052
|
+
protoOf(IOPrimitiveUtils).i4y = function (_this__u8e3s4, index) {
|
|
2053
|
+
Companion_getInstance_1().k2m(_this__u8e3s4, index);
|
|
2054
|
+
var tmp = _this__u8e3s4.arguments.t(index);
|
|
2031
2055
|
var list = isInterface(tmp, List) ? tmp : THROW_CCE();
|
|
2032
|
-
var _iterator__ex2g4s = list.
|
|
2056
|
+
var _iterator__ex2g4s = list.bv().n();
|
|
2033
2057
|
while (_iterator__ex2g4s.q()) {
|
|
2034
2058
|
var term = _iterator__ex2g4s.r();
|
|
2035
|
-
this.
|
|
2059
|
+
this.g4y(_this__u8e3s4, term);
|
|
2036
2060
|
}
|
|
2037
2061
|
return _this__u8e3s4;
|
|
2038
2062
|
};
|
|
2039
|
-
protoOf(IOPrimitiveUtils).
|
|
2040
|
-
var list = _this__u8e3s4.arguments.
|
|
2063
|
+
protoOf(IOPrimitiveUtils).j4y = function (_this__u8e3s4, index) {
|
|
2064
|
+
var list = _this__u8e3s4.arguments.t(index);
|
|
2041
2065
|
var tmp;
|
|
2042
2066
|
if (isInterface(list, Var)) {
|
|
2043
2067
|
tmp = null;
|
|
2044
2068
|
} else {
|
|
2045
|
-
Companion_getInstance_1().
|
|
2069
|
+
Companion_getInstance_1().k2m(_this__u8e3s4, index);
|
|
2046
2070
|
var listOfInfo = (isInterface(list, List) ? list : THROW_CCE()).toList();
|
|
2047
2071
|
var _iterator__ex2g4s = listOfInfo.n();
|
|
2048
2072
|
while (_iterator__ex2g4s.q()) {
|
|
2049
2073
|
var term = _iterator__ex2g4s.r();
|
|
2050
|
-
this.
|
|
2074
|
+
this.h4y(_this__u8e3s4, term);
|
|
2051
2075
|
}
|
|
2052
2076
|
tmp = listOfInfo;
|
|
2053
2077
|
}
|
|
2054
2078
|
return tmp;
|
|
2055
2079
|
};
|
|
2056
|
-
protoOf(IOPrimitiveUtils).
|
|
2057
|
-
this.
|
|
2058
|
-
var tmp = _this__u8e3s4.arguments.
|
|
2080
|
+
protoOf(IOPrimitiveUtils).k4y = function (_this__u8e3s4, index) {
|
|
2081
|
+
this.i4y(_this__u8e3s4, index);
|
|
2082
|
+
var tmp = _this__u8e3s4.arguments.t(index);
|
|
2059
2083
|
var optionList = (isInterface(tmp, List) ? tmp : THROW_CCE()).toList();
|
|
2060
2084
|
var tmp_0;
|
|
2061
2085
|
if (getOption(this, optionList, _this__u8e3s4.context.v1n(), _get_OPTION_QUOTED_PATTERN__n2ri42(this))) {
|
|
@@ -2072,10 +2096,10 @@
|
|
|
2072
2096
|
}
|
|
2073
2097
|
var opFormat = tmp_1;
|
|
2074
2098
|
var numberVars = getOption(this, optionList, _this__u8e3s4.context.v1n(), _get_OPTION_NUMBER_VARS_PATTERN__p98ste(this));
|
|
2075
|
-
return
|
|
2099
|
+
return Companion_instance_8.of(VarFormat_UNDERSCORE_getInstance(), opFormat, funcFormat, numberVars, _this__u8e3s4.context.c1y());
|
|
2076
2100
|
};
|
|
2077
|
-
protoOf(IOPrimitiveUtils).
|
|
2078
|
-
var term = _this__u8e3s4.arguments.
|
|
2101
|
+
protoOf(IOPrimitiveUtils).l4y = function (_this__u8e3s4, index) {
|
|
2102
|
+
var term = _this__u8e3s4.arguments.t(index);
|
|
2079
2103
|
if (isInterface(term, Var))
|
|
2080
2104
|
return _this__u8e3s4;
|
|
2081
2105
|
else {
|
|
@@ -2087,7 +2111,7 @@
|
|
|
2087
2111
|
var _iterator__ex2g4s = tmp0.n();
|
|
2088
2112
|
while (_iterator__ex2g4s.q()) {
|
|
2089
2113
|
var element = _iterator__ex2g4s.r();
|
|
2090
|
-
if (Companion_getInstance_1().
|
|
2114
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, term, element)) {
|
|
2091
2115
|
tmp$ret$0 = true;
|
|
2092
2116
|
break $l$block;
|
|
2093
2117
|
}
|
|
@@ -2099,17 +2123,17 @@
|
|
|
2099
2123
|
}
|
|
2100
2124
|
}
|
|
2101
2125
|
}
|
|
2102
|
-
throw
|
|
2126
|
+
throw Companion_instance_7.n28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_STREAM_PROPERTY_getInstance(), term, index);
|
|
2103
2127
|
};
|
|
2104
|
-
protoOf(IOPrimitiveUtils).
|
|
2105
|
-
Companion_getInstance_1().
|
|
2106
|
-
var term = _this__u8e3s4.arguments.
|
|
2107
|
-
var error =
|
|
2128
|
+
protoOf(IOPrimitiveUtils).m4y = function (_this__u8e3s4, index) {
|
|
2129
|
+
Companion_getInstance_1().w2l(_this__u8e3s4, index);
|
|
2130
|
+
var term = _this__u8e3s4.arguments.t(index);
|
|
2131
|
+
var error = Companion_instance_7.n28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_SOURCE_SINK_getInstance(), term, index);
|
|
2108
2132
|
if (!isInterface(term, Atom)) {
|
|
2109
2133
|
throw error;
|
|
2110
2134
|
}
|
|
2111
2135
|
try {
|
|
2112
|
-
return
|
|
2136
|
+
return Companion_getInstance_9().of(term.f1());
|
|
2113
2137
|
} catch ($p) {
|
|
2114
2138
|
if ($p instanceof InvalidUrlException) {
|
|
2115
2139
|
var _unused_var__etf5q3 = $p;
|
|
@@ -2119,49 +2143,49 @@
|
|
|
2119
2143
|
}
|
|
2120
2144
|
}
|
|
2121
2145
|
};
|
|
2122
|
-
protoOf(IOPrimitiveUtils).
|
|
2123
|
-
Companion_getInstance_1().
|
|
2124
|
-
Companion_getInstance_1().
|
|
2125
|
-
var tmp = _this__u8e3s4.arguments.
|
|
2146
|
+
protoOf(IOPrimitiveUtils).n4y = function (_this__u8e3s4, index) {
|
|
2147
|
+
Companion_getInstance_1().w2l(_this__u8e3s4, index);
|
|
2148
|
+
Companion_getInstance_1().f2m(_this__u8e3s4, index);
|
|
2149
|
+
var tmp = _this__u8e3s4.arguments.t(index);
|
|
2126
2150
|
var term = isInterface(tmp, Atom) ? tmp : THROW_CCE();
|
|
2127
|
-
if (!Companion_getInstance_8().
|
|
2128
|
-
throw
|
|
2151
|
+
if (!Companion_getInstance_8().a4u_1.y(term)) {
|
|
2152
|
+
throw Companion_instance_7.n28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_IO_MODE_getInstance(), term, index);
|
|
2129
2153
|
}
|
|
2130
2154
|
// Inline function 'kotlin.text.uppercase' call
|
|
2131
2155
|
// Inline function 'kotlin.js.asDynamic' call
|
|
2132
2156
|
var tmp$ret$0 = term.f1().toUpperCase();
|
|
2133
2157
|
return valueOf(tmp$ret$0);
|
|
2134
2158
|
};
|
|
2135
|
-
protoOf(IOPrimitiveUtils).
|
|
2136
|
-
var term = _this__u8e3s4.arguments.
|
|
2159
|
+
protoOf(IOPrimitiveUtils).t4w = function (_this__u8e3s4, index) {
|
|
2160
|
+
var term = _this__u8e3s4.arguments.t(index);
|
|
2137
2161
|
if (isInterface(term, Var))
|
|
2138
2162
|
return null;
|
|
2139
2163
|
else {
|
|
2140
2164
|
if (isInterface(term, Struct))
|
|
2141
|
-
if (Companion_getInstance_1().
|
|
2165
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, term, _get_OUTPUT_STREAM_TERM_PATTERN__4vocxf(this))) {
|
|
2142
2166
|
var tmp1_elvis_lhs = firstOrNull(_this__u8e3s4.context.y1x().findByTerm(term));
|
|
2143
2167
|
var tmp;
|
|
2144
2168
|
if (tmp1_elvis_lhs == null) {
|
|
2145
|
-
throw
|
|
2169
|
+
throw Companion_instance_9.forStream(_this__u8e3s4.context, term);
|
|
2146
2170
|
} else {
|
|
2147
2171
|
tmp = tmp1_elvis_lhs;
|
|
2148
2172
|
}
|
|
2149
2173
|
return tmp;
|
|
2150
|
-
} else if (Companion_getInstance_1().
|
|
2174
|
+
} else if (Companion_getInstance_1().r2l(_this__u8e3s4, term, _get_INPUT_STREAM_TERM_PATTERN__5fd8p6(this))) {
|
|
2151
2175
|
var tmp2_elvis_lhs = firstOrNull(_this__u8e3s4.context.x1x().findByTerm(term));
|
|
2152
2176
|
var tmp_0;
|
|
2153
2177
|
if (tmp2_elvis_lhs == null) {
|
|
2154
|
-
throw
|
|
2178
|
+
throw Companion_instance_9.forStream(_this__u8e3s4.context, term);
|
|
2155
2179
|
} else {
|
|
2156
2180
|
tmp_0 = tmp2_elvis_lhs;
|
|
2157
2181
|
}
|
|
2158
2182
|
return tmp_0;
|
|
2159
2183
|
}
|
|
2160
2184
|
}
|
|
2161
|
-
throw
|
|
2185
|
+
throw Companion_instance_7.n28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_STREAM_OR_ALIAS_getInstance(), term, index);
|
|
2162
2186
|
};
|
|
2163
|
-
protoOf(IOPrimitiveUtils).
|
|
2164
|
-
var arg = _this__u8e3s4.arguments.
|
|
2187
|
+
protoOf(IOPrimitiveUtils).f4x = function (_this__u8e3s4, index) {
|
|
2188
|
+
var arg = _this__u8e3s4.arguments.t(index);
|
|
2165
2189
|
var tmp;
|
|
2166
2190
|
if (isInterface(arg, Var)) {
|
|
2167
2191
|
tmp = _this__u8e3s4;
|
|
@@ -2173,29 +2197,29 @@
|
|
|
2173
2197
|
} else if (arg.f1().length === 1) {
|
|
2174
2198
|
tmp_0 = _this__u8e3s4;
|
|
2175
2199
|
} else {
|
|
2176
|
-
throw Companion_instance_3.
|
|
2200
|
+
throw Companion_instance_3.j2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_IN_CHARACTER_getInstance(), arg, index);
|
|
2177
2201
|
}
|
|
2178
2202
|
tmp = tmp_0;
|
|
2179
2203
|
} else {
|
|
2180
|
-
throw Companion_instance_3.
|
|
2204
|
+
throw Companion_instance_3.j2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_IN_CHARACTER_getInstance(), arg, index);
|
|
2181
2205
|
}
|
|
2182
2206
|
}
|
|
2183
2207
|
return tmp;
|
|
2184
2208
|
};
|
|
2185
|
-
protoOf(IOPrimitiveUtils).
|
|
2186
|
-
var term = _this__u8e3s4.arguments.
|
|
2209
|
+
protoOf(IOPrimitiveUtils).l4x = function (_this__u8e3s4, index) {
|
|
2210
|
+
var term = _this__u8e3s4.arguments.t(index);
|
|
2187
2211
|
var tmp;
|
|
2188
2212
|
if (isInterface(term, Var)) {
|
|
2189
2213
|
tmp = _this__u8e3s4;
|
|
2190
2214
|
} else {
|
|
2191
2215
|
if (!isInterface(term, Integer)) {
|
|
2192
|
-
tmp = Companion_getInstance_1().
|
|
2216
|
+
tmp = Companion_getInstance_1().j2m(_this__u8e3s4, index);
|
|
2193
2217
|
} else {
|
|
2194
|
-
if (term.equals(Companion_getInstance_6().
|
|
2218
|
+
if (term.equals(Companion_getInstance_6().m11_1)) {
|
|
2195
2219
|
tmp = _this__u8e3s4;
|
|
2196
2220
|
} else {
|
|
2197
|
-
if (Companion_getInstance_1().
|
|
2198
|
-
throw
|
|
2221
|
+
if (!Companion_getInstance_1().n2m(term)) {
|
|
2222
|
+
throw Companion_instance_5.of(_this__u8e3s4.context, _this__u8e3s4.signature, Limit_CHARACTER_CODE_getInstance());
|
|
2199
2223
|
} else {
|
|
2200
2224
|
tmp = _this__u8e3s4;
|
|
2201
2225
|
}
|
|
@@ -2204,10 +2228,10 @@
|
|
|
2204
2228
|
}
|
|
2205
2229
|
return tmp;
|
|
2206
2230
|
};
|
|
2207
|
-
protoOf(IOPrimitiveUtils).
|
|
2208
|
-
Companion_getInstance_1().
|
|
2209
|
-
Companion_getInstance_1().
|
|
2210
|
-
var tmp = _this__u8e3s4.arguments.
|
|
2231
|
+
protoOf(IOPrimitiveUtils).h4w = function (_this__u8e3s4, index) {
|
|
2232
|
+
Companion_getInstance_1().w2l(_this__u8e3s4, index);
|
|
2233
|
+
Companion_getInstance_1().a2m(_this__u8e3s4, index);
|
|
2234
|
+
var tmp = _this__u8e3s4.arguments.t(index);
|
|
2211
2235
|
var term = isInterface(tmp, Struct) ? tmp : THROW_CCE();
|
|
2212
2236
|
var tmp_0;
|
|
2213
2237
|
if (isInterface(term, Atom)) {
|
|
@@ -2232,59 +2256,59 @@
|
|
|
2232
2256
|
var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j2(term.f1());
|
|
2233
2257
|
var tmp_1;
|
|
2234
2258
|
if (tmp1_elvis_lhs == null) {
|
|
2235
|
-
throw
|
|
2259
|
+
throw Companion_instance_9.forSourceSink(_this__u8e3s4.context, term);
|
|
2236
2260
|
} else {
|
|
2237
2261
|
tmp_1 = tmp1_elvis_lhs;
|
|
2238
2262
|
}
|
|
2239
2263
|
tmp_0 = tmp_1;
|
|
2240
2264
|
} else {
|
|
2241
|
-
if (Companion_getInstance_1().
|
|
2265
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, term, _get_OUTPUT_STREAM_TERM_PATTERN__4vocxf(this))) {
|
|
2242
2266
|
var tmp2_elvis_lhs = firstOrNull(_this__u8e3s4.context.y1x().findByTerm(term));
|
|
2243
2267
|
var tmp_2;
|
|
2244
2268
|
if (tmp2_elvis_lhs == null) {
|
|
2245
|
-
throw
|
|
2269
|
+
throw Companion_instance_9.forStream(_this__u8e3s4.context, term);
|
|
2246
2270
|
} else {
|
|
2247
2271
|
tmp_2 = tmp2_elvis_lhs;
|
|
2248
2272
|
}
|
|
2249
2273
|
tmp_0 = tmp_2;
|
|
2250
2274
|
} else {
|
|
2251
|
-
if (Companion_getInstance_1().
|
|
2275
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, term, _get_INPUT_STREAM_TERM_PATTERN__5fd8p6(this))) {
|
|
2252
2276
|
var tmp3_elvis_lhs = firstOrNull(_this__u8e3s4.context.x1x().findByTerm(term));
|
|
2253
2277
|
var tmp_3;
|
|
2254
2278
|
if (tmp3_elvis_lhs == null) {
|
|
2255
|
-
throw
|
|
2279
|
+
throw Companion_instance_9.forStream(_this__u8e3s4.context, term);
|
|
2256
2280
|
} else {
|
|
2257
2281
|
tmp_3 = tmp3_elvis_lhs;
|
|
2258
2282
|
}
|
|
2259
2283
|
tmp_0 = tmp_3;
|
|
2260
2284
|
} else {
|
|
2261
|
-
throw
|
|
2285
|
+
throw Companion_instance_7.n28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_STREAM_OR_ALIAS_getInstance(), term, index);
|
|
2262
2286
|
}
|
|
2263
2287
|
}
|
|
2264
2288
|
}
|
|
2265
2289
|
return tmp_0;
|
|
2266
2290
|
};
|
|
2267
|
-
protoOf(IOPrimitiveUtils).
|
|
2268
|
-
var channel = this.
|
|
2291
|
+
protoOf(IOPrimitiveUtils).c4w = function (_this__u8e3s4, index) {
|
|
2292
|
+
var channel = this.h4w(_this__u8e3s4, index);
|
|
2269
2293
|
var tmp;
|
|
2270
2294
|
if (isInterface(channel, InputChannel)) {
|
|
2271
2295
|
tmp = channel;
|
|
2272
2296
|
} else {
|
|
2273
|
-
throw
|
|
2297
|
+
throw Companion_instance_7.n28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_STREAM_TYPE_getInstance(), _this__u8e3s4.arguments.t(index), index);
|
|
2274
2298
|
}
|
|
2275
2299
|
return tmp;
|
|
2276
2300
|
};
|
|
2277
|
-
protoOf(IOPrimitiveUtils).
|
|
2278
|
-
var channel = this.
|
|
2301
|
+
protoOf(IOPrimitiveUtils).y4w = function (_this__u8e3s4, index) {
|
|
2302
|
+
var channel = this.h4w(_this__u8e3s4, index);
|
|
2279
2303
|
var tmp;
|
|
2280
2304
|
if (isInterface(channel, OutputChannel)) {
|
|
2281
2305
|
tmp = channel;
|
|
2282
2306
|
} else {
|
|
2283
|
-
throw
|
|
2307
|
+
throw Companion_instance_7.n28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_STREAM_TYPE_getInstance(), _this__u8e3s4.arguments.t(index), index);
|
|
2284
2308
|
}
|
|
2285
2309
|
return tmp;
|
|
2286
2310
|
};
|
|
2287
|
-
protoOf(IOPrimitiveUtils).
|
|
2311
|
+
protoOf(IOPrimitiveUtils).o4y = function (_this__u8e3s4, channel, term, formatter) {
|
|
2288
2312
|
var tmp;
|
|
2289
2313
|
try {
|
|
2290
2314
|
channel.write(format(term, formatter));
|
|
@@ -2301,10 +2325,10 @@
|
|
|
2301
2325
|
}
|
|
2302
2326
|
return tmp;
|
|
2303
2327
|
};
|
|
2304
|
-
protoOf(IOPrimitiveUtils).
|
|
2328
|
+
protoOf(IOPrimitiveUtils).p4y = function (_this__u8e3s4, channel, arg) {
|
|
2305
2329
|
var tmp;
|
|
2306
2330
|
try {
|
|
2307
|
-
channel.write(toString_0(arg.
|
|
2331
|
+
channel.write(toString_0(arg.f11().toChar()));
|
|
2308
2332
|
tmp = _this__u8e3s4.replySuccess(VOID, VOID, []);
|
|
2309
2333
|
} catch ($p) {
|
|
2310
2334
|
var tmp_0;
|
|
@@ -2318,7 +2342,7 @@
|
|
|
2318
2342
|
}
|
|
2319
2343
|
return tmp;
|
|
2320
2344
|
};
|
|
2321
|
-
protoOf(IOPrimitiveUtils).
|
|
2345
|
+
protoOf(IOPrimitiveUtils).q4y = function (_this__u8e3s4, channel, arg) {
|
|
2322
2346
|
var tmp;
|
|
2323
2347
|
try {
|
|
2324
2348
|
channel.write(arg.f1());
|
|
@@ -2335,40 +2359,29 @@
|
|
|
2335
2359
|
}
|
|
2336
2360
|
return tmp;
|
|
2337
2361
|
};
|
|
2338
|
-
protoOf(IOPrimitiveUtils).
|
|
2362
|
+
protoOf(IOPrimitiveUtils).r4y = function (_this__u8e3s4, channel, arg) {
|
|
2339
2363
|
var tmp;
|
|
2340
2364
|
try {
|
|
2341
|
-
var
|
|
2342
|
-
|
|
2343
|
-
var tmp_0;
|
|
2344
|
-
var tmp_1 = tmp1_safe_receiver;
|
|
2345
|
-
if ((tmp_1 == null ? null : new Char(tmp_1)) == null) {
|
|
2346
|
-
tmp_0 = null;
|
|
2347
|
-
} else {
|
|
2348
|
-
// Inline function 'kotlin.code' call
|
|
2349
|
-
tmp_0 = Char__toInt_impl_vasixd(tmp1_safe_receiver);
|
|
2350
|
-
}
|
|
2351
|
-
var tmp2_elvis_lhs = tmp_0;
|
|
2352
|
-
var code = tmp2_elvis_lhs == null ? -1 : tmp2_elvis_lhs;
|
|
2353
|
-
tmp = _this__u8e3s4.replyWith(Companion_getInstance_1().i2l(_this__u8e3s4, arg, Companion_getInstance_6().ofInt(code)), VOID, []);
|
|
2365
|
+
var code = characterCodeOf(this, _this__u8e3s4, channel.peek());
|
|
2366
|
+
tmp = _this__u8e3s4.replyWith(Companion_getInstance_1().q2l(_this__u8e3s4, arg, Companion_getInstance_6().ofInt(code)), VOID, []);
|
|
2354
2367
|
} catch ($p) {
|
|
2355
|
-
var
|
|
2368
|
+
var tmp_0;
|
|
2356
2369
|
if ($p instanceof IllegalStateException) {
|
|
2357
2370
|
var _unused_var__etf5q3 = $p;
|
|
2358
|
-
|
|
2371
|
+
tmp_0 = _this__u8e3s4.replyFail(VOID, []);
|
|
2359
2372
|
} else {
|
|
2360
2373
|
throw $p;
|
|
2361
2374
|
}
|
|
2362
|
-
tmp =
|
|
2375
|
+
tmp = tmp_0;
|
|
2363
2376
|
}
|
|
2364
2377
|
return tmp;
|
|
2365
2378
|
};
|
|
2366
|
-
protoOf(IOPrimitiveUtils).
|
|
2379
|
+
protoOf(IOPrimitiveUtils).s4y = function (_this__u8e3s4, channel, arg) {
|
|
2367
2380
|
var tmp;
|
|
2368
2381
|
try {
|
|
2369
2382
|
var tmp0_elvis_lhs = channel.peek();
|
|
2370
2383
|
var char = tmp0_elvis_lhs == null ? 'end_of_file' : tmp0_elvis_lhs;
|
|
2371
|
-
tmp = _this__u8e3s4.replyWith(Companion_getInstance_1().
|
|
2384
|
+
tmp = _this__u8e3s4.replyWith(Companion_getInstance_1().q2l(_this__u8e3s4, arg, Companion_getInstance_0().of(char)), VOID, []);
|
|
2372
2385
|
} catch ($p) {
|
|
2373
2386
|
var tmp_0;
|
|
2374
2387
|
if ($p instanceof IllegalStateException) {
|
|
@@ -2381,40 +2394,29 @@
|
|
|
2381
2394
|
}
|
|
2382
2395
|
return tmp;
|
|
2383
2396
|
};
|
|
2384
|
-
protoOf(IOPrimitiveUtils).
|
|
2397
|
+
protoOf(IOPrimitiveUtils).m4x = function (_this__u8e3s4, channel, arg) {
|
|
2385
2398
|
var tmp;
|
|
2386
2399
|
try {
|
|
2387
|
-
var
|
|
2388
|
-
|
|
2389
|
-
var tmp_0;
|
|
2390
|
-
var tmp_1 = tmp1_safe_receiver;
|
|
2391
|
-
if ((tmp_1 == null ? null : new Char(tmp_1)) == null) {
|
|
2392
|
-
tmp_0 = null;
|
|
2393
|
-
} else {
|
|
2394
|
-
// Inline function 'kotlin.code' call
|
|
2395
|
-
tmp_0 = Char__toInt_impl_vasixd(tmp1_safe_receiver);
|
|
2396
|
-
}
|
|
2397
|
-
var tmp2_elvis_lhs = tmp_0;
|
|
2398
|
-
var code = tmp2_elvis_lhs == null ? -1 : tmp2_elvis_lhs;
|
|
2399
|
-
tmp = _this__u8e3s4.replyWith(Companion_getInstance_1().i2l(_this__u8e3s4, arg, Companion_getInstance_6().ofInt(code)), VOID, []);
|
|
2400
|
+
var code = characterCodeOf(this, _this__u8e3s4, channel.read());
|
|
2401
|
+
tmp = _this__u8e3s4.replyWith(Companion_getInstance_1().q2l(_this__u8e3s4, arg, Companion_getInstance_6().ofInt(code)), VOID, []);
|
|
2400
2402
|
} catch ($p) {
|
|
2401
|
-
var
|
|
2403
|
+
var tmp_0;
|
|
2402
2404
|
if ($p instanceof IllegalStateException) {
|
|
2403
2405
|
var _unused_var__etf5q3 = $p;
|
|
2404
|
-
|
|
2406
|
+
tmp_0 = _this__u8e3s4.replyFail(VOID, []);
|
|
2405
2407
|
} else {
|
|
2406
2408
|
throw $p;
|
|
2407
2409
|
}
|
|
2408
|
-
tmp =
|
|
2410
|
+
tmp = tmp_0;
|
|
2409
2411
|
}
|
|
2410
2412
|
return tmp;
|
|
2411
2413
|
};
|
|
2412
|
-
protoOf(IOPrimitiveUtils).
|
|
2414
|
+
protoOf(IOPrimitiveUtils).g4x = function (_this__u8e3s4, channel, arg) {
|
|
2413
2415
|
var tmp;
|
|
2414
2416
|
try {
|
|
2415
2417
|
var tmp0_elvis_lhs = channel.read();
|
|
2416
2418
|
var char = tmp0_elvis_lhs == null ? 'end_of_file' : tmp0_elvis_lhs;
|
|
2417
|
-
tmp = _this__u8e3s4.replyWith(Companion_getInstance_1().
|
|
2419
|
+
tmp = _this__u8e3s4.replyWith(Companion_getInstance_1().q2l(_this__u8e3s4, arg, Companion_getInstance_0().of(char)), VOID, []);
|
|
2418
2420
|
} catch ($p) {
|
|
2419
2421
|
var tmp_0;
|
|
2420
2422
|
if ($p instanceof IllegalStateException) {
|
|
@@ -2427,25 +2429,25 @@
|
|
|
2427
2429
|
}
|
|
2428
2430
|
return tmp;
|
|
2429
2431
|
};
|
|
2430
|
-
protoOf(IOPrimitiveUtils).
|
|
2432
|
+
protoOf(IOPrimitiveUtils).t4y = function (_this__u8e3s4, channel, arg, lastIsInfoList) {
|
|
2431
2433
|
try {
|
|
2432
2434
|
var termsChannel = asTermChannel(channel, _this__u8e3s4.context.c1y());
|
|
2433
2435
|
var tmp;
|
|
2434
2436
|
if (lastIsInfoList) {
|
|
2435
|
-
tmp = this.
|
|
2437
|
+
tmp = this.j4y(_this__u8e3s4, get_lastIndex(_this__u8e3s4.arguments));
|
|
2436
2438
|
} else {
|
|
2437
2439
|
tmp = emptyList();
|
|
2438
2440
|
}
|
|
2439
2441
|
var infoList = tmp;
|
|
2440
|
-
if (!termsChannel.
|
|
2442
|
+
if (!termsChannel.k22())
|
|
2441
2443
|
return _this__u8e3s4.replyFail(VOID, []);
|
|
2442
2444
|
var read = termsChannel.read();
|
|
2443
2445
|
var tmp_0;
|
|
2444
2446
|
if (read == null) {
|
|
2445
2447
|
tmp_0 = _this__u8e3s4.replyFail(VOID, []);
|
|
2446
2448
|
} else {
|
|
2447
|
-
var variables_0 = variables(this, toList_0(read.
|
|
2448
|
-
var variableNames_0 = variableNames(this, toAssignments_0(this, read.
|
|
2449
|
+
var variables_0 = variables(this, toList_0(read.zw()));
|
|
2450
|
+
var variableNames_0 = variableNames(this, toAssignments_0(this, read.zw()));
|
|
2449
2451
|
var singletons_0 = singletons(this, toAssignments(this, _get_singletons__bihqrn(this, read)));
|
|
2450
2452
|
var tmp_1;
|
|
2451
2453
|
if (infoList == null) {
|
|
@@ -2456,8 +2458,8 @@
|
|
|
2456
2458
|
tmp_1 = getInfo(IOPrimitiveUtils_getInstance(), infoList, u, _get_INFO_SINGLETONS_PATTERN__y21s87(IOPrimitiveUtils_getInstance()), singletons_0).plus(getInfo(IOPrimitiveUtils_getInstance(), infoList, u, _get_INFO_VARIABLES_PATTERN__bhp1h0(IOPrimitiveUtils_getInstance()), variables_0)).plus(getInfo(IOPrimitiveUtils_getInstance(), infoList, u, _get_INFO_VARIABLE_NAMES_PATTERN__j3oaom(IOPrimitiveUtils_getInstance()), variableNames_0));
|
|
2457
2459
|
}
|
|
2458
2460
|
var tmp1_elvis_lhs = tmp_1;
|
|
2459
|
-
var info = tmp1_elvis_lhs == null ? Companion_getInstance_1().
|
|
2460
|
-
tmp_0 = _this__u8e3s4.replyWith(Companion_getInstance_1().
|
|
2461
|
+
var info = tmp1_elvis_lhs == null ? Companion_getInstance_1().q2l(_this__u8e3s4, last(_this__u8e3s4.arguments), Companion_instance_4.of([variables_0, variableNames_0, singletons_0])) : tmp1_elvis_lhs;
|
|
2462
|
+
tmp_0 = _this__u8e3s4.replyWith(Companion_getInstance_1().q2l(_this__u8e3s4, arg, read).plus(info), VOID, []);
|
|
2461
2463
|
}
|
|
2462
2464
|
return tmp_0;
|
|
2463
2465
|
} catch ($p) {
|
|
@@ -2468,7 +2470,7 @@
|
|
|
2468
2470
|
if ($p instanceof ParseException) {
|
|
2469
2471
|
var e_0 = $p;
|
|
2470
2472
|
var tmp_2 = Companion_instance_10;
|
|
2471
|
-
var tmp_3 = channel.
|
|
2473
|
+
var tmp_3 = channel.h22().toString();
|
|
2472
2474
|
var tmp_4 = e_0.line;
|
|
2473
2475
|
var tmp_5 = e_0.column;
|
|
2474
2476
|
var tmp2_elvis_lhs = e_0.message;
|
|
@@ -2479,19 +2481,19 @@
|
|
|
2479
2481
|
}
|
|
2480
2482
|
}
|
|
2481
2483
|
};
|
|
2482
|
-
protoOf(IOPrimitiveUtils).
|
|
2484
|
+
protoOf(IOPrimitiveUtils).u4y = function (_this__u8e3s4, channel, arg, lastIsInfoList, $super) {
|
|
2483
2485
|
lastIsInfoList = lastIsInfoList === VOID ? false : lastIsInfoList;
|
|
2484
|
-
return $super === VOID ? this.
|
|
2486
|
+
return $super === VOID ? this.t4y(_this__u8e3s4, channel, arg, lastIsInfoList) : $super.t4y.call(this, _this__u8e3s4, channel, arg, lastIsInfoList);
|
|
2485
2487
|
};
|
|
2486
|
-
protoOf(IOPrimitiveUtils).
|
|
2487
|
-
var url = this.
|
|
2488
|
-
var mode = this.
|
|
2489
|
-
Companion_getInstance_1().
|
|
2488
|
+
protoOf(IOPrimitiveUtils).v4y = function (_this__u8e3s4, third) {
|
|
2489
|
+
var url = this.m4y(_this__u8e3s4, 0);
|
|
2490
|
+
var mode = this.n4y(_this__u8e3s4, 1);
|
|
2491
|
+
Companion_getInstance_1().d2m(_this__u8e3s4, 2);
|
|
2490
2492
|
var tmp;
|
|
2491
2493
|
if (_this__u8e3s4.arguments.s() >= 4) {
|
|
2492
|
-
Companion_getInstance_1().
|
|
2493
|
-
var tmp_0 = _this__u8e3s4.arguments.
|
|
2494
|
-
var tmp_1 = (isInterface(tmp_0, List) ? tmp_0 : THROW_CCE()).
|
|
2494
|
+
Companion_getInstance_1().k2m(_this__u8e3s4, 3);
|
|
2495
|
+
var tmp_0 = _this__u8e3s4.arguments.t(3);
|
|
2496
|
+
var tmp_1 = (isInterface(tmp_0, List) ? tmp_0 : THROW_CCE()).bv();
|
|
2495
2497
|
var tmp_2 = map(tmp_1, IOPrimitiveUtils$open$lambda(_this__u8e3s4));
|
|
2496
2498
|
tmp = toSet(map(tmp_2, IOPrimitiveUtils$open$lambda_0(_this__u8e3s4)));
|
|
2497
2499
|
} else {
|
|
@@ -2504,7 +2506,7 @@
|
|
|
2504
2506
|
var _iterator__ex2g4s = options.n();
|
|
2505
2507
|
while (_iterator__ex2g4s.q()) {
|
|
2506
2508
|
var element = _iterator__ex2g4s.r();
|
|
2507
|
-
if (Companion_getInstance_1().
|
|
2509
|
+
if (Companion_getInstance_1().r2l(_this__u8e3s4, _get_PROPERTY_ALIAS_PATTERN__wipd2s(IOPrimitiveUtils_getInstance()), element)) {
|
|
2508
2510
|
tmp$ret$0 = element;
|
|
2509
2511
|
break $l$block;
|
|
2510
2512
|
}
|
|
@@ -2538,9 +2540,9 @@
|
|
|
2538
2540
|
var tmp_6;
|
|
2539
2541
|
var tmp_7 = e.cause;
|
|
2540
2542
|
if (tmp_7 instanceof FileNotFoundException) {
|
|
2541
|
-
tmp_6 = ExistenceError_init_$Create$(e.message, e, _this__u8e3s4.context, ObjectType_SOURCE_SINK_getInstance(), _this__u8e3s4.arguments.
|
|
2543
|
+
tmp_6 = ExistenceError_init_$Create$(e.message, e, _this__u8e3s4.context, ObjectType_SOURCE_SINK_getInstance(), _this__u8e3s4.arguments.t(0));
|
|
2542
2544
|
} else {
|
|
2543
|
-
tmp_6 = e.
|
|
2545
|
+
tmp_6 = e.c4v(_this__u8e3s4.context);
|
|
2544
2546
|
}
|
|
2545
2547
|
throw tmp_6;
|
|
2546
2548
|
} else {
|
|
@@ -2558,13 +2560,13 @@
|
|
|
2558
2560
|
function Nl1() {
|
|
2559
2561
|
Nl1_instance = this;
|
|
2560
2562
|
NonBacktrackable_0.call(this, 'nl');
|
|
2561
|
-
this.
|
|
2563
|
+
this.x4y_1 = '`nl(+Stream)`\n\nWrites a newline character to the output stream `Stream`, succeeding deterministically (`nl/0`, writing to the current output, is provided by `prolog.lang`). `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write(user_output, hello), nl(user_output).\n% prints: hello, then a newline\nyes.\n\n?- nl(user_input).\nthrows error(domain_error(stream_type, user_input), _).\n\n?- nl(S).\nthrows error(instantiation_error, _).\n```';
|
|
2562
2564
|
}
|
|
2563
2565
|
protoOf(Nl1).i1x = function () {
|
|
2564
|
-
return this.
|
|
2566
|
+
return this.x4y_1;
|
|
2565
2567
|
};
|
|
2566
|
-
protoOf(Nl1).
|
|
2567
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
2568
|
+
protoOf(Nl1).v2u = function (_this__u8e3s4, first) {
|
|
2569
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
2568
2570
|
var tmp;
|
|
2569
2571
|
try {
|
|
2570
2572
|
channel.write('\n');
|
|
@@ -2581,8 +2583,8 @@
|
|
|
2581
2583
|
}
|
|
2582
2584
|
return tmp;
|
|
2583
2585
|
};
|
|
2584
|
-
protoOf(Nl1).
|
|
2585
|
-
return this.
|
|
2586
|
+
protoOf(Nl1).i2o = function (_this__u8e3s4, first) {
|
|
2587
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2586
2588
|
};
|
|
2587
2589
|
var Nl1_instance;
|
|
2588
2590
|
function Nl1_getInstance() {
|
|
@@ -2593,16 +2595,16 @@
|
|
|
2593
2595
|
function Open3() {
|
|
2594
2596
|
Open3_instance = this;
|
|
2595
2597
|
NonBacktrackable_1.call(this, 'open');
|
|
2596
|
-
this.
|
|
2598
|
+
this.z4y_1 = "`open(+SourceSink, +Mode, -Stream)`\n\nOpens `SourceSink`, an atom holding a URL or a plain file path, in `Mode` (`read`, `write` or `append`), registers the new stream under an auto-generated alias, and unifies `Stream` with its `$stream(Direction, Id)` term; it behaves as `open/4` with an empty options list. Any URL readable by the platform (e.g. files or `http(s)`) can be opened for reading, but the current implementation can only write or append to local files on the JVM, and never on JS. It raises an instantiation error if `SourceSink` or `Mode` is unbound, a domain error (`source_sink`) if `SourceSink` is not a valid URL or path, a type or domain error (`io_mode`) if `Mode` is not one of the allowed atoms, a type error (`variable`) if `Stream` is bound (ISO prescribes an uninstantiation error), an existence error (`source_sink`) if the resource does not exist, and a system error if it cannot be opened for any other reason.\n\n**Examples**\n\n```prolog\n% with /path/to/data.pl containing `hello(world).`\n?- open('/path/to/data.pl', read, S), read(S, T), close(S).\nT = hello(world).\n\n?- open(F, read, S).\nthrows error(instantiation_error, _).\n\n?- open('/path/to/data.pl', update, S).\nthrows error(domain_error(io_mode, update), _).\n\n?- open('/path/to/data.pl', read, foo).\nthrows error(type_error(variable, foo), _).\n```";
|
|
2597
2599
|
}
|
|
2598
2600
|
protoOf(Open3).i1x = function () {
|
|
2599
|
-
return this.
|
|
2601
|
+
return this.z4y_1;
|
|
2600
2602
|
};
|
|
2601
|
-
protoOf(Open3).
|
|
2602
|
-
return IOPrimitiveUtils_getInstance().
|
|
2603
|
+
protoOf(Open3).c30 = function (_this__u8e3s4, first, second, third) {
|
|
2604
|
+
return IOPrimitiveUtils_getInstance().v4y(_this__u8e3s4, third);
|
|
2603
2605
|
};
|
|
2604
|
-
protoOf(Open3).
|
|
2605
|
-
return this.
|
|
2606
|
+
protoOf(Open3).z2n = function (_this__u8e3s4, first, second, third) {
|
|
2607
|
+
return this.c30(_this__u8e3s4, first, second, third);
|
|
2606
2608
|
};
|
|
2607
2609
|
var Open3_instance;
|
|
2608
2610
|
function Open3_getInstance() {
|
|
@@ -2613,16 +2615,16 @@
|
|
|
2613
2615
|
function Open4() {
|
|
2614
2616
|
Open4_instance = this;
|
|
2615
2617
|
NonBacktrackable_2.call(this, 'open');
|
|
2616
|
-
this.
|
|
2618
|
+
this.b4z_1 = "`open(+SourceSink, +Mode, -Stream, +Options)`\n\nLike `open/3`, opens `SourceSink` (a URL or file path atom) in `Mode` (`read`, `write` or `append`) and unifies `Stream` with the new `$stream(Direction, Id)` term, but also takes a list of `Options`. In the current implementation only `alias(Name)` has an effect, registering the stream under `Name` instead of an auto-generated alias; `input`, `output`, `type(text)`, `eof_action(eof_code)` and `reposition(false)` are accepted and ignored, other values of `type/1`, `eof_action/1` and `reposition/1` (e.g. `type(binary)`) raise a system error, and any other element raises a domain error (`stream_property`). `Options` must be a list (type error otherwise, even when unbound), and all other arguments are checked and raise errors exactly as for `open/3`.\n\n**Examples**\n\n```prolog\n?- open('/path/to/out.txt', write, _, [alias(out)]), write(out, hello), close(out).\nyes.\n\n?- open('/path/to/out.txt', write, S, [type(binary)]).\nthrows error(system_error, _).\n\n?- open('/path/to/out.txt', write, S, [foo]).\nthrows error(domain_error(stream_property, foo), _).\n```";
|
|
2617
2619
|
}
|
|
2618
2620
|
protoOf(Open4).i1x = function () {
|
|
2619
|
-
return this.
|
|
2621
|
+
return this.b4z_1;
|
|
2620
2622
|
};
|
|
2621
|
-
protoOf(Open4).
|
|
2622
|
-
return IOPrimitiveUtils_getInstance().
|
|
2623
|
+
protoOf(Open4).c4z = function (_this__u8e3s4, first, second, third, fourth) {
|
|
2624
|
+
return IOPrimitiveUtils_getInstance().v4y(_this__u8e3s4, third);
|
|
2623
2625
|
};
|
|
2624
|
-
protoOf(Open4).
|
|
2625
|
-
return this.
|
|
2626
|
+
protoOf(Open4).y2m = function (_this__u8e3s4, first, second, third, fourth) {
|
|
2627
|
+
return this.c4z(_this__u8e3s4, first, second, third, fourth);
|
|
2626
2628
|
};
|
|
2627
2629
|
var Open4_instance;
|
|
2628
2630
|
function Open4_getInstance() {
|
|
@@ -2633,16 +2635,16 @@
|
|
|
2633
2635
|
function PeekByte1() {
|
|
2634
2636
|
PeekByte1_instance = this;
|
|
2635
2637
|
NonBacktrackable_0.call(this, 'peek_byte');
|
|
2636
|
-
this.
|
|
2638
|
+
this.e4z_1 = '`peek_byte(?Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `peek_code/1` instead.\n\n**Examples**\n\n```prolog\n?- peek_byte(B).\nthrows error(system_error, _).\n```';
|
|
2637
2639
|
}
|
|
2638
2640
|
protoOf(PeekByte1).i1x = function () {
|
|
2639
|
-
return this.
|
|
2641
|
+
return this.e4z_1;
|
|
2640
2642
|
};
|
|
2641
|
-
protoOf(PeekByte1).
|
|
2642
|
-
return Companion_getInstance_1().
|
|
2643
|
+
protoOf(PeekByte1).v2u = function (_this__u8e3s4, first) {
|
|
2644
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
2643
2645
|
};
|
|
2644
|
-
protoOf(PeekByte1).
|
|
2645
|
-
return this.
|
|
2646
|
+
protoOf(PeekByte1).i2o = function (_this__u8e3s4, first) {
|
|
2647
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2646
2648
|
};
|
|
2647
2649
|
var PeekByte1_instance;
|
|
2648
2650
|
function PeekByte1_getInstance() {
|
|
@@ -2653,16 +2655,16 @@
|
|
|
2653
2655
|
function PeekByte2() {
|
|
2654
2656
|
PeekByte2_instance = this;
|
|
2655
2657
|
NonBacktrackable.call(this, 'peek_byte');
|
|
2656
|
-
this.
|
|
2658
|
+
this.g4z_1 = '`peek_byte(+Stream, ?Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `peek_code/2` instead.\n\n**Examples**\n\n```prolog\n?- peek_byte(user_input, B).\nthrows error(system_error, _).\n```';
|
|
2657
2659
|
}
|
|
2658
2660
|
protoOf(PeekByte2).i1x = function () {
|
|
2659
|
-
return this.
|
|
2661
|
+
return this.g4z_1;
|
|
2660
2662
|
};
|
|
2661
|
-
protoOf(PeekByte2).
|
|
2662
|
-
return Companion_getInstance_1().
|
|
2663
|
+
protoOf(PeekByte2).j2v = function (_this__u8e3s4, first, second) {
|
|
2664
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
2663
2665
|
};
|
|
2664
|
-
protoOf(PeekByte2).
|
|
2665
|
-
return this.
|
|
2666
|
+
protoOf(PeekByte2).v2k = function (_this__u8e3s4, first, second) {
|
|
2667
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
2666
2668
|
};
|
|
2667
2669
|
var PeekByte2_instance;
|
|
2668
2670
|
function PeekByte2_getInstance() {
|
|
@@ -2673,17 +2675,17 @@
|
|
|
2673
2675
|
function PeekChar1() {
|
|
2674
2676
|
PeekChar1_instance = this;
|
|
2675
2677
|
NonBacktrackable_0.call(this, 'peek_char');
|
|
2676
|
-
this.
|
|
2678
|
+
this.i4z_1 = '`peek_char(?Char)`\n\nUnifies `Char` with the next character of the current input stream (standard input, unless changed via `set_input/1`) without consuming it, or with `end_of_file` at the end of the stream. It is deterministic. `Char` must be unbound, `end_of_file`, or a one-character atom, otherwise a type error (`in_character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- peek_char(ab).\nthrows error(type_error(in_character, ab), _).\n```';
|
|
2677
2679
|
}
|
|
2678
2680
|
protoOf(PeekChar1).i1x = function () {
|
|
2679
|
-
return this.
|
|
2681
|
+
return this.i4z_1;
|
|
2680
2682
|
};
|
|
2681
|
-
protoOf(PeekChar1).
|
|
2682
|
-
IOPrimitiveUtils_getInstance().
|
|
2683
|
-
return IOPrimitiveUtils_getInstance().
|
|
2683
|
+
protoOf(PeekChar1).v2u = function (_this__u8e3s4, first) {
|
|
2684
|
+
IOPrimitiveUtils_getInstance().f4x(_this__u8e3s4, 0);
|
|
2685
|
+
return IOPrimitiveUtils_getInstance().s4y(_this__u8e3s4, IOPrimitiveUtils_getInstance().y4v(_this__u8e3s4), first);
|
|
2684
2686
|
};
|
|
2685
|
-
protoOf(PeekChar1).
|
|
2686
|
-
return this.
|
|
2687
|
+
protoOf(PeekChar1).i2o = function (_this__u8e3s4, first) {
|
|
2688
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2687
2689
|
};
|
|
2688
2690
|
var PeekChar1_instance;
|
|
2689
2691
|
function PeekChar1_getInstance() {
|
|
@@ -2694,18 +2696,18 @@
|
|
|
2694
2696
|
function PeekChar2() {
|
|
2695
2697
|
PeekChar2_instance = this;
|
|
2696
2698
|
NonBacktrackable.call(this, 'peek_char');
|
|
2697
|
-
this.
|
|
2699
|
+
this.k4z_1 = '`peek_char(+Stream, ?Char)`\n\nUnifies `Char` with the next character of the input stream `Stream` without consuming it, or with `end_of_file` at the end of the stream. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. `Char` must be unbound, `end_of_file`, or a one-character atom, otherwise a type error (`in_character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- peek_char(user_input, ab).\nthrows error(type_error(in_character, ab), _).\n\n?- peek_char(S, C).\nthrows error(instantiation_error, _).\n\n?- peek_char(user_output, C).\nthrows error(domain_error(stream_type, user_output), _).\n```';
|
|
2698
2700
|
}
|
|
2699
2701
|
protoOf(PeekChar2).i1x = function () {
|
|
2700
|
-
return this.
|
|
2702
|
+
return this.k4z_1;
|
|
2701
2703
|
};
|
|
2702
|
-
protoOf(PeekChar2).
|
|
2703
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
2704
|
-
IOPrimitiveUtils_getInstance().
|
|
2705
|
-
return IOPrimitiveUtils_getInstance().
|
|
2704
|
+
protoOf(PeekChar2).j2v = function (_this__u8e3s4, first, second) {
|
|
2705
|
+
var channel = IOPrimitiveUtils_getInstance().c4w(_this__u8e3s4, 0);
|
|
2706
|
+
IOPrimitiveUtils_getInstance().f4x(_this__u8e3s4, 1);
|
|
2707
|
+
return IOPrimitiveUtils_getInstance().s4y(_this__u8e3s4, channel, second);
|
|
2706
2708
|
};
|
|
2707
|
-
protoOf(PeekChar2).
|
|
2708
|
-
return this.
|
|
2709
|
+
protoOf(PeekChar2).v2k = function (_this__u8e3s4, first, second) {
|
|
2710
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
2709
2711
|
};
|
|
2710
2712
|
var PeekChar2_instance;
|
|
2711
2713
|
function PeekChar2_getInstance() {
|
|
@@ -2716,17 +2718,17 @@
|
|
|
2716
2718
|
function PeekCode1() {
|
|
2717
2719
|
PeekCode1_instance = this;
|
|
2718
2720
|
NonBacktrackable_0.call(this, 'peek_code');
|
|
2719
|
-
this.
|
|
2721
|
+
this.m4z_1 = '`peek_code(?Code)`\n\nUnifies `Code` with the code of the next character of the current input stream (standard input, unless changed via `set_input/1`) without consuming it, or with `-1` at the end of the stream. It is deterministic. `Code` must be unbound or an integer (type error otherwise) within the character-code range or `-1` (representation error otherwise); so is a character beyond the Basic Multilingual Plane in the stream, which has no single UTF-16 code (`representation_error(character_code)`). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- peek_code(a).\nthrows error(type_error(integer, a), _).\n\n?- peek_code(-2).\nthrows error(representation_error(character_code), _).\n```';
|
|
2720
2722
|
}
|
|
2721
2723
|
protoOf(PeekCode1).i1x = function () {
|
|
2722
|
-
return this.
|
|
2724
|
+
return this.m4z_1;
|
|
2723
2725
|
};
|
|
2724
|
-
protoOf(PeekCode1).
|
|
2725
|
-
IOPrimitiveUtils_getInstance().
|
|
2726
|
-
return IOPrimitiveUtils_getInstance().
|
|
2726
|
+
protoOf(PeekCode1).v2u = function (_this__u8e3s4, first) {
|
|
2727
|
+
IOPrimitiveUtils_getInstance().l4x(_this__u8e3s4, 0);
|
|
2728
|
+
return IOPrimitiveUtils_getInstance().r4y(_this__u8e3s4, IOPrimitiveUtils_getInstance().y4v(_this__u8e3s4), first);
|
|
2727
2729
|
};
|
|
2728
|
-
protoOf(PeekCode1).
|
|
2729
|
-
return this.
|
|
2730
|
+
protoOf(PeekCode1).i2o = function (_this__u8e3s4, first) {
|
|
2731
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2730
2732
|
};
|
|
2731
2733
|
var PeekCode1_instance;
|
|
2732
2734
|
function PeekCode1_getInstance() {
|
|
@@ -2737,18 +2739,18 @@
|
|
|
2737
2739
|
function PeekCode2() {
|
|
2738
2740
|
PeekCode2_instance = this;
|
|
2739
2741
|
NonBacktrackable.call(this, 'peek_code');
|
|
2740
|
-
this.
|
|
2742
|
+
this.o4z_1 = '`peek_code(+Stream, ?Code)`\n\nUnifies `Code` with the code of the next character of the input stream `Stream` without consuming it, or with `-1` at the end of the stream. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. `Code` must be unbound or an integer (type error otherwise) within the character-code range or `-1` (representation error otherwise); so is a character beyond the Basic Multilingual Plane in the stream, which has no single UTF-16 code (`representation_error(character_code)`). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- peek_code(user_input, a).\nthrows error(type_error(integer, a), _).\n\n?- peek_code(S, C).\nthrows error(instantiation_error, _).\n\n?- peek_code(user_output, C).\nthrows error(domain_error(stream_type, user_output), _).\n```';
|
|
2741
2743
|
}
|
|
2742
2744
|
protoOf(PeekCode2).i1x = function () {
|
|
2743
|
-
return this.
|
|
2745
|
+
return this.o4z_1;
|
|
2744
2746
|
};
|
|
2745
|
-
protoOf(PeekCode2).
|
|
2746
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
2747
|
-
IOPrimitiveUtils_getInstance().
|
|
2748
|
-
return IOPrimitiveUtils_getInstance().
|
|
2747
|
+
protoOf(PeekCode2).j2v = function (_this__u8e3s4, first, second) {
|
|
2748
|
+
var channel = IOPrimitiveUtils_getInstance().c4w(_this__u8e3s4, 0);
|
|
2749
|
+
IOPrimitiveUtils_getInstance().l4x(_this__u8e3s4, 1);
|
|
2750
|
+
return IOPrimitiveUtils_getInstance().r4y(_this__u8e3s4, channel, second);
|
|
2749
2751
|
};
|
|
2750
|
-
protoOf(PeekCode2).
|
|
2751
|
-
return this.
|
|
2752
|
+
protoOf(PeekCode2).v2k = function (_this__u8e3s4, first, second) {
|
|
2753
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
2752
2754
|
};
|
|
2753
2755
|
var PeekCode2_instance;
|
|
2754
2756
|
function PeekCode2_getInstance() {
|
|
@@ -2759,16 +2761,16 @@
|
|
|
2759
2761
|
function PutByte1() {
|
|
2760
2762
|
PutByte1_instance = this;
|
|
2761
2763
|
NonBacktrackable_0.call(this, 'put_byte');
|
|
2762
|
-
this.
|
|
2764
|
+
this.q4z_1 = '`put_byte(+Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `put_code/1` instead.\n\n**Examples**\n\n```prolog\n?- put_byte(65).\nthrows error(system_error, _).\n```';
|
|
2763
2765
|
}
|
|
2764
2766
|
protoOf(PutByte1).i1x = function () {
|
|
2765
|
-
return this.
|
|
2767
|
+
return this.q4z_1;
|
|
2766
2768
|
};
|
|
2767
|
-
protoOf(PutByte1).
|
|
2768
|
-
return Companion_getInstance_1().
|
|
2769
|
+
protoOf(PutByte1).v2u = function (_this__u8e3s4, first) {
|
|
2770
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
2769
2771
|
};
|
|
2770
|
-
protoOf(PutByte1).
|
|
2771
|
-
return this.
|
|
2772
|
+
protoOf(PutByte1).i2o = function (_this__u8e3s4, first) {
|
|
2773
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2772
2774
|
};
|
|
2773
2775
|
var PutByte1_instance;
|
|
2774
2776
|
function PutByte1_getInstance() {
|
|
@@ -2779,16 +2781,16 @@
|
|
|
2779
2781
|
function PutByte2() {
|
|
2780
2782
|
PutByte2_instance = this;
|
|
2781
2783
|
NonBacktrackable.call(this, 'put_byte');
|
|
2782
|
-
this.
|
|
2784
|
+
this.s4z_1 = '`put_byte(+Stream, +Byte)`\n\nRegistered for ISO conformance only: the current implementation supports text streams exclusively, so every call raises a system error regardless of its arguments; use `put_code/2` instead.\n\n**Examples**\n\n```prolog\n?- put_byte(user_output, 65).\nthrows error(system_error, _).\n```';
|
|
2783
2785
|
}
|
|
2784
2786
|
protoOf(PutByte2).i1x = function () {
|
|
2785
|
-
return this.
|
|
2787
|
+
return this.s4z_1;
|
|
2786
2788
|
};
|
|
2787
|
-
protoOf(PutByte2).
|
|
2788
|
-
return Companion_getInstance_1().
|
|
2789
|
+
protoOf(PutByte2).j2v = function (_this__u8e3s4, first, second) {
|
|
2790
|
+
return Companion_getInstance_1().y2l(_this__u8e3s4);
|
|
2789
2791
|
};
|
|
2790
|
-
protoOf(PutByte2).
|
|
2791
|
-
return this.
|
|
2792
|
+
protoOf(PutByte2).v2k = function (_this__u8e3s4, first, second) {
|
|
2793
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
2792
2794
|
};
|
|
2793
2795
|
var PutByte2_instance;
|
|
2794
2796
|
function PutByte2_getInstance() {
|
|
@@ -2799,19 +2801,19 @@
|
|
|
2799
2801
|
function PutChar1() {
|
|
2800
2802
|
PutChar1_instance = this;
|
|
2801
2803
|
NonBacktrackable_0.call(this, 'put_char');
|
|
2802
|
-
this.
|
|
2804
|
+
this.u4z_1 = '`put_char(+Char)`\n\nWrites the character `Char` to the current output stream (standard output, unless changed via `set_output/1`), succeeding deterministically. `Char` must be a one-character atom, otherwise a type error (`character`) is raised; the current implementation raises that type error even when `Char` is unbound, where ISO prescribes an instantiation error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- put_char(a).\n% prints: a\nyes.\n\n?- put_char(ab).\nthrows error(type_error(character, ab), _).\n\n?- put_char(C).\nthrows error(type_error(character, _), _).\n```';
|
|
2803
2805
|
}
|
|
2804
2806
|
protoOf(PutChar1).i1x = function () {
|
|
2805
|
-
return this.
|
|
2807
|
+
return this.u4z_1;
|
|
2806
2808
|
};
|
|
2807
|
-
protoOf(PutChar1).
|
|
2808
|
-
Companion_getInstance_1().
|
|
2809
|
+
protoOf(PutChar1).v2u = function (_this__u8e3s4, first) {
|
|
2810
|
+
Companion_getInstance_1().h2m(_this__u8e3s4, 0);
|
|
2809
2811
|
var tmp = IOPrimitiveUtils_getInstance();
|
|
2810
|
-
var tmp_0 = IOPrimitiveUtils_getInstance().
|
|
2811
|
-
return tmp.
|
|
2812
|
+
var tmp_0 = IOPrimitiveUtils_getInstance().f4y(_this__u8e3s4);
|
|
2813
|
+
return tmp.q4y(_this__u8e3s4, tmp_0, isInterface(first, Atom) ? first : THROW_CCE());
|
|
2812
2814
|
};
|
|
2813
|
-
protoOf(PutChar1).
|
|
2814
|
-
return this.
|
|
2815
|
+
protoOf(PutChar1).i2o = function (_this__u8e3s4, first) {
|
|
2816
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2815
2817
|
};
|
|
2816
2818
|
var PutChar1_instance;
|
|
2817
2819
|
function PutChar1_getInstance() {
|
|
@@ -2822,19 +2824,19 @@
|
|
|
2822
2824
|
function PutChar2() {
|
|
2823
2825
|
PutChar2_instance = this;
|
|
2824
2826
|
NonBacktrackable.call(this, 'put_char');
|
|
2825
|
-
this.
|
|
2827
|
+
this.w4z_1 = '`put_char(+Stream, +Char)`\n\nWrites the character `Char` to the output stream `Stream`, succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. `Char` must be a one-character atom, otherwise (even when unbound) a type error (`character`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- put_char(user_output, a).\n% prints: a\nyes.\n\n?- put_char(user_output, ab).\nthrows error(type_error(character, ab), _).\n\n?- put_char(user_input, a).\nthrows error(domain_error(stream_type, user_input), _).\n```';
|
|
2826
2828
|
}
|
|
2827
2829
|
protoOf(PutChar2).i1x = function () {
|
|
2828
|
-
return this.
|
|
2830
|
+
return this.w4z_1;
|
|
2829
2831
|
};
|
|
2830
|
-
protoOf(PutChar2).
|
|
2831
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
2832
|
-
Companion_getInstance_1().
|
|
2832
|
+
protoOf(PutChar2).j2v = function (_this__u8e3s4, first, second) {
|
|
2833
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
2834
|
+
Companion_getInstance_1().h2m(_this__u8e3s4, 1);
|
|
2833
2835
|
var tmp = IOPrimitiveUtils_getInstance();
|
|
2834
|
-
return tmp.
|
|
2836
|
+
return tmp.q4y(_this__u8e3s4, channel, isInterface(second, Atom) ? second : THROW_CCE());
|
|
2835
2837
|
};
|
|
2836
|
-
protoOf(PutChar2).
|
|
2837
|
-
return this.
|
|
2838
|
+
protoOf(PutChar2).v2k = function (_this__u8e3s4, first, second) {
|
|
2839
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
2838
2840
|
};
|
|
2839
2841
|
var PutChar2_instance;
|
|
2840
2842
|
function PutChar2_getInstance() {
|
|
@@ -2845,19 +2847,19 @@
|
|
|
2845
2847
|
function PutCode1() {
|
|
2846
2848
|
PutCode1_instance = this;
|
|
2847
2849
|
NonBacktrackable_0.call(this, 'put_code');
|
|
2848
|
-
this.
|
|
2850
|
+
this.y4z_1 = '`put_code(+Code)`\n\nWrites the character whose code is `Code` to the current output stream (standard output, unless changed via `set_output/1`), succeeding deterministically. `Code` must be an integer, otherwise (even when unbound, where ISO prescribes an instantiation error) a type error (`integer`) is raised, and a valid character code, otherwise a representation error (`character_code`) is raised. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- put_code(97).\n% prints: a\nyes.\n\n?- put_code(a).\nthrows error(type_error(integer, a), _).\n\n?- put_code(-1).\nthrows error(representation_error(character_code), _).\n```';
|
|
2849
2851
|
}
|
|
2850
2852
|
protoOf(PutCode1).i1x = function () {
|
|
2851
|
-
return this.
|
|
2853
|
+
return this.y4z_1;
|
|
2852
2854
|
};
|
|
2853
|
-
protoOf(PutCode1).
|
|
2854
|
-
Companion_getInstance_1().
|
|
2855
|
+
protoOf(PutCode1).v2u = function (_this__u8e3s4, first) {
|
|
2856
|
+
Companion_getInstance_1().q2m(_this__u8e3s4, 0);
|
|
2855
2857
|
var tmp = IOPrimitiveUtils_getInstance();
|
|
2856
|
-
var tmp_0 = IOPrimitiveUtils_getInstance().
|
|
2857
|
-
return tmp.
|
|
2858
|
+
var tmp_0 = IOPrimitiveUtils_getInstance().f4y(_this__u8e3s4);
|
|
2859
|
+
return tmp.p4y(_this__u8e3s4, tmp_0, isInterface(first, Integer) ? first : THROW_CCE());
|
|
2858
2860
|
};
|
|
2859
|
-
protoOf(PutCode1).
|
|
2860
|
-
return this.
|
|
2861
|
+
protoOf(PutCode1).i2o = function (_this__u8e3s4, first) {
|
|
2862
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2861
2863
|
};
|
|
2862
2864
|
var PutCode1_instance;
|
|
2863
2865
|
function PutCode1_getInstance() {
|
|
@@ -2868,19 +2870,19 @@
|
|
|
2868
2870
|
function PutCode2() {
|
|
2869
2871
|
PutCode2_instance = this;
|
|
2870
2872
|
NonBacktrackable.call(this, 'put_code');
|
|
2871
|
-
this.
|
|
2873
|
+
this.a50_1 = '`put_code(+Stream, +Code)`\n\nWrites the character whose code is `Code` to the output stream `Stream`, succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. `Code` must be an integer (type error otherwise, even when unbound) and a valid character code (representation error otherwise). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- put_code(user_output, 97).\n% prints: a\nyes.\n\n?- put_code(user_output, C).\nthrows error(type_error(integer, _), _).\n\n?- put_code(user_input, 97).\nthrows error(domain_error(stream_type, user_input), _).\n```';
|
|
2872
2874
|
}
|
|
2873
2875
|
protoOf(PutCode2).i1x = function () {
|
|
2874
|
-
return this.
|
|
2876
|
+
return this.a50_1;
|
|
2875
2877
|
};
|
|
2876
|
-
protoOf(PutCode2).
|
|
2877
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
2878
|
-
Companion_getInstance_1().
|
|
2878
|
+
protoOf(PutCode2).j2v = function (_this__u8e3s4, first, second) {
|
|
2879
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
2880
|
+
Companion_getInstance_1().q2m(_this__u8e3s4, 1);
|
|
2879
2881
|
var tmp = IOPrimitiveUtils_getInstance();
|
|
2880
|
-
return tmp.
|
|
2882
|
+
return tmp.p4y(_this__u8e3s4, channel, isInterface(second, Integer) ? second : THROW_CCE());
|
|
2881
2883
|
};
|
|
2882
|
-
protoOf(PutCode2).
|
|
2883
|
-
return this.
|
|
2884
|
+
protoOf(PutCode2).v2k = function (_this__u8e3s4, first, second) {
|
|
2885
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
2884
2886
|
};
|
|
2885
2887
|
var PutCode2_instance;
|
|
2886
2888
|
function PutCode2_getInstance() {
|
|
@@ -2891,16 +2893,16 @@
|
|
|
2891
2893
|
function Read1() {
|
|
2892
2894
|
Read1_instance = this;
|
|
2893
2895
|
NonBacktrackable_0.call(this, 'read');
|
|
2894
|
-
this.
|
|
2896
|
+
this.c50_1 = '`read(?Term)`\n\nReads the next term, terminated by a full stop, from the current input stream (standard input, unless changed via `set_input/1`) and unifies it with `Term`, using the current operators. It is deterministic. Deviating from ISO, the current implementation fails, instead of unifying `Term` with `end_of_file`, when no more terms are available; it raises a syntax error if the next term is malformed and a system error if the channel is closed or cannot be read term by term.\n\n**Examples**\n\n```prolog\n% with `foo(X, bar).` to be read from standard input\n?- read(T).\nT = foo(_, bar).\n\n% once standard input has been exhausted\n?- read(T).\nno.\n```';
|
|
2895
2897
|
}
|
|
2896
2898
|
protoOf(Read1).i1x = function () {
|
|
2897
|
-
return this.
|
|
2899
|
+
return this.c50_1;
|
|
2898
2900
|
};
|
|
2899
|
-
protoOf(Read1).
|
|
2900
|
-
return IOPrimitiveUtils_getInstance().
|
|
2901
|
+
protoOf(Read1).v2u = function (_this__u8e3s4, first) {
|
|
2902
|
+
return IOPrimitiveUtils_getInstance().u4y(_this__u8e3s4, IOPrimitiveUtils_getInstance().y4v(_this__u8e3s4), first);
|
|
2901
2903
|
};
|
|
2902
|
-
protoOf(Read1).
|
|
2903
|
-
return this.
|
|
2904
|
+
protoOf(Read1).i2o = function (_this__u8e3s4, first) {
|
|
2905
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2904
2906
|
};
|
|
2905
2907
|
var Read1_instance;
|
|
2906
2908
|
function Read1_getInstance() {
|
|
@@ -2911,17 +2913,17 @@
|
|
|
2911
2913
|
function Read2() {
|
|
2912
2914
|
Read2_instance = this;
|
|
2913
2915
|
NonBacktrackable.call(this, 'read');
|
|
2914
|
-
this.
|
|
2916
|
+
this.e50_1 = '`read(+Stream, ?Term)`\n\nReads the next term, terminated by a full stop, from the input stream `Stream` and unifies it with `Term`, using the current operators. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. Deviating from ISO, the current implementation fails, instead of unifying `Term` with `end_of_file`, when no more terms are available; it raises a syntax error if the next term is malformed and a system error if the channel is closed or cannot be read term by term.\n\n**Examples**\n\n```prolog\n?- read(S, T).\nthrows error(instantiation_error, _).\n\n?- read(user_output, T).\nthrows error(domain_error(stream_type, user_output), _).\n\n?- read(no_such_stream, T).\nthrows error(existence_error(source_sink, no_such_stream), _).\n```';
|
|
2915
2917
|
}
|
|
2916
2918
|
protoOf(Read2).i1x = function () {
|
|
2917
|
-
return this.
|
|
2919
|
+
return this.e50_1;
|
|
2918
2920
|
};
|
|
2919
|
-
protoOf(Read2).
|
|
2920
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
2921
|
-
return IOPrimitiveUtils_getInstance().
|
|
2921
|
+
protoOf(Read2).j2v = function (_this__u8e3s4, first, second) {
|
|
2922
|
+
var channel = IOPrimitiveUtils_getInstance().c4w(_this__u8e3s4, 0);
|
|
2923
|
+
return IOPrimitiveUtils_getInstance().u4y(_this__u8e3s4, channel, second);
|
|
2922
2924
|
};
|
|
2923
|
-
protoOf(Read2).
|
|
2924
|
-
return this.
|
|
2925
|
+
protoOf(Read2).v2k = function (_this__u8e3s4, first, second) {
|
|
2926
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
2925
2927
|
};
|
|
2926
2928
|
var Read2_instance;
|
|
2927
2929
|
function Read2_getInstance() {
|
|
@@ -2932,16 +2934,16 @@
|
|
|
2932
2934
|
function ReadTerm2() {
|
|
2933
2935
|
ReadTerm2_instance = this;
|
|
2934
2936
|
NonBacktrackable.call(this, 'read_term');
|
|
2935
|
-
this.
|
|
2937
|
+
this.g50_1 = "`read_term(?Term, ?Options)`\n\nReads the next term from the current input stream (standard input, unless changed via `set_input/1`) like `read/1`, and unifies the elements of the `Options` list with information about the term's variables. Each element of `Options` may be `variables(Vars)` (the variables of the term, in order of appearance), `variable_names(Names)` (a list of `'Name' = Var` pairs) or `singletons(Names)` (the same, for variables occurring once); other elements raise a domain error (`read_option`). Deviating from ISO, an unbound `Options` is not an error: it is unified with `[variables(Vars), variable_names(Names), singletons(Singletons)]`. Deviating from ISO, the current implementation fails, instead of unifying `Term` with `end_of_file`, when no more terms are available; it raises a syntax error if the next term is malformed and a system error if the channel is closed or cannot be read term by term.\n\n**Examples**\n\n```prolog\n?- read_term(T, [foo]).\nthrows error(domain_error(read_option, foo), _).\n\n?- read_term(T, foo).\nthrows error(type_error(list, foo), _).\n```";
|
|
2936
2938
|
}
|
|
2937
2939
|
protoOf(ReadTerm2).i1x = function () {
|
|
2938
|
-
return this.
|
|
2940
|
+
return this.g50_1;
|
|
2939
2941
|
};
|
|
2940
|
-
protoOf(ReadTerm2).
|
|
2941
|
-
return IOPrimitiveUtils_getInstance().
|
|
2942
|
+
protoOf(ReadTerm2).j2v = function (_this__u8e3s4, first, second) {
|
|
2943
|
+
return IOPrimitiveUtils_getInstance().t4y(_this__u8e3s4, IOPrimitiveUtils_getInstance().y4v(_this__u8e3s4), first, true);
|
|
2942
2944
|
};
|
|
2943
|
-
protoOf(ReadTerm2).
|
|
2944
|
-
return this.
|
|
2945
|
+
protoOf(ReadTerm2).v2k = function (_this__u8e3s4, first, second) {
|
|
2946
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
2945
2947
|
};
|
|
2946
2948
|
var ReadTerm2_instance;
|
|
2947
2949
|
function ReadTerm2_getInstance() {
|
|
@@ -2952,17 +2954,17 @@
|
|
|
2952
2954
|
function ReadTerm3() {
|
|
2953
2955
|
ReadTerm3_instance = this;
|
|
2954
2956
|
NonBacktrackable_1.call(this, 'read_term');
|
|
2955
|
-
this.
|
|
2957
|
+
this.i50_1 = "`read_term(+Stream, ?Term, ?Options)`\n\nReads the next term from the input stream `Stream` like `read/2`, and unifies the elements of the `Options` list with information about the term's variables. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error. Each element of `Options` may be `variables(Vars)` (the variables of the term, in order of appearance), `variable_names(Names)` (a list of `'Name' = Var` pairs) or `singletons(Names)` (the same, for variables occurring once); other elements raise a domain error (`read_option`). Deviating from ISO, an unbound `Options` is not an error: it is unified with `[variables(Vars), variable_names(Names), singletons(Singletons)]`. Deviating from ISO, the current implementation fails, instead of unifying `Term` with `end_of_file`, when no more terms are available; it raises a syntax error if the next term is malformed and a system error if the channel is closed or cannot be read term by term.\n\n**Examples**\n\n```prolog\n?- read_term(user_input, T, [foo]).\nthrows error(domain_error(read_option, foo), _).\n\n?- read_term(S, T, []).\nthrows error(instantiation_error, _).\n\n?- read_term(user_output, T, []).\nthrows error(domain_error(stream_type, user_output), _).\n```";
|
|
2956
2958
|
}
|
|
2957
2959
|
protoOf(ReadTerm3).i1x = function () {
|
|
2958
|
-
return this.
|
|
2960
|
+
return this.i50_1;
|
|
2959
2961
|
};
|
|
2960
|
-
protoOf(ReadTerm3).
|
|
2961
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
2962
|
-
return IOPrimitiveUtils_getInstance().
|
|
2962
|
+
protoOf(ReadTerm3).c30 = function (_this__u8e3s4, first, second, third) {
|
|
2963
|
+
var channel = IOPrimitiveUtils_getInstance().c4w(_this__u8e3s4, 0);
|
|
2964
|
+
return IOPrimitiveUtils_getInstance().t4y(_this__u8e3s4, channel, second, true);
|
|
2963
2965
|
};
|
|
2964
|
-
protoOf(ReadTerm3).
|
|
2965
|
-
return this.
|
|
2966
|
+
protoOf(ReadTerm3).z2n = function (_this__u8e3s4, first, second, third) {
|
|
2967
|
+
return this.c30(_this__u8e3s4, first, second, third);
|
|
2966
2968
|
};
|
|
2967
2969
|
var ReadTerm3_instance;
|
|
2968
2970
|
function ReadTerm3_getInstance() {
|
|
@@ -2972,24 +2974,24 @@
|
|
|
2972
2974
|
}
|
|
2973
2975
|
function SetInput$computeOne$lambda($this_computeOne, $channel) {
|
|
2974
2976
|
return function ($this$replySuccess) {
|
|
2975
|
-
$this$replySuccess.
|
|
2977
|
+
$this$replySuccess.o2r($this_computeOne.context.x1x().setCurrentChannel($channel));
|
|
2976
2978
|
return Unit_instance;
|
|
2977
2979
|
};
|
|
2978
2980
|
}
|
|
2979
2981
|
function SetInput() {
|
|
2980
2982
|
SetInput_instance = this;
|
|
2981
2983
|
NonBacktrackable_0.call(this, 'set_input');
|
|
2982
|
-
this.
|
|
2984
|
+
this.k50_1 = '`set_input(+Stream)`\n\nMakes the input stream `Stream` the current input stream, i.e. the one used by the predicates without an explicit stream argument (e.g. `get_char/1`, `read/1`), succeeding deterministically. `Stream` must be an alias (e.g. `user_input`) or a `$stream(in, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an output stream a domain error (`stream_type`), where ISO prescribes a permission error.\n\n**Examples**\n\n```prolog\n?- set_input(user_input), current_input(S), stream_property(S, alias(user_input)).\nyes.\n\n?- set_input(user_output).\nthrows error(domain_error(stream_type, user_output), _).\n\n?- set_input(S).\nthrows error(instantiation_error, _).\n```';
|
|
2983
2985
|
}
|
|
2984
2986
|
protoOf(SetInput).i1x = function () {
|
|
2985
|
-
return this.
|
|
2987
|
+
return this.k50_1;
|
|
2986
2988
|
};
|
|
2987
|
-
protoOf(SetInput).
|
|
2988
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
2989
|
+
protoOf(SetInput).v2u = function (_this__u8e3s4, first) {
|
|
2990
|
+
var channel = IOPrimitiveUtils_getInstance().c4w(_this__u8e3s4, 0);
|
|
2989
2991
|
return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, SetInput$computeOne$lambda(_this__u8e3s4, channel));
|
|
2990
2992
|
};
|
|
2991
|
-
protoOf(SetInput).
|
|
2992
|
-
return this.
|
|
2993
|
+
protoOf(SetInput).i2o = function (_this__u8e3s4, first) {
|
|
2994
|
+
return this.v2u(_this__u8e3s4, first);
|
|
2993
2995
|
};
|
|
2994
2996
|
var SetInput_instance;
|
|
2995
2997
|
function SetInput_getInstance() {
|
|
@@ -2999,24 +3001,24 @@
|
|
|
2999
3001
|
}
|
|
3000
3002
|
function SetOutput$computeOne$lambda($this_computeOne, $channel) {
|
|
3001
3003
|
return function ($this$replySuccess) {
|
|
3002
|
-
$this$replySuccess.
|
|
3004
|
+
$this$replySuccess.r2r($this_computeOne.context.y1x().setCurrentChannel($channel));
|
|
3003
3005
|
return Unit_instance;
|
|
3004
3006
|
};
|
|
3005
3007
|
}
|
|
3006
3008
|
function SetOutput() {
|
|
3007
3009
|
SetOutput_instance = this;
|
|
3008
3010
|
NonBacktrackable_0.call(this, 'set_output');
|
|
3009
|
-
this.
|
|
3011
|
+
this.m50_1 = '`set_output(+Stream)`\n\nMakes the output stream `Stream` the current output stream, i.e. the one used by the predicates without an explicit stream argument (e.g. `put_char/1`, `write/1`), succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error.\n\n**Examples**\n\n```prolog\n?- set_output(user_output), put_char(a).\n% prints: a\nyes.\n\n?- set_output(user_input).\nthrows error(domain_error(stream_type, user_input), _).\n\n?- set_output(S).\nthrows error(instantiation_error, _).\n```';
|
|
3010
3012
|
}
|
|
3011
3013
|
protoOf(SetOutput).i1x = function () {
|
|
3012
|
-
return this.
|
|
3014
|
+
return this.m50_1;
|
|
3013
3015
|
};
|
|
3014
|
-
protoOf(SetOutput).
|
|
3015
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
3016
|
+
protoOf(SetOutput).v2u = function (_this__u8e3s4, first) {
|
|
3017
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
3016
3018
|
return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, SetOutput$computeOne$lambda(_this__u8e3s4, channel));
|
|
3017
3019
|
};
|
|
3018
|
-
protoOf(SetOutput).
|
|
3019
|
-
return this.
|
|
3020
|
+
protoOf(SetOutput).i2o = function (_this__u8e3s4, first) {
|
|
3021
|
+
return this.v2u(_this__u8e3s4, first);
|
|
3020
3022
|
};
|
|
3021
3023
|
var SetOutput_instance;
|
|
3022
3024
|
function SetOutput_getInstance() {
|
|
@@ -3027,33 +3029,33 @@
|
|
|
3027
3029
|
function SetTheory$setTheory$lambda($append, $solver) {
|
|
3028
3030
|
return function ($this$replySuccess) {
|
|
3029
3031
|
if ($append) {
|
|
3030
|
-
$this$replySuccess.
|
|
3031
|
-
$this$replySuccess.
|
|
3032
|
+
$this$replySuccess.b2r($solver.v1x());
|
|
3033
|
+
$this$replySuccess.h2r($solver.w1x());
|
|
3032
3034
|
} else {
|
|
3033
|
-
$this$replySuccess.
|
|
3034
|
-
$this$replySuccess.
|
|
3035
|
+
$this$replySuccess.z2q($solver.v1x());
|
|
3036
|
+
$this$replySuccess.f2r($solver.w1x());
|
|
3035
3037
|
}
|
|
3036
|
-
$this$replySuccess.
|
|
3037
|
-
$this$replySuccess.
|
|
3038
|
+
$this$replySuccess.m2r($solver.c1y());
|
|
3039
|
+
$this$replySuccess.l2r($solver.u1x());
|
|
3038
3040
|
return Unit_instance;
|
|
3039
3041
|
};
|
|
3040
3042
|
}
|
|
3041
3043
|
function SetTheory() {
|
|
3042
3044
|
SetTheory_instance = this;
|
|
3043
3045
|
NonBacktrackable_0.call(this, 'set_theory');
|
|
3044
|
-
this.
|
|
3046
|
+
this.n4w_1 = "`set_theory(+Text)`\n\nParses the atom `Text` as Prolog source code, using the current operators, and makes the resulting theory the new knowledge base: both the static and the dynamic knowledge bases are replaced (clauses of predicates declared dynamic go to the dynamic one), and operators and flags set by its directives take effect. This predicate is tuProlog-specific; see `consult/1` to add clauses loaded from a file or URL instead. It raises a type error (`atom`) if `Text` is not an atom (including when it is unbound, where an instantiation error would be customary) and a syntax error if `Text` is not a well-formed theory.\n\n**Examples**\n\n```prolog\n?- set_theory('parent(tom, bob). parent(bob, ann).'), parent(bob, X).\nX = ann.\n\n?- set_theory(42).\nthrows error(type_error(atom, 42), _).\n\n?- set_theory('foo(.').\nthrows error(syntax_error(_), _).\n```";
|
|
3045
3047
|
}
|
|
3046
3048
|
protoOf(SetTheory).i1x = function () {
|
|
3047
|
-
return this.
|
|
3049
|
+
return this.n4w_1;
|
|
3048
3050
|
};
|
|
3049
|
-
protoOf(SetTheory).
|
|
3050
|
-
Companion_getInstance_1().
|
|
3051
|
-
return this.
|
|
3051
|
+
protoOf(SetTheory).v2u = function (_this__u8e3s4, first) {
|
|
3052
|
+
Companion_getInstance_1().f2m(_this__u8e3s4, 0);
|
|
3053
|
+
return this.n50(_this__u8e3s4, first.rx().f1(), false);
|
|
3052
3054
|
};
|
|
3053
|
-
protoOf(SetTheory).
|
|
3054
|
-
return this.
|
|
3055
|
+
protoOf(SetTheory).i2o = function (_this__u8e3s4, first) {
|
|
3056
|
+
return this.v2u(_this__u8e3s4, first);
|
|
3055
3057
|
};
|
|
3056
|
-
protoOf(SetTheory).
|
|
3058
|
+
protoOf(SetTheory).n50 = function (_this__u8e3s4, text, append) {
|
|
3057
3059
|
try {
|
|
3058
3060
|
var theory = Companion_instance_11.withOperatorSet(_this__u8e3s4.context.c1y()).parseTheoryWithDefaultUnificator(text);
|
|
3059
3061
|
var solver = _this__u8e3s4.context.createMutableSolver(VOID, VOID, VOID, Companion_instance_12.empty(_this__u8e3s4.context.v1n()), Companion_instance_13.empty(_this__u8e3s4.context.v1n()));
|
|
@@ -3090,9 +3092,9 @@
|
|
|
3090
3092
|
}
|
|
3091
3093
|
}
|
|
3092
3094
|
};
|
|
3093
|
-
protoOf(SetTheory).
|
|
3095
|
+
protoOf(SetTheory).o4w = function (_this__u8e3s4, text, append, $super) {
|
|
3094
3096
|
append = append === VOID ? true : append;
|
|
3095
|
-
return $super === VOID ? this.
|
|
3097
|
+
return $super === VOID ? this.n50(_this__u8e3s4, text, append) : $super.n50.call(this, _this__u8e3s4, text, append);
|
|
3096
3098
|
};
|
|
3097
3099
|
var SetTheory_instance;
|
|
3098
3100
|
function SetTheory_getInstance() {
|
|
@@ -3105,12 +3107,12 @@
|
|
|
3105
3107
|
}
|
|
3106
3108
|
function StreamProperty$computeAll$lambda_0($this_computeAll) {
|
|
3107
3109
|
return function (it) {
|
|
3108
|
-
return to(it.
|
|
3110
|
+
return to(it.h22(), IOPrimitiveUtils_getInstance().e4y($this_computeAll, it));
|
|
3109
3111
|
};
|
|
3110
3112
|
}
|
|
3111
3113
|
function StreamProperty$computeAll$lambda_1(_destruct__k2r9zo) {
|
|
3112
|
-
var streamTerm = _destruct__k2r9zo.
|
|
3113
|
-
var properties = _destruct__k2r9zo.
|
|
3114
|
+
var streamTerm = _destruct__k2r9zo.zd();
|
|
3115
|
+
var properties = _destruct__k2r9zo.ae();
|
|
3114
3116
|
return map(properties, StreamProperty$computeAll$lambda$lambda(streamTerm));
|
|
3115
3117
|
}
|
|
3116
3118
|
function StreamProperty$computeAll$lambda$lambda($streamTerm) {
|
|
@@ -3120,13 +3122,13 @@
|
|
|
3120
3122
|
}
|
|
3121
3123
|
function StreamProperty$computeAll$lambda_2($this_computeAll, $first, $second) {
|
|
3122
3124
|
return function (_destruct__k2r9zo) {
|
|
3123
|
-
var streamTerm = _destruct__k2r9zo.
|
|
3124
|
-
var property = _destruct__k2r9zo.
|
|
3125
|
-
return Companion_getInstance_1().
|
|
3125
|
+
var streamTerm = _destruct__k2r9zo.zd();
|
|
3126
|
+
var property = _destruct__k2r9zo.ae();
|
|
3127
|
+
return Companion_getInstance_1().q2l($this_computeAll, $first, streamTerm).plus(Companion_getInstance_1().q2l($this_computeAll, $second, property));
|
|
3126
3128
|
};
|
|
3127
3129
|
}
|
|
3128
3130
|
function StreamProperty$computeAll$lambda_3(it) {
|
|
3129
|
-
return it.
|
|
3131
|
+
return it.b13();
|
|
3130
3132
|
}
|
|
3131
3133
|
function StreamProperty$computeAll$lambda_4($this_computeAll) {
|
|
3132
3134
|
return function (it) {
|
|
@@ -3136,14 +3138,14 @@
|
|
|
3136
3138
|
function StreamProperty() {
|
|
3137
3139
|
StreamProperty_instance = this;
|
|
3138
3140
|
BinaryRelation.call(this, 'stream_property');
|
|
3139
|
-
this.
|
|
3141
|
+
this.p50_1 = '`stream_property(?Stream, ?Property)`\n\nEnumerates, on backtracking, every open stream `Stream` (as a `$stream(Direction, Id)` term) together with each `Property` holding for it; the current implementation reports `input` or `output`, one `alias(Name)` per alias of the stream, and `type(text)`. If `Stream` is bound it must be a stream term (aliases are not accepted), otherwise a domain error (`stream_or_alias`) is raised, or an existence error if it denotes no open stream. If `Property` is bound it must be `input`, `output` or `alias(Name)`, otherwise a domain error (`stream_property`) is raised, so the reported `type(text)` property cannot be queried directly.\n\n**Examples**\n\n```prolog\n?- stream_property(S, alias(user_output)), stream_property(S, output).\nyes.\n\n?- stream_property(S, type(text)).\nthrows error(domain_error(stream_property, type(text)), _).\n\n?- stream_property(user_output, P).\nthrows error(domain_error(stream_or_alias, user_output), _).\n```';
|
|
3140
3142
|
}
|
|
3141
3143
|
protoOf(StreamProperty).i1x = function () {
|
|
3142
|
-
return this.
|
|
3144
|
+
return this.p50_1;
|
|
3143
3145
|
};
|
|
3144
|
-
protoOf(StreamProperty).
|
|
3145
|
-
IOPrimitiveUtils_getInstance().
|
|
3146
|
-
IOPrimitiveUtils_getInstance().
|
|
3146
|
+
protoOf(StreamProperty).f2v = function (_this__u8e3s4, first, second) {
|
|
3147
|
+
IOPrimitiveUtils_getInstance().t4w(_this__u8e3s4, 0);
|
|
3148
|
+
IOPrimitiveUtils_getInstance().l4y(_this__u8e3s4, 1);
|
|
3147
3149
|
var tmp = sequenceOf([_this__u8e3s4.context.x1x(), _this__u8e3s4.context.y1x()]);
|
|
3148
3150
|
var tmp_0 = distinct(flatMap(tmp, StreamProperty$computeAll$lambda));
|
|
3149
3151
|
var tmp_1 = map(tmp_0, StreamProperty$computeAll$lambda_0(_this__u8e3s4));
|
|
@@ -3152,8 +3154,8 @@
|
|
|
3152
3154
|
var tmp_4 = filter(tmp_3, StreamProperty$computeAll$lambda_3);
|
|
3153
3155
|
return map(tmp_4, StreamProperty$computeAll$lambda_4(_this__u8e3s4));
|
|
3154
3156
|
};
|
|
3155
|
-
protoOf(StreamProperty).
|
|
3156
|
-
return this.
|
|
3157
|
+
protoOf(StreamProperty).x2k = function (_this__u8e3s4, first, second) {
|
|
3158
|
+
return this.f2v(_this__u8e3s4, first, second);
|
|
3157
3159
|
};
|
|
3158
3160
|
var StreamProperty_instance;
|
|
3159
3161
|
function StreamProperty_getInstance() {
|
|
@@ -3164,17 +3166,17 @@
|
|
|
3164
3166
|
function Write2() {
|
|
3165
3167
|
Write2_instance = this;
|
|
3166
3168
|
NonBacktrackable.call(this, 'write');
|
|
3167
|
-
this.
|
|
3169
|
+
this.r50_1 = "`write(+Stream, @Term)`\n\nWrites `Term` to the output stream `Stream` as `write/1` does: unquoted, using the current operators, and writing `'$VAR'(N)` terms as variable letters. It succeeds deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write(user_output, 'hello world').\n% prints: hello world\nyes.\n\n?- write(user_output, f('A', 1 + 2, '$VAR'(27))).\n% prints: f(A, 1 + 2, B1)\nyes.\n\n?- write(user_input, hello).\nthrows error(domain_error(stream_type, user_input), _).\n```";
|
|
3168
3170
|
}
|
|
3169
3171
|
protoOf(Write2).i1x = function () {
|
|
3170
|
-
return this.
|
|
3172
|
+
return this.r50_1;
|
|
3171
3173
|
};
|
|
3172
|
-
protoOf(Write2).
|
|
3173
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
3174
|
-
return IOPrimitiveUtils_getInstance().
|
|
3174
|
+
protoOf(Write2).j2v = function (_this__u8e3s4, first, second) {
|
|
3175
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
3176
|
+
return IOPrimitiveUtils_getInstance().o4y(_this__u8e3s4, channel, second, Companion_instance_8.default(_this__u8e3s4.context.c1y()));
|
|
3175
3177
|
};
|
|
3176
|
-
protoOf(Write2).
|
|
3177
|
-
return this.
|
|
3178
|
+
protoOf(Write2).v2k = function (_this__u8e3s4, first, second) {
|
|
3179
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
3178
3180
|
};
|
|
3179
3181
|
var Write2_instance;
|
|
3180
3182
|
function Write2_getInstance() {
|
|
@@ -3185,16 +3187,16 @@
|
|
|
3185
3187
|
function WriteCanonical1() {
|
|
3186
3188
|
WriteCanonical1_instance = this;
|
|
3187
3189
|
NonBacktrackable_0.call(this, 'write_canonical');
|
|
3188
|
-
this.
|
|
3190
|
+
this.t50_1 = "`write_canonical(@Term)`\n\nWrites `Term` to the current output stream (standard output, unless changed via `set_output/1`) in canonical form: atoms and functors are quoted where needed, operators are written in functional notation, and `'$VAR'(N)` terms are written as-is. It succeeds deterministically. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write_canonical(f('A', 1 + 2, '$VAR'(27))).\n% prints: f('A', '+'(1, 2), '$VAR'(27))\nyes.\n```";
|
|
3189
3191
|
}
|
|
3190
3192
|
protoOf(WriteCanonical1).i1x = function () {
|
|
3191
|
-
return this.
|
|
3193
|
+
return this.t50_1;
|
|
3192
3194
|
};
|
|
3193
|
-
protoOf(WriteCanonical1).
|
|
3194
|
-
return IOPrimitiveUtils_getInstance().
|
|
3195
|
+
protoOf(WriteCanonical1).v2u = function (_this__u8e3s4, first) {
|
|
3196
|
+
return IOPrimitiveUtils_getInstance().o4y(_this__u8e3s4, IOPrimitiveUtils_getInstance().f4y(_this__u8e3s4), first, Companion_instance_8.canonical());
|
|
3195
3197
|
};
|
|
3196
|
-
protoOf(WriteCanonical1).
|
|
3197
|
-
return this.
|
|
3198
|
+
protoOf(WriteCanonical1).i2o = function (_this__u8e3s4, first) {
|
|
3199
|
+
return this.v2u(_this__u8e3s4, first);
|
|
3198
3200
|
};
|
|
3199
3201
|
var WriteCanonical1_instance;
|
|
3200
3202
|
function WriteCanonical1_getInstance() {
|
|
@@ -3205,17 +3207,17 @@
|
|
|
3205
3207
|
function WriteCanonical2() {
|
|
3206
3208
|
WriteCanonical2_instance = this;
|
|
3207
3209
|
NonBacktrackable.call(this, 'write_canonical');
|
|
3208
|
-
this.
|
|
3210
|
+
this.v50_1 = "`write_canonical(+Stream, @Term)`\n\nWrites `Term` to the output stream `Stream` in canonical form: atoms and functors are quoted where needed, operators are written in functional notation, and `'$VAR'(N)` terms are written as-is. It succeeds deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write_canonical(user_output, f('A', 1 + 2)).\n% prints: f('A', '+'(1, 2))\nyes.\n\n?- write_canonical(user_input, a).\nthrows error(domain_error(stream_type, user_input), _).\n```";
|
|
3209
3211
|
}
|
|
3210
3212
|
protoOf(WriteCanonical2).i1x = function () {
|
|
3211
|
-
return this.
|
|
3213
|
+
return this.v50_1;
|
|
3212
3214
|
};
|
|
3213
|
-
protoOf(WriteCanonical2).
|
|
3214
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
3215
|
-
return IOPrimitiveUtils_getInstance().
|
|
3215
|
+
protoOf(WriteCanonical2).j2v = function (_this__u8e3s4, first, second) {
|
|
3216
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
3217
|
+
return IOPrimitiveUtils_getInstance().o4y(_this__u8e3s4, channel, second, Companion_instance_8.canonical());
|
|
3216
3218
|
};
|
|
3217
|
-
protoOf(WriteCanonical2).
|
|
3218
|
-
return this.
|
|
3219
|
+
protoOf(WriteCanonical2).v2k = function (_this__u8e3s4, first, second) {
|
|
3220
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
3219
3221
|
};
|
|
3220
3222
|
var WriteCanonical2_instance;
|
|
3221
3223
|
function WriteCanonical2_getInstance() {
|
|
@@ -3226,16 +3228,16 @@
|
|
|
3226
3228
|
function WriteEq1() {
|
|
3227
3229
|
WriteEq1_instance = this;
|
|
3228
3230
|
NonBacktrackable_0.call(this, 'writeq');
|
|
3229
|
-
this.
|
|
3231
|
+
this.x50_1 = "`writeq(@Term)`\n\nWrites `Term` to the current output stream (standard output, unless changed via `set_output/1`) so that it can be read back: atoms and functors are quoted where needed, operators (including those defined at runtime) are written in operator notation, and `'$VAR'(N)` terms are written as variable letters. It succeeds deterministically. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- writeq(f('A', 'hello world', 1 + 2, '$VAR'(27))).\n% prints: f('A', 'hello world', 1 + 2, B1)\nyes.\n```";
|
|
3230
3232
|
}
|
|
3231
3233
|
protoOf(WriteEq1).i1x = function () {
|
|
3232
|
-
return this.
|
|
3234
|
+
return this.x50_1;
|
|
3233
3235
|
};
|
|
3234
|
-
protoOf(WriteEq1).
|
|
3235
|
-
return IOPrimitiveUtils_getInstance().
|
|
3236
|
+
protoOf(WriteEq1).v2u = function (_this__u8e3s4, first) {
|
|
3237
|
+
return IOPrimitiveUtils_getInstance().o4y(_this__u8e3s4, IOPrimitiveUtils_getInstance().f4y(_this__u8e3s4), first, Companion_instance_8.readable(_this__u8e3s4.context.c1y()));
|
|
3236
3238
|
};
|
|
3237
|
-
protoOf(WriteEq1).
|
|
3238
|
-
return this.
|
|
3239
|
+
protoOf(WriteEq1).i2o = function (_this__u8e3s4, first) {
|
|
3240
|
+
return this.v2u(_this__u8e3s4, first);
|
|
3239
3241
|
};
|
|
3240
3242
|
var WriteEq1_instance;
|
|
3241
3243
|
function WriteEq1_getInstance() {
|
|
@@ -3246,17 +3248,17 @@
|
|
|
3246
3248
|
function WriteEq2() {
|
|
3247
3249
|
WriteEq2_instance = this;
|
|
3248
3250
|
NonBacktrackable.call(this, 'writeq');
|
|
3249
|
-
this.
|
|
3251
|
+
this.z50_1 = "`writeq(+Stream, @Term)`\n\nWrites `Term` to the output stream `Stream` so that it can be read back, quoting atoms and functors where needed, writing operators (including those defined at runtime) in operator notation, and writing `'$VAR'(N)` terms as variable letters. It succeeds deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- writeq(user_output, f('A', 1 + 2)).\n% prints: f('A', 1 + 2)\nyes.\n\n?- writeq(user_input, a).\nthrows error(domain_error(stream_type, user_input), _).\n```";
|
|
3250
3252
|
}
|
|
3251
3253
|
protoOf(WriteEq2).i1x = function () {
|
|
3252
|
-
return this.
|
|
3254
|
+
return this.z50_1;
|
|
3253
3255
|
};
|
|
3254
|
-
protoOf(WriteEq2).
|
|
3255
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
3256
|
-
return IOPrimitiveUtils_getInstance().
|
|
3256
|
+
protoOf(WriteEq2).j2v = function (_this__u8e3s4, first, second) {
|
|
3257
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
3258
|
+
return IOPrimitiveUtils_getInstance().o4y(_this__u8e3s4, channel, second, Companion_instance_8.readable(_this__u8e3s4.context.c1y()));
|
|
3257
3259
|
};
|
|
3258
|
-
protoOf(WriteEq2).
|
|
3259
|
-
return this.
|
|
3260
|
+
protoOf(WriteEq2).v2k = function (_this__u8e3s4, first, second) {
|
|
3261
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
3260
3262
|
};
|
|
3261
3263
|
var WriteEq2_instance;
|
|
3262
3264
|
function WriteEq2_getInstance() {
|
|
@@ -3267,17 +3269,17 @@
|
|
|
3267
3269
|
function WriteTerm2() {
|
|
3268
3270
|
WriteTerm2_instance = this;
|
|
3269
3271
|
NonBacktrackable.call(this, 'write_term');
|
|
3270
|
-
this.
|
|
3272
|
+
this.b51_1 = "`write_term(@Term, +Options)`\n\nWrites `Term` to the current output stream (standard output, unless changed via `set_output/1`), formatted according to `Options` and the current operators, succeeding deterministically. `Options` must be a list (an unbound `Options` raises a type error (`list`) rather than ISO's instantiation error) whose elements are `quoted(Bool)` (quote atoms and functors where needed), `ignore_ops(Bool)` (write operators in canonical functional notation) and `numbervars(Bool)` (write `'$VAR'(N)` terms as variable letters), with `Bool` being `true` or `false`; missing options default to `false`, and any other element raises a domain error (`write_option`). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write_term(f('A', 1 + 2), [quoted(true), ignore_ops(true)]).\n% prints: f('A', '+'(1, 2))\nyes.\n\n?- write_term(f('A', 1 + 2), []).\n% prints: f(A, 1 + 2)\nyes.\n\n?- write_term(a, [foo]).\nthrows error(domain_error(write_option, foo), _).\n\n?- write_term(a, Options).\nthrows error(type_error(list, _), _).\n```";
|
|
3271
3273
|
}
|
|
3272
3274
|
protoOf(WriteTerm2).i1x = function () {
|
|
3273
|
-
return this.
|
|
3275
|
+
return this.b51_1;
|
|
3274
3276
|
};
|
|
3275
|
-
protoOf(WriteTerm2).
|
|
3276
|
-
var formatter = IOPrimitiveUtils_getInstance().
|
|
3277
|
-
return IOPrimitiveUtils_getInstance().
|
|
3277
|
+
protoOf(WriteTerm2).j2v = function (_this__u8e3s4, first, second) {
|
|
3278
|
+
var formatter = IOPrimitiveUtils_getInstance().k4y(_this__u8e3s4, 1);
|
|
3279
|
+
return IOPrimitiveUtils_getInstance().o4y(_this__u8e3s4, IOPrimitiveUtils_getInstance().f4y(_this__u8e3s4), first, formatter);
|
|
3278
3280
|
};
|
|
3279
|
-
protoOf(WriteTerm2).
|
|
3280
|
-
return this.
|
|
3281
|
+
protoOf(WriteTerm2).v2k = function (_this__u8e3s4, first, second) {
|
|
3282
|
+
return this.j2v(_this__u8e3s4, first, second);
|
|
3281
3283
|
};
|
|
3282
3284
|
var WriteTerm2_instance;
|
|
3283
3285
|
function WriteTerm2_getInstance() {
|
|
@@ -3288,18 +3290,18 @@
|
|
|
3288
3290
|
function WriteTerm3() {
|
|
3289
3291
|
WriteTerm3_instance = this;
|
|
3290
3292
|
NonBacktrackable_1.call(this, 'write_term');
|
|
3291
|
-
this.
|
|
3293
|
+
this.d51_1 = "`write_term(+Stream, @Term, +Options)`\n\nWrites `Term` to the output stream `Stream`, formatted according to `Options` and the current operators, succeeding deterministically. `Stream` must be an alias (e.g. `user_output`) or a `$stream(out, Id)` term denoting an open stream: an unbound `Stream` raises an instantiation error, an unknown one an existence error, and an input stream a domain error (`stream_type`), where ISO prescribes a permission error. `Options` must be a list (an unbound `Options` raises a type error (`list`) rather than ISO's instantiation error) whose elements are `quoted(Bool)` (quote atoms and functors where needed), `ignore_ops(Bool)` (write operators in canonical functional notation) and `numbervars(Bool)` (write `'$VAR'(N)` terms as variable letters), with `Bool` being `true` or `false`; missing options default to `false`, and any other element raises a domain error (`write_option`). It fails, instead of raising an error, if the underlying channel has been closed.\n\n**Examples**\n\n```prolog\n?- write_term(user_output, '$VAR'(27), [numbervars(true)]).\n% prints: B1\nyes.\n\n?- write_term(user_output, a, [quoted(maybe)]).\nthrows error(domain_error(write_option, quoted(maybe)), _).\n\n?- write_term(user_input, a, []).\nthrows error(domain_error(stream_type, user_input), _).\n```";
|
|
3292
3294
|
}
|
|
3293
3295
|
protoOf(WriteTerm3).i1x = function () {
|
|
3294
|
-
return this.
|
|
3296
|
+
return this.d51_1;
|
|
3295
3297
|
};
|
|
3296
|
-
protoOf(WriteTerm3).
|
|
3297
|
-
var channel = IOPrimitiveUtils_getInstance().
|
|
3298
|
-
var formatter = IOPrimitiveUtils_getInstance().
|
|
3299
|
-
return IOPrimitiveUtils_getInstance().
|
|
3298
|
+
protoOf(WriteTerm3).c30 = function (_this__u8e3s4, first, second, third) {
|
|
3299
|
+
var channel = IOPrimitiveUtils_getInstance().y4w(_this__u8e3s4, 0);
|
|
3300
|
+
var formatter = IOPrimitiveUtils_getInstance().k4y(_this__u8e3s4, 2);
|
|
3301
|
+
return IOPrimitiveUtils_getInstance().o4y(_this__u8e3s4, channel, second, formatter);
|
|
3300
3302
|
};
|
|
3301
|
-
protoOf(WriteTerm3).
|
|
3302
|
-
return this.
|
|
3303
|
+
protoOf(WriteTerm3).z2n = function (_this__u8e3s4, first, second, third) {
|
|
3304
|
+
return this.c30(_this__u8e3s4, first, second, third);
|
|
3303
3305
|
};
|
|
3304
3306
|
var WriteTerm3_instance;
|
|
3305
3307
|
function WriteTerm3_getInstance() {
|
|
@@ -3325,10 +3327,10 @@
|
|
|
3325
3327
|
if (removeSuffix(parsed.protocol, ':').length === 1) {
|
|
3326
3328
|
throw InvalidUrlException_init_$Create$('Invalid URL: ' + url);
|
|
3327
3329
|
}
|
|
3328
|
-
$this.
|
|
3329
|
-
$this.
|
|
3330
|
-
$this.
|
|
3331
|
-
$this.
|
|
3330
|
+
$this.f51_1 = removeSuffix(parsed.protocol, ':');
|
|
3331
|
+
$this.g51_1 = parsed.hostname;
|
|
3332
|
+
$this.h51_1 = parsed.pathname;
|
|
3333
|
+
$this.i51_1 = toIntOrNull(parsed.port);
|
|
3332
3334
|
var tmp_1 = $this;
|
|
3333
3335
|
// Inline function 'kotlin.text.ifEmpty' call
|
|
3334
3336
|
var this_0 = removePrefix(parsed.search, '?');
|
|
@@ -3339,8 +3341,8 @@
|
|
|
3339
3341
|
} else {
|
|
3340
3342
|
tmp_2 = this_0;
|
|
3341
3343
|
}
|
|
3342
|
-
tmp_1.
|
|
3343
|
-
$this.
|
|
3344
|
+
tmp_1.j51_1 = tmp_2;
|
|
3345
|
+
$this.e51_1 = url;
|
|
3344
3346
|
return $this;
|
|
3345
3347
|
}
|
|
3346
3348
|
function JsUrl_init_$Create$(url) {
|
|
@@ -3352,12 +3354,12 @@
|
|
|
3352
3354
|
path = path === VOID ? '' : path;
|
|
3353
3355
|
query = query === VOID ? null : query;
|
|
3354
3356
|
JsUrl.call($this);
|
|
3355
|
-
$this.
|
|
3356
|
-
$this.
|
|
3357
|
-
$this.
|
|
3358
|
-
$this.
|
|
3359
|
-
$this.
|
|
3360
|
-
$this.
|
|
3357
|
+
$this.f51_1 = protocol;
|
|
3358
|
+
$this.g51_1 = host;
|
|
3359
|
+
$this.i51_1 = port;
|
|
3360
|
+
$this.h51_1 = path;
|
|
3361
|
+
$this.j51_1 = query;
|
|
3362
|
+
$this.e51_1 = Companion_getInstance_9().j4u(protocol, host, port, path, query);
|
|
3361
3363
|
return $this;
|
|
3362
3364
|
}
|
|
3363
3365
|
function JsUrl_init_$Create$_0(protocol, host, port, path, query) {
|
|
@@ -3367,7 +3369,7 @@
|
|
|
3367
3369
|
var tmp;
|
|
3368
3370
|
try {
|
|
3369
3371
|
// Inline function 'okio.use' call
|
|
3370
|
-
var this_0 = buffer(LocalFileSystem_getInstance().
|
|
3372
|
+
var this_0 = buffer(LocalFileSystem_getInstance().p4q(toLocalPath($this)));
|
|
3371
3373
|
var thrown = null;
|
|
3372
3374
|
var tmp_0;
|
|
3373
3375
|
try {
|
|
@@ -3419,53 +3421,53 @@
|
|
|
3419
3421
|
return tmp;
|
|
3420
3422
|
}
|
|
3421
3423
|
function JsUrl$readAsText$lambda(it) {
|
|
3422
|
-
return it.
|
|
3424
|
+
return it.h4r();
|
|
3423
3425
|
}
|
|
3424
3426
|
function JsUrl$readAsByteArray$lambda(it) {
|
|
3425
|
-
return it.
|
|
3427
|
+
return it.k4r();
|
|
3426
3428
|
}
|
|
3427
|
-
protoOf(JsUrl).
|
|
3428
|
-
return this.
|
|
3429
|
+
protoOf(JsUrl).k4u = function () {
|
|
3430
|
+
return this.f51_1;
|
|
3429
3431
|
};
|
|
3430
|
-
protoOf(JsUrl).
|
|
3431
|
-
return this.
|
|
3432
|
+
protoOf(JsUrl).l4u = function () {
|
|
3433
|
+
return this.g51_1;
|
|
3432
3434
|
};
|
|
3433
|
-
protoOf(JsUrl).
|
|
3434
|
-
return this.
|
|
3435
|
+
protoOf(JsUrl).w3a = function () {
|
|
3436
|
+
return this.h51_1;
|
|
3435
3437
|
};
|
|
3436
|
-
protoOf(JsUrl).
|
|
3437
|
-
return this.
|
|
3438
|
+
protoOf(JsUrl).m4u = function () {
|
|
3439
|
+
return this.i51_1;
|
|
3438
3440
|
};
|
|
3439
|
-
protoOf(JsUrl).
|
|
3440
|
-
return this.
|
|
3441
|
+
protoOf(JsUrl).j1z = function () {
|
|
3442
|
+
return this.j51_1;
|
|
3441
3443
|
};
|
|
3442
|
-
protoOf(JsUrl).
|
|
3444
|
+
protoOf(JsUrl).k51 = function () {
|
|
3443
3445
|
var tmp;
|
|
3444
|
-
if (this.
|
|
3446
|
+
if (this.n4u() && get_isNode()) {
|
|
3445
3447
|
tmp = readLocalFile(this, JsUrl$readAsText$lambda);
|
|
3446
|
-
} else if (this.
|
|
3447
|
-
tmp = readText(this.
|
|
3448
|
+
} else if (this.n4u()) {
|
|
3449
|
+
tmp = readText(this.h51_1);
|
|
3448
3450
|
} else {
|
|
3449
|
-
tmp = fetch(this.
|
|
3451
|
+
tmp = fetch(this.e51_1, 'UTF-8');
|
|
3450
3452
|
}
|
|
3451
3453
|
return tmp;
|
|
3452
3454
|
};
|
|
3453
3455
|
protoOf(JsUrl).readAsText = function () {
|
|
3454
|
-
return this.
|
|
3456
|
+
return this.k51();
|
|
3455
3457
|
};
|
|
3456
|
-
protoOf(JsUrl).
|
|
3458
|
+
protoOf(JsUrl).l51 = function () {
|
|
3457
3459
|
var tmp;
|
|
3458
|
-
if (this.
|
|
3460
|
+
if (this.n4u() && get_isNode()) {
|
|
3459
3461
|
tmp = readLocalFile(this, JsUrl$readAsByteArray$lambda);
|
|
3460
|
-
} else if (this.
|
|
3461
|
-
tmp = readBin(this.
|
|
3462
|
+
} else if (this.n4u()) {
|
|
3463
|
+
tmp = readBin(this.h51_1);
|
|
3462
3464
|
} else {
|
|
3463
|
-
tmp = toByteArray(fetch(this.
|
|
3465
|
+
tmp = toByteArray(fetch(this.e51_1));
|
|
3464
3466
|
}
|
|
3465
3467
|
return tmp;
|
|
3466
3468
|
};
|
|
3467
3469
|
protoOf(JsUrl).readAsByteArray = function () {
|
|
3468
|
-
return this.
|
|
3470
|
+
return this.l51();
|
|
3469
3471
|
};
|
|
3470
3472
|
protoOf(JsUrl).equals = function (other) {
|
|
3471
3473
|
if (this === other)
|
|
@@ -3474,15 +3476,15 @@
|
|
|
3474
3476
|
return false;
|
|
3475
3477
|
if (!(other instanceof JsUrl))
|
|
3476
3478
|
THROW_CCE();
|
|
3477
|
-
if (!(this.
|
|
3479
|
+
if (!(this.e51_1 === other.e51_1))
|
|
3478
3480
|
return false;
|
|
3479
3481
|
return true;
|
|
3480
3482
|
};
|
|
3481
3483
|
protoOf(JsUrl).hashCode = function () {
|
|
3482
|
-
return getStringHashCode(this.
|
|
3484
|
+
return getStringHashCode(this.e51_1);
|
|
3483
3485
|
};
|
|
3484
3486
|
protoOf(JsUrl).toString = function () {
|
|
3485
|
-
return this.
|
|
3487
|
+
return this.e51_1;
|
|
3486
3488
|
};
|
|
3487
3489
|
function JsUrl() {
|
|
3488
3490
|
}
|
|
@@ -3497,7 +3499,7 @@
|
|
|
3497
3499
|
var REQUEST$delegate;
|
|
3498
3500
|
function get_isNode() {
|
|
3499
3501
|
_init_properties_RemoteAndBrowserIO_kt__6j78jn();
|
|
3500
|
-
return !Info_getInstance().
|
|
3502
|
+
return !Info_getInstance().hv().equals(Platform_BROWSER_getInstance());
|
|
3501
3503
|
}
|
|
3502
3504
|
function readText(path) {
|
|
3503
3505
|
_init_properties_RemoteAndBrowserIO_kt__6j78jn();
|
|
@@ -3569,7 +3571,7 @@
|
|
|
3569
3571
|
function _get_REQUEST_$ref_g5y4c1() {
|
|
3570
3572
|
return constructCallableReference(function () {
|
|
3571
3573
|
return get_REQUEST();
|
|
3572
|
-
}, 0, 0,
|
|
3574
|
+
}, 0, 0, 129);
|
|
3573
3575
|
}
|
|
3574
3576
|
var properties_initialized_RemoteAndBrowserIO_kt_w2uybl;
|
|
3575
3577
|
function _init_properties_RemoteAndBrowserIO_kt__6j78jn() {
|
|
@@ -3595,7 +3597,7 @@
|
|
|
3595
3597
|
function openInputChannel(_this__u8e3s4) {
|
|
3596
3598
|
_init_properties_UrlUtilsJs_kt__dw3tit();
|
|
3597
3599
|
var tmp;
|
|
3598
|
-
if (_this__u8e3s4.
|
|
3600
|
+
if (_this__u8e3s4.n4u() && get_isNode()) {
|
|
3599
3601
|
tmp = wrappingIOException(openInputChannel$lambda(_this__u8e3s4));
|
|
3600
3602
|
} else {
|
|
3601
3603
|
tmp = Companion_instance.ofString(_this__u8e3s4.readAsText());
|
|
@@ -3605,7 +3607,7 @@
|
|
|
3605
3607
|
function openOutputChannel(_this__u8e3s4, append) {
|
|
3606
3608
|
append = append === VOID ? false : append;
|
|
3607
3609
|
_init_properties_UrlUtilsJs_kt__dw3tit();
|
|
3608
|
-
if (!_this__u8e3s4.
|
|
3610
|
+
if (!_this__u8e3s4.n4u() || !get_isNode()) {
|
|
3609
3611
|
throw IOException_init_$Create$('Writing not supported for ' + toString(_this__u8e3s4));
|
|
3610
3612
|
}
|
|
3611
3613
|
var path = toLocalPath(_this__u8e3s4);
|
|
@@ -3649,12 +3651,12 @@
|
|
|
3649
3651
|
try {
|
|
3650
3652
|
var tmp_0 = Companion_getInstance_7();
|
|
3651
3653
|
var tmp_1 = get_FILE_URL_TO_PATH()(toString(_this__u8e3s4));
|
|
3652
|
-
tmp = tmp_0.
|
|
3654
|
+
tmp = tmp_0.n4q((!(tmp_1 == null) ? typeof tmp_1 === 'string' : false) ? tmp_1 : THROW_CCE());
|
|
3653
3655
|
} catch ($p) {
|
|
3654
3656
|
var tmp_2;
|
|
3655
3657
|
if ($p instanceof Error) {
|
|
3656
3658
|
var _unused_var__etf5q3 = $p;
|
|
3657
|
-
tmp_2 = Companion_getInstance_7().
|
|
3659
|
+
tmp_2 = Companion_getInstance_7().n4q(_this__u8e3s4.w3a());
|
|
3658
3660
|
} else {
|
|
3659
3661
|
throw $p;
|
|
3660
3662
|
}
|
|
@@ -3669,16 +3671,16 @@
|
|
|
3669
3671
|
function _get_FILE_URL_TO_PATH_$ref_kwvzgc() {
|
|
3670
3672
|
return constructCallableReference(function () {
|
|
3671
3673
|
return get_FILE_URL_TO_PATH();
|
|
3672
|
-
}, 0, 0,
|
|
3674
|
+
}, 0, 0, 130);
|
|
3673
3675
|
}
|
|
3674
3676
|
function openInputChannel$lambda($this_openInputChannel) {
|
|
3675
3677
|
return function () {
|
|
3676
|
-
return new SourceInputChannel(buffer(LocalFileSystem_getInstance().
|
|
3678
|
+
return new SourceInputChannel(buffer(LocalFileSystem_getInstance().p4q(toLocalPath($this_openInputChannel))));
|
|
3677
3679
|
};
|
|
3678
3680
|
}
|
|
3679
3681
|
function openOutputChannel$lambda($append, $path) {
|
|
3680
3682
|
return function () {
|
|
3681
|
-
var sink = $append ? LocalFileSystem_getInstance().
|
|
3683
|
+
var sink = $append ? LocalFileSystem_getInstance().d4u($path) : LocalFileSystem_getInstance().c4u($path);
|
|
3682
3684
|
return new SinkOutputChannel(buffer_0(sink));
|
|
3683
3685
|
};
|
|
3684
3686
|
}
|
|
@@ -3693,11 +3695,8 @@
|
|
|
3693
3695
|
//region block: post-declaration
|
|
3694
3696
|
protoOf(JsUrl).resolve = resolve;
|
|
3695
3697
|
protoOf(JsUrl).div = div;
|
|
3696
|
-
protoOf(JsUrl).
|
|
3697
|
-
protoOf(JsUrl).
|
|
3698
|
-
//endregion
|
|
3699
|
-
//region block: init
|
|
3700
|
-
Companion_instance_15 = new Companion_0();
|
|
3698
|
+
protoOf(JsUrl).n4u = get_isFile;
|
|
3699
|
+
protoOf(JsUrl).o4u = get_isHttp;
|
|
3701
3700
|
//endregion
|
|
3702
3701
|
//region block: exports
|
|
3703
3702
|
_.$_$ = _.$_$ || {};
|