dbc.h

Go to the documentation of this file.

 
#pragma once
 
#include <boost/assert.hpp>
 
 
class DbC {
 
#ifndef BOOST_ASSERT_IS_VOID
protected:
  virtual bool invariant() const noexcept {     /* LCOV_EXCL_START */
    return true;
  }                                             /* LCOV_EXCL_STOP */
#endif
};
 
 
template <typename T>
class DbCRAIIassert {
  using assert_t = bool (T::*)() const noexcept;
 
  const assert_t fun_;
 
  const T * obj_;
 
public:
  DbCRAIIassert( assert_t p_fun, T * p_obj ) : fun_(p_fun), obj_(p_obj) {}
 
  ~DbCRAIIassert( ) {
     BOOST_ASSERT_MSG( (obj_->*fun_)(), "invariant violated" );
  }
};
 
#define DBC_IS_VOID
 
#ifndef BOOST_ASSERT_IS_VOID
#  define DBC_INV_RAII(TT) const DbCRAIIassert<TT> _destructmeatreturn( &TT::invariant, this )
#  undef  DBC_IS_VOID
#else
#  define DBC_INV_RAII(TT) ((void)0)
#endif
 
#define DBC_PRE(XXX) BOOST_ASSERT(XXX)
 
#define DBC_POST(XXX) BOOST_ASSERT(XXX)
 
#define DBC_INV BOOST_ASSERT(invariant())
 
#define DBC_INV_CTOR(T) BOOST_ASSERT(T::invariant())