diff options
Diffstat (limited to 'src/files_map.ads')
-rw-r--r-- | src/files_map.ads | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index c48aebd28..265e3d04d 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -63,9 +63,16 @@ package Files_Map is function Is_Gt (L : Time_Stamp_Id; R : Time_Stamp_Id) return Boolean; function Get_Time_Stamp_String (Ts : Time_Stamp_Id) return String; - -- Return the date of the file (last modification date) as a string. - function Get_File_Time_Stamp (File : Source_File_Entry) - return Time_Stamp_Id; + -- Return the checksum of the content of FILE. + function Get_File_Checksum (File : Source_File_Entry) + return File_Checksum_Id; + + -- True if two file checksums are identical. + function Is_Eq (L, R : File_Checksum_Id) return Boolean; + + -- String image of CHECKSUM. + function Get_File_Checksum_String (Checksum : File_Checksum_Id) + return String; -- Return the current date of the system. function Get_Os_Time_Stamp return Time_Stamp_Id; |