/*

 * Copyright (c) 1997-1999

 * Silicon Graphics Computer Systems, Inc.

 *

 * Copyright (c) 1999 

 * Boris Fomitchev

 *

 * This material is provided "as is", with absolutely no warranty expressed

 * or implied. Any use is at your own risk.

 *

 * Permission to use or copy this software for any purpose is hereby granted 

 * without fee, provided the above notices are retained on all copies.

 * Permission to modify the code and to distribute modified code is granted,

 * provided the above notices are retained, and a notice that the code was

 * modified is included with the above copyright notice.

 *

 */

#ifndef _STLP_DBG_STRING_H

#define _STLP_DBG_STRING_H

#include <stl/debug/_iterator.h>

# define _STLP_DBG_STRING_BASE _Nondebug_string <_CharT, _Traits, _Alloc>

_STLP_BEGIN_NAMESPACE

# ifdef _STLP_DEBUG_USE_DISTINCT_VALUE_TYPE_HELPERS

template <class _CharT,class _Traits, class _Alloc>

inline _CharT*

value_type(const  _DBG_iter_base< _STLP_DBG_STRING_BASE >&) {

return (_CharT*)0;

}

template <class _CharT, class _Traits, class _Alloc>

inline random_access_iterator_tag

iterator_category(const  _DBG_iter_base< _STLP_DBG_STRING_BASE >&) {

  return random_access_iterator_tag();

}

# endif

template <class _CharT, class _Traits, class _Alloc> 

class basic_string : public _STLP_DBG_STRING_BASE {

private:

  typedef _STLP_DBG_STRING_BASE _Base;

  typedef basic_string<_CharT, _Traits, _Alloc> _Self;

protected:

  mutable __owned_list _M_iter_list;

public:

  __IMPORT_CONTAINER_TYPEDEFS(_Base)

  typedef _DBG_iter<_Base, _Nonconst_traits<value_type> > iterator;

  typedef _DBG_iter<_Base, _Const_traits<value_type> > const_iterator;

  _STLP_DECLARE_RANDOM_ACCESS_REVERSE_ITERATORS;

# ifdef _STLP_USE_NATIVE_STRING

  // this typedef is being used for conversions

  typedef _STLP_VENDOR_STD::basic_string<_CharT,_Traits, 

    _STLP_VENDOR_STD::allocator<_CharT> >  __std_string;

# endif

public:                         // Constructor, destructor, assignment.

  typedef typename _Base::_Reserve_t _Reserve_t;

  const _Base* _Get_base() const { return (const _Base*)this; }

  _Base* _Get_base() { return (_Base*)this; }

  basic_string() :_STLP_DBG_STRING_BASE(), _M_iter_list(_Get_base()) {}

  explicit basic_string(const allocator_type& __a): 

    _STLP_DBG_STRING_BASE(__a), _M_iter_list(_Get_base()) {}

  basic_string(_Reserve_t __r, size_t __n,

               const allocator_type& __a = allocator_type())

    : _STLP_DBG_STRING_BASE(__r, __n, __a), _M_iter_list(_Get_base()) {}

  basic_string(const _Self& __s): 

    _STLP_DBG_STRING_BASE(__s), _M_iter_list(_Get_base()) {}

  basic_string(const _Self& __s, size_type __pos, size_type __n = _Base::npos,

               const allocator_type& __a = allocator_type()):

    _STLP_DBG_STRING_BASE(__s, __pos, __n, __a), _M_iter_list(_Get_base()) {}

  basic_string(const _CharT* __s, size_type __n,

		    const allocator_type& __a = allocator_type()):

    _STLP_DBG_STRING_BASE(__s, __n, __a), _M_iter_list(_Get_base()) {}

  basic_string(const _CharT* __s,

		    const allocator_type& __a = allocator_type()):

    _STLP_DBG_STRING_BASE(__s, __a), _M_iter_list(_Get_base()) {}

  basic_string(size_type __n, _CharT __c,

		    const allocator_type& __a = allocator_type()):

    _STLP_DBG_STRING_BASE(__n, __c, __a), _M_iter_list(_Get_base()) {}

#if defined (_STLP_MEMBER_TEMPLATES) && !(defined(__MRC__)||(defined(__SC__) && !defined(__DMC__)))

# ifdef _STLP_NEEDS_EXTRA_TEMPLATE_CONSTRUCTORS

  template <class _InputIterator>

  basic_string(_InputIterator __f, _InputIterator __l):

    _STLP_DBG_STRING_BASE(__f, __l), _M_iter_list(_Get_base()) {}

#  endif

  template <class _InputIterator>

  basic_string(_InputIterator __f, _InputIterator __l,

		    const allocator_type & __a _STLP_ALLOCATOR_TYPE_DFL):

    _STLP_DBG_STRING_BASE(__f, __l, __a), _M_iter_list(_Get_base()) {}

#else /* _STLP_MEMBER_TEMPLATES */

  basic_string(const_iterator __f, const_iterator __l, 

		    const allocator_type & __a = allocator_type()):

    _STLP_DBG_STRING_BASE(__f._M_iterator, __l._M_iterator, __a), 

     _M_iter_list(_Get_base()) {}

  basic_string(const _CharT* __f, const _CharT* __l,

               const allocator_type& __a = allocator_type()):

   _STLP_DBG_STRING_BASE(__f, __l, __a), _M_iter_list(_Get_base()) {}

#endif

# ifdef _STLP_USE_NATIVE_STRING

  // these conversion operations still needed for

  // strstream, etc.

  basic_string (const __std_string& __x)

    : _STLP_DBG_STRING_BASE(__x.begin(), __x.end()), _M_iter_list(_Get_base()) {}

  operator __std_string() const { return __std_string(this->data()); }

# endif

  // constructor from non-debug version

  basic_string (const _Base& __x)

    : _STLP_DBG_STRING_BASE(__x), _M_iter_list(_Get_base()) {}

  _Self& operator=(const _Self& __s) {

    _Base::operator=(__s);

    return *this;

  }

  _Self& operator=(const _CharT* __s) { 

    _STLP_FIX_LITERAL_BUG(__s)

    _Base::operator=(__s);

    return *this;

  }

  _Self& operator=(_CharT __c) {

    _Base::operator=(__c);

    return *this;

  }

public:                         // Iterators.

  iterator begin() { return iterator(&_M_iter_list, this->_M_start); }

  const_iterator begin() const { return const_iterator(&_M_iter_list,this->_M_start); }

  iterator end() { return iterator(&_M_iter_list,this->_M_finish); }

  const_iterator end() const { return const_iterator(&_M_iter_list,this->_M_finish); }

  void _M_deallocate_block() {

    _M_iter_list._Invalidate_all();

    _Base::_M_deallocate_block();

  }

  reverse_iterator rbegin()             

    { return reverse_iterator(iterator(&_M_iter_list,this->_M_finish)); }

  reverse_iterator rend()               

    { return reverse_iterator(iterator(&_M_iter_list,this->_M_start)); }

  const_reverse_iterator rbegin() const 

    { return const_reverse_iterator(const_iterator(&_M_iter_list,this->_M_finish)); }

  const_reverse_iterator rend()   const 

    { return const_reverse_iterator(const_iterator(&_M_iter_list,this->_M_start)); }

public:                         // Size, capacity, etc.

  void resize(size_type __n, _CharT __c) {

    _Base::resize(__n, __c);

  }

  void resize(size_type __n) { resize(__n, this->_M_null()); }

  void reserve(size_type __s= 0) {

    _Base::reserve(__s);

  }

  void clear() {

    _M_iter_list._Invalidate_all();

    _Base::clear();

  } 

public:                         // Element access.

  const_reference operator[](size_type __n) const

    { return *(begin() + __n); }

  reference operator[](size_type __n)

    { return *(begin() + __n); }

  const_reference at(size_type __n) const {

    if (__n >= this->size())

      this->_M_throw_out_of_range();

    return *(begin() + __n);

  }

  reference at(size_type __n) {

    if (__n >= this->size())

      this->_M_throw_out_of_range();

    return *(begin() + __n);

  }

public:                         // Append, operator+=, push_back.

  _Self& operator+=(const _Self& __s) { return append(__s); }

  _Self& operator+=(const _CharT* __s) { _STLP_FIX_LITERAL_BUG(__s) return append(__s); }

  _Self& operator+=(_CharT __c) { push_back(__c); return *this; }

  _Self& append(const _Self& __s) { return append(__s._M_start, __s._M_finish); }

  _Self& append(const _Self& __s,

                       size_type __pos, size_type __n)

  {

    _Base::append(__s, __pos, __n);

    return *this;

  }

  _Self& append(const _CharT* __s, size_type __n) 

    { _STLP_FIX_LITERAL_BUG(__s) return append(__s, __s+__n); }

  _Self& append(const _CharT* __s) 

    { _STLP_FIX_LITERAL_BUG(__s) return append(__s, __s + _Traits::length(__s)); }

  _Self& append(size_type __n, _CharT __c){

	  _Base::append(__n, __c);

	  return *this;

  }

#ifdef _STLP_MEMBER_TEMPLATES

  // Check to see if _InputIterator is an integer type.  If so, then

  // it can't be an iterator.

  template <class _InputIter>

  _Self& append(_InputIter __first, _InputIter __last) {

    _Base::append(__first, __last);

    return *this;

  }

#ifdef _STLP_MSVC

// specialization for append

 template <>

 inline _Self& append(iterator __f, iterator __l) {

 _STLP_FIX_LITERAL_BUG(__f) _STLP_FIX_LITERAL_BUG(__l)

  __check_range(__f, __l);

  _Base::append(__f._M_iterator, __l._M_iterator);

  return *this;

 }

#endif

#else /* _STLP_MEMBER_TEMPLATES */

  _Self& append(const _CharT* __first, const _CharT* __last) {

    _Base::append(__first, __last);

    return *this;

  }

  _Self& append(const_iterator __first, const_iterator __last) {

    _Base::append(__first._M_iterator, __last._M_iterator);

    return *this;

  }

#endif /* _STLP_MEMBER_TEMPLATES */

  void push_back(_CharT __c) {

    _Base::push_back(__c);

  }

  void pop_back() {

    __invalidate_iterator(&_M_iter_list,end());

    _Base::pop_back();

  }

public:                         // Assign

  _Self& assign(const _Self& __s) {

    _Base::assign(__s); 

    return *this; 

  }

  _Self& assign(const _Self& __s, 

                       size_type __pos, size_type __n) {

    _Base::assign(__s, __pos, __n);

    return *this;

  }

  _Self& assign(const _CharT* __s, size_type __n)

    { _STLP_FIX_LITERAL_BUG(__s) return assign(__s, __s + __n); }

  _Self& assign(const _CharT* __s)

    { _STLP_FIX_LITERAL_BUG(__s) return assign(__s, __s + _Traits::length(__s)); }

  _Self& assign(size_type __n, _CharT __c) {

    _Base::assign(__n, __c);

    return *this;    

  }

#ifdef _STLP_MEMBER_TEMPLATES

  template <class _InputIter>

  inline _Self& assign(_InputIter __first, _InputIter __last) {

      _STLP_FIX_LITERAL_BUG(__first) _STLP_FIX_LITERAL_BUG(__last)

      __check_range(__first, __last);

      _Base::assign(__first, __last);

      return *this;    

  }

#ifdef _STLP_MSVC

// partial specialization for assign

template <>

inline _Self& assign(iterator __f, iterator __l) {

  _STLP_FIX_LITERAL_BUG(__f) _STLP_FIX_LITERAL_BUG(__l)

    __check_range(__f, __l);

  _Base::assign(__f._M_iterator, __l._M_iterator);

  return *this;

  }

#endif

#else

  _Self& assign(const _CharT* __f, const _CharT* __l) {

    _STLP_FIX_LITERAL_BUG(__f) _STLP_FIX_LITERAL_BUG(__l)

      __check_range(__f, __l);

      _Base::assign(__f, __l);

    return *this;

  }

  _Self& assign(const_iterator __f, const_iterator __l) {

      _Base::assign(__f._M_iterator, __l._M_iterator);

    return *this;

  }

#endif  /* _STLP_MEMBER_TEMPLATES */

public:                         // Insert

  _Self& insert(size_type __pos, const _Self& __s) {

    _Base::insert(__pos, __s);

    return *this;

  }

  _Self& insert(size_type __pos, const _Self& __s,

                       size_type __beg, size_type __n) {

    _Base::insert(__pos, __s, __beg, __n);

    return *this;

  }

  _Self& insert(size_type __pos, const _CharT* __s, size_type __n) {

    _STLP_FIX_LITERAL_BUG(__s)

    _Base::insert(__pos, __s, __n);

    return *this;

  }

  _Self& insert(size_type __pos, const _CharT* __s) {

    _STLP_FIX_LITERAL_BUG(__s)

    _Base::insert(__pos, __s);      

    return *this;

  }

  _Self& insert(size_type __pos, size_type __n, _CharT __c) {

    _Base::insert(__pos, __n, __c);

    return *this;

  }

  iterator insert(iterator __p, _CharT __c) {

    _STLP_FIX_LITERAL_BUG(__p)

    __check_if_owner(&_M_iter_list,__p);

    return iterator(&_M_iter_list,_Base::insert(__p._M_iterator, __c));

  }

  void insert(iterator __p, size_t __n, _CharT __c) {

    __check_if_owner(&_M_iter_list,__p);

    _Base::insert(__p._M_iterator, __n, __c);

  }

#ifdef _STLP_MEMBER_TEMPLATES

  template <class _InputIter>

  void insert(iterator __p, _InputIter __first, _InputIter __last) {

    __check_if_owner(&_M_iter_list,__p);

    __check_range(__first,__last);

    _Base::insert(__p._M_iterator, __first, __last);

  }

#else /* _STLP_MEMBER_TEMPLATES */

  void insert(iterator __p, const _CharT* __first, const _CharT* __last) {

    _STLP_FIX_LITERAL_BUG(__first) _STLP_FIX_LITERAL_BUG(__last)

    __check_if_owner(&_M_iter_list,__p);

    __check_range(__first,__last);

    _Base::insert(__p._M_iterator, __first, __last);

  }

  void insert(iterator __p, const_iterator __first, const_iterator __last) {

    __check_range(__first,__last);

    _Base::insert(__p._M_iterator, __first._M_iterator, __last._M_iterator); 

  }

#endif /* _STLP_MEMBER_TEMPLATES */

public:                         // Erase.

  _Self& erase(size_type __pos = 0, size_type __n = _Base::npos) {

    _Base::erase(__pos, __n);

    return *this;

  }  

  iterator erase(iterator __position) {

    __check_if_owner(&_M_iter_list, __position);

    __invalidate_iterator(&_M_iter_list,end());

    return iterator(&_M_iter_list, _Base::erase(__position._M_iterator));

  }

  iterator erase(iterator __first, iterator __last) {

    __check_range(__first, __last)&&__check_if_owner(&_M_iter_list,__first);

    if (__first != __last) {

      __invalidate_range(&_M_iter_list, __last, end());

    }

    return iterator(&_M_iter_list, _Base::erase(__first._M_iterator, __last._M_iterator));   

  }

public:                         // Substring.

  _Self substr(size_type __pos = 0, size_type __n = _Base::npos) const {

    if (__pos > this->size())

      this->_M_throw_out_of_range();

    return _Self(this->begin() + __pos, 

                 this->begin() + __pos + min(__n, this->size() - __pos),

                 allocator_type());

  }

public:                         // Replace.  (Conceptually equivalent

                                // to erase followed by insert.)

  _Self& replace(size_type __pos, size_type __n, 

                        const _Self& __s) {

    _Base::replace(__pos, __n, __s);

    return *this;

  }

  _Self& replace(size_type __pos1, size_type __n1,

                        const _Self& __s,

                        size_type __pos2, size_type __n2) {

    _Base::replace(__pos1, __n1, (const _Base&)__s, __pos2, __n2);

    return *this;

  }

  _Self& replace(size_type __pos, size_type __n1,

                        const _CharT* __s, size_type __n2) {    

    _STLP_FIX_LITERAL_BUG(__s)

    _Base::replace(__pos, __n1, __s, __n2);

    return *this;

  }

  _Self& replace(size_type __pos, size_type __n1,

                        const _CharT* __s) {

    _STLP_FIX_LITERAL_BUG(__s)

    _Base::replace(__pos, __n1, __s);

    return *this;

  }

  _Self& replace(size_type __pos, size_type __n1,

                        size_type __n2, _CharT __c) {

    _Base::replace(__pos, __n1, __n2, __c);

    return *this;

  }

  _Self& replace(iterator __first, iterator __last, 

                        const _Self& __s) { 

    __check_if_owner(&_M_iter_list,__first);

    __check_range(__first, __last);

    _Base::replace(__first._M_iterator, __last._M_iterator,__s);

    return *this;

  }

  _Self& replace(iterator __first, iterator __last,

                        const _CharT* __s, size_type __n) { 

    _STLP_FIX_LITERAL_BUG(__s)

    __check_if_owner(&_M_iter_list,__first);

    __check_range(__first, __last);

    _Base::replace(__first._M_iterator, __last._M_iterator,__s, __n);

    return *this;

  }

  _Self& replace(iterator __first, iterator __last,

                        const _CharT* __s) {

    _STLP_FIX_LITERAL_BUG(__s)

    __check_if_owner(&_M_iter_list,__first);

    __check_range(__first, __last);

    _Base::replace(__first._M_iterator, __last._M_iterator,__s);

    return *this;

  }

  _Self& replace(iterator __first, iterator __last, 

		 size_type __n, _CharT __c) {

    __check_if_owner(&_M_iter_list,__first);

    __check_range(__first, __last);

    _Base::replace(__first._M_iterator, __last._M_iterator, __n, __c);

    return *this;

  }

#ifdef _STLP_MEMBER_TEMPLATES

  template <class _InputIter>

  _Self& replace(iterator __first, iterator __last,

                        _InputIter __f, _InputIter __l) {

    __check_if_owner(&_M_iter_list, __first);

    __check_range(__first, __last);

    __check_range(__f, __l);

    _Base::replace(__first._M_iterator, __last._M_iterator, __f, __l);

    return *this;    

  }

#else /* _STLP_MEMBER_TEMPLATES */

  _Self& replace(iterator __first, iterator __last,

		 const _CharT* __f, const _CharT* __l) {

    __check_if_owner(&_M_iter_list, __first);

    __check_range(__first, __last);

    __check_range(__f, __l);