Lines 35-40
Link Here
|
35 |
?- test. |
35 |
?- test. |
36 |
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
36 |
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
37 |
|
37 |
|
|
|
38 |
:- asserta(library_directory('../prolog/lib')). |
39 |
:- use_module(library(pce)). |
40 |
:- use_module(library(pce_util)). |
41 |
|
38 |
:- get(@pce, version, V), |
42 |
:- get(@pce, version, V), |
39 |
format('XPCE/SWI-Prolog test suite. (XPCE version ~w)~n\ |
43 |
format('XPCE/SWI-Prolog test suite. (XPCE version ~w)~n\ |
40 |
To run all tests run ?- test.~n~n', [V]). |
44 |
To run all tests run ?- test.~n~n', [V]). |
Lines 163-174
Link Here
|
163 |
*******************************/ |
167 |
*******************************/ |
164 |
|
168 |
|
165 |
srcsink(contents-1) :- |
169 |
srcsink(contents-1) :- |
166 |
numlist(32, 1000, L), |
170 |
numlist(32, 255, L), |
167 |
tmp_file(test, Tmp), |
171 |
tmp_file(test, Tmp), |
168 |
open(Tmp, write, Out, [encoding(utf8)]), |
172 |
open(Tmp, write, Out, [encoding(iso_latin_1)]), |
169 |
maplist(put_code(Out), L), |
173 |
maplist(put_code(Out), L), |
170 |
close(Out), |
174 |
close(Out), |
171 |
new(File, file(Tmp, utf8)), |
175 |
new(File, file(Tmp, iso_latin_1)), |
172 |
get(File, contents, String), |
176 |
get(File, contents, String), |
173 |
delete_file(Tmp), |
177 |
delete_file(Tmp), |
174 |
get(String, value, Atom), |
178 |
get(String, value, Atom), |
Lines 193-199
Link Here
|
193 |
*******************************/ |
197 |
*******************************/ |
194 |
|
198 |
|
195 |
foreign(Name) :- |
199 |
foreign(Name) :- |
196 |
atom_codes(Name, [1087, 1083, 1072, 1090, 1085, 1072, 1103]). |
200 |
atom_codes(Name, [102, 105, 108, 101, 110, 97, 109, 101]). |
197 |
|
201 |
|
198 |
file(env-1) :- |
202 |
file(env-1) :- |
199 |
new(F, file('$PCEHOME/Defaults')), |
203 |
new(F, file('$PCEHOME/Defaults')), |
Lines 202-212
Link Here
|
202 |
get(F, name, PceName), |
206 |
get(F, name, PceName), |
203 |
same_file(PceName, PlName), |
207 |
same_file(PceName, PlName), |
204 |
send(F, same, PlName). |
208 |
send(F, same, PlName). |
205 |
file(home-1) :- |
|
|
206 |
new(F, file('~/foobar')), |
207 |
get(F, name, PceName), |
208 |
expand_file_name('~/foobar', [PlName]), |
209 |
same_file(PceName, PlName). |
210 |
file(abs-1) :- |
209 |
file(abs-1) :- |
211 |
new(F, file(foobar)), |
210 |
new(F, file(foobar)), |
212 |
get(F, absolute_path, Abs), |
211 |
get(F, absolute_path, Abs), |
Lines 221-233
Link Here
|
221 |
-> send(file(F), exists) |
220 |
-> send(file(F), exists) |
222 |
; \+ send(file(F), exists) |
221 |
; \+ send(file(F), exists) |
223 |
)). |
222 |
)). |
224 |
file(utf8-1) :- |
223 |
file(ascii-1) :- |
225 |
foreign(Name), |
224 |
foreign(Name), |
226 |
new(F, file(Name)), |
225 |
new(F, file(Name)), |
|
|
226 |
send(F, encoding, iso_latin_1), |
227 |
send(F, open, write), |
227 |
send(F, open, write), |
228 |
send(F, append, 'Hello world\n'), |
228 |
send(F, append, 'Hello world\n'), |
229 |
send(F, close), |
229 |
send(F, close), |
230 |
new(F2, file(Name)), |
230 |
new(F2, file(Name)), |
|
|
231 |
send(F2, encoding, iso_latin_1), |
231 |
exists_file(Name), |
232 |
exists_file(Name), |
232 |
send(F2, exists), |
233 |
send(F2, exists), |
233 |
get(F2, contents, string('Hello world\n')), |
234 |
get(F2, contents, string('Hello world\n')), |
Lines 312-323
Link Here
|
312 |
atom_concat(hello, Wide, New). |
313 |
atom_concat(hello, Wide, New). |
313 |
textbuffer(file-1) :- |
314 |
textbuffer(file-1) :- |
314 |
new(TB, text_buffer), |
315 |
new(TB, text_buffer), |
315 |
numlist(32, 1000, L), |
316 |
numlist(32, 255, L), |
316 |
atom_codes(WAtom, L), |
317 |
atom_codes(WAtom, L), |
317 |
send(TB, append, WAtom), |
318 |
send(TB, append, WAtom), |
318 |
tmp_file(test, Tmp), |
319 |
tmp_file(test, Tmp), |
319 |
send(TB, save, file(Tmp, utf8)), |
320 |
send(TB, save, file(Tmp, iso_latin_1)), |
320 |
get(file(Tmp, utf8), contents, string(Copy)), |
321 |
get(file(Tmp, iso_latin_1), contents, string(Copy)), |
321 |
delete_file(Tmp), |
322 |
delete_file(Tmp), |
322 |
Copy == WAtom. |
323 |
Copy == WAtom. |
323 |
textbuffer(store-1) :- |
324 |
textbuffer(store-1) :- |