Version 5.0 The LEDA User Manual

4.12 Files and Directories ( file )
The following functions are declared in .
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.
string
get home directory( ) returns the name of the user’s home directory.
string get directory delimiter( )
returns the character that delimits directory names in
a path (i.e. “\” on Windows and “/” on Unix).
void
void
list
append directory delimiter(string& dir)
appends the directory delimiter to dir if dir does not
already end with the delimiter.
remove trailing directory delimiter(string& dir)
get directories(string dir)
removes the directory delimiter from dir if dir ends
with it.
returns the list of names of all sub-directories in directory
dir.
list get files(string dir) returns the list of names of all regular files in directory
dir.
list
list
bool
bool
get files(string dir, string pattern)
get entries(string dir)
create directory(string fname)
is directory(string fname)
returns the list of names of all regular files in directory
dir matching pattern.
returns the list of all entries (directory and files) of
directory dir.
creates a directory with name dname, returns true on
success.
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.