The following functions are declared in < LEDA/file.htex2html_wrap_inline> .
string | set_directory(string new_dir) | |
sets the current working directory to new_dir and returns the name of the old cwd. | ||
string | get_directory() | returns the name of the current working directory. |
list<string> | get_directories(string dir) | |
returns the list of names of all sub-directories in directory dir. | ||
list<string> | get_files(string dir) | returns the list of names of all regular files in directory dir. |
list<string> | get_files(string dir, string pattern) | |
returns the list of names of all regular files in directory dir matching pattern. | ||
list<string> | get_entries(string dir) | returns the list of all entries (directory and files) of directory dir. |
bool | is_directory(string fname) | |
returns true if fname is the path name of a directory and false otherwise. | ||
bool | is_file(string fname) | returns true if fname is the path name of a regular file and false otherwise. |
bool | is_link(string fname) | returns true if fname is the path name of a symbolic link and false otherwise. |
int | size_of_file(string fname) | |
returns the size of file fname in bytes. | ||
string | tmp_file_name() | returns a unique name for a temporary file. |
bool | delete_file(string fname) | deletes file fname returns true on success and false otherwise. |
string | first_file_in_path(string fname, string path, char sep = ':') | |
searches all directories in string path (separated by sep) for the first directory dir that contains a file with name fname and returns dir/fname (the empty string if no such directory is contained in path). |