// -*- C++ -*-
-// Copyright (C) 2005, 2006 Free Software Foundation, Inc.
+// Copyright (C) 2005-2021 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library 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, or (at your option) any later
+// Foundation; either version 3, or (at your option) any later
// version.
// This library is distributed in the hope that it will be useful, but
// 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 this library; see the file COPYING. If not, write to
-// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
-// MA 02111-1307, USA.
-
-// As a special exception, you may use this file as part of a free
-// software library without restriction. Specifically, if other files
-// instantiate templates or use macros or inline functions from this
-// file, or you compile this file and link it with other files to
-// produce an executable, this file does not by itself cause the
-// resulting executable to be covered by the GNU General Public
-// License. This exception does not however invalidate any other
-// reasons why the executable file might be covered by the GNU General
-// Public License.
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
+// <http://www.gnu.org/licenses/>.
// Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
// warranty.
/**
- * @file node_iterators.hpp
+ * @file ov_tree_map_/node_iterators.hpp
* Contains an implementation class for ov_tree_.
*/
#ifndef PB_DS_OV_TREE_NODE_ITERATORS_HPP
#define PB_DS_OV_TREE_NODE_ITERATORS_HPP
-#ifdef PB_DS_OV_TREE_DEBUG_
-#include <cassert>
-#endif // #ifdef PB_DS_OV_TREE_DEBUG_
#include <ext/pb_ds/tag_and_trait.hpp>
#include <ext/pb_ds/detail/type_utils.hpp>
+#include <debug/debug.h>
-namespace pb_ds
+namespace __gnu_pbds
{
namespace detail
{
+#define PB_DS_OV_TREE_CONST_NODE_ITERATOR_C_DEC \
+ ov_tree_node_const_it_<Value_Type, Metadata_Type, _Alloc>
-#define PB_DS_STATIC_ASSERT(UNIQUE, E) \
- typedef \
- static_assert_dumclass< \
- sizeof(static_assert<(bool)(E)>)> \
- UNIQUE##static_assert_type
-
-#ifdef PB_DS_OV_TREE_DEBUG_
-#define PB_DS_DBG_ASSERT(X) assert(X);
-#define PB_DS_DBG_VERIFY(X) PB_DS_DBG_ASSERT(X)
-#define PB_DS_DBG_ONLY(X) X
-#else // #ifdef PB_DS_OV_TREE_DEBUG_
-#define PB_DS_DBG_ASSERT(X) ((void)0)
-#define PB_DS_DBG_VERIFY(X) X
-#define PB_DS_DBG_ONLY(X) ;
-#endif // #ifdef PB_DS_OV_TREE_DEBUG_
-
-#define PB_DS_OV_TREE_CONST_NODE_ITERATOR_C_DEC \
- ov_tree_node_const_it_< \
- Value_Type, \
- Metadata_Type, \
- Allocator>
-
- // Const node reference.
- template<typename Value_Type, typename Metadata_Type, class Allocator>
+ /// Const node reference.
+ template<typename Value_Type, typename Metadata_Type, typename _Alloc>
class ov_tree_node_const_it_
{
protected:
- typedef
- typename Allocator::template rebind<
- Value_Type>::other::pointer
- pointer;
+ typedef typename rebind_traits<_Alloc, Value_Type>::pointer
+ pointer;
- typedef
- typename Allocator::template rebind<
- Value_Type>::other::const_pointer
- const_pointer;
+ typedef typename rebind_traits<_Alloc, Value_Type>::const_pointer
+ const_pointer;
- typedef
- typename Allocator::template rebind<
- Metadata_Type>::other::const_pointer
- const_metadata_pointer;
+ typedef typename rebind_traits<_Alloc, Metadata_Type>::const_pointer
+ const_metadata_pointer;
typedef PB_DS_OV_TREE_CONST_NODE_ITERATOR_C_DEC this_type;
inline static Ptr
mid_pointer(Ptr p_begin, Ptr p_end)
{
- PB_DS_DBG_ASSERT(p_end >= p_begin);
-
+ _GLIBCXX_DEBUG_ASSERT(p_end >= p_begin);
return (p_begin + (p_end - p_begin) / 2);
}
typedef trivial_iterator_difference_type difference_type;
- typedef
- typename Allocator::template rebind<
- Value_Type>::other::const_pointer
- value_type;
+ typedef typename rebind_traits<_Alloc, Value_Type>::const_pointer
+ value_type;
- typedef
- typename Allocator::template rebind<
- typename remove_const<
- Value_Type>::type>::other::const_pointer
- reference;
+ typedef typename rebind_traits<_Alloc,
+ typename remove_const<Value_Type>::type>::const_pointer
+ reference;
- typedef
- typename Allocator::template rebind<
- typename remove_const<
- Value_Type>::type>::other::const_pointer
- const_reference;
+ typedef typename rebind_traits<_Alloc,
+ typename remove_const<Value_Type>::type>::const_pointer
+ const_reference;
typedef Metadata_Type metadata_type;
- typedef
- typename Allocator::template rebind<
- metadata_type>::other::const_reference
- const_metadata_reference;
+ typedef typename rebind_traits<_Alloc, metadata_type>::const_reference
+ metadata_const_reference;
public:
inline
- ov_tree_node_const_it_(const_pointer p_nd = NULL, const_pointer p_begin_nd = NULL, const_pointer p_end_nd = NULL, const_metadata_pointer p_metadata = NULL) : m_p_value(const_cast<pointer>(p_nd)),
- m_p_begin_value(const_cast<pointer>(p_begin_nd)),
- m_p_end_value(const_cast<pointer>(p_end_nd)),
- m_p_metadata(p_metadata)
+ ov_tree_node_const_it_(const_pointer p_nd = 0,
+ const_pointer p_begin_nd = 0,
+ const_pointer p_end_nd = 0,
+ const_metadata_pointer p_metadata = 0)
+ : m_p_value(const_cast<pointer>(p_nd)),
+ m_p_begin_value(const_cast<pointer>(p_begin_nd)),
+ m_p_end_value(const_cast<pointer>(p_end_nd)),
+ m_p_metadata(p_metadata)
{ }
inline const_reference
operator*() const
- {
- return (m_p_value);
- }
+ { return m_p_value; }
- inline const_metadata_reference
+ inline metadata_const_reference
get_metadata() const
{
enum
{
- has_metadata =
- !is_same<
- Metadata_Type,
- null_node_metadata>::value
+ has_metadata = !is_same<Metadata_Type, null_type>::value
};
PB_DS_STATIC_ASSERT(should_have_metadata, has_metadata);
-
- PB_DS_DBG_ASSERT(m_p_metadata != NULL);
-
- return (*m_p_metadata);
+ _GLIBCXX_DEBUG_ASSERT(m_p_metadata != 0);
+ return *m_p_metadata;
}
+ /// Returns the node iterator associated with the left node.
inline this_type
get_l_child() const
{
if (m_p_begin_value == m_p_value)
- return (this_type( m_p_begin_value, m_p_begin_value, m_p_begin_value));
+ return (this_type(m_p_begin_value, m_p_begin_value, m_p_begin_value));
const_metadata_pointer p_begin_metadata =
m_p_metadata - (m_p_value - m_p_begin_value);
- return (this_type(
- mid_pointer(m_p_begin_value, m_p_value),
+ return (this_type(mid_pointer(m_p_begin_value, m_p_value),
m_p_begin_value,
m_p_value,
mid_pointer(p_begin_metadata, m_p_metadata)));
}
+ /// Returns the node iterator associated with the right node.
inline this_type
get_r_child() const
{
if (m_p_value == m_p_end_value)
- return (this_type( m_p_end_value, m_p_end_value, m_p_end_value));
+ return (this_type(m_p_end_value, m_p_end_value, m_p_end_value));
const_metadata_pointer p_end_metadata =
m_p_metadata + (m_p_end_value - m_p_value);
- return (this_type(
- mid_pointer(m_p_value + 1, m_p_end_value),
+ return (this_type(mid_pointer(m_p_value + 1, m_p_end_value),
m_p_value + 1,
- m_p_end_value,(m_p_metadata == NULL)?
- NULL : mid_pointer(m_p_metadata + 1, p_end_metadata)));
+ m_p_end_value,(m_p_metadata == 0) ?
+ 0 : mid_pointer(m_p_metadata + 1, p_end_metadata)));
}
inline bool
if (is_other_end)
return (is_end);
- return (m_p_value == other.m_p_value);
+ return m_p_value == other.m_p_value;
}
inline bool
operator!=(const this_type& other) const
- {
- return (!operator==(other));
- }
+ { return !operator==(other); }
public:
pointer m_p_value;
const_metadata_pointer m_p_metadata;
};
-#define PB_DS_OV_TREE_NODE_ITERATOR_C_DEC \
- ov_tree_node_it_< \
- Value_Type, \
- Metadata_Type, \
- Allocator>
+#define PB_DS_OV_TREE_NODE_ITERATOR_C_DEC \
+ ov_tree_node_it_<Value_Type, Metadata_Type, _Alloc>
- // Node reference.
- template<typename Value_Type, typename Metadata_Type, class Allocator>
+ /// Node reference.
+ template<typename Value_Type, typename Metadata_Type, typename _Alloc>
class ov_tree_node_it_ : public PB_DS_OV_TREE_CONST_NODE_ITERATOR_C_DEC
{
-
private:
typedef PB_DS_OV_TREE_NODE_ITERATOR_C_DEC this_type;
const_metadata_pointer;
public:
-
typedef trivial_iterator_tag iterator_category;
typedef trivial_iterator_difference_type difference_type;
- typedef
- typename Allocator::template rebind<
- Value_Type>::other::pointer
- value_type;
+ typedef typename rebind_traits<_Alloc, Value_Type>::pointer
+ value_type;
- typedef
- typename Allocator::template rebind<
- typename remove_const<
- Value_Type>::type>::other::pointer
- reference;
+ typedef typename rebind_traits<_Alloc,
+ typename remove_const<Value_Type>::type>::pointer
+ reference;
- typedef
- typename Allocator::template rebind<
- typename remove_const<
- Value_Type>::type>::other::pointer
- const_reference;
+ typedef typename rebind_traits<_Alloc,
+ typename remove_const<Value_Type>::type>::pointer
+ const_reference;
- public:
inline
- ov_tree_node_it_(const_pointer p_nd = NULL, const_pointer p_begin_nd = NULL, const_pointer p_end_nd = NULL, const_metadata_pointer p_metadata = NULL) : base_type( p_nd, p_begin_nd, p_end_nd, p_metadata)
+ ov_tree_node_it_(const_pointer p_nd = 0, const_pointer p_begin_nd = 0, const_pointer p_end_nd = 0, const_metadata_pointer p_metadata = 0) : base_type(p_nd, p_begin_nd, p_end_nd, p_metadata)
{ }
- // Access.
+ /// Access.
inline reference
operator*() const
- {
- return (reference(base_type::m_p_value));
- }
+ { return reference(base_type::m_p_value); }
- // Returns the node reference associated with the left node.
+ /// Returns the node reference associated with the left node.
inline ov_tree_node_it_
get_l_child() const
{
if (base_type::m_p_begin_value == base_type::m_p_value)
- return (this_type( base_type::m_p_begin_value, base_type::m_p_begin_value, base_type::m_p_begin_value));
+ return (this_type(base_type::m_p_begin_value, base_type::m_p_begin_value, base_type::m_p_begin_value));
const_metadata_pointer p_begin_metadata =
base_type::m_p_metadata - (base_type::m_p_value - base_type::m_p_begin_value);
- return (this_type(
- base_type::mid_pointer(base_type::m_p_begin_value, base_type::m_p_value),
+ return (this_type(base_type::mid_pointer(base_type::m_p_begin_value, base_type::m_p_value),
base_type::m_p_begin_value,
base_type::m_p_value,
base_type::mid_pointer(p_begin_metadata, base_type::m_p_metadata)));
}
- // Returns the node reference associated with the right node.
+ /// Returns the node reference associated with the right node.
inline ov_tree_node_it_
get_r_child() const
{
if (base_type::m_p_value == base_type::m_p_end_value)
- return (this_type( base_type::m_p_end_value, base_type::m_p_end_value, base_type::m_p_end_value));
+ return this_type(base_type::m_p_end_value, base_type::m_p_end_value,
+ base_type::m_p_end_value);
const_metadata_pointer p_end_metadata =
base_type::m_p_metadata + (base_type::m_p_end_value - base_type::m_p_value);
- return (this_type(
- base_type::mid_pointer(base_type::m_p_value + 1, base_type::m_p_end_value),
+ return (this_type(base_type::mid_pointer(base_type::m_p_value + 1, base_type::m_p_end_value),
base_type::m_p_value + 1,
- base_type::m_p_end_value,(base_type::m_p_metadata == NULL)?
- NULL : base_type::mid_pointer(base_type::m_p_metadata + 1, p_end_metadata)));
+ base_type::m_p_end_value,(base_type::m_p_metadata == 0)?
+ 0 : base_type::mid_pointer(base_type::m_p_metadata + 1, p_end_metadata)));
}
};
#undef PB_DS_OV_TREE_NODE_ITERATOR_C_DEC
-
#undef PB_DS_OV_TREE_CONST_NODE_ITERATOR_C_DEC
-#undef PB_DS_STATIC_ASSERT
-
-#undef PB_DS_DBG_ASSERT
-#undef PB_DS_DBG_VERIFY
-#undef PB_DS_DBG_ONLY
-
- } // namespace detail
-} // namespace pb_ds
+} // namespace detail
+} // namespace __gnu_pbds
-#endif // #ifndef PB_DS_OV_TREE_NODE_ITERATORS_HPP
+#endif