@tuprolog/arg2p 0.16.6 → 0.16.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/2p-core.js +80 -75
- package/2p-core.js.map +1 -1
- package/2p-dsl-core.js +399 -399
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +18 -18
- package/2p-dsl-theory.js +16 -16
- package/2p-dsl-unify.js +11 -11
- package/2p-io-lib.js +333 -123
- package/2p-io-lib.js.map +1 -1
- package/2p-parser-core.js +12 -12
- package/2p-parser-impl.js +51 -51
- package/2p-parser-theory.js +13 -13
- package/{2p-solve-classic.js → 2p-solve-prolog.js} +726 -702
- package/2p-solve-prolog.js.map +1 -0
- package/2p-solve.js +2422 -1227
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +51 -51
- package/2p-unify.js +25 -25
- package/2p-utils.js +43 -43
- package/arg2p-causality-solver.js +33 -27
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +138 -119
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +31 -31
- package/arg2p.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +334 -265
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +70 -70
- package/okio-parent-okio-nodefilesystem.js +10 -10
- package/okio-parent-okio.js +29 -29
- package/package.json +1 -1
- package/2p-solve-classic.js.map +0 -1
package/2p-io-lib.js
CHANGED
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
(function (factory) {
|
|
2
2
|
if (typeof define === 'function' && define.amd)
|
|
3
|
-
define(['exports', './kotlin-kotlin-stdlib.js', './2p-parser-impl.js', './2p-solve.js', './2p-parser-core.js', './2p-core.js', './
|
|
3
|
+
define(['exports', './kotlin-kotlin-stdlib.js', './2p-parser-impl.js', './2p-solve.js', './2p-parser-core.js', './2p-core.js', './okio-parent-okio.js', './2p-parser-theory.js', './2p-theory.js', './okio-parent-okio-nodefilesystem.js'], factory);
|
|
4
4
|
else if (typeof exports === 'object')
|
|
5
|
-
factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-parser-impl.js'), require('./2p-solve.js'), require('./2p-parser-core.js'), require('./2p-core.js'), require('./
|
|
5
|
+
factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-parser-impl.js'), require('./2p-solve.js'), require('./2p-parser-core.js'), require('./2p-core.js'), require('./okio-parent-okio.js'), require('./2p-parser-theory.js'), require('./2p-theory.js'), require('./okio-parent-okio-nodefilesystem.js'));
|
|
6
6
|
else {
|
|
7
7
|
if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
|
|
8
8
|
throw new Error("Error loading module '2p-io-lib'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-io-lib'.");
|
|
@@ -19,115 +19,115 @@
|
|
|
19
19
|
if (typeof globalThis['2p-core'] === 'undefined') {
|
|
20
20
|
throw new Error("Error loading module '2p-io-lib'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-io-lib'.");
|
|
21
21
|
}
|
|
22
|
+
if (typeof globalThis['okio-parent-okio'] === 'undefined') {
|
|
23
|
+
throw new Error("Error loading module '2p-io-lib'. Its dependency 'okio-parent-okio' was not found. Please, check whether 'okio-parent-okio' is loaded prior to '2p-io-lib'.");
|
|
24
|
+
}
|
|
22
25
|
if (typeof globalThis['2p-parser-theory'] === 'undefined') {
|
|
23
26
|
throw new Error("Error loading module '2p-io-lib'. Its dependency '2p-parser-theory' was not found. Please, check whether '2p-parser-theory' is loaded prior to '2p-io-lib'.");
|
|
24
27
|
}
|
|
25
28
|
if (typeof globalThis['2p-theory'] === 'undefined') {
|
|
26
29
|
throw new Error("Error loading module '2p-io-lib'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-io-lib'.");
|
|
27
30
|
}
|
|
28
|
-
if (typeof globalThis['okio-parent-okio'] === 'undefined') {
|
|
29
|
-
throw new Error("Error loading module '2p-io-lib'. Its dependency 'okio-parent-okio' was not found. Please, check whether 'okio-parent-okio' is loaded prior to '2p-io-lib'.");
|
|
30
|
-
}
|
|
31
31
|
if (typeof globalThis['okio-parent-okio-nodefilesystem'] === 'undefined') {
|
|
32
32
|
throw new Error("Error loading module '2p-io-lib'. Its dependency 'okio-parent-okio-nodefilesystem' was not found. Please, check whether 'okio-parent-okio-nodefilesystem' is loaded prior to '2p-io-lib'.");
|
|
33
33
|
}
|
|
34
|
-
globalThis['2p-io-lib'] = factory(typeof globalThis['2p-io-lib'] === 'undefined' ? {} : globalThis['2p-io-lib'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-parser-impl'], globalThis['2p-solve'], globalThis['2p-parser-core'], globalThis['2p-core'], globalThis['
|
|
34
|
+
globalThis['2p-io-lib'] = factory(typeof globalThis['2p-io-lib'] === 'undefined' ? {} : globalThis['2p-io-lib'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-parser-impl'], globalThis['2p-solve'], globalThis['2p-parser-core'], globalThis['2p-core'], globalThis['okio-parent-okio'], globalThis['2p-parser-theory'], globalThis['2p-theory'], globalThis['okio-parent-okio-nodefilesystem']);
|
|
35
35
|
}
|
|
36
|
-
}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_parser_impl, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_theory,
|
|
36
|
+
}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_parser_impl, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_core, kotlin_com_squareup_okio_okio, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_theory, kotlin_com_squareup_okio_okio_nodefilesystem) {
|
|
37
37
|
'use strict';
|
|
38
38
|
//region block: imports
|
|
39
39
|
var VOID = kotlin_kotlin.$_$.b;
|
|
40
40
|
var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.v;
|
|
41
|
-
var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
41
|
+
var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.p;
|
|
42
42
|
var Unit_instance = kotlin_kotlin.$_$.q;
|
|
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.$_$.s7;
|
|
44
|
+
var equals = kotlin_kotlin.$_$.y6;
|
|
45
|
+
var FunctionAdapter = kotlin_kotlin.$_$.n6;
|
|
46
|
+
var isInterface = kotlin_kotlin.$_$.m7;
|
|
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.$_$.e7;
|
|
49
|
+
var initMetadataForClass = kotlin_kotlin.$_$.f7;
|
|
50
|
+
var CoroutineImpl = kotlin_kotlin.$_$.t5;
|
|
51
|
+
var THROW_CCE = kotlin_kotlin.$_$.gc;
|
|
52
|
+
var SequenceScope = kotlin_kotlin.$_$.o8;
|
|
53
|
+
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.s5;
|
|
54
54
|
var toParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.j;
|
|
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.$_$.i7;
|
|
57
|
+
var constructCallableReference = kotlin_kotlin.$_$.w6;
|
|
58
58
|
var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.i;
|
|
59
59
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.t;
|
|
60
60
|
var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
|
|
61
|
-
var sequence = kotlin_kotlin.$_$.
|
|
61
|
+
var sequence = kotlin_kotlin.$_$.u9;
|
|
62
62
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.v;
|
|
63
|
-
var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
64
|
-
var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
63
|
+
var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.n2;
|
|
64
|
+
var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
|
|
65
65
|
var listOf = kotlin_kotlin.$_$.x3;
|
|
66
66
|
var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
|
|
67
67
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
|
|
68
|
-
var to = kotlin_kotlin.$_$.
|
|
69
|
-
var initMetadataForObject = kotlin_kotlin.$_$.
|
|
68
|
+
var to = kotlin_kotlin.$_$.uc;
|
|
69
|
+
var initMetadataForObject = kotlin_kotlin.$_$.j7;
|
|
70
70
|
var Companion_instance_1 = kotlin_kotlin.$_$.o;
|
|
71
71
|
var asSequence = kotlin_kotlin.$_$.n2;
|
|
72
|
-
var map = kotlin_kotlin.$_$.
|
|
72
|
+
var map = kotlin_kotlin.$_$.m9;
|
|
73
73
|
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.k;
|
|
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.$_$.da;
|
|
75
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.g7;
|
|
76
|
+
var THROW_IAE = kotlin_kotlin.$_$.hc;
|
|
77
|
+
var enumEntries = kotlin_kotlin.$_$.u5;
|
|
78
|
+
var Enum = kotlin_kotlin.$_$.wb;
|
|
79
|
+
var toString = kotlin_kotlin.$_$.v7;
|
|
80
80
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.i1;
|
|
81
|
-
var startsWith = kotlin_kotlin.$_$.
|
|
82
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
83
|
-
var AbstractOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
84
|
-
var AbstractInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
81
|
+
var startsWith = kotlin_kotlin.$_$.db;
|
|
82
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.h7;
|
|
83
|
+
var AbstractOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.g2;
|
|
84
|
+
var AbstractInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.f2;
|
|
85
85
|
var ArrayDeque_init_$Create$ = kotlin_kotlin.$_$.r;
|
|
86
86
|
var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
|
|
87
87
|
var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g;
|
|
88
|
-
var numberToChar = kotlin_kotlin.$_$.
|
|
89
|
-
var Char = kotlin_kotlin.$_$.
|
|
88
|
+
var numberToChar = kotlin_kotlin.$_$.p7;
|
|
89
|
+
var Char = kotlin_kotlin.$_$.tb;
|
|
90
90
|
var toString_0 = kotlin_kotlin.$_$.h;
|
|
91
91
|
var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.h1;
|
|
92
|
-
var objectCreate = kotlin_kotlin.$_$.
|
|
93
|
-
var captureStack = kotlin_kotlin.$_$.
|
|
92
|
+
var objectCreate = kotlin_kotlin.$_$.r7;
|
|
93
|
+
var captureStack = kotlin_kotlin.$_$.p6;
|
|
94
94
|
var TuPrologException_init_$Init$_0 = kotlin_it_unibo_tuprolog_core.$_$.i1;
|
|
95
95
|
var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
|
|
96
|
-
var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
97
|
-
var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
98
|
-
var Expected_URL_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
99
|
-
var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
100
|
-
var Predicative_0 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
101
|
-
var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
102
|
-
var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
103
|
-
var InputChannel = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
104
|
-
var OutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
105
|
-
var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
96
|
+
var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
|
|
97
|
+
var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
|
|
98
|
+
var Expected_URL_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
|
|
99
|
+
var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.s2;
|
|
100
|
+
var Predicative_0 = kotlin_it_unibo_tuprolog_solve.$_$.x2;
|
|
101
|
+
var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.p2;
|
|
102
|
+
var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.k1;
|
|
103
|
+
var InputChannel = kotlin_it_unibo_tuprolog_solve.$_$.h2;
|
|
104
|
+
var OutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.i2;
|
|
105
|
+
var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.w2;
|
|
106
106
|
var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.l1;
|
|
107
|
-
var IllegalStateException = kotlin_kotlin.$_$.
|
|
107
|
+
var IllegalStateException = kotlin_kotlin.$_$.zb;
|
|
108
108
|
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.$_$.
|
|
109
|
+
var KProperty1 = kotlin_kotlin.$_$.n8;
|
|
110
|
+
var getPropertyCallableRef = kotlin_kotlin.$_$.c7;
|
|
111
|
+
var sequenceOf = kotlin_kotlin.$_$.s9;
|
|
112
|
+
var flatMap = kotlin_kotlin.$_$.d9;
|
|
113
113
|
var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.u;
|
|
114
114
|
var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.b1;
|
|
115
115
|
var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.z;
|
|
116
116
|
var Companion_instance_4 = kotlin_it_unibo_tuprolog_core.$_$.p;
|
|
117
|
-
var filter = kotlin_kotlin.$_$.
|
|
118
|
-
var Sequence = kotlin_kotlin.$_$.
|
|
119
|
-
var firstOrNull = kotlin_kotlin.$_$.
|
|
117
|
+
var filter = kotlin_kotlin.$_$.a9;
|
|
118
|
+
var Sequence = kotlin_kotlin.$_$.p8;
|
|
119
|
+
var firstOrNull = kotlin_kotlin.$_$.b9;
|
|
120
120
|
var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.v;
|
|
121
121
|
var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
|
|
122
122
|
var asSequence_0 = kotlin_kotlin.$_$.m2;
|
|
123
123
|
var addAll = kotlin_kotlin.$_$.f2;
|
|
124
|
-
var toList = kotlin_kotlin.$_$.
|
|
124
|
+
var toList = kotlin_kotlin.$_$.e5;
|
|
125
125
|
var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
|
|
126
|
-
var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
127
|
-
var filterNot = kotlin_kotlin.$_$.
|
|
126
|
+
var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.r;
|
|
127
|
+
var filterNot = kotlin_kotlin.$_$.z8;
|
|
128
128
|
var Truth = kotlin_it_unibo_tuprolog_core.$_$.b3;
|
|
129
|
-
var lazy = kotlin_kotlin.$_$.
|
|
130
|
-
var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
129
|
+
var lazy = kotlin_kotlin.$_$.pc;
|
|
130
|
+
var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.u;
|
|
131
131
|
var Expected_STREAM_PROPERTY_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e;
|
|
132
132
|
var Expected_WRITE_OPTION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g;
|
|
133
133
|
var Expected_READ_OPTION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b;
|
|
@@ -141,44 +141,47 @@
|
|
|
141
141
|
var VarFormat_UNDERSCORE_getInstance = kotlin_it_unibo_tuprolog_core.$_$.f;
|
|
142
142
|
var Expected_SOURCE_SINK_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c;
|
|
143
143
|
var Expected_IO_MODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a;
|
|
144
|
-
var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
144
|
+
var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.w;
|
|
145
145
|
var Expected_STREAM_OR_ALIAS_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d;
|
|
146
|
-
var Expected_IN_CHARACTER_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
147
|
-
var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
148
|
-
var Limit_CHARACTER_CODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
146
|
+
var Expected_IN_CHARACTER_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
|
|
147
|
+
var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.z;
|
|
148
|
+
var Limit_CHARACTER_CODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i;
|
|
149
149
|
var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.o;
|
|
150
150
|
var Integer = kotlin_it_unibo_tuprolog_core.$_$.v1;
|
|
151
151
|
var KtMap = kotlin_kotlin.$_$.c2;
|
|
152
152
|
var Expected_STREAM_TYPE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f;
|
|
153
153
|
var format = kotlin_it_unibo_tuprolog_core.$_$.e3;
|
|
154
|
-
var charCodeAt = kotlin_kotlin.$_$.
|
|
154
|
+
var charCodeAt = kotlin_kotlin.$_$.s6;
|
|
155
155
|
var emptyList = kotlin_kotlin.$_$.e3;
|
|
156
156
|
var get_lastIndex = kotlin_kotlin.$_$.r3;
|
|
157
|
-
var toList_0 = kotlin_kotlin.$_$.
|
|
157
|
+
var toList_0 = kotlin_kotlin.$_$.ba;
|
|
158
158
|
var last = kotlin_kotlin.$_$.t3;
|
|
159
|
-
var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
159
|
+
var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
|
|
160
160
|
var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
|
|
161
161
|
var emptySet = kotlin_kotlin.$_$.g3;
|
|
162
|
-
var noWhenBranchMatchedException = kotlin_kotlin.$_$.
|
|
163
|
-
var
|
|
164
|
-
var
|
|
162
|
+
var noWhenBranchMatchedException = kotlin_kotlin.$_$.qc;
|
|
163
|
+
var ObjectType_SOURCE_SINK_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h;
|
|
164
|
+
var ExistenceError_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.b2;
|
|
165
|
+
var FileNotFoundException = kotlin_com_squareup_okio_okio.$_$.d;
|
|
166
|
+
var NonBacktrackable_1 = kotlin_it_unibo_tuprolog_solve.$_$.v2;
|
|
167
|
+
var NonBacktrackable_2 = kotlin_it_unibo_tuprolog_solve.$_$.t2;
|
|
165
168
|
var Companion_instance_11 = kotlin_it_unibo_tuprolog_parser_theory.$_$.a;
|
|
166
169
|
var Companion_instance_12 = kotlin_it_unibo_tuprolog_theory.$_$.b;
|
|
167
170
|
var Companion_instance_13 = kotlin_it_unibo_tuprolog_theory.$_$.a;
|
|
168
|
-
var charSequenceLength = kotlin_kotlin.$_$.
|
|
169
|
-
var titlecase = kotlin_kotlin.$_$.
|
|
170
|
-
var isLowerCase = kotlin_kotlin.$_$.
|
|
171
|
-
var substring = kotlin_kotlin.$_$.
|
|
172
|
-
var BinaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
173
|
-
var distinct = kotlin_kotlin.$_$.
|
|
174
|
-
var removeSuffix = kotlin_kotlin.$_$.
|
|
175
|
-
var toIntOrNull = kotlin_kotlin.$_$.
|
|
176
|
-
var removePrefix = kotlin_kotlin.$_$.
|
|
171
|
+
var charSequenceLength = kotlin_kotlin.$_$.u6;
|
|
172
|
+
var titlecase = kotlin_kotlin.$_$.jb;
|
|
173
|
+
var isLowerCase = kotlin_kotlin.$_$.qa;
|
|
174
|
+
var substring = kotlin_kotlin.$_$.hb;
|
|
175
|
+
var BinaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.r2;
|
|
176
|
+
var distinct = kotlin_kotlin.$_$.v8;
|
|
177
|
+
var removeSuffix = kotlin_kotlin.$_$.wa;
|
|
178
|
+
var toIntOrNull = kotlin_kotlin.$_$.mb;
|
|
179
|
+
var removePrefix = kotlin_kotlin.$_$.ua;
|
|
177
180
|
var buffer = kotlin_com_squareup_okio_okio.$_$.g;
|
|
178
|
-
var addSuppressed = kotlin_kotlin.$_$.
|
|
181
|
+
var addSuppressed = kotlin_kotlin.$_$.kc;
|
|
179
182
|
var IOException = kotlin_com_squareup_okio_okio.$_$.f;
|
|
180
|
-
var getStringHashCode = kotlin_kotlin.$_$.
|
|
181
|
-
var KProperty0 = kotlin_kotlin.$_$.
|
|
183
|
+
var getStringHashCode = kotlin_kotlin.$_$.d7;
|
|
184
|
+
var KProperty0 = kotlin_kotlin.$_$.m8;
|
|
182
185
|
var Info_getInstance = kotlin_it_unibo_tuprolog_core.$_$.d1;
|
|
183
186
|
var Platform_BROWSER_getInstance = kotlin_it_unibo_tuprolog_core.$_$.g;
|
|
184
187
|
var Companion_getInstance_7 = kotlin_com_squareup_okio_okio.$_$.a;
|
|
@@ -421,7 +424,7 @@
|
|
|
421
424
|
function Iterator$hasNext$ref(p0) {
|
|
422
425
|
return constructCallableReference(function () {
|
|
423
426
|
return p0.hasNext_bitz1p_k$();
|
|
424
|
-
}, 0, 0,
|
|
427
|
+
}, 0, 0, 113, 'hasNext', [p0]);
|
|
425
428
|
}
|
|
426
429
|
var properties_initialized_ChannelUtils_kt_an3chc;
|
|
427
430
|
function _init_properties_ChannelUtils_kt__fqios2() {
|
|
@@ -434,7 +437,11 @@
|
|
|
434
437
|
function IOLib() {
|
|
435
438
|
IOLib_instance = this;
|
|
436
439
|
AbstractLibrary.call(this);
|
|
440
|
+
this.help_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.";
|
|
437
441
|
}
|
|
442
|
+
protoOf(IOLib).get_help_won7nu_k$ = function () {
|
|
443
|
+
return this.help_1;
|
|
444
|
+
};
|
|
438
445
|
protoOf(IOLib).get_alias_iooo4n_k$ = function () {
|
|
439
446
|
return 'prolog.io';
|
|
440
447
|
};
|
|
@@ -467,7 +474,7 @@
|
|
|
467
474
|
function Atom$Companion$of$ref(p0) {
|
|
468
475
|
return constructCallableReference(function (p0_0) {
|
|
469
476
|
return p0.of(p0_0);
|
|
470
|
-
}, 1, 0,
|
|
477
|
+
}, 1, 0, 114, 'of', [p0]);
|
|
471
478
|
}
|
|
472
479
|
var static_init_called;
|
|
473
480
|
function static_init() {
|
|
@@ -770,7 +777,11 @@
|
|
|
770
777
|
function AtEndOfStream0() {
|
|
771
778
|
AtEndOfStream0_instance = this;
|
|
772
779
|
Predicative.call(this, 'at_end_of_stream');
|
|
780
|
+
this.help_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```';
|
|
773
781
|
}
|
|
782
|
+
protoOf(AtEndOfStream0).get_help_won7nu_k$ = function () {
|
|
783
|
+
return this.help_1;
|
|
784
|
+
};
|
|
774
785
|
protoOf(AtEndOfStream0).compute_yf4j3j_k$ = function (_this__u8e3s4) {
|
|
775
786
|
// Inline function 'kotlin.let' call
|
|
776
787
|
var it = IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4);
|
|
@@ -788,7 +799,11 @@
|
|
|
788
799
|
function AtEndOfStream1() {
|
|
789
800
|
AtEndOfStream1_instance = this;
|
|
790
801
|
Predicative_0.call(this, 'at_end_of_stream');
|
|
802
|
+
this.help_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```';
|
|
791
803
|
}
|
|
804
|
+
protoOf(AtEndOfStream1).get_help_won7nu_k$ = function () {
|
|
805
|
+
return this.help_1;
|
|
806
|
+
};
|
|
792
807
|
protoOf(AtEndOfStream1).compute_2uabro_k$ = function (_this__u8e3s4, first) {
|
|
793
808
|
// Inline function 'kotlin.let' call
|
|
794
809
|
var it = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
|
|
@@ -806,7 +821,11 @@
|
|
|
806
821
|
function CharConversion() {
|
|
807
822
|
CharConversion_instance = this;
|
|
808
823
|
NonBacktrackable.call(this, 'char_conversion');
|
|
824
|
+
this.help_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```';
|
|
809
825
|
}
|
|
826
|
+
protoOf(CharConversion).get_help_won7nu_k$ = function () {
|
|
827
|
+
return this.help_1;
|
|
828
|
+
};
|
|
810
829
|
protoOf(CharConversion).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
811
830
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
812
831
|
};
|
|
@@ -836,7 +855,11 @@
|
|
|
836
855
|
function Close1() {
|
|
837
856
|
Close1_instance = this;
|
|
838
857
|
NonBacktrackable_0.call(this, 'close');
|
|
858
|
+
this.help_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```';
|
|
839
859
|
}
|
|
860
|
+
protoOf(Close1).get_help_won7nu_k$ = function () {
|
|
861
|
+
return this.help_1;
|
|
862
|
+
};
|
|
840
863
|
protoOf(Close1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
841
864
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsChannel_ed79nb_k$(_this__u8e3s4, 0);
|
|
842
865
|
try {
|
|
@@ -873,7 +896,11 @@
|
|
|
873
896
|
function Close2() {
|
|
874
897
|
Close2_instance = this;
|
|
875
898
|
NonBacktrackable.call(this, 'close');
|
|
899
|
+
this.help_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```';
|
|
876
900
|
}
|
|
901
|
+
protoOf(Close2).get_help_won7nu_k$ = function () {
|
|
902
|
+
return this.help_1;
|
|
903
|
+
};
|
|
877
904
|
protoOf(Close2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
878
905
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
879
906
|
};
|
|
@@ -889,7 +916,11 @@
|
|
|
889
916
|
function Consult() {
|
|
890
917
|
Consult_instance = this;
|
|
891
918
|
NonBacktrackable_0.call(this, 'consult');
|
|
919
|
+
this.help_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```";
|
|
892
920
|
}
|
|
921
|
+
protoOf(Consult).get_help_won7nu_k$ = function () {
|
|
922
|
+
return this.help_1;
|
|
923
|
+
};
|
|
893
924
|
protoOf(Consult).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
894
925
|
Companion_getInstance_1().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 0);
|
|
895
926
|
Companion_getInstance_1().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
|
|
@@ -924,7 +955,11 @@
|
|
|
924
955
|
function CurrentCharConversion() {
|
|
925
956
|
CurrentCharConversion_instance = this;
|
|
926
957
|
NonBacktrackable.call(this, 'current_char_conversion');
|
|
958
|
+
this.help_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```';
|
|
927
959
|
}
|
|
960
|
+
protoOf(CurrentCharConversion).get_help_won7nu_k$ = function () {
|
|
961
|
+
return this.help_1;
|
|
962
|
+
};
|
|
928
963
|
protoOf(CurrentCharConversion).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
929
964
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
930
965
|
};
|
|
@@ -940,7 +975,11 @@
|
|
|
940
975
|
function CurrentInput() {
|
|
941
976
|
CurrentInput_instance = this;
|
|
942
977
|
NonBacktrackable_0.call(this, 'current_input');
|
|
978
|
+
this.help_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```';
|
|
943
979
|
}
|
|
980
|
+
protoOf(CurrentInput).get_help_won7nu_k$ = function () {
|
|
981
|
+
return this.help_1;
|
|
982
|
+
};
|
|
944
983
|
protoOf(CurrentInput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
945
984
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrStream_l86imo_k$(_this__u8e3s4, 0);
|
|
946
985
|
// Inline function 'kotlin.let' call
|
|
@@ -961,7 +1000,11 @@
|
|
|
961
1000
|
function CurrentOutput() {
|
|
962
1001
|
CurrentOutput_instance = this;
|
|
963
1002
|
NonBacktrackable_0.call(this, 'current_output');
|
|
1003
|
+
this.help_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```';
|
|
964
1004
|
}
|
|
1005
|
+
protoOf(CurrentOutput).get_help_won7nu_k$ = function () {
|
|
1006
|
+
return this.help_1;
|
|
1007
|
+
};
|
|
965
1008
|
protoOf(CurrentOutput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
966
1009
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrStream_l86imo_k$(_this__u8e3s4, 0);
|
|
967
1010
|
// Inline function 'kotlin.let' call
|
|
@@ -982,7 +1025,11 @@
|
|
|
982
1025
|
function FlushOutput() {
|
|
983
1026
|
FlushOutput_instance = this;
|
|
984
1027
|
NonBacktrackable_0.call(this, 'flush_output');
|
|
1028
|
+
this.help_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```';
|
|
985
1029
|
}
|
|
1030
|
+
protoOf(FlushOutput).get_help_won7nu_k$ = function () {
|
|
1031
|
+
return this.help_1;
|
|
1032
|
+
};
|
|
986
1033
|
protoOf(FlushOutput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
987
1034
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
988
1035
|
var tmp;
|
|
@@ -1013,7 +1060,11 @@
|
|
|
1013
1060
|
function GetByte1() {
|
|
1014
1061
|
GetByte1_instance = this;
|
|
1015
1062
|
NonBacktrackable_0.call(this, 'get_byte');
|
|
1063
|
+
this.help_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```';
|
|
1016
1064
|
}
|
|
1065
|
+
protoOf(GetByte1).get_help_won7nu_k$ = function () {
|
|
1066
|
+
return this.help_1;
|
|
1067
|
+
};
|
|
1017
1068
|
protoOf(GetByte1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
1018
1069
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
1019
1070
|
};
|
|
@@ -1029,7 +1080,11 @@
|
|
|
1029
1080
|
function GetByte2() {
|
|
1030
1081
|
GetByte2_instance = this;
|
|
1031
1082
|
NonBacktrackable.call(this, 'get_byte');
|
|
1083
|
+
this.help_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```';
|
|
1032
1084
|
}
|
|
1085
|
+
protoOf(GetByte2).get_help_won7nu_k$ = function () {
|
|
1086
|
+
return this.help_1;
|
|
1087
|
+
};
|
|
1033
1088
|
protoOf(GetByte2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
1034
1089
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
1035
1090
|
};
|
|
@@ -1045,7 +1100,11 @@
|
|
|
1045
1100
|
function GetChar1() {
|
|
1046
1101
|
GetChar1_instance = this;
|
|
1047
1102
|
NonBacktrackable_0.call(this, 'get_char');
|
|
1103
|
+
this.help_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```';
|
|
1048
1104
|
}
|
|
1105
|
+
protoOf(GetChar1).get_help_won7nu_k$ = function () {
|
|
1106
|
+
return this.help_1;
|
|
1107
|
+
};
|
|
1049
1108
|
protoOf(GetChar1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
1050
1109
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrChar_zdzofu_k$(_this__u8e3s4, 0);
|
|
1051
1110
|
return IOPrimitiveUtils_getInstance().readCharAndReply_szx3md_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
|
|
@@ -1062,7 +1121,11 @@
|
|
|
1062
1121
|
function GetChar2() {
|
|
1063
1122
|
GetChar2_instance = this;
|
|
1064
1123
|
NonBacktrackable.call(this, 'get_char');
|
|
1124
|
+
this.help_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```';
|
|
1065
1125
|
}
|
|
1126
|
+
protoOf(GetChar2).get_help_won7nu_k$ = function () {
|
|
1127
|
+
return this.help_1;
|
|
1128
|
+
};
|
|
1066
1129
|
protoOf(GetChar2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
1067
1130
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
|
|
1068
1131
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrChar_zdzofu_k$(_this__u8e3s4, 1);
|
|
@@ -1080,7 +1143,11 @@
|
|
|
1080
1143
|
function GetCode1() {
|
|
1081
1144
|
GetCode1_instance = this;
|
|
1082
1145
|
NonBacktrackable_0.call(this, 'get_code');
|
|
1146
|
+
this.help_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). 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```';
|
|
1083
1147
|
}
|
|
1148
|
+
protoOf(GetCode1).get_help_won7nu_k$ = function () {
|
|
1149
|
+
return this.help_1;
|
|
1150
|
+
};
|
|
1084
1151
|
protoOf(GetCode1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
1085
1152
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrCharCode_tmh0sz_k$(_this__u8e3s4, 0);
|
|
1086
1153
|
return IOPrimitiveUtils_getInstance().readCodeAndReply_m7r1zg_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
|
|
@@ -1097,7 +1164,11 @@
|
|
|
1097
1164
|
function GetCode2() {
|
|
1098
1165
|
GetCode2_instance = this;
|
|
1099
1166
|
NonBacktrackable.call(this, 'get_code');
|
|
1167
|
+
this.help_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). 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```';
|
|
1100
1168
|
}
|
|
1169
|
+
protoOf(GetCode2).get_help_won7nu_k$ = function () {
|
|
1170
|
+
return this.help_1;
|
|
1171
|
+
};
|
|
1101
1172
|
protoOf(GetCode2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
1102
1173
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
|
|
1103
1174
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrCharCode_tmh0sz_k$(_this__u8e3s4, 1);
|
|
@@ -1119,7 +1190,7 @@
|
|
|
1119
1190
|
return constructCallableReference(function (p0_0) {
|
|
1120
1191
|
var tmp0 = p0;
|
|
1121
1192
|
return alias(tmp0, p0_0);
|
|
1122
|
-
}, 1, 0,
|
|
1193
|
+
}, 1, 0, 115, 'alias', [p0]);
|
|
1123
1194
|
}
|
|
1124
1195
|
function IOPrimitiveUtils$propertiesOf$slambda$lambda_0(it) {
|
|
1125
1196
|
return it === '$current';
|
|
@@ -1495,7 +1566,7 @@
|
|
|
1495
1566
|
function IOPrimitiveUtils$_get_INPUT_STREAM_TERM_PATTERN_$ref_59oxnp() {
|
|
1496
1567
|
return constructCallableReference(function (p0) {
|
|
1497
1568
|
return _get_INPUT_STREAM_TERM_PATTERN__5fd8p6(p0);
|
|
1498
|
-
}, 1, 0,
|
|
1569
|
+
}, 1, 0, 116);
|
|
1499
1570
|
}
|
|
1500
1571
|
function IOPrimitiveUtils$OUTPUT_STREAM_TERM_PATTERN$delegate$lambda() {
|
|
1501
1572
|
return Companion_instance_5.streamTerm();
|
|
@@ -1503,7 +1574,7 @@
|
|
|
1503
1574
|
function IOPrimitiveUtils$_get_OUTPUT_STREAM_TERM_PATTERN_$ref_kcdkmo() {
|
|
1504
1575
|
return constructCallableReference(function (p0) {
|
|
1505
1576
|
return _get_OUTPUT_STREAM_TERM_PATTERN__4vocxf(p0);
|
|
1506
|
-
}, 1, 0,
|
|
1577
|
+
}, 1, 0, 117);
|
|
1507
1578
|
}
|
|
1508
1579
|
function IOPrimitiveUtils$PROPERTY_TYPE_PATTERN$delegate$lambda() {
|
|
1509
1580
|
return Companion_getInstance_2().of('type', [Companion_getInstance_3().anonymous()]);
|
|
@@ -1511,7 +1582,7 @@
|
|
|
1511
1582
|
function IOPrimitiveUtils$_get_PROPERTY_TYPE_PATTERN_$ref_qcyh3d() {
|
|
1512
1583
|
return constructCallableReference(function (p0) {
|
|
1513
1584
|
return _get_PROPERTY_TYPE_PATTERN__5nq864(p0);
|
|
1514
|
-
}, 1, 0,
|
|
1585
|
+
}, 1, 0, 118);
|
|
1515
1586
|
}
|
|
1516
1587
|
function IOPrimitiveUtils$PROPERTY_REPOSITION_PATTERN$delegate$lambda() {
|
|
1517
1588
|
return Companion_getInstance_2().of('reposition', [Companion_getInstance_3().anonymous()]);
|
|
@@ -1519,7 +1590,7 @@
|
|
|
1519
1590
|
function IOPrimitiveUtils$_get_PROPERTY_REPOSITION_PATTERN_$ref_uil93p() {
|
|
1520
1591
|
return constructCallableReference(function (p0) {
|
|
1521
1592
|
return _get_PROPERTY_REPOSITION_PATTERN__lznuii(p0);
|
|
1522
|
-
}, 1, 0,
|
|
1593
|
+
}, 1, 0, 119);
|
|
1523
1594
|
}
|
|
1524
1595
|
function IOPrimitiveUtils$PROPERTY_EOF_ACTION_PATTERN$delegate$lambda() {
|
|
1525
1596
|
return Companion_getInstance_2().of('eof_action', [Companion_getInstance_3().anonymous()]);
|
|
@@ -1527,7 +1598,7 @@
|
|
|
1527
1598
|
function IOPrimitiveUtils$_get_PROPERTY_EOF_ACTION_PATTERN_$ref_bt8ai0() {
|
|
1528
1599
|
return constructCallableReference(function (p0) {
|
|
1529
1600
|
return _get_PROPERTY_EOF_ACTION_PATTERN__8k2shv(p0);
|
|
1530
|
-
}, 1, 0,
|
|
1601
|
+
}, 1, 0, 120);
|
|
1531
1602
|
}
|
|
1532
1603
|
function IOPrimitiveUtils$PROPERTY_ALIAS_PATTERN$delegate$lambda() {
|
|
1533
1604
|
return alias(IOPrimitiveUtils_getInstance());
|
|
@@ -1535,7 +1606,7 @@
|
|
|
1535
1606
|
function IOPrimitiveUtils$_get_PROPERTY_ALIAS_PATTERN_$ref_qs5lfb() {
|
|
1536
1607
|
return constructCallableReference(function (p0) {
|
|
1537
1608
|
return _get_PROPERTY_ALIAS_PATTERN__wipd2s(p0);
|
|
1538
|
-
}, 1, 0,
|
|
1609
|
+
}, 1, 0, 121);
|
|
1539
1610
|
}
|
|
1540
1611
|
function IOPrimitiveUtils$PROPERTY_INPUT$delegate$lambda() {
|
|
1541
1612
|
return Companion_getInstance_0().of('input');
|
|
@@ -1543,7 +1614,7 @@
|
|
|
1543
1614
|
function IOPrimitiveUtils$_get_PROPERTY_INPUT_$ref_hltzoy() {
|
|
1544
1615
|
return constructCallableReference(function (p0) {
|
|
1545
1616
|
return _get_PROPERTY_INPUT__z2zr91(p0);
|
|
1546
|
-
}, 1, 0,
|
|
1617
|
+
}, 1, 0, 122);
|
|
1547
1618
|
}
|
|
1548
1619
|
function IOPrimitiveUtils$PROPERTY_OUTPUT$delegate$lambda() {
|
|
1549
1620
|
return Companion_getInstance_0().of('output');
|
|
@@ -1551,7 +1622,7 @@
|
|
|
1551
1622
|
function IOPrimitiveUtils$_get_PROPERTY_OUTPUT_$ref_9ccgyp() {
|
|
1552
1623
|
return constructCallableReference(function (p0) {
|
|
1553
1624
|
return _get_PROPERTY_OUTPUT__1pem9m(p0);
|
|
1554
|
-
}, 1, 0,
|
|
1625
|
+
}, 1, 0, 123);
|
|
1555
1626
|
}
|
|
1556
1627
|
function IOPrimitiveUtils$PROPERTY_TYPE_TEXT$delegate$lambda() {
|
|
1557
1628
|
return Companion_getInstance_2().of('type', [Companion_getInstance_0().of('text')]);
|
|
@@ -1559,7 +1630,7 @@
|
|
|
1559
1630
|
function IOPrimitiveUtils$_get_PROPERTY_TYPE_TEXT_$ref_47hbty() {
|
|
1560
1631
|
return constructCallableReference(function (p0) {
|
|
1561
1632
|
return _get_PROPERTY_TYPE_TEXT__9rpcwt(p0);
|
|
1562
|
-
}, 1, 0,
|
|
1633
|
+
}, 1, 0, 124);
|
|
1563
1634
|
}
|
|
1564
1635
|
function IOPrimitiveUtils$PROPERTY_REPOSITION_FALSE$delegate$lambda() {
|
|
1565
1636
|
return Companion_getInstance_2().of('reposition', [Companion_getInstance_4().FALSE_1]);
|
|
@@ -1567,7 +1638,7 @@
|
|
|
1567
1638
|
function IOPrimitiveUtils$_get_PROPERTY_REPOSITION_FALSE_$ref_jx0m6() {
|
|
1568
1639
|
return constructCallableReference(function (p0) {
|
|
1569
1640
|
return _get_PROPERTY_REPOSITION_FALSE__i73t3b(p0);
|
|
1570
|
-
}, 1, 0,
|
|
1641
|
+
}, 1, 0, 125);
|
|
1571
1642
|
}
|
|
1572
1643
|
function IOPrimitiveUtils$PROPERTY_EOF_ACTION_EOF_CODE$delegate$lambda() {
|
|
1573
1644
|
return Companion_getInstance_2().of('eof_action', [Companion_getInstance_0().of('eof_code')]);
|
|
@@ -1575,7 +1646,7 @@
|
|
|
1575
1646
|
function IOPrimitiveUtils$_get_PROPERTY_EOF_ACTION_EOF_CODE_$ref_1cwy66() {
|
|
1576
1647
|
return constructCallableReference(function (p0) {
|
|
1577
1648
|
return _get_PROPERTY_EOF_ACTION_EOF_CODE__he3pvl(p0);
|
|
1578
|
-
}, 1, 0,
|
|
1649
|
+
}, 1, 0, 126);
|
|
1579
1650
|
}
|
|
1580
1651
|
function IOPrimitiveUtils$OPTION_QUOTED_PATTERN$delegate$lambda() {
|
|
1581
1652
|
return quoted(IOPrimitiveUtils_getInstance());
|
|
@@ -1583,7 +1654,7 @@
|
|
|
1583
1654
|
function IOPrimitiveUtils$_get_OPTION_QUOTED_PATTERN_$ref_nxjfbr() {
|
|
1584
1655
|
return constructCallableReference(function (p0) {
|
|
1585
1656
|
return _get_OPTION_QUOTED_PATTERN__n2ri42(p0);
|
|
1586
|
-
}, 1, 0,
|
|
1657
|
+
}, 1, 0, 127);
|
|
1587
1658
|
}
|
|
1588
1659
|
function IOPrimitiveUtils$OPTION_NUMBER_VARS_PATTERN$delegate$lambda() {
|
|
1589
1660
|
return numberVars(IOPrimitiveUtils_getInstance());
|
|
@@ -1591,7 +1662,7 @@
|
|
|
1591
1662
|
function IOPrimitiveUtils$_get_OPTION_NUMBER_VARS_PATTERN_$ref_pdk9ph() {
|
|
1592
1663
|
return constructCallableReference(function (p0) {
|
|
1593
1664
|
return _get_OPTION_NUMBER_VARS_PATTERN__p98ste(p0);
|
|
1594
|
-
}, 1, 0,
|
|
1665
|
+
}, 1, 0, 128);
|
|
1595
1666
|
}
|
|
1596
1667
|
function IOPrimitiveUtils$OPTION_IGNORE_OPS_PATTERN$delegate$lambda() {
|
|
1597
1668
|
return ignoreOps(IOPrimitiveUtils_getInstance());
|
|
@@ -1599,7 +1670,7 @@
|
|
|
1599
1670
|
function IOPrimitiveUtils$_get_OPTION_IGNORE_OPS_PATTERN_$ref_vvsa9g() {
|
|
1600
1671
|
return constructCallableReference(function (p0) {
|
|
1601
1672
|
return _get_OPTION_IGNORE_OPS_PATTERN__cpse4v(p0);
|
|
1602
|
-
}, 1, 0,
|
|
1673
|
+
}, 1, 0, 129);
|
|
1603
1674
|
}
|
|
1604
1675
|
function IOPrimitiveUtils$INFO_VARIABLES_PATTERN$delegate$lambda() {
|
|
1605
1676
|
return variables(IOPrimitiveUtils_getInstance());
|
|
@@ -1607,7 +1678,7 @@
|
|
|
1607
1678
|
function IOPrimitiveUtils$_get_INFO_VARIABLES_PATTERN_$ref_ih2rd5() {
|
|
1608
1679
|
return constructCallableReference(function (p0) {
|
|
1609
1680
|
return _get_INFO_VARIABLES_PATTERN__bhp1h0(p0);
|
|
1610
|
-
}, 1, 0,
|
|
1681
|
+
}, 1, 0, 130);
|
|
1611
1682
|
}
|
|
1612
1683
|
function IOPrimitiveUtils$INFO_VARIABLE_NAMES_PATTERN$delegate$lambda() {
|
|
1613
1684
|
return variableNames(IOPrimitiveUtils_getInstance());
|
|
@@ -1615,7 +1686,7 @@
|
|
|
1615
1686
|
function IOPrimitiveUtils$_get_INFO_VARIABLE_NAMES_PATTERN_$ref_lzmk91() {
|
|
1616
1687
|
return constructCallableReference(function (p0) {
|
|
1617
1688
|
return _get_INFO_VARIABLE_NAMES_PATTERN__j3oaom(p0);
|
|
1618
|
-
}, 1, 0,
|
|
1689
|
+
}, 1, 0, 131);
|
|
1619
1690
|
}
|
|
1620
1691
|
function IOPrimitiveUtils$INFO_SINGLETONS_PATTERN$delegate$lambda() {
|
|
1621
1692
|
return singletons(IOPrimitiveUtils_getInstance());
|
|
@@ -1623,25 +1694,25 @@
|
|
|
1623
1694
|
function IOPrimitiveUtils$_get_INFO_SINGLETONS_PATTERN_$ref_8msi4i() {
|
|
1624
1695
|
return constructCallableReference(function (p0) {
|
|
1625
1696
|
return _get_INFO_SINGLETONS_PATTERN__y21s87(p0);
|
|
1626
|
-
}, 1, 0,
|
|
1697
|
+
}, 1, 0, 132);
|
|
1627
1698
|
}
|
|
1628
1699
|
function IOPrimitiveUtils$quoted$ref(p0) {
|
|
1629
1700
|
return constructCallableReference(function (p0_0) {
|
|
1630
1701
|
var tmp0 = p0;
|
|
1631
1702
|
return quoted(tmp0, p0_0);
|
|
1632
|
-
}, 1, 0,
|
|
1703
|
+
}, 1, 0, 133, 'quoted', [p0]);
|
|
1633
1704
|
}
|
|
1634
1705
|
function IOPrimitiveUtils$ignoreOps$ref(p0) {
|
|
1635
1706
|
return constructCallableReference(function (p0_0) {
|
|
1636
1707
|
var tmp0 = p0;
|
|
1637
1708
|
return ignoreOps(tmp0, p0_0);
|
|
1638
|
-
}, 1, 0,
|
|
1709
|
+
}, 1, 0, 134, 'ignoreOps', [p0]);
|
|
1639
1710
|
}
|
|
1640
1711
|
function IOPrimitiveUtils$numberVars$ref(p0) {
|
|
1641
1712
|
return constructCallableReference(function (p0_0) {
|
|
1642
1713
|
var tmp0 = p0;
|
|
1643
1714
|
return numberVars(tmp0, p0_0);
|
|
1644
|
-
}, 1, 0,
|
|
1715
|
+
}, 1, 0, 135, 'numberVars', [p0]);
|
|
1645
1716
|
}
|
|
1646
1717
|
function IOPrimitiveUtils$_get_validOptionsPattern_$lambda_r088xw(it) {
|
|
1647
1718
|
return map(sequenceOf([true, false]), it);
|
|
@@ -2443,19 +2514,38 @@
|
|
|
2443
2514
|
var tmp0_safe_receiver = tmp$ret$0;
|
|
2444
2515
|
var alias = tmp0_safe_receiver == null ? null : _get_alias__jw26bj(this, tmp0_safe_receiver);
|
|
2445
2516
|
var tmp_3;
|
|
2446
|
-
|
|
2447
|
-
|
|
2448
|
-
|
|
2449
|
-
|
|
2450
|
-
|
|
2451
|
-
|
|
2452
|
-
|
|
2453
|
-
|
|
2454
|
-
|
|
2455
|
-
|
|
2456
|
-
|
|
2457
|
-
|
|
2458
|
-
|
|
2517
|
+
try {
|
|
2518
|
+
var tmp_4;
|
|
2519
|
+
switch (mode.ordinal_1) {
|
|
2520
|
+
case 0:
|
|
2521
|
+
tmp_4 = replyOpeningStream_0(this, _this__u8e3s4, openInputChannel(url), third, alias);
|
|
2522
|
+
break;
|
|
2523
|
+
case 1:
|
|
2524
|
+
tmp_4 = replyOpeningStream(this, _this__u8e3s4, openOutputChannel(url, false), third, alias);
|
|
2525
|
+
break;
|
|
2526
|
+
case 2:
|
|
2527
|
+
tmp_4 = replyOpeningStream(this, _this__u8e3s4, openOutputChannel(url, true), third, alias);
|
|
2528
|
+
break;
|
|
2529
|
+
default:
|
|
2530
|
+
noWhenBranchMatchedException();
|
|
2531
|
+
break;
|
|
2532
|
+
}
|
|
2533
|
+
tmp_3 = tmp_4;
|
|
2534
|
+
} catch ($p) {
|
|
2535
|
+
var tmp_5;
|
|
2536
|
+
if ($p instanceof IOException_0) {
|
|
2537
|
+
var e = $p;
|
|
2538
|
+
var tmp_6;
|
|
2539
|
+
var tmp_7 = e.cause;
|
|
2540
|
+
if (tmp_7 instanceof FileNotFoundException) {
|
|
2541
|
+
tmp_6 = ExistenceError_init_$Create$(e.message, e, _this__u8e3s4.context, ObjectType_SOURCE_SINK_getInstance(), _this__u8e3s4.arguments.get_c1px32_k$(0));
|
|
2542
|
+
} else {
|
|
2543
|
+
tmp_6 = e.toLogicError_33irru_k$(_this__u8e3s4.context);
|
|
2544
|
+
}
|
|
2545
|
+
throw tmp_6;
|
|
2546
|
+
} else {
|
|
2547
|
+
throw $p;
|
|
2548
|
+
}
|
|
2459
2549
|
}
|
|
2460
2550
|
return tmp_3;
|
|
2461
2551
|
};
|
|
@@ -2468,7 +2558,11 @@
|
|
|
2468
2558
|
function Nl1() {
|
|
2469
2559
|
Nl1_instance = this;
|
|
2470
2560
|
NonBacktrackable_0.call(this, 'nl');
|
|
2561
|
+
this.help_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```';
|
|
2471
2562
|
}
|
|
2563
|
+
protoOf(Nl1).get_help_won7nu_k$ = function () {
|
|
2564
|
+
return this.help_1;
|
|
2565
|
+
};
|
|
2472
2566
|
protoOf(Nl1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2473
2567
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
2474
2568
|
var tmp;
|
|
@@ -2499,7 +2593,11 @@
|
|
|
2499
2593
|
function Open3() {
|
|
2500
2594
|
Open3_instance = this;
|
|
2501
2595
|
NonBacktrackable_1.call(this, 'open');
|
|
2596
|
+
this.help_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```";
|
|
2502
2597
|
}
|
|
2598
|
+
protoOf(Open3).get_help_won7nu_k$ = function () {
|
|
2599
|
+
return this.help_1;
|
|
2600
|
+
};
|
|
2503
2601
|
protoOf(Open3).computeOne_oq9h0q_k$ = function (_this__u8e3s4, first, second, third) {
|
|
2504
2602
|
return IOPrimitiveUtils_getInstance().open_28mql5_k$(_this__u8e3s4, third);
|
|
2505
2603
|
};
|
|
@@ -2515,7 +2613,11 @@
|
|
|
2515
2613
|
function Open4() {
|
|
2516
2614
|
Open4_instance = this;
|
|
2517
2615
|
NonBacktrackable_2.call(this, 'open');
|
|
2616
|
+
this.help_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```";
|
|
2518
2617
|
}
|
|
2618
|
+
protoOf(Open4).get_help_won7nu_k$ = function () {
|
|
2619
|
+
return this.help_1;
|
|
2620
|
+
};
|
|
2519
2621
|
protoOf(Open4).computeOne_q4u7r9_k$ = function (_this__u8e3s4, first, second, third, fourth) {
|
|
2520
2622
|
return IOPrimitiveUtils_getInstance().open_28mql5_k$(_this__u8e3s4, third);
|
|
2521
2623
|
};
|
|
@@ -2531,7 +2633,11 @@
|
|
|
2531
2633
|
function PeekByte1() {
|
|
2532
2634
|
PeekByte1_instance = this;
|
|
2533
2635
|
NonBacktrackable_0.call(this, 'peek_byte');
|
|
2636
|
+
this.help_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```';
|
|
2534
2637
|
}
|
|
2638
|
+
protoOf(PeekByte1).get_help_won7nu_k$ = function () {
|
|
2639
|
+
return this.help_1;
|
|
2640
|
+
};
|
|
2535
2641
|
protoOf(PeekByte1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2536
2642
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
2537
2643
|
};
|
|
@@ -2547,7 +2653,11 @@
|
|
|
2547
2653
|
function PeekByte2() {
|
|
2548
2654
|
PeekByte2_instance = this;
|
|
2549
2655
|
NonBacktrackable.call(this, 'peek_byte');
|
|
2656
|
+
this.help_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```';
|
|
2550
2657
|
}
|
|
2658
|
+
protoOf(PeekByte2).get_help_won7nu_k$ = function () {
|
|
2659
|
+
return this.help_1;
|
|
2660
|
+
};
|
|
2551
2661
|
protoOf(PeekByte2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2552
2662
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
2553
2663
|
};
|
|
@@ -2563,7 +2673,11 @@
|
|
|
2563
2673
|
function PeekChar1() {
|
|
2564
2674
|
PeekChar1_instance = this;
|
|
2565
2675
|
NonBacktrackable_0.call(this, 'peek_char');
|
|
2676
|
+
this.help_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```';
|
|
2566
2677
|
}
|
|
2678
|
+
protoOf(PeekChar1).get_help_won7nu_k$ = function () {
|
|
2679
|
+
return this.help_1;
|
|
2680
|
+
};
|
|
2567
2681
|
protoOf(PeekChar1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2568
2682
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrChar_zdzofu_k$(_this__u8e3s4, 0);
|
|
2569
2683
|
return IOPrimitiveUtils_getInstance().peekCharAndReply_r80pc6_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
|
|
@@ -2580,7 +2694,11 @@
|
|
|
2580
2694
|
function PeekChar2() {
|
|
2581
2695
|
PeekChar2_instance = this;
|
|
2582
2696
|
NonBacktrackable.call(this, 'peek_char');
|
|
2697
|
+
this.help_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```';
|
|
2583
2698
|
}
|
|
2699
|
+
protoOf(PeekChar2).get_help_won7nu_k$ = function () {
|
|
2700
|
+
return this.help_1;
|
|
2701
|
+
};
|
|
2584
2702
|
protoOf(PeekChar2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2585
2703
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
|
|
2586
2704
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrChar_zdzofu_k$(_this__u8e3s4, 1);
|
|
@@ -2598,7 +2716,11 @@
|
|
|
2598
2716
|
function PeekCode1() {
|
|
2599
2717
|
PeekCode1_instance = this;
|
|
2600
2718
|
NonBacktrackable_0.call(this, 'peek_code');
|
|
2719
|
+
this.help_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). 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```';
|
|
2601
2720
|
}
|
|
2721
|
+
protoOf(PeekCode1).get_help_won7nu_k$ = function () {
|
|
2722
|
+
return this.help_1;
|
|
2723
|
+
};
|
|
2602
2724
|
protoOf(PeekCode1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2603
2725
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrCharCode_tmh0sz_k$(_this__u8e3s4, 0);
|
|
2604
2726
|
return IOPrimitiveUtils_getInstance().peekCodeAndReply_y06qz3_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
|
|
@@ -2615,7 +2737,11 @@
|
|
|
2615
2737
|
function PeekCode2() {
|
|
2616
2738
|
PeekCode2_instance = this;
|
|
2617
2739
|
NonBacktrackable.call(this, 'peek_code');
|
|
2740
|
+
this.help_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). 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```';
|
|
2618
2741
|
}
|
|
2742
|
+
protoOf(PeekCode2).get_help_won7nu_k$ = function () {
|
|
2743
|
+
return this.help_1;
|
|
2744
|
+
};
|
|
2619
2745
|
protoOf(PeekCode2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2620
2746
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
|
|
2621
2747
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrCharCode_tmh0sz_k$(_this__u8e3s4, 1);
|
|
@@ -2633,7 +2759,11 @@
|
|
|
2633
2759
|
function PutByte1() {
|
|
2634
2760
|
PutByte1_instance = this;
|
|
2635
2761
|
NonBacktrackable_0.call(this, 'put_byte');
|
|
2762
|
+
this.help_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```';
|
|
2636
2763
|
}
|
|
2764
|
+
protoOf(PutByte1).get_help_won7nu_k$ = function () {
|
|
2765
|
+
return this.help_1;
|
|
2766
|
+
};
|
|
2637
2767
|
protoOf(PutByte1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2638
2768
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
2639
2769
|
};
|
|
@@ -2649,7 +2779,11 @@
|
|
|
2649
2779
|
function PutByte2() {
|
|
2650
2780
|
PutByte2_instance = this;
|
|
2651
2781
|
NonBacktrackable.call(this, 'put_byte');
|
|
2782
|
+
this.help_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```';
|
|
2652
2783
|
}
|
|
2784
|
+
protoOf(PutByte2).get_help_won7nu_k$ = function () {
|
|
2785
|
+
return this.help_1;
|
|
2786
|
+
};
|
|
2653
2787
|
protoOf(PutByte2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2654
2788
|
return Companion_getInstance_1().notSupported$default_bmg7vb_k$(_this__u8e3s4);
|
|
2655
2789
|
};
|
|
@@ -2665,7 +2799,11 @@
|
|
|
2665
2799
|
function PutChar1() {
|
|
2666
2800
|
PutChar1_instance = this;
|
|
2667
2801
|
NonBacktrackable_0.call(this, 'put_char');
|
|
2802
|
+
this.help_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```';
|
|
2668
2803
|
}
|
|
2804
|
+
protoOf(PutChar1).get_help_won7nu_k$ = function () {
|
|
2805
|
+
return this.help_1;
|
|
2806
|
+
};
|
|
2669
2807
|
protoOf(PutChar1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2670
2808
|
Companion_getInstance_1().ensuringArgumentIsChar_t2ym2o_k$(_this__u8e3s4, 0);
|
|
2671
2809
|
var tmp = IOPrimitiveUtils_getInstance();
|
|
@@ -2684,7 +2822,11 @@
|
|
|
2684
2822
|
function PutChar2() {
|
|
2685
2823
|
PutChar2_instance = this;
|
|
2686
2824
|
NonBacktrackable.call(this, 'put_char');
|
|
2825
|
+
this.help_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```';
|
|
2687
2826
|
}
|
|
2827
|
+
protoOf(PutChar2).get_help_won7nu_k$ = function () {
|
|
2828
|
+
return this.help_1;
|
|
2829
|
+
};
|
|
2688
2830
|
protoOf(PutChar2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2689
2831
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
2690
2832
|
Companion_getInstance_1().ensuringArgumentIsChar_t2ym2o_k$(_this__u8e3s4, 1);
|
|
@@ -2703,7 +2845,11 @@
|
|
|
2703
2845
|
function PutCode1() {
|
|
2704
2846
|
PutCode1_instance = this;
|
|
2705
2847
|
NonBacktrackable_0.call(this, 'put_code');
|
|
2848
|
+
this.help_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```';
|
|
2706
2849
|
}
|
|
2850
|
+
protoOf(PutCode1).get_help_won7nu_k$ = function () {
|
|
2851
|
+
return this.help_1;
|
|
2852
|
+
};
|
|
2707
2853
|
protoOf(PutCode1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2708
2854
|
Companion_getInstance_1().ensuringArgumentIsCharCode_64rreb_k$(_this__u8e3s4, 0);
|
|
2709
2855
|
var tmp = IOPrimitiveUtils_getInstance();
|
|
@@ -2722,7 +2868,11 @@
|
|
|
2722
2868
|
function PutCode2() {
|
|
2723
2869
|
PutCode2_instance = this;
|
|
2724
2870
|
NonBacktrackable.call(this, 'put_code');
|
|
2871
|
+
this.help_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```';
|
|
2725
2872
|
}
|
|
2873
|
+
protoOf(PutCode2).get_help_won7nu_k$ = function () {
|
|
2874
|
+
return this.help_1;
|
|
2875
|
+
};
|
|
2726
2876
|
protoOf(PutCode2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2727
2877
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
2728
2878
|
Companion_getInstance_1().ensuringArgumentIsCharCode_64rreb_k$(_this__u8e3s4, 1);
|
|
@@ -2741,7 +2891,11 @@
|
|
|
2741
2891
|
function Read1() {
|
|
2742
2892
|
Read1_instance = this;
|
|
2743
2893
|
NonBacktrackable_0.call(this, 'read');
|
|
2894
|
+
this.help_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```';
|
|
2744
2895
|
}
|
|
2896
|
+
protoOf(Read1).get_help_won7nu_k$ = function () {
|
|
2897
|
+
return this.help_1;
|
|
2898
|
+
};
|
|
2745
2899
|
protoOf(Read1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2746
2900
|
return IOPrimitiveUtils_getInstance().readTermAndReply$default_yi3mi7_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first);
|
|
2747
2901
|
};
|
|
@@ -2757,7 +2911,11 @@
|
|
|
2757
2911
|
function Read2() {
|
|
2758
2912
|
Read2_instance = this;
|
|
2759
2913
|
NonBacktrackable.call(this, 'read');
|
|
2914
|
+
this.help_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```';
|
|
2760
2915
|
}
|
|
2916
|
+
protoOf(Read2).get_help_won7nu_k$ = function () {
|
|
2917
|
+
return this.help_1;
|
|
2918
|
+
};
|
|
2761
2919
|
protoOf(Read2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2762
2920
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
|
|
2763
2921
|
return IOPrimitiveUtils_getInstance().readTermAndReply$default_yi3mi7_k$(_this__u8e3s4, channel, second);
|
|
@@ -2774,7 +2932,11 @@
|
|
|
2774
2932
|
function ReadTerm2() {
|
|
2775
2933
|
ReadTerm2_instance = this;
|
|
2776
2934
|
NonBacktrackable.call(this, 'read_term');
|
|
2935
|
+
this.help_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```";
|
|
2777
2936
|
}
|
|
2937
|
+
protoOf(ReadTerm2).get_help_won7nu_k$ = function () {
|
|
2938
|
+
return this.help_1;
|
|
2939
|
+
};
|
|
2778
2940
|
protoOf(ReadTerm2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2779
2941
|
return IOPrimitiveUtils_getInstance().readTermAndReply_11biz4_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentInputChannel_31908p_k$(_this__u8e3s4), first, true);
|
|
2780
2942
|
};
|
|
@@ -2790,7 +2952,11 @@
|
|
|
2790
2952
|
function ReadTerm3() {
|
|
2791
2953
|
ReadTerm3_instance = this;
|
|
2792
2954
|
NonBacktrackable_1.call(this, 'read_term');
|
|
2955
|
+
this.help_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```";
|
|
2793
2956
|
}
|
|
2957
|
+
protoOf(ReadTerm3).get_help_won7nu_k$ = function () {
|
|
2958
|
+
return this.help_1;
|
|
2959
|
+
};
|
|
2794
2960
|
protoOf(ReadTerm3).computeOne_oq9h0q_k$ = function (_this__u8e3s4, first, second, third) {
|
|
2795
2961
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
|
|
2796
2962
|
return IOPrimitiveUtils_getInstance().readTermAndReply_11biz4_k$(_this__u8e3s4, channel, second, true);
|
|
@@ -2813,7 +2979,11 @@
|
|
|
2813
2979
|
function SetInput() {
|
|
2814
2980
|
SetInput_instance = this;
|
|
2815
2981
|
NonBacktrackable_0.call(this, 'set_input');
|
|
2982
|
+
this.help_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```';
|
|
2816
2983
|
}
|
|
2984
|
+
protoOf(SetInput).get_help_won7nu_k$ = function () {
|
|
2985
|
+
return this.help_1;
|
|
2986
|
+
};
|
|
2817
2987
|
protoOf(SetInput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2818
2988
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsInputChannel_w9cvb1_k$(_this__u8e3s4, 0);
|
|
2819
2989
|
return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, SetInput$computeOne$lambda(_this__u8e3s4, channel));
|
|
@@ -2836,7 +3006,11 @@
|
|
|
2836
3006
|
function SetOutput() {
|
|
2837
3007
|
SetOutput_instance = this;
|
|
2838
3008
|
NonBacktrackable_0.call(this, 'set_output');
|
|
3009
|
+
this.help_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```';
|
|
2839
3010
|
}
|
|
3011
|
+
protoOf(SetOutput).get_help_won7nu_k$ = function () {
|
|
3012
|
+
return this.help_1;
|
|
3013
|
+
};
|
|
2840
3014
|
protoOf(SetOutput).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2841
3015
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
2842
3016
|
return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, SetOutput$computeOne$lambda(_this__u8e3s4, channel));
|
|
@@ -2867,7 +3041,11 @@
|
|
|
2867
3041
|
function SetTheory() {
|
|
2868
3042
|
SetTheory_instance = this;
|
|
2869
3043
|
NonBacktrackable_0.call(this, 'set_theory');
|
|
3044
|
+
this.help_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```";
|
|
2870
3045
|
}
|
|
3046
|
+
protoOf(SetTheory).get_help_won7nu_k$ = function () {
|
|
3047
|
+
return this.help_1;
|
|
3048
|
+
};
|
|
2871
3049
|
protoOf(SetTheory).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
2872
3050
|
Companion_getInstance_1().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
|
|
2873
3051
|
return this.setTheory_ratc22_k$(_this__u8e3s4, first.castTo_8vzplt_k$().get_value_j01efc_k$(), false);
|
|
@@ -2958,7 +3136,11 @@
|
|
|
2958
3136
|
function StreamProperty() {
|
|
2959
3137
|
StreamProperty_instance = this;
|
|
2960
3138
|
BinaryRelation.call(this, 'stream_property');
|
|
3139
|
+
this.help_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```';
|
|
2961
3140
|
}
|
|
3141
|
+
protoOf(StreamProperty).get_help_won7nu_k$ = function () {
|
|
3142
|
+
return this.help_1;
|
|
3143
|
+
};
|
|
2962
3144
|
protoOf(StreamProperty).computeAll_3ok8b8_k$ = function (_this__u8e3s4, first, second) {
|
|
2963
3145
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsVarOrStream_l86imo_k$(_this__u8e3s4, 0);
|
|
2964
3146
|
IOPrimitiveUtils_getInstance().ensuringArgumentIsStreamProperty_6yg2an_k$(_this__u8e3s4, 1);
|
|
@@ -2982,7 +3164,11 @@
|
|
|
2982
3164
|
function Write2() {
|
|
2983
3165
|
Write2_instance = this;
|
|
2984
3166
|
NonBacktrackable.call(this, 'write');
|
|
3167
|
+
this.help_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```";
|
|
2985
3168
|
}
|
|
3169
|
+
protoOf(Write2).get_help_won7nu_k$ = function () {
|
|
3170
|
+
return this.help_1;
|
|
3171
|
+
};
|
|
2986
3172
|
protoOf(Write2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
2987
3173
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
2988
3174
|
return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, channel, second, Companion_instance_7.default(_this__u8e3s4.context.get_operators_z0nmfu_k$()));
|
|
@@ -2999,7 +3185,11 @@
|
|
|
2999
3185
|
function WriteCanonical1() {
|
|
3000
3186
|
WriteCanonical1_instance = this;
|
|
3001
3187
|
NonBacktrackable_0.call(this, 'write_canonical');
|
|
3188
|
+
this.help_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```";
|
|
3002
3189
|
}
|
|
3190
|
+
protoOf(WriteCanonical1).get_help_won7nu_k$ = function () {
|
|
3191
|
+
return this.help_1;
|
|
3192
|
+
};
|
|
3003
3193
|
protoOf(WriteCanonical1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
3004
3194
|
return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentOutputChannel_jl8tcy_k$(_this__u8e3s4), first, Companion_instance_7.canonical());
|
|
3005
3195
|
};
|
|
@@ -3015,7 +3205,11 @@
|
|
|
3015
3205
|
function WriteCanonical2() {
|
|
3016
3206
|
WriteCanonical2_instance = this;
|
|
3017
3207
|
NonBacktrackable.call(this, 'write_canonical');
|
|
3208
|
+
this.help_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```";
|
|
3018
3209
|
}
|
|
3210
|
+
protoOf(WriteCanonical2).get_help_won7nu_k$ = function () {
|
|
3211
|
+
return this.help_1;
|
|
3212
|
+
};
|
|
3019
3213
|
protoOf(WriteCanonical2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
3020
3214
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
3021
3215
|
return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, channel, second, Companion_instance_7.canonical());
|
|
@@ -3032,7 +3226,11 @@
|
|
|
3032
3226
|
function WriteEq1() {
|
|
3033
3227
|
WriteEq1_instance = this;
|
|
3034
3228
|
NonBacktrackable_0.call(this, 'writeq');
|
|
3229
|
+
this.help_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 are written in operator notation, and `'$VAR'(N)` terms are written as variable letters. It succeeds deterministically. The current implementation formats operators according to the default operator table rather than the current one. 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```";
|
|
3035
3230
|
}
|
|
3231
|
+
protoOf(WriteEq1).get_help_won7nu_k$ = function () {
|
|
3232
|
+
return this.help_1;
|
|
3233
|
+
};
|
|
3036
3234
|
protoOf(WriteEq1).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
|
|
3037
3235
|
return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentOutputChannel_jl8tcy_k$(_this__u8e3s4), first, Companion_instance_7.readable());
|
|
3038
3236
|
};
|
|
@@ -3048,7 +3246,11 @@
|
|
|
3048
3246
|
function WriteEq2() {
|
|
3049
3247
|
WriteEq2_instance = this;
|
|
3050
3248
|
NonBacktrackable.call(this, 'writeq');
|
|
3249
|
+
this.help_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 and writing `'$VAR'(N)` terms as variable letters; the current implementation formats operators according to the default operator table rather than the current one. 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```";
|
|
3051
3250
|
}
|
|
3251
|
+
protoOf(WriteEq2).get_help_won7nu_k$ = function () {
|
|
3252
|
+
return this.help_1;
|
|
3253
|
+
};
|
|
3052
3254
|
protoOf(WriteEq2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
3053
3255
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
3054
3256
|
return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, channel, second, Companion_instance_7.readable());
|
|
@@ -3065,7 +3267,11 @@
|
|
|
3065
3267
|
function WriteTerm2() {
|
|
3066
3268
|
WriteTerm2_instance = this;
|
|
3067
3269
|
NonBacktrackable.call(this, 'write_term');
|
|
3270
|
+
this.help_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```";
|
|
3068
3271
|
}
|
|
3272
|
+
protoOf(WriteTerm2).get_help_won7nu_k$ = function () {
|
|
3273
|
+
return this.help_1;
|
|
3274
|
+
};
|
|
3069
3275
|
protoOf(WriteTerm2).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
|
|
3070
3276
|
var formatter = IOPrimitiveUtils_getInstance().ensuringArgumentIsFormatter_5l8dg0_k$(_this__u8e3s4, 1);
|
|
3071
3277
|
return IOPrimitiveUtils_getInstance().writeTermAndReply_wyva0k_k$(_this__u8e3s4, IOPrimitiveUtils_getInstance().get_currentOutputChannel_jl8tcy_k$(_this__u8e3s4), first, formatter);
|
|
@@ -3082,7 +3288,11 @@
|
|
|
3082
3288
|
function WriteTerm3() {
|
|
3083
3289
|
WriteTerm3_instance = this;
|
|
3084
3290
|
NonBacktrackable_1.call(this, 'write_term');
|
|
3291
|
+
this.help_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```";
|
|
3085
3292
|
}
|
|
3293
|
+
protoOf(WriteTerm3).get_help_won7nu_k$ = function () {
|
|
3294
|
+
return this.help_1;
|
|
3295
|
+
};
|
|
3086
3296
|
protoOf(WriteTerm3).computeOne_oq9h0q_k$ = function (_this__u8e3s4, first, second, third) {
|
|
3087
3297
|
var channel = IOPrimitiveUtils_getInstance().ensuringArgumentIsOutputChannel_kmdrtk_k$(_this__u8e3s4, 0);
|
|
3088
3298
|
var formatter = IOPrimitiveUtils_getInstance().ensuringArgumentIsFormatter_5l8dg0_k$(_this__u8e3s4, 2);
|
|
@@ -3359,7 +3569,7 @@
|
|
|
3359
3569
|
function _get_REQUEST_$ref_g5y4c1() {
|
|
3360
3570
|
return constructCallableReference(function () {
|
|
3361
3571
|
return get_REQUEST();
|
|
3362
|
-
}, 0, 0,
|
|
3572
|
+
}, 0, 0, 136);
|
|
3363
3573
|
}
|
|
3364
3574
|
var properties_initialized_RemoteAndBrowserIO_kt_w2uybl;
|
|
3365
3575
|
function _init_properties_RemoteAndBrowserIO_kt__6j78jn() {
|
|
@@ -3459,7 +3669,7 @@
|
|
|
3459
3669
|
function _get_FILE_URL_TO_PATH_$ref_kwvzgc() {
|
|
3460
3670
|
return constructCallableReference(function () {
|
|
3461
3671
|
return get_FILE_URL_TO_PATH();
|
|
3462
|
-
}, 0, 0,
|
|
3672
|
+
}, 0, 0, 137);
|
|
3463
3673
|
}
|
|
3464
3674
|
function openInputChannel$lambda($this_openInputChannel) {
|
|
3465
3675
|
return function () {
|