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.

Data Structures
struct	DbC_Error
	DbC exceptions throw a pointer to this structure. More...

Macros
#define	PRECONDITION_ERROR
	Integer value for a precondition error code.
#define	POSTCONDITION_ERROR
	Integer value for a postcondition error code.
#define	INVARIANT_ERROR
	Integer value for an invariant error code.
#define	CHECK_ERROR
	Integer value for a check error code.
#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.
#define	IS_DbC_ERROR(e)
	checks if it is a DbC error code
#define	DbC_ERROR_2_STR(e)
	Converts DbC error code to a string.
#define	rescue_retry
	To place at the beginning of the code to be retried.
#define	rescue_begin
	To place at the beginning of the rescue code.
#define	rescue_end
	To place at the end of the rescue code.
#define	retry
	Jump to the beginning of the code to be retried (must be inside the rescue code!).

Detailed Description

Design-by-Contract module.