+
Point of view
ANY
expanded class FILE_TOOLS
Summary
Overview
exported features
same_files (path1: STRING, path2: STRING): BOOLEAN
effective function
True if the path1 file exists and has the very same content as file path2.
same_physical_file (path1: STRING, path2: STRING): BOOLEAN
effective function
True if path1 and path2 physically refer to the same file (e.g. symlinks to a same file will return True here)
file_exists (path: STRING): BOOLEAN
effective function
is_readable (path: STRING): BOOLEAN
effective function
True if path file exists and is either a readable file or an accessible directory.
is_empty (path: STRING): BOOLEAN
effective function
True if path file exists, is readable and is an empty file.
rename_to (old_path: STRING, new_path: STRING)
effective procedure
Try to change the name or the location of a file.
copy_to (source_path: STRING, target_path: STRING)
effective procedure
Try to copy the source into the target.
delete (path: STRING)
effective procedure
Try to delete the given path file.
size_of (path: STRING): INTEGER_32
effective function
Total size of file path in number of bytes.
last_change_of (path: STRING): TIME
effective function
Of the last modification of path.
is_file (path: STRING): BOOLEAN
effective function
Is path a regular file?
is_directory (path: STRING): BOOLEAN
effective function
Is path a direcory?