1951a39d68df598db08dfced8b4707755864a0492Ying Wang// Debugging support implementation -*- C++ -*- 2951a39d68df598db08dfced8b4707755864a0492Ying Wang 3951a39d68df598db08dfced8b4707755864a0492Ying Wang// Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009 4951a39d68df598db08dfced8b4707755864a0492Ying Wang// Free Software Foundation, Inc. 5951a39d68df598db08dfced8b4707755864a0492Ying Wang// 6951a39d68df598db08dfced8b4707755864a0492Ying Wang// This file is part of the GNU ISO C++ Library. This library is free 7951a39d68df598db08dfced8b4707755864a0492Ying Wang// software; you can redistribute it and/or modify it under the 8951a39d68df598db08dfced8b4707755864a0492Ying Wang// terms of the GNU General Public License as published by the 9951a39d68df598db08dfced8b4707755864a0492Ying Wang// Free Software Foundation; either version 3, or (at your option) 10951a39d68df598db08dfced8b4707755864a0492Ying Wang// any later version. 11951a39d68df598db08dfced8b4707755864a0492Ying Wang 12951a39d68df598db08dfced8b4707755864a0492Ying Wang// This library is distributed in the hope that it will be useful, 13951a39d68df598db08dfced8b4707755864a0492Ying Wang// but WITHOUT ANY WARRANTY; without even the implied warranty of 14951a39d68df598db08dfced8b4707755864a0492Ying Wang// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15951a39d68df598db08dfced8b4707755864a0492Ying Wang// GNU General Public License for more details. 16951a39d68df598db08dfced8b4707755864a0492Ying Wang 17951a39d68df598db08dfced8b4707755864a0492Ying Wang// Under Section 7 of GPL version 3, you are granted additional 18951a39d68df598db08dfced8b4707755864a0492Ying Wang// permissions described in the GCC Runtime Library Exception, version 19951a39d68df598db08dfced8b4707755864a0492Ying Wang// 3.1, as published by the Free Software Foundation. 20951a39d68df598db08dfced8b4707755864a0492Ying Wang 21951a39d68df598db08dfced8b4707755864a0492Ying Wang// You should have received a copy of the GNU General Public License and 22951a39d68df598db08dfced8b4707755864a0492Ying Wang// a copy of the GCC Runtime Library Exception along with this program; 23951a39d68df598db08dfced8b4707755864a0492Ying Wang// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see 24951a39d68df598db08dfced8b4707755864a0492Ying Wang// <http://www.gnu.org/licenses/>. 25951a39d68df598db08dfced8b4707755864a0492Ying Wang 26951a39d68df598db08dfced8b4707755864a0492Ying Wang/** @file debug/debug.h 27951a39d68df598db08dfced8b4707755864a0492Ying Wang * This file is a GNU debug extension to the Standard C++ Library. 28951a39d68df598db08dfced8b4707755864a0492Ying Wang */ 29951a39d68df598db08dfced8b4707755864a0492Ying Wang 30951a39d68df598db08dfced8b4707755864a0492Ying Wang#ifndef _GLIBCXX_DEBUG_MACRO_SWITCH_H 31951a39d68df598db08dfced8b4707755864a0492Ying Wang#define _GLIBCXX_DEBUG_MACRO_SWITCH_H 1 32951a39d68df598db08dfced8b4707755864a0492Ying Wang 33951a39d68df598db08dfced8b4707755864a0492Ying Wang/** Macros and namespaces used by the implementation outside of debug 34951a39d68df598db08dfced8b4707755864a0492Ying Wang * wrappers to verify certain properties. The __glibcxx_requires_xxx 35951a39d68df598db08dfced8b4707755864a0492Ying Wang * macros are merely wrappers around the __glibcxx_check_xxx wrappers 36951a39d68df598db08dfced8b4707755864a0492Ying Wang * when we are compiling with debug mode, but disappear when we are 37951a39d68df598db08dfced8b4707755864a0492Ying Wang * in release mode so that there is no checking performed in, e.g., 38951a39d68df598db08dfced8b4707755864a0492Ying Wang * the standard library algorithms. 39951a39d68df598db08dfced8b4707755864a0492Ying Wang*/ 40951a39d68df598db08dfced8b4707755864a0492Ying Wang 41951a39d68df598db08dfced8b4707755864a0492Ying Wang// Debug mode namespaces. 42951a39d68df598db08dfced8b4707755864a0492Ying Wang 43951a39d68df598db08dfced8b4707755864a0492Ying Wang/** 44951a39d68df598db08dfced8b4707755864a0492Ying Wang * @namespace std::__debug 45951a39d68df598db08dfced8b4707755864a0492Ying Wang * @brief GNU debug code, replaces standard behavior with debug behavior. 46951a39d68df598db08dfced8b4707755864a0492Ying Wang */ 47951a39d68df598db08dfced8b4707755864a0492Ying Wangnamespace std 48951a39d68df598db08dfced8b4707755864a0492Ying Wang{ 49951a39d68df598db08dfced8b4707755864a0492Ying Wang namespace __debug { } 50951a39d68df598db08dfced8b4707755864a0492Ying Wang} 51951a39d68df598db08dfced8b4707755864a0492Ying Wang 52951a39d68df598db08dfced8b4707755864a0492Ying Wang/** @namespace __gnu_debug 53951a39d68df598db08dfced8b4707755864a0492Ying Wang * @brief GNU debug classes for public use. 54951a39d68df598db08dfced8b4707755864a0492Ying Wang*/ 55951a39d68df598db08dfced8b4707755864a0492Ying Wangnamespace __gnu_debug 56951a39d68df598db08dfced8b4707755864a0492Ying Wang{ 57951a39d68df598db08dfced8b4707755864a0492Ying Wang using namespace std::__debug; 58951a39d68df598db08dfced8b4707755864a0492Ying Wang} 59951a39d68df598db08dfced8b4707755864a0492Ying Wang 60951a39d68df598db08dfced8b4707755864a0492Ying Wang#ifndef _GLIBCXX_DEBUG 61951a39d68df598db08dfced8b4707755864a0492Ying Wang 62951a39d68df598db08dfced8b4707755864a0492Ying Wang# define _GLIBCXX_DEBUG_ASSERT(_Condition) 63951a39d68df598db08dfced8b4707755864a0492Ying Wang# define _GLIBCXX_DEBUG_PEDASSERT(_Condition) 64951a39d68df598db08dfced8b4707755864a0492Ying Wang# define _GLIBCXX_DEBUG_ONLY(_Statement) ; 65951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_cond(_Cond,_Msg) 66951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_valid_range(_First,_Last) 67951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_sorted(_First,_Last) 68951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_sorted_pred(_First,_Last,_Pred) 69951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_sorted_set(_First1,_Last1,_First2) 70951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_sorted_set_pred(_First1,_Last1,_First2,_Pred) 71951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_partitioned_lower(_First,_Last,_Value) 72951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_partitioned_upper(_First,_Last,_Value) 73951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_partitioned_lower_pred(_First,_Last,_Value,_Pred) 74951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_partitioned_upper_pred(_First,_Last,_Value,_Pred) 75951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_heap(_First,_Last) 76951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_heap_pred(_First,_Last,_Pred) 77951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_nonempty() 78951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_string(_String) 79951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_string_len(_String,_Len) 80951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_subscript(_N) 81951a39d68df598db08dfced8b4707755864a0492Ying Wang 82951a39d68df598db08dfced8b4707755864a0492Ying Wang#else 83951a39d68df598db08dfced8b4707755864a0492Ying Wang 84951a39d68df598db08dfced8b4707755864a0492Ying Wang# include <debug/macros.h> 85951a39d68df598db08dfced8b4707755864a0492Ying Wang 86951a39d68df598db08dfced8b4707755864a0492Ying Wang#define _GLIBCXX_DEBUG_ASSERT(_Condition) __glibcxx_assert(_Condition) 87951a39d68df598db08dfced8b4707755864a0492Ying Wang 88951a39d68df598db08dfced8b4707755864a0492Ying Wang#ifdef _GLIBCXX_DEBUG_PEDANTIC 89951a39d68df598db08dfced8b4707755864a0492Ying Wang# define _GLIBCXX_DEBUG_PEDASSERT(_Condition) _GLIBCXX_DEBUG_ASSERT(_Condition) 90951a39d68df598db08dfced8b4707755864a0492Ying Wang#else 91951a39d68df598db08dfced8b4707755864a0492Ying Wang# define _GLIBCXX_DEBUG_PEDASSERT(_Condition) 92951a39d68df598db08dfced8b4707755864a0492Ying Wang#endif 93951a39d68df598db08dfced8b4707755864a0492Ying Wang 94951a39d68df598db08dfced8b4707755864a0492Ying Wang# define _GLIBCXX_DEBUG_ONLY(_Statement) _Statement 95951a39d68df598db08dfced8b4707755864a0492Ying Wang 96951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_cond(_Cond,_Msg) _GLIBCXX_DEBUG_VERIFY(_Cond,_Msg) 97951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_valid_range(_First,_Last) \ 98951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_valid_range(_First,_Last) 99951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_sorted(_First,_Last) \ 100951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_sorted(_First,_Last) 101951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_sorted_pred(_First,_Last,_Pred) \ 102951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_sorted_pred(_First,_Last,_Pred) 103951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_sorted_set(_First1,_Last1,_First2) \ 104951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_sorted_set(_First1,_Last1,_First2) 105951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_sorted_set_pred(_First1,_Last1,_First2,_Pred) \ 106951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_sorted_set_pred(_First1,_Last1,_First2,_Pred) 107951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_partitioned_lower(_First,_Last,_Value) \ 108951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_partitioned_lower(_First,_Last,_Value) 109951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_partitioned_upper(_First,_Last,_Value) \ 110951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_partitioned_upper(_First,_Last,_Value) 111951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_partitioned_lower_pred(_First,_Last,_Value,_Pred) \ 112951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_partitioned_lower_pred(_First,_Last,_Value,_Pred) 113951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_partitioned_upper_pred(_First,_Last,_Value,_Pred) \ 114951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_partitioned_upper_pred(_First,_Last,_Value,_Pred) 115951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_heap(_First,_Last) \ 116951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_heap(_First,_Last) 117951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_heap_pred(_First,_Last,_Pred) \ 118951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_heap_pred(_First,_Last,_Pred) 119951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_nonempty() __glibcxx_check_nonempty() 120951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_string(_String) __glibcxx_check_string(_String) 121951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_string_len(_String,_Len) \ 122951a39d68df598db08dfced8b4707755864a0492Ying Wang __glibcxx_check_string_len(_String,_Len) 123951a39d68df598db08dfced8b4707755864a0492Ying Wang# define __glibcxx_requires_subscript(_N) __glibcxx_check_subscript(_N) 124951a39d68df598db08dfced8b4707755864a0492Ying Wang 125951a39d68df598db08dfced8b4707755864a0492Ying Wang# include <debug/functions.h> 126951a39d68df598db08dfced8b4707755864a0492Ying Wang# include <debug/formatter.h> 127951a39d68df598db08dfced8b4707755864a0492Ying Wang 128951a39d68df598db08dfced8b4707755864a0492Ying Wang#endif 129951a39d68df598db08dfced8b4707755864a0492Ying Wang 130951a39d68df598db08dfced8b4707755864a0492Ying Wang#endif // _GLIBCXX_DEBUG_MACRO_SWITCH_H 131