100db7afdSDavid E. O'Brien // -*- C++ -*- forwarding header. 200db7afdSDavid E. O'Brien 3*f8a1b7d9SAlexander Kabaev // Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005 400db7afdSDavid E. O'Brien // Free Software Foundation, Inc. 500db7afdSDavid E. O'Brien // 600db7afdSDavid E. O'Brien // This file is part of the GNU ISO C++ Library. This library is free 700db7afdSDavid E. O'Brien // software; you can redistribute it and/or modify it under the 800db7afdSDavid E. O'Brien // terms of the GNU General Public License as published by the 900db7afdSDavid E. O'Brien // Free Software Foundation; either version 2, or (at your option) 1000db7afdSDavid E. O'Brien // any later version. 1100db7afdSDavid E. O'Brien 1200db7afdSDavid E. O'Brien // This library is distributed in the hope that it will be useful, 1300db7afdSDavid E. O'Brien // but WITHOUT ANY WARRANTY; without even the implied warranty of 1400db7afdSDavid E. O'Brien // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 1500db7afdSDavid E. O'Brien // GNU General Public License for more details. 1600db7afdSDavid E. O'Brien 1700db7afdSDavid E. O'Brien // You should have received a copy of the GNU General Public License along 1800db7afdSDavid E. O'Brien // with this library; see the file COPYING. If not, write to the Free 19*f8a1b7d9SAlexander Kabaev // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, 2000db7afdSDavid E. O'Brien // USA. 2100db7afdSDavid E. O'Brien 2200db7afdSDavid E. O'Brien // As a special exception, you may use this file as part of a free software 2300db7afdSDavid E. O'Brien // library without restriction. Specifically, if other files instantiate 2400db7afdSDavid E. O'Brien // templates or use macros or inline functions from this file, or you compile 2500db7afdSDavid E. O'Brien // this file and link it with other files to produce an executable, this 2600db7afdSDavid E. O'Brien // file does not by itself cause the resulting executable to be covered by 2700db7afdSDavid E. O'Brien // the GNU General Public License. This exception does not however 2800db7afdSDavid E. O'Brien // invalidate any other reasons why the executable file might be covered by 2900db7afdSDavid E. O'Brien // the GNU General Public License. 3000db7afdSDavid E. O'Brien 3100db7afdSDavid E. O'Brien /** @file cassert 3200db7afdSDavid E. O'Brien * This is a Standard C++ Library file. You should @c #include this file 3300db7afdSDavid E. O'Brien * in your programs, rather than any of the "*.h" implementation files. 3400db7afdSDavid E. O'Brien * 3500db7afdSDavid E. O'Brien * This is the C++ version of the Standard C Library header @c assert.h, 3600db7afdSDavid E. O'Brien * and its contents are (mostly) the same as that header, but are all 37*f8a1b7d9SAlexander Kabaev * contained in the namespace @c std (except for names which are defined 38*f8a1b7d9SAlexander Kabaev * as macros in C). 3900db7afdSDavid E. O'Brien */ 4000db7afdSDavid E. O'Brien 41*f8a1b7d9SAlexander Kabaev // 42*f8a1b7d9SAlexander Kabaev // ISO C++ 14882: 19.2 Assertions 43*f8a1b7d9SAlexander Kabaev // 44*f8a1b7d9SAlexander Kabaev 4500db7afdSDavid E. O'Brien // No include guards on this header... 4600db7afdSDavid E. O'Brien 4700db7afdSDavid E. O'Brien #pragma GCC system_header 4800db7afdSDavid E. O'Brien 4900db7afdSDavid E. O'Brien #include <assert.h> 50