7 /// searching directory for file.
8 class File_path
: private Array
<String
>
11 /// locate a file in the search path
12 String
find(String nm
);
14 /// construct using prefix. Normally argv[0].
17 /// add to end of path.
19 void add(String str
) { push(str
); }
23 Abstraction of PATH variable. An interface for searching input files.
24 Search a number of dirs for a file.
30 /// split path into its components
31 void split_path(String path
, String
&drive
, String
&dirs
, String
&filebase
, String
&extension
);