upl 0.2.2 → 0.2.3
Sign up to get free protection for your applications and to get access to all the features.
- 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