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_RB_TREE_DEBUG_ 00046 00047 PB_ASSOC_CLASS_T_DEC 00048 typename PB_ASSOC_CLASS_C_DEC::size_type 00049 PB_ASSOC_CLASS_C_DEC:: 00050 assert_node_consistent(const node_pointer p_nd) const 00051 { 00052 if (p_nd == NULL) 00053 return (1); 00054 00055 const size_type l_height = assert_node_consistent(p_nd->m_p_left); 00056 const size_type r_height = assert_node_consistent(p_nd->m_p_right); 00057 00058 if (p_nd->m_red) 00059 { 00060 PB_ASSOC_DBG_ASSERT(is_effectively_black(p_nd->m_p_left)); 00061 00062 PB_ASSOC_DBG_ASSERT(is_effectively_black(p_nd->m_p_right)); 00063 } 00064 00065 PB_ASSOC_DBG_ASSERT(l_height == r_height); 00066 00067 return ((p_nd->m_red? 0 : 1) + l_height); 00068 } 00069 00070 PB_ASSOC_CLASS_T_DEC 00071 void 00072 PB_ASSOC_CLASS_C_DEC:: 00073 assert_valid() const 00074 { 00075 PB_ASSOC_DBG_ASSERT(PB_ASSOC_BASE_C_DEC::m_p_head->m_red); 00076 00077 if (PB_ASSOC_BASE_C_DEC::m_p_head->m_p_parent != NULL) 00078 { 00079 PB_ASSOC_DBG_ASSERT(PB_ASSOC_BASE_C_DEC::m_p_head->m_p_parent->m_red 00080 == false); 00081 00082 assert_node_consistent(PB_ASSOC_BASE_C_DEC::m_p_head->m_p_parent); 00083 } 00084 } 00085 00086 #endif // #ifdef PB_ASSOC_RB_TREE_DEBUG_ 00087