OpenCores
URL https://opencores.org/ocsvn/scarts/scarts/trunk

Subversion Repositories scarts

[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [libstdc++-v3/] [include/] [ext/] [pb_assoc/] [detail/] [map_debug_base.hpp] - Blame information for rev 17

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 17 jlechner 
// -*- 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 
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.