Defines | |
#define | DBC_assert(c) |
#define | DBC_require(c) |
#define | DBC_ensure(c) |
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/.
#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.