111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// -*- C++ -*-
211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Copyright (C) 2005-2014 Free Software Foundation, Inc.
411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//
511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// This file is part of the GNU ISO C++ Library.  This library is free
611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// software; you can redistribute it and/or modify it under the terms
711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// of the GNU General Public License as published by the Free Software
811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Foundation; either version 3, or (at your option) any later
911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// version.
1011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
1111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// This library is distributed in the hope that it will be useful, but
1211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// WITHOUT ANY WARRANTY; without even the implied warranty of
1311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
1411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// General Public License for more details.
1511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
1611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Under Section 7 of GPL version 3, you are granted additional
1711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// permissions described in the GCC Runtime Library Exception, version
1811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// 3.1, as published by the Free Software Foundation.
1911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// You should have received a copy of the GNU General Public License and
2111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// a copy of the GCC Runtime Library Exception along with this program;
2211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
2311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// <http://www.gnu.org/licenses/>.
2411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
2611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Permission to use, copy, modify, sell, and distribute this software
2811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// is hereby granted without fee, provided that the above copyright
2911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// notice appears in all copies, and that both that copyright notice
3011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// and this permission notice appear in supporting documentation. None
3111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// of the above authors, nor IBM Haifa Research Laboratories, make any
3211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// representation about the suitability of this software for any
3311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// purpose. It is provided "as is" without express or implied
3411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// warranty.
3511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
3611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert/**
3711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert * @file bin_search_tree_/node_iterators.hpp
3811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert * Contains an implementation class for bin_search_tree_.
3911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert */
4011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
4111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#ifndef PB_DS_BIN_SEARCH_TREE_NODE_ITERATORS_HPP
4211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#define PB_DS_BIN_SEARCH_TREE_NODE_ITERATORS_HPP
4311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
4411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <ext/pb_ds/tag_and_trait.hpp>
4511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
4611cd02dfb91661c65134cac258cf5924270e9d2Dan Albertnamespace __gnu_pbds
4711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{
4811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert  namespace detail
4911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert  {
5011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#define PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC \
5111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    bin_search_tree_const_node_it_<Node, Const_Iterator, Iterator, _Alloc>
5211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
5311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    /// Const node iterator.
5411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    template<typename Node,
5511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert	     class Const_Iterator,
5611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert	     class Iterator,
5711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert	     typename _Alloc>
5811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    class bin_search_tree_const_node_it_
5911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    {
6011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    private:
6111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef
6211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typename _Alloc::template rebind<
6311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      Node>::other::pointer
6411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      node_pointer;
6511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
6611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    public:
6711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Category.
6811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef trivial_iterator_tag iterator_category;
6911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
7011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Difference type.
7111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef trivial_iterator_difference_type difference_type;
7211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
7311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Iterator's value type.
7411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef Const_Iterator value_type;
7511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
7611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Iterator's reference type.
7711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef Const_Iterator reference;
7811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
7911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Iterator's __const reference type.
8011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef Const_Iterator const_reference;
8111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
8211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Metadata type.
8311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef typename Node::metadata_type metadata_type;
8411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
8511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Const metadata reference type.
8611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef
8711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typename _Alloc::template rebind<metadata_type>::other::const_reference
8811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      metadata_const_reference;
8911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
9011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
9111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      bin_search_tree_const_node_it_(const node_pointer p_nd = 0)
9211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      : m_p_nd(const_cast<node_pointer>(p_nd))
9311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { }
9411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
9511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Access.
9611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      const_reference
9711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      operator*() const
9811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { return Const_Iterator(m_p_nd); }
9911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
10011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Metadata access.
10111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      metadata_const_reference
10211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      get_metadata() const
10311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { return m_p_nd->get_metadata(); }
10411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
10511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Returns the __const node iterator associated with the left node.
10611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC
10711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      get_l_child() const
10811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { return PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC(m_p_nd->m_p_left); }
10911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
11011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Returns the __const node iterator associated with the right node.
11111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC
11211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      get_r_child() const
11311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { return PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC(m_p_nd->m_p_right); }
11411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
11511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Compares to a different iterator object.
11611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      bool
11711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      operator==(const PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC& other) const
11811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { return m_p_nd == other.m_p_nd; }
11911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
12011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Compares (negatively) to a different iterator object.
12111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      bool
12211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      operator!=(const PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC& other) const
12311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { return m_p_nd != other.m_p_nd; }
12411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
12511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      node_pointer m_p_nd;
12611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    };
12711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
12811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#define PB_DS_TREE_NODE_ITERATOR_CLASS_C_DEC \
12911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    bin_search_tree_node_it_<Node, Const_Iterator, Iterator, _Alloc>
13011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
13111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    /// Node iterator.
13211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    template<typename Node,
13311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert	     class Const_Iterator,
13411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert	     class Iterator,
13511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert	     typename _Alloc>
13611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    class bin_search_tree_node_it_
13711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    : public PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC
13811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    {
13911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    private:
14011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef
14111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typename _Alloc::template rebind<
14211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      Node>::other::pointer
14311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      node_pointer;
14411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
14511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    public:
14611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Iterator's value type.
14711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef Iterator value_type;
14811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
14911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Iterator's reference type.
15011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef Iterator reference;
15111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
15211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Iterator's __const reference type.
15311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      typedef Iterator const_reference;
15411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
15511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      inline
15611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      bin_search_tree_node_it_(const node_pointer p_nd = 0)
15711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      : PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC(const_cast<node_pointer>(p_nd))
15811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { }
15911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
16011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Access.
16111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      Iterator
16211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      operator*() const
16311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      { return Iterator(PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC::m_p_nd); }
16411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
16511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Returns the node iterator associated with the left node.
16611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      PB_DS_TREE_NODE_ITERATOR_CLASS_C_DEC
16711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      get_l_child() const
16811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      {
16911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert	return PB_DS_TREE_NODE_ITERATOR_CLASS_C_DEC(
17011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert						    PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC::m_p_nd->m_p_left);
17111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      }
17211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
17311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      /// Returns the node iterator associated with the right node.
17411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      PB_DS_TREE_NODE_ITERATOR_CLASS_C_DEC
17511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      get_r_child() const
17611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      {
17711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert	return PB_DS_TREE_NODE_ITERATOR_CLASS_C_DEC(
17811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert						    PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC::m_p_nd->m_p_right);
17911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert      }
18011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
18111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    };
18211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
18311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#undef PB_DS_TREE_CONST_NODE_ITERATOR_CLASS_C_DEC
18411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#undef PB_DS_TREE_NODE_ITERATOR_CLASS_C_DEC
18511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
18611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert  } // namespace detail
18711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert} // namespace __gnu_pbds
18811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
18911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#endif // #ifndef PB_DS_BIN_SEARCH_TREE_NODE_ITERATORS_HPP
190