parse_name
Description:
Constructs a File with the given parse_name
(i.
e. something given by get_parse_name). This operation never fails,
but the returned object might not support any I/O operation if the parse_name
cannot be parsed.
Parameters:
parse_name |
a file name or path to be parsed |
Returns:
a new File. |