DBC

Defines
#define	DBC_assert(c)
#define	DBC_require(c)
#define	DBC_ensure(c)

---

Detailed Description

Design By Contract is a software methodology pioneered by Dr. Bertrand Meyers. It utilitizes the concept of preconditions and postconditions to ensure program correctness. For additional reference, please visit http://archive.eiffel.com/doc/manuals/technology/contract/.

Remarks:

To enable the use of DBC in debug builds, add a "DBC_ASSERTS" define in your makefile or build package.

---

Define Documentation

#define DBC_assert

(

c

)

Assert a logical condition to be TRUE.

#define DBC_require

(

c

)

Assert a precondition to be TRUE.

#define DBC_ensure

(

c

)

Assert a postcondition to be TRUE.