Run grand-replace (issue 3765)

[lilypond.git] / flower / include / file-path.hh

diff --git a/flower/include/file-path.hh b/flower/include/file-path.hh
index f9d9f816ccbeb2279133ca4a75910f264aaa509e..62ddf1d53dbac0e2e2689de7966465a0890f408c 100644 (file)
--- a/flower/include/file-path.hh
+++ b/flower/include/file-path.hh
@@ -1,16 +1,27 @@
 /*
-  file-path.hh -- declare File_name and File_path
+  This file is part of LilyPond, the GNU music typesetter.
 
-  source file of the Flower Library
+  Copyright (C) 1997--2014 Han-Wen Nienhuys <hanwen@xs4all.nl>
 
-  (c) 1997--2005 Han-Wen Nienhuys <hanwen@cs.uu.nl>
+  LilyPond is free software: you can redistribute it and/or modify
+  it under the terms of the GNU General Public License as published by
+  the Free Software Foundation, either version 3 of the License, or
+  (at your option) any later version.
+
+  LilyPond is distributed in the hope that it will be useful,
+  but WITHOUT ANY WARRANTY; without even the implied warranty of
+  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+  GNU General Public License for more details.
+
+  You should have received a copy of the GNU General Public License
+  along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
 */
 
 #ifndef FILE_PATH_HH
 #define FILE_PATH_HH
 
-#include "array.hh"
-#include "string.hh"
+#include "std-vector.hh"
+#include "std-string.hh"
 
 /**
    search in directories for a file.
@@ -21,17 +32,22 @@
    TODO: add a unix style PATH interface
 */
 
-class File_path : private Array<String>
+class File_path
 {
+  vector<string> dirs_;
+
 public:
-  Array<String> directories () const;
-  String find (String name) const;
-  String find (String name, char const *extensions[]);
-  String to_string () const;
-  bool try_append (String str);
-  void append (String str) { Array<String>::push (str); }
-  void parse_path (String);
-  void prepend (String str) { Array<String>::insert (str, 0); }
+  vector<string> directories () const;
+  string find (const string &name) const;
+  string find (const string &name, char const *extensions[]);
+  string to_string () const;
+  bool try_append (string str);
+  void append (const string&);
+  void parse_path (const string&);
+  void prepend (const string&);
 };
 
+bool is_file (const string &file_name);
+bool is_dir (string file_name);
+
 #endif /* FILE_PATH */