contract.hh

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

Generated on Thu Apr 15 20:13:07 2004 for Olena by doxygen 1.3.6-20040222