Macros
ExpectsAndEnsures.hpp File Reference

Defines macros Expects and Ensures. More...

#include "ErrorHandling/Error.hpp"

Go to the source code of this file.

Macros

#define UNLIKELY(x)   (x)
 
#define Expects(cond)
 check expectation of pre-conditions of a function More...
 
#define Ensures(cond)
 Check that a post-condition of a function is true. More...
 

Detailed Description

Defines macros Expects and Ensures.