rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ENHANCED: library(files): Error handling if requested files do not exist.

Browse Source 
We now throw exceptions instead of failing silently, or even crashing
when using file_size/2 etc. with nonexistent files.
This commit is contained in:
Markus Triska
2020-09-13 10:21:57 +02:00
parent 323e9c3eb3
commit 46dfaa5b28
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/files.pl
View File

@@ -73,6 +73,7 @@ directory_files(Directory, Files) :-
'$directory_files'(Directory, Files). '$directory_files'(Directory, Files).
file_size(File, Size) :- file_size(File, Size) :-
file_must_exist(File, file_size/2),
list_of_chars(File), list_of_chars(File),
can_be(integer, Size), can_be(integer, Size),
'$file_size'(File, Size). '$file_size'(File, Size).
@@ -90,9 +91,15 @@ make_directory(Directory) :-
'$make_directory'(Directory). '$make_directory'(Directory).
delete_file(File) :- delete_file(File) :-
file_must_exist(File, delete_file/1),
list_of_chars(File), list_of_chars(File),
'$delete_file'(File). '$delete_file'(File).
file_must_exist(File, Context) :-
( file_exists(File) -> true
; throw(error(existence_error(file, File), Context))
).
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Dir0 is the current working directory, and the working directory Dir0 is the current working directory, and the working directory
is changed to Dir. is changed to Dir.
@@ -142,6 +149,7 @@ file_creation_time(File, T) :-
file_time_(File, creation, T). file_time_(File, creation, T).
file_time_(File, Which, T) :- file_time_(File, Which, T) :-
file_must_exist(File, file_time_/3),
'$file_time'(File, Which, T0), '$file_time'(File, Which, T0),
read_term_from_chars(T0, T). read_term_from_chars(T0, T).