expanded class interface FILE_TOOLS feature(s) from FILE_TOOLS same_files (path1, path2: STRING): BOOLEAN -- True if path1 file exists and as the -- same contents as file path2. require path1 /= Void; path2 /= Void is_readable (path: STRING): BOOLEAN require path /= Void -- True if path file exists and is a readable file. is_empty (path: STRING): BOOLEAN -- True if path file exists, is readable and is an -- empty file. rename_to (old_path, new_path: STRING) require old_path /= Void; new_path /= Void delete (path: STRING) require path /= Void mkdir (name: STRING) end of expanded FILE_TOOLS