dbc.h File Reference

Design-by-Contract module. More...

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include "hdp.h"
#include "utils.h"

Go to the source code of this file.

Macros
#define	check(condition, message)
	Checks the verification of an general algorithm assertion.
#define	require(condition, message)
	Checks the verification of a precondition.
#define	ensure(condition, message)
	Checks the verification of a postcondition.
#define	invariant(condition, message)
	Checks the verification of an invariant.

Detailed Description

Design-by-Contract module.