00001 // -*- C++ -*- 00002 00003 // Copyright (C) 2005 Free Software Foundation, Inc. 00004 // 00005 // This file is part of the GNU ISO C++ Library. This library is free 00006 // software; you can redistribute it and/or modify it under the 00007 // terms of the GNU General Public License as published by the 00008 // Free Software Foundation; either version 2, or (at your option) 00009 // any later version. 00010 00011 // This library is distributed in the hope that it will be useful, 00012 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 // GNU General Public License for more details. 00015 00016 // You should have received a copy of the GNU General Public License along 00017 // with this library; see the file COPYING. If not, write to the Free 00018 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, 00019 // USA. 00020 00021 // As a special exception, you may use this file as part of a free software 00022 // library without restriction. Specifically, if other files instantiate 00023 // templates or use macros or inline functions from this file, or you compile 00024 // this file and link it with other files to produce an executable, this 00025 // file does not by itself cause the resulting executable to be covered by 00026 // the GNU General Public License. This exception does not however 00027 // invalidate any other reasons why the executable file might be covered by 00028 // the GNU General Public License. 00029 00030 // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL. 00031 00032 // Permission to use, copy, modify, sell, and distribute this software 00033 // is hereby granted without fee, provided that the above copyright 00034 // notice appears in all copies, and that both that copyright notice and 00035 // this permission notice appear in supporting documentation. None of 00036 // the above authors, nor IBM Haifa Research Laboratories, make any 00037 // representation about the suitability of this software for any 00038 // purpose. It is provided "as is" without express or implied warranty. 00039 00045 #ifdef PB_ASSOC_OV_TREE_DEBUG_ 00046 00047 PB_ASSOC_CLASS_T_DEC 00048 void 00049 PB_ASSOC_CLASS_C_DEC:: 00050 assert_valid() const 00051 { 00052 if (m_a_mapped_values == NULL || m_end_it == NULL || m_size == 0) 00053 PB_ASSOC_DBG_ASSERT(m_a_mapped_values == NULL&& m_end_it == NULL&& 00054 m_size == 0); 00055 00056 assert_iterators(); 00057 } 00058 00059 PB_ASSOC_CLASS_T_DEC 00060 void 00061 PB_ASSOC_CLASS_C_DEC:: 00062 assert_iterators() const 00063 { 00064 my_map_debug_base::check_size(m_size); 00065 00066 size_type iterated_num = 0; 00067 00068 const_iterator prev_it = end(); 00069 00070 PB_ASSOC_DBG_ASSERT( m_end_it == m_a_mapped_values + m_size); 00071 00072 for (const_iterator it = begin(); it != end(); ++it) 00073 { 00074 ++iterated_num; 00075 00076 PB_ASSOC_DBG_ONLY(my_map_debug_base::check_key_exists( 00077 PB_ASSOC_V2F(*it))); 00078 00079 PB_ASSOC_DBG_ASSERT(lower_bound( 00080 PB_ASSOC_V2F(*it)) == it); 00081 00082 const_iterator upper_bound_it = upper_bound( 00083 PB_ASSOC_V2F(*it)); 00084 00085 --upper_bound_it; 00086 00087 PB_ASSOC_DBG_ASSERT(upper_bound_it == it); 00088 00089 if (prev_it != end()) 00090 PB_ASSOC_DBG_ASSERT(Cmp_Fn::operator()( 00091 PB_ASSOC_V2F(*prev_it), 00092 PB_ASSOC_V2F(*it))); 00093 00094 prev_it = it; 00095 } 00096 00097 PB_ASSOC_DBG_ASSERT(iterated_num == m_size); 00098 } 00099 00100 #endif // #ifdef PB_ASSOC_OV_TREE_DEBUG_ 00101