DefensiveProgramming.h File Reference

Go to the source code of this file.

Macros
#define	ASSERT(condition)
#define	INVARIANT   ASSERT(invariant())
#define	POST(condition)
#define	PRE(condition)

Macro Definition Documentation

ASSERT

#define ASSERT

(

condition

)

INVARIANT

#define INVARIANT   ASSERT(invariant())

POST

#define POST

(

condition

)

Value:

    {       \
    ASSERT(condition);          \
    INVARIANT;                  \
}

PRE

#define PRE

(

condition

)

Value:

    {           \
    INVARIANT;                  \
    ASSERT(condition);          \
}