upl 0.2.2 → 0.2.3
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.
- checksums.yaml +4 -4
- data/History.txt +3 -0
- data/lib/upl/extern.rb +55 -48
- data/lib/upl/tree.rb +3 -0
- data/lib/upl/version.rb +1 -1
- metadata +1 -1
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: f95134fc8f05dbcae1453985815292af7af307cb7a9ab80fc767a45cdb8e06e2
|
4
|
+
data.tar.gz: fd6ce992bdd55c20998c470b187d0ad4c5ce87fe4ae358fe38c37a0bf6a935ad
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: ca68fb686b4b57d4c0a135fe9885b2b8c88cdfcababd0b9a80965f46e5199afa0f6c24d903747be9a2cc6cc904e767df869d3ee193087282849afa21634523f9
|
7
|
+
data.tar.gz: 99e4b8e2b6d908d5c03bcf2a2f2ccb7777accfe94a092ef43b3a7b9638efb529ac483f1f71a227da3528ac1ae0732319c291f98d3aa39d92877cd34f827a1fd8
|
data/History.txt
CHANGED
data/lib/upl/extern.rb
CHANGED
@@ -35,9 +35,8 @@ module Upl
|
|
35
35
|
exit 1
|
36
36
|
end
|
37
37
|
|
38
|
-
if (version = swipl_config_values['PLVERSION'])
|
39
|
-
|
40
|
-
raise "unsupported version #{version}"
|
38
|
+
if (version = swipl_config_values['PLVERSION']) < '80129'
|
39
|
+
raise "unsupported version <#{version}"
|
41
40
|
end
|
42
41
|
|
43
42
|
dlload so_path
|
@@ -105,30 +104,31 @@ module Upl
|
|
105
104
|
PL_VARIABLE = (1)
|
106
105
|
PL_ATOM = (2)
|
107
106
|
PL_INTEGER = (3)
|
108
|
-
|
109
|
-
|
110
|
-
|
111
|
-
|
112
|
-
|
113
|
-
|
114
|
-
|
115
|
-
|
116
|
-
|
117
|
-
|
118
|
-
|
119
|
-
|
120
|
-
|
121
|
-
|
122
|
-
|
123
|
-
|
124
|
-
|
125
|
-
|
126
|
-
|
127
|
-
|
128
|
-
|
129
|
-
|
130
|
-
|
131
|
-
|
107
|
+
PL_RATIONAL = (4)
|
108
|
+
PL_FLOAT = (5)
|
109
|
+
PL_STRING = (6)
|
110
|
+
PL_TERM = (7)
|
111
|
+
PL_NIL = (8)
|
112
|
+
PL_BLOB = (9)
|
113
|
+
PL_LIST_PAIR = (10)
|
114
|
+
PL_FUNCTOR = (11)
|
115
|
+
PL_LIST = (12)
|
116
|
+
PL_CHARS = (13)
|
117
|
+
PL_POINTER = (14)
|
118
|
+
PL_CODE_LIST = (15)
|
119
|
+
PL_CHAR_LIST = (16)
|
120
|
+
PL_BOOL = (17)
|
121
|
+
PL_FUNCTOR_CHARS = (18)
|
122
|
+
PL_PREDICATE_INDICATOR = (19)
|
123
|
+
PL_SHORT = (20)
|
124
|
+
PL_INT = (21)
|
125
|
+
PL_LONG = (22)
|
126
|
+
PL_DOUBLE = (23)
|
127
|
+
PL_NCHARS = (24)
|
128
|
+
PL_UTF8_CHARS = (25)
|
129
|
+
PL_UTF8_STRING = (26)
|
130
|
+
PL_INT64 = (27)
|
131
|
+
PL_NUTF8_CHARS = (28)
|
132
132
|
PL_NUTF8_CODES = (29)
|
133
133
|
PL_NUTF8_STRING = (30)
|
134
134
|
PL_NWCHARS = (31)
|
@@ -159,27 +159,34 @@ module Upl
|
|
159
159
|
|
160
160
|
# /usr/lib64/swipl/include/SWI-Prolog.h
|
161
161
|
module Convert
|
162
|
-
BUF_DISCARDABLE =
|
163
|
-
BUF_RING =
|
164
|
-
BUF_MALLOC =
|
165
|
-
BUF_ALLOW_STACK =
|
166
|
-
|
167
|
-
|
168
|
-
|
169
|
-
|
170
|
-
|
171
|
-
|
172
|
-
|
173
|
-
|
174
|
-
|
175
|
-
|
176
|
-
|
177
|
-
|
178
|
-
|
179
|
-
|
180
|
-
|
181
|
-
|
182
|
-
|
162
|
+
BUF_DISCARDABLE = 0x00000000 # Store in single thread-local buffer
|
163
|
+
BUF_RING = 0x00010000 # Store in ring of 16 buffers
|
164
|
+
BUF_MALLOC = 0x00020000 # Store using PL_malloc()
|
165
|
+
BUF_ALLOW_STACK = 0x00040000 # Allow pointer into (global) stack
|
166
|
+
BUF_NORING = 0x00080000 # Do not store in ring
|
167
|
+
|
168
|
+
# output representation
|
169
|
+
REP_ISO_LATIN_1 = 0x00000000
|
170
|
+
REP_UTF8 = 0x00100000
|
171
|
+
REP_MB = 0x00200000
|
172
|
+
|
173
|
+
CVT_ATOM = 0x00000001
|
174
|
+
CVT_STRING = 0x00000002
|
175
|
+
CVT_LIST = 0x00000004
|
176
|
+
CVT_INTEGER = 0x00000008
|
177
|
+
CVT_RATIONAL = 0x00000010
|
178
|
+
CVT_FLOAT = 0x00000020
|
179
|
+
CVT_VARIABLE = 0x00000040
|
180
|
+
CVT_NUMBER = (CVT_RATIONAL|CVT_FLOAT)
|
181
|
+
CVT_ATOMIC = (CVT_NUMBER|CVT_ATOM|CVT_STRING)
|
182
|
+
CVT_WRITE = 0x00000080
|
183
|
+
CVT_WRITE_CANONICAL = 0x00000080
|
184
|
+
CVT_WRITEQ = 0x000000C0
|
185
|
+
CVT_ALL = (CVT_ATOMIC|CVT_LIST)
|
186
|
+
CVT_MASK = 0x00000fff
|
187
|
+
|
188
|
+
CVT_EXCEPTION = 0x00001000 # throw exception on error
|
189
|
+
CVT_VARNOFAIL = 0x00002000 # return 2 if argument is unbound
|
183
190
|
end
|
184
191
|
|
185
192
|
extern 'predicate_t PL_pred(functor_t f, module_t m)'
|
data/lib/upl/tree.rb
CHANGED
data/lib/upl/version.rb
CHANGED