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.
22 Abstraction of PATH variable. An interface for searching input files.
23 Search a number of dirs for a file.
29 /// split path into its components
30 void split_path(String path, String &drive, String &dirs, String &filebase, String &extension);