/*
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