00001 // Copyright (C) 2001, 2002, 2003 EPITA Research and Development Laboratory 00002 // 00003 // This file is part of the Olena Library. This library is free 00004 // software; you can redistribute it and/or modify it under the terms 00005 // of the GNU General Public License version 2 as published by the 00006 // Free Software Foundation. 00007 // 00008 // This library is distributed in the hope that it will be useful, 00009 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00010 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00011 // General Public License for more details. 00012 // 00013 // You should have received a copy of the GNU General Public License 00014 // along with this library; see the file COPYING. If not, write to 00015 // the Free Software Foundation, 59 Temple Place - Suite 330, Boston, 00016 // MA 02111-1307, USA. 00017 // 00018 // As a special exception, you may use this file as part of a free 00019 // software library without restriction. Specifically, if other files 00020 // instantiate templates or use macros or inline functions from this 00021 // file, or you compile this file and link it with other files to 00022 // produce an executable, this file does not by itself cause the 00023 // resulting executable to be covered by the GNU General Public 00024 // License. This exception does not however invalidate any other 00025 // reasons why the executable file might be covered by the GNU General 00026 // Public License. 00027 00028 #ifndef NTG_CORE_CONTRACT_HH 00029 # define NTG_CORE_CONTRACT_HH 00030 00031 # include <mlc/contract.hh> 00032 00033 /* 00034 Custom version of assert, which can print a context string if 00035 NTG_DEBUG is defined. The context string should be filled by 00036 operators. 00037 */ 00038 00039 # ifdef NDEBUG 00040 # define ntg_assert(expr) (static_cast<void>(0)) 00041 # else 00042 // FIXME: repair NTG_DEBUG 00043 # if 0 // ifdef NTG_DEBUG 00044 # define ntg_assert(expr) \ 00045 if (!(expr)) \ 00046 { \ 00047 if (!ntg::debug_context.empty()) \ 00048 std::cerr << "In context: " << ntg::debug_context \ 00049 << std::endl; \ 00050 assertion(expr); \ 00051 } 00052 # else 00053 # define ntg_assert(expr) assertion(expr) 00054 # endif 00055 # endif 00056 00057 #endif // !NTG_CORE_CONTRACT_HH