Assertion.hh

Go to the documentation of this file.

#ifndef __DIADES__UTILS__ASSERTION__HH
#define __DIADES__UTILS__ASSERTION__HH



#include <string>
#include <stdexcept>
#include <boost/format.hpp>
#include <diades/utils/Verbose.hh>
#include <diades/utils/Exceptions.hh>

using std::string;
using std::runtime_error;
using std::domain_error;

template<class X, class A> inline void Require(A assertion,const string & s) {
  if (!assertion) throw X(s + ": requirement failed");
}

template<class X, class A> inline void Require(A assertion,const Diades::Utils::Msg & fmt) {
  if (!assertion) throw X(fmt.str() + ": requirement failed");
}

template<class X, class A> inline void Ensure(A assertion,const string & s) {
  if (!assertion) throw X(s + ": ensurement failed");
}



template<class X, class A> inline void Ensure(A assertion,const Diades::Utils::Msg & fmt) {
  if (!assertion) throw X(fmt.str() + ": requirement failed");
}


template<class X, class A> inline void Assertion(A assertion,const string & s) {
  if (!assertion) throw X(s + ": assertion failed");
}

template<class X, class A> inline void Assertion(A assertion,const Diades::Utils::Msg & fmt) {
  if (!assertion) throw X(fmt.str() + ": requirement failed");
}


#ifdef __REQUIRE
#define require(Exception,expr,message) \
  Require<Exception>(expr,message)
#else
#define require(Exception,expr,message) \
  ;
#endif

#ifdef __ENSURE
#define ensure(Exception,expr,message) \
    Ensure<Exception>(expr,message)
#else
#define ensure(Exception,expr,message) \
  ;
#endif

#ifdef __ASSERT
#define assertion(Exception, expr, message) \
    Assertion<Exception>(expr,message)
#else
#define assertion(Exception, expr, message) \
  ;
#endif


#ifdef __DEBUG
#define debug(x) \
  do          \
  {           \
        x;        \
  } while(0) 
#else
#define debug(x) \
  ; 
#endif

#define always_require(Exception, expr, message)  Require<Exception>(expr,message)
#define always_ensure(Exception, expr, message)  Ensure<Exception>(expr,message)
#define always_assertion(Exception, expr, message)  Assertion<Exception>(expr,message)





#endif