+++ /dev/null
-/*
-Copyright (C) 2001-2006, William Joseph.
-All Rights Reserved.
-
-This file is part of GtkRadiant.
-
-GtkRadiant 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 2 of the License, or
-(at your option) any later version.
-
-GtkRadiant 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 GtkRadiant; if not, write to the Free Software
-Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
-*/
-
-#if !defined(INCLUDED_FS_PATH_H)
-#define INCLUDED_FS_PATH_H
-
-#include "stream/stringstream.h"
-
-/// \brief A unix-style path string which can be modified at runtime.
-///
-/// - Maintains a path ending in a path-separator.
-/// - Provides a limited STL-style interface to push and pop file or directory names at the end of the path.
-class UnixPath
-{
- StringBuffer m_string;
-
- void check_separator()
- {
- if(!empty() && m_string.back() != '/')
- {
- m_string.push_back('/');
- }
- }
-
-public:
- /// \brief Constructs with the directory \p root.
- UnixPath(const char* root)
- : m_string(root)
- {
- check_separator();
- }
-
- bool empty() const
- {
- return m_string.empty();
- }
-
- const char* c_str() const
- {
- return m_string.c_str();
- }
-
- /// \brief Appends the directory \p name.
- void push(const char* name)
- {
- m_string.push_string(name);
- check_separator();
- }
- /// \brief Appends the directory [\p first, \p last).
- void push(const char* first, const char* last)
- {
- m_string.push_range(first, last);
- check_separator();
- }
- /// \brief Appends the filename \p name.
- void push_filename(const char* name)
- {
- m_string.push_string(name);
- }
- /// \brief Removes the last directory or filename appended.
- void pop()
- {
- if(m_string.back() == '/')
- {
- m_string.pop_back();
- }
- while(!empty() && m_string.back() != '/')
- {
- m_string.pop_back();
- }
- }
-};
-
-#endif