ai::Contract Namespace Reference

Classes
struct	Violation
	Exception class for Contract violation. More...
struct	AssertPolicy
	Contract policy types. More...
struct	ThrowPolicy
struct	AssertAndThrowPolicy
Functions
template<typename T >
void	Check (T condition, const char *msg, AssertPolicy)
	Contract verification.
template<typename T >
constexpr void	Check (T condition, const char *msg, ThrowPolicy)
template<typename T >
void	Check (T condition, const char *msg, AssertAndThrowPolicy)
Variables
constexpr ai::LiteralString kDefaultPreconditionMsg Failed	Precondition

---

Function Documentation

template<typename T >

void ai::Contract::Check	(	T	condition,
		const char *	msg,
		AssertAndThrowPolicy
	)			[inline]

References AIMsgAssert.

template<typename T >

constexpr void ai::Contract::Check	(	T	condition,
		const char *	msg,
		ThrowPolicy
	)			[inline]

template<typename T >

void ai::Contract::Check	(	T	condition,
		const char *	msg,
		AssertPolicy
	)			[inline]

Contract verification.

References AIMsgAssert.

Referenced by ai::Ensures(), and ai::Expects().

---

Variable Documentation

constexpr ai::LiteralString kDefaultPreconditionMsg Failed ai::Contract::Precondition