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 debug_fn_imps.hpp 42 * Contains an implementation class for ov_tree_. 43 */ 44 45#ifdef PB_ASSOC_OV_TREE_DEBUG_ 46 47PB_ASSOC_CLASS_T_DEC 48void 49PB_ASSOC_CLASS_C_DEC:: 50assert_valid() const 51{ 52 if (m_a_mapped_values == NULL || m_end_it == NULL || m_size == 0) 53 PB_ASSOC_DBG_ASSERT(m_a_mapped_values == NULL&& m_end_it == NULL&& 54 m_size == 0); 55 56 assert_iterators(); 57} 58 59PB_ASSOC_CLASS_T_DEC 60void 61PB_ASSOC_CLASS_C_DEC:: 62assert_iterators() const 63{ 64 my_map_debug_base::check_size(m_size); 65 66 size_type iterated_num = 0; 67 68 const_iterator prev_it = end(); 69 70 PB_ASSOC_DBG_ASSERT( m_end_it == m_a_mapped_values + m_size); 71 72 for (const_iterator it = begin(); it != end(); ++it) 73 { 74 ++iterated_num; 75 76 PB_ASSOC_DBG_ONLY(my_map_debug_base::check_key_exists( 77 PB_ASSOC_V2F(*it))); 78 79 PB_ASSOC_DBG_ASSERT(lower_bound( 80 PB_ASSOC_V2F(*it)) == it); 81 82 const_iterator upper_bound_it = upper_bound( 83 PB_ASSOC_V2F(*it)); 84 85 --upper_bound_it; 86 87 PB_ASSOC_DBG_ASSERT(upper_bound_it == it); 88 89 if (prev_it != end()) 90 PB_ASSOC_DBG_ASSERT(Cmp_Fn::operator()( 91 PB_ASSOC_V2F(*prev_it), 92 PB_ASSOC_V2F(*it))); 93 94 prev_it = it; 95 } 96 97 PB_ASSOC_DBG_ASSERT(iterated_num == m_size); 98} 99 100#endif // #ifdef PB_ASSOC_OV_TREE_DEBUG_ 101 102