Commit 5a8121f4 authored by Siebers, Michael's avatar Siebers, Michael
Browse files

explicate error behavior

parent f5342a83
......@@ -127,21 +127,21 @@ creation_time(Item, Time) :- theory_bg:item(Item, Dict), !,
%! change_time(++File, -Timestamp) is semidet.
%
% Returns the change time of the a file. File is the absolute
% path of the file.
% path of the file. Fails if File is a directory.
change_time(File, Time) :- theory_bg:item(File, Dict), !,
Time=Dict.get(change_time).
%! modification_time(++File, -Timestamp) is semidet.
%
% Returns the modification time of a file. File is the absolute
% path of the file.
% path of the file. Fails if File is a directory.
modification_time(File, Time) :- theory_bg:item(File, Dict), !,
Time=Dict.get(modification_time).
%! access_time(++File, -Timestamp) is semidet.
%
% Returns the access time of the a file. File is the absolute
% path of the file.
% path of the file. Fails if File is a directory.
access_time(File, Time) :- theory_bg:item(File, Dict), !,
Time=Dict.get(access_time).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment