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);