contract.hpp File Reference

Defines macros for Design-by-Contract verification. More...

#include <cassert>
#include "NNL/common/src_info.hpp"
#include "NNL/common/panic.hpp"

Go to the source code of this file.

Macros
#define	NNL_EXPECTS(precondition)
	A precondition check.
#define	NNL_EXPECTS_DBG(precondition)
	Debug-only precondition check.
#define	NNL_ENSURES_DBG(postcondition)
	Debug-only postcondition check.

Detailed Description

Defines macros for Design-by-Contract verification.

See also

NNL_EXPECTS

NNL_EXPECTS_DBG

NNL_ENSURES_DBG