Package: Utilities       

---

Utility/pre-post-conditions.h

Go to the documentation of this file.

#ifndef NMWR_GB_PRE_POST_CONDITION_H
#define NMWR_GB_PRE_POST_CONDITION_H




/* ------------------------------------------------------------

    Copyright (C) 1997 - 2009 Guntram Berti

    This file is part of the Grid Algorithms Library (GrAL),
    available at http://gral.berti-cmm.de

    GrAL is distributed under the MIT license,
    see the file LICENSE or http://gral.berti-cmm.de/license

--------------------------------------------------------------- */


#include <iostream>
#include <stdlib.h>

#ifdef GRAL_NO_ABORT
#include <exception>
#endif

  
//----------------------------------------------------------------
//----------------------------------------------------------------


#define GRAL_ERRORLOG ::std::cerr
#define GRAL_ABORT ::abort() 
#define GRAL_DATE_INFO  " (compiled on " << __DATE__ << " at " __TIME__  << " )"


#ifdef  GRAL_NO_ABORT
#undef  GRAL_ABORT
#define GRAL_ABORT throw ::std::exception()
#endif

#ifdef  GRAL_NO_SHOW_DATE
#undef  GRAL_DATE_INFO
#define GRAL_DATE_INFO  ""
#endif

#ifdef  GRAL_NO_SHOW_FUNCTION
#define GRAL_FUNCTION_INFO ""
#else
#define GRAL_FUNCTION_INFO "      FUNCTION " << __FUNCTION__ << ", "
#endif

#ifdef  GRAL_NO_SHOW_LINE
#define GRAL_LINE_INFO ""
#else
#define GRAL_LINE_INFO "  LINE " << __LINE__ << ", "
#endif



#define GRAL_ERROR  GRAL_ERRORLOG \
   << "\n" \
   << "GRAL_ERROR in FILE "  << __FILE__ << "\n" \
   << GRAL_FUNCTION_INFO \
   << GRAL_LINE_INFO \
   << GRAL_DATE_INFO << "\n"


#define GRAL_PRECONDITION_ERROR   GRAL_ERROR  << "      precondition violated: "
#define GRAL_POSTCONDITION_ERROR  GRAL_ERROR  << "      postcondition violated: "




#define REQUIRE_ALWAYS(condition, error_msg, severity)\
 if(! (condition))  { GRAL_PRECONDITION_ERROR << #condition << ' ' << error_msg << ::std::endl; GRAL_ABORT;}

#define ENSURE_ALWAYS(condition, error_msg, severity)\
 if(! (condition)) { GRAL_POSTCONDITION_ERROR << #condition << ' ' << error_msg << ::std::endl; GRAL_ABORT;}

#ifdef NMWR_DEBUG

#define REQUIRE(condition, error_msg, severity)  REQUIRE_ALWAYS(condition, error_msg, severity) 
// if(! (condition))  { GRAL_PRECONDITION_ERROR << #condition << ' ' << error_msg << ::std::endl; GRAL_ABORT;}

#define ENSURE(condition, error_msg, severity) ENSURE_ALWAYS(condition, error_msg, severity)
// if(! (condition)) { GRAL_POSTCONDITION_ERROR << #condition << ' '  << error_msg << ::std::endl; GRAL_ABORT;}

#else
#define REQUIRE(condition, error_msg, severity) 
#define ENSURE(condition, error_msg, severity)
#endif


#endif

---

©  Guntram Berti 1997-2009. See the GrAL Homepage for up-to-date information.

---