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

add tests for file module predicates

Browse Source 
reproduce failing `directory_exists/1` with working directory passed as first argument
reproduce failing `delete_directory/1` with ./test directory passed as first argument
reproduce failing `file_size/1` with 2 bytes files passed as first argument
reproduce failing `file_exists/1` with existing file passed as first argument
reproduce failing `file_modification_time/1`, `file_access_time/1` and `file_creation_time/1` with existing file passed as first argument
reproduce failing `directory_files/2` with existing directory passed as first argument
reproduce failing `delete_file/1` with existing file passed as first argument
reproduce failing `make_directory/1` with non-existing directory passed as first argument
reproduce failing `make_directory_path/1` with non-existing path passed as first argument
reproduce failing `path_canonical/2` with non-canonical path passed as first argument
reproduce failing `rename_file/2` with existing file passed as first argument, target file as second arg
revised `directory_exists/1` test case
renamed test files, test directories
use `path_segments/2`, remove path separators
do not write file size to current output
revised `directory_files/2` test
revised `path_canonical/2` test
revised `file_exists/1` test
removed hardcoded expected size
extracted hardcoded directory argument
remove path prefix containing path separator
revised expected ls cmd exit code so that it is platform-agnostic

Signed-off-by: Thierry Marianne <thierry@marianne.io>
This commit is contained in:
Thierry Marianne
2025-09-19 22:40:45 +02:00
parent e9ff1348b1
commit 12db664bd9
13 changed files with 422 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
tests-pl/issue_delete_directory.pl Normal file
View File

@@ -0,0 +1,30 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(TargetDir),
ground(TargetDir).
act(TargetDir) :-
getenv("TARGET_DIRECTORY", TargetDir),
delete_directory(TargetDir),
append(["ls ", TargetDir], ListFilesCmd),
shell(ListFilesCmd, 0),
throw(system_error).
act(TargetDir) :-
getenv("TARGET_DIRECTORY", TargetDir),
append(["ls ", TargetDir], ListFilesCmd),
\+ shell(ListFilesCmd, 0),
write(directory_deleted).
main :-
call_cleanup(
(setenv("TARGET_DIRECTORY", "delete_directory_test"),
shell("mkdir delete_directory_test", 0),
check),
shell("test -d delete_directory_test && rmdir delete_directory_test || true", 0)
).
:- initialization(main).

30
tests-pl/issue_delete_file.pl Normal file
View File

@@ -0,0 +1,30 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(TargetFile),
ground(TargetFile).
act(TargetFile) :-
getenv("TARGET_FILE", TargetFile),
delete_file(TargetFile),
append(["ls ", TargetFile], ListFilesCmd),
shell(ListFilesCmd, 0),
throw(system_error).
act(TargetFile) :-
getenv("TARGET_FILE", TargetFile),
append(["ls ", TargetFile], ListFilesCmd),
\+ shell(ListFilesCmd, 0),
write(file_deleted).
main :-
call_cleanup(
(setenv("TARGET_FILE", "delete_file_test"),
shell("touch delete_file_test", 0),
check),
shell("test -e delete_file_test && rm delete_file_test || true", 0)
).
:- initialization(main).

20
tests-pl/issue_directory_exists.pl Normal file
View File

@@ -0,0 +1,20 @@
:- use_module(library(files)).
:- use_module(library(os), [setenv/2, getenv/2]).
check :-
act(TargetDir),
ground(TargetDir).
act(TargetDir) :-
getenv("TARGET_DIRECTORY", TargetDir),
\+ directory_exists(TargetDir),
throw(existence_error(directory,TargetDir)).
act(TargetDir) :-
getenv("TARGET_DIRECTORY", TargetDir),
directory_exists(TargetDir).
main :-
setenv("TARGET_DIRECTORY", "."),
check.
:- initialization(main).

30
tests-pl/issue_directory_files.pl Normal file
View File

@@ -0,0 +1,30 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(TargetDirectory, Files),
ground(TargetDirectory),
length(Files, N),
write(N).
act(TargetDirectory, Files) :-
getenv("TARGET_DIRECTORY", TargetDirectory),
directory_files(TargetDirectory, Files).
main :-
path_segments(Path, ["directory_files_test_parent", "directory_files_test_file"]),
call_cleanup(
(setenv("TARGET_DIRECTORY", "directory_files_test_parent"),
shell("test -d directory_files_test_parent || mkdir directory_files_test_parent", 0),
append(["test -e ", Path, " || touch ", Path], Cmd),
shell(Cmd, 0),
check),
(append(["rm -f ", Path, " || true"], Cmd1),
shell(Cmd1, 0),
shell("rmdir directory_files_test_parent || true", 0),
shell("ls directory_files_test_parent", 1))
).
:- initialization(main).

36
tests-pl/issue_file_copy.pl Normal file
View File

@@ -0,0 +1,36 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(Source, Destination),
ground(Source),
ground(Destination).
act(Source, Destination) :-
getenv("SOURCE", Source),
getenv("DESTINATION", Destination),
append("ls ", Source, Cmd),
shell(Cmd, 0),
file_copy(Source, Destination),
append("ls ", Destination, Cmd),
\+ shell(Cmd, 0),
throw(existence_error(directory,Destination)).
act(Source, Destination) :-
getenv("SOURCE", Source),
getenv("DESTINATION", Destination),
append("ls ", Destination, Cmd),
shell(Cmd, 0),
write(file_copied).
main :-
call_cleanup(
(setenv("SOURCE", "file_copy_test_source"),
setenv("DESTINATION", "file_copy_test_destination"),
shell("touch file_copy_test_source", 0),
check),
shell("rm -f file_copy_test_source file_copy_test_destination", 0)
).
:- initialization(main).

25
tests-pl/issue_file_exists.pl Normal file
View File

@@ -0,0 +1,25 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(TargetFile),
ground(TargetFile).
act(TargetFile) :-
getenv("TARGET_FILE", TargetFile),
\+ file_exists(TargetFile),
throw(existence_error(file,TargetFile)).
act(TargetFile) :-
getenv("TARGET_FILE", TargetFile),
file_exists(TargetFile).
main :-
call_cleanup(
(setenv("TARGET_FILE", "file_exists_test"),
shell("touch file_exists_test", 0),
check),
shell("rm -f file_exists_test", 0)
).
:- initialization(main).

23
tests-pl/issue_file_size.pl Normal file
View File

@@ -0,0 +1,23 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(TargetFile, Size),
ground(TargetFile),
integer(Size).
act(TargetFile, Size) :-
getenv("TARGET_FILE", TargetFile),
file_size(TargetFile, Size).
main :-
call_cleanup(
(setenv("TARGET_FILE", "file_size_test"),
shell("echo '1' > file_size_test", 0),
check),
shell("rm -f file_size_test", 0)
).
:- initialization(main).

26
tests-pl/issue_file_time.pl Normal file
View File

@@ -0,0 +1,26 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check(Time) :-
act(TargetFile, Time),
ground(TargetFile),
ground(Time).
act(TargetFile, Time) :-
getenv("TARGET_FILE", TargetFile),
( file_access_time(TargetFile, Time)
; file_creation_time(TargetFile, Time)
; file_modification_time(TargetFile, Time) ).
main :-
call_cleanup(
(setenv("TARGET_FILE", "file_time_test"),
shell("touch file_time_test", 0),
findall(T, check(T), Ts),
length(Ts, 3)),
shell("rm -f file_time_test", 0)
).
:- initialization(main).

29
tests-pl/issue_make_directory.pl Normal file
View File

@@ -0,0 +1,29 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(TargetDir),
ground(TargetDir).
act(TargetDir) :-
getenv("TARGET_DIRECTORY", TargetDir),
make_directory(TargetDir),
append(["ls ", TargetDir], ListFilesCmd),
\+ shell(ListFilesCmd, 0),
throw(system_error).
act(TargetDir) :-
getenv("TARGET_DIRECTORY", TargetDir),
append(["ls ", TargetDir], ListFilesCmd),
shell(ListFilesCmd, 0),
write(directory_made).
main :-
call_cleanup(
(setenv("TARGET_DIRECTORY", "make_directory_test"),
check),
shell("test -d make_directory_test && rmdir make_directory_test || true", 0)
).
:- initialization(main).

30
tests-pl/issue_make_directory_path.pl Normal file
View File

@@ -0,0 +1,30 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(TargetPath),
ground(TargetPath).
act(TargetPath) :-
getenv("TARGET_DIRECTORY", TargetPath),
make_directory_path(TargetPath),
append(["ls ", TargetPath], ListFilesCmd),
\+ shell(ListFilesCmd, 0),
throw(system_error).
act(TargetPath) :-
getenv("TARGET_DIRECTORY", TargetPath),
append(["ls ", TargetPath], ListFilesCmd),
shell(ListFilesCmd, 0),
write(directory_path_made).
main :-
call_cleanup(
(setenv("TARGET_DIRECTORY", "make_directory_test/subdir"),
check),
(shell("test -d make_directory_test/subdir && rmdir make_directory_test/subdir || true", 0),
shell("test -d make_directory_test && rmdir make_directory_test || true", 0))
).
:- initialization(main).

27
tests-pl/issue_path_canonical.pl Normal file
View File

@@ -0,0 +1,27 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(Dir),
ground(Dir).
act(Dir) :-
getenv("TARGET_PATH", Dir),
\+ path_canonical(Dir, _CanonicalPath),
throw(system_error).
act(Dir) :-
getenv("TARGET_PATH", Dir),
path_canonical(Dir, _CanonicalPath),
write(path_canonicalized).
main :-
path_segments(Path, ["path_canonical_test", "..", "path_canonical_test"]),
call_cleanup(
(setenv("TARGET_PATH", Path),
shell("mkdir path_canonical_test", 0),
check),
shell("test -d path_canonical_test && rmdir path_canonical_test || true", 0)
).
:- initialization(main).

32
tests-pl/issue_rename_file.pl Normal file
View File

@@ -0,0 +1,32 @@
:- use_module(library(files)).
:- use_module(library(iso_ext)).
:- use_module(library(lists)).
:- use_module(library(os), [setenv/2, getenv/2, shell/2]).
check :-
act(Source, Destination),
ground(Source),
ground(Destination).
act(Source, Destination) :-
getenv("SOURCE", Source),
getenv("DESTINATION", Destination),
\+ rename_file(Source, Destination),
throw(system_error).
act(Source, Destination) :-
getenv("SOURCE", Source),
getenv("DESTINATION", Destination),
append(["ls ", Destination], Cmd),
shell(Cmd, 0),
write(file_renamed).
main :-
call_cleanup(
(setenv("SOURCE", "rename_file_test"),
setenv("DESTINATION", "rename_file_test_renamed"),
shell("touch rename_file_test", 0),
check),
shell("rm -f rename_file_test_renamed || rm -f rename_file_test", 0)
).
:- initialization(main).