Utility/pre-post-conditions.h File Reference

Some useful macros for checking pre/post conditions. More...

#include <iostream.h>
#include <stdlib.h>

Include dependency graph for pre-post-conditions.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Detailed Description

Some useful macros for checking pre/post conditions.

Two different sets of macros are defined:

REQUIRE/ENSURE (condition, message, severity) are defined only if NMWR_DEBUG is defined
REQUIRE_ALWAY/ENSURE_ALWAYS (condition, message, severity) are always defined

Example:

 int* f(int* p) {
  REQUIRE((p != 0), "Pointer null!", 1);
  // work on p ...
  ENSURE((p != 0), "Pointer null!", 1);
 }

Definition in file pre-post-conditions.h.

Define Documentation

#define _ERRORLOG cerr

Definition at line 35 of file pre-post-conditions.h.

#define _PRECONDITION_ERROR

Value:
_ERRORLOG << "\nERROR in FILE " << __FILE__ << ", LINE " << __LINE__\ << "\n(compiled on " << __DATE__ << " at " __TIME__ << " )\n"\ << "precondition violated:\n"

Definition at line 37 of file pre-post-conditions.h.

#define _POSTCONDITION_ERROR

Value:
_ERRORLOG << "\nERROR in FILE " << __FILE__ << ", LINE " << __LINE__\ << "\n(compiled on " << __DATE__ << " at " __TIME__ << " )\n"\ << ": postcondition violated:\n"

Definition at line 41 of file pre-post-conditions.h.

#define REQUIRE_ALWAYS ( condition,
error_msg,
severity ) if(! (condition)) { _PRECONDITION_ERROR << #condition << ' ' << error_msg << endl; abort();}

Definition at line 45 of file pre-post-conditions.h.
Referenced by main.

#define ENSURE_ALWAYS ( condition,
error_msg,
severity ) if(! (condition)) { _POSTCONDITION_ERROR << #condition << ' ' << error_msg << endl; abort();}

Definition at line 48 of file pre-post-conditions.h.

#define REQUIRE ( condition,
error_msg,
severity )

Definition at line 60 of file pre-post-conditions.h.

#define ENSURE ( condition,
error_msg,
severity )

Definition at line 61 of file pre-post-conditions.h.

Generated at Tue Feb 26 15:57:03 2002 for Utilities by