old-autovect-branch/libstdc++-v3/include/ext/pb_assoc/detail/map_debug_base.hpp

   1 // -*- C++ -*-
   2
   3 // Copyright (C) 2005 Free Software Foundation, Inc.
   4 //
   5 // This file is part of the GNU ISO C++ Library.  This library is free
   6 // software; you can redistribute it and/or modify it under the
   7 // terms of the GNU General Public License as published by the
   8 // Free Software Foundation; either version 2, or (at your option)
   9 // any later version.
  10
  11 // This library is distributed in the hope that it will be useful,
  12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 // GNU General Public License for more details.
  15
  16 // You should have received a copy of the GNU General Public License along
  17 // with this library; see the file COPYING.  If not, write to the Free
  18 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
  19 // USA.
  20
  21 // As a special exception, you may use this file as part of a free software
  22 // library without restriction.  Specifically, if other files instantiate
  23 // templates or use macros or inline functions from this file, or you compile
  24 // this file and link it with other files to produce an executable, this
  25 // file does not by itself cause the resulting executable to be covered by
  26 // the GNU General Public License.  This exception does not however
  27 // invalidate any other reasons why the executable file might be covered by
  28 // the GNU General Public License.
  29
  30 // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
  31
  32 // Permission to use, copy, modify, sell, and distribute this software
  33 // is hereby granted without fee, provided that the above copyright
  34 // notice appears in all copies, and that both that copyright notice and
  35 // this permission notice appear in supporting documentation. None of
  36 // the above authors, nor IBM Haifa Research Laboratories, make any
  37 // representation about the suitability of this software for any
  38 // purpose. It is provided "as is" without express or implied warranty.
  39
  40 /**
  41  * @file map_debug_base.hpp
  42  * Contains a debug-mode base for all maps.
  43  */
  44
  45 #ifndef MAP_DEBUG_BASE_HPP
  46 #define MAP_DEBUG_BASE_HPP
  47
  48 #ifdef PB_ASSOC_USE_MAP_DEBUG_BASE
  49
  50 #include <assert.h>
  51 #include <utility>
  52 #include <set>
  53 #include <pb_assoc/testsuite/regression/res_mng/dbg_ex_allocator_base.hpp>
  54
  55 namespace pb_assoc
  56 {
  57
  58   namespace detail
  59   {
  60
  61 #ifdef PB_ASSOC_MAP_DEBUG_BASE_DEBUG
  62 #define PB_ASSOC_DBG_ASSERT(X) assert(X)
  63 #define PB_ASSOC_DBG_VERIFY(X) assert(X)
  64 #define PB_ASSOC_DBG_ONLY(X) X
  65 #else // #ifdef PB_ASSOC_MAP_DEBUG_BASE_DEBUG
  66 #define PB_ASSOC_DBG_ASSERT(X)
  67 #define PB_ASSOC_DBG_VERIFY(X) {if((X)==0);}
  68 #define PB_ASSOC_DBG_ONLY(X) ;
  69 #endif // #ifdef PB_ASSOC_MAP_DEBUG_BASE_DEBUG
  70
  71 #define PB_ASSOC_CLASS_T_DEC \
  72         template<typename Key, class Eq_Fn>
  73
  74 #define PB_ASSOC_CLASS_C_DEC \
  75         map_debug_base< \
  76                 Key, \
  77                 Eq_Fn>
  78
  79     template<typename Key, class Eq_Fn>
  80     class map_debug_base
  81     {
  82     private:
  83       typedef typename std::allocator<Key> key_allocator;
  84
  85       typedef typename key_allocator::size_type size_type;
  86
  87       typedef typename key_allocator::const_reference const_key_reference;
  88
  89     protected:
  90       map_debug_base();
  91
  92       map_debug_base(const PB_ASSOC_CLASS_C_DEC& r_other);
  93
  94       ~map_debug_base();
  95
  96       inline void
  97       insert_new(const_key_reference r_key);
  98
  99       inline void
 100       insert_existing(const_key_reference r_key);
 101
 102       inline void
 103       erase_existing(const_key_reference r_key);
 104
 105       void
 106       clear();
 107
 108       inline void
 109       check_key_exists(const_key_reference r_key) const;
 110
 111       inline void
 112       check_key_does_not_exist(const_key_reference r_key) const;
 113
 114       inline void
 115       check_size(size_type size) const;
 116
 117       void
 118       swap(PB_ASSOC_CLASS_C_DEC& r_other);
 119
 120     private:
 121       typedef std::set<Key> key_set;
 122
 123     private:
 124       key_set m_key_set;
 125     };
 126
 127     PB_ASSOC_CLASS_T_DEC
 128     PB_ASSOC_CLASS_C_DEC::
 129     map_debug_base()
 130     {
 131
 132     }
 133
 134     PB_ASSOC_CLASS_T_DEC
 135     PB_ASSOC_CLASS_C_DEC::
 136     map_debug_base(const PB_ASSOC_CLASS_C_DEC& r_other) :
 137       m_key_set(r_other.m_key_set)
 138     { }
 139
 140     PB_ASSOC_CLASS_T_DEC
 141     PB_ASSOC_CLASS_C_DEC::
 142     ~map_debug_base()
 143     { }
 144
 145     PB_ASSOC_CLASS_T_DEC
 146     inline void
 147     PB_ASSOC_CLASS_C_DEC::
 148     insert_new(const_key_reference r_key)
 149     {
 150       const double orig_throw_prob =
 151         pb_assoc::detail::test::dbg_ex_allocator_base().get_throw_prob();
 152
 153       pb_assoc::detail::test::dbg_ex_allocator_base().
 154         set_throw_prob(0);
 155
 156       if (m_key_set.find(r_key) != m_key_set.end())
 157         abort();
 158
 159       try
 160         {
 161           m_key_set.insert(r_key);
 162         }
 163       catch(...)
 164         {
 165           pb_assoc::detail::test::dbg_ex_allocator_base().
 166             set_throw_prob(orig_throw_prob);
 167
 168           throw;
 169         }
 170
 171       pb_assoc::detail::test::dbg_ex_allocator_base().
 172         set_throw_prob(orig_throw_prob);
 173     }
 174
 175     PB_ASSOC_CLASS_T_DEC
 176     inline void
 177     PB_ASSOC_CLASS_C_DEC::
 178     erase_existing(const_key_reference r_key)
 179     {
 180       if (m_key_set.find(r_key) == m_key_set.end())
 181         abort();
 182
 183       m_key_set.erase(r_key);
 184
 185       if (m_key_set.find(r_key) != m_key_set.end())
 186         abort();
 187     }
 188
 189     PB_ASSOC_CLASS_T_DEC
 190     void
 191     PB_ASSOC_CLASS_C_DEC::
 192     clear()
 193     {
 194       m_key_set.clear();
 195     }
 196
 197     PB_ASSOC_CLASS_T_DEC
 198     inline void
 199     PB_ASSOC_CLASS_C_DEC::
 200     check_key_exists(const_key_reference r_key) const
 201     {
 202       if (m_key_set.find(r_key) == m_key_set.end())
 203         abort();
 204     }
 205
 206     PB_ASSOC_CLASS_T_DEC
 207     inline void
 208     PB_ASSOC_CLASS_C_DEC::
 209     check_key_does_not_exist(const_key_reference r_key) const
 210     {
 211       if (m_key_set.find(r_key) != m_key_set.end())
 212         abort();
 213     }
 214
 215     PB_ASSOC_CLASS_T_DEC
 216     inline void
 217     PB_ASSOC_CLASS_C_DEC::
 218     check_size(size_type size) const
 219     {
 220       const size_type key_set_size = m_key_set.size();
 221
 222       if (size != key_set_size)
 223         abort();
 224     }
 225
 226     PB_ASSOC_CLASS_T_DEC
 227     void
 228     PB_ASSOC_CLASS_C_DEC::
 229     swap(PB_ASSOC_CLASS_C_DEC& r_other)
 230     {
 231       m_key_set.swap(r_other.m_key_set);
 232     }
 233
 234 #undef PB_ASSOC_CLASS_T_DEC
 235 #undef PB_ASSOC_CLASS_C_DEC
 236
 237 #undef PB_ASSOC_DBG_ASSERT
 238 #undef PB_ASSOC_DBG_VERIFY
 239 #undef PB_ASSOC_DBG_ONLY
 240
 241   } // namespace detail
 242
 243 } // namespace pb_assoc
 244
 245 #endif // #ifdef PB_ASSOC_USE_MAP_DEBUG_BASE
 246
 247 #endif // #ifndef MAP_DEBUG_BASE_HPP
 248