contracts.h File Reference

#include <cassert>
#include <cstddef>

Macros
#define	ASSERT(ignore)
#define	IS_VALID(ignore)
#define	REQUIRE(ignore)
#define	ENSURE(ignore)
#define	STATE(ignore)

Macro Definition Documentation

ASSERT

#define ASSERT

(

ignore

)

Value:

((void) 0)

IS_VALID

#define IS_VALID

(

ignore

)

Value:

((void) 0)

REQUIRE

#define REQUIRE

(

ignore

)

Value:

((void) 0)

ENSURE

#define ENSURE

(

ignore

)

Value:

((void) 0)

STATE

#define STATE

(

ignore

)

Value:

((void) 0)