class File_path : private Array<String>
{
public:
- /// locate a file in the search path
- String find (String nm) const;
+ /// locate a file in the search path
+ String find (String nm) const;
- /// add to end of path.
- Array<String>::push;
- void add (String str) { push (str); }
+ /// add to end of path.
+ Array<String>::push;
+ void add (String str) { push (str); }
+ void parse_path (String);
};
/** split a path into its components.