Daily bump.
[gcc.git] / libstdc++-v3 / include / ext / pb_ds / detail / ov_tree_map_ / node_iterators.hpp
index c9a852a7ed53f654ed22edaddee148cc003c07aa..a780d3bd3bec296534ae07edc4752e6824f13a9a 100644 (file)
@@ -1,11 +1,11 @@
 // -*- 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;
 
@@ -109,8 +75,7 @@ namespace pb_ds
       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);
       }
 
@@ -120,92 +85,81 @@ namespace pb_ds
 
       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
@@ -220,14 +174,12 @@ namespace pb_ds
        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;
@@ -237,17 +189,13 @@ namespace pb_ds
       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;
 
@@ -262,87 +210,69 @@ namespace pb_ds
       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