toast/contracts.hpp File Reference

---

Detailed Description

conatracts.hpp contains several macros to ease Programming with Contracts

#include <toast/detail/contracts.hpp>

Go to the source code of this file.

Defines
#define	TOAST_INVARIANTS()   TOAST_INVARIANTS_IMPL()
	check class invariants.
#define	TOAST_IN(condition)   TOAST_IN_IMPL(condition, #condition)
	declare condition to be a precondition.
#define	TOAST_OUT(condition)   TOAST_OUT_IMPL(condition, #condition)
	declare condition to be a postcondition.
#define	TOAST_EXCEPT(condition)   TOAST_EXCEPT_IMPL(condition, #condition)
	declare condition to be an exceptional condition.
#define	TOAST_NEW(variable)   TOAST_NEW_IMPL(variable)
	delays evaluation of the variable.
#define	TOAST_INVARIANTS_BEGIN()   TOAST_INVARIANTS_BEGIN_IMPL()
	begin definition of class invariants.
#define	TOAST_DEFINE_INVARIANT(condition)   TOAST_DEFINE_INVARIANT_IMPL(condition)
	declare condition to be a class invariant.
#define	TOAST_INVARIANTS_END()   TOAST_INVARIANTS_END_IMPL()
	end definition of class invariants.
#define	TOAST_INVARIANTS_D()   TOAST_INVARIANTS()
	check class invariants.
#define	TOAST_IN_D(condition)   TOAST_IN(condition)
	declare condition to be a precondition.
#define	TOAST_OUT_D(condition)   TOAST_OUT(condition)
	declare condition to be a postcondition.
#define	TOAST_EXCEPT_D(condition)   TOAST_EXCEPT(condition)
	declare condition to be an exceptional condition.