Get the basename part of a pathname
String_Type path_basename (String_Type path)
The path_basename function returns the basename associated with the path parameter. The basename is the non-directory part of the filename, e.g., on unix c is the basename of /a/b/c.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}