projects / thirdparty / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| fd1e1726 BK |
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 | |
| 83f51799 | 18 | // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, |
| fd1e1726 BK |
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 for rb_tree_. | |
| 43 | */ | |
| 44 | ||
| 45 | #ifdef PB_ASSOC_RB_TREE_DEBUG_ | |
| 46 | ||
| 47 | PB_ASSOC_CLASS_T_DEC | |
| 48 | typename PB_ASSOC_CLASS_C_DEC::size_type | |
| 49 | PB_ASSOC_CLASS_C_DEC:: | |
| 50 | assert_node_consistent(const node_pointer p_nd) const | |
| 51 | { | |
| 52 | if (p_nd == NULL) | |
| 53 | return (1); | |
| 54 | ||
| 55 | const size_type l_height = assert_node_consistent(p_nd->m_p_left); | |
| 56 | const size_type r_height = assert_node_consistent(p_nd->m_p_right); | |
| 57 | ||
| 58 | if (p_nd->m_red) | |
| 59 | { | |
| 60 | PB_ASSOC_DBG_ASSERT(is_effectively_black(p_nd->m_p_left)); | |
| 61 | ||
| 62 | PB_ASSOC_DBG_ASSERT(is_effectively_black(p_nd->m_p_right)); | |
| 63 | } | |
| 64 | ||
| 65 | PB_ASSOC_DBG_ASSERT(l_height == r_height); | |
| 66 | ||
| 67 | return ((p_nd->m_red? 0 : 1) + l_height); | |
| 68 | } | |
| 69 | ||
| 70 | PB_ASSOC_CLASS_T_DEC | |
| 71 | void | |
| 72 | PB_ASSOC_CLASS_C_DEC:: | |
| 73 | assert_valid() const | |
| 74 | { | |
| 75 | PB_ASSOC_DBG_ASSERT(PB_ASSOC_BASE_C_DEC::m_p_head->m_red); | |
| 76 | ||
| 77 | if (PB_ASSOC_BASE_C_DEC::m_p_head->m_p_parent != NULL) | |
| 78 | { | |
| 79 | PB_ASSOC_DBG_ASSERT(PB_ASSOC_BASE_C_DEC::m_p_head->m_p_parent->m_red | |
| 80 | == false); | |
| 81 | ||
| 82 | assert_node_consistent(PB_ASSOC_BASE_C_DEC::m_p_head->m_p_parent); | |
| 83 | } | |
| 84 | } | |
| 85 | ||
| 86 | #endif // #ifdef PB_ASSOC_RB_TREE_DEBUG_ | |
| 87 |