AIContract.hpp File Reference

#include "AITypes.h"
#include "AIAssert.hpp"
#include "IAILiteralString.h"

Go to the source code of this file.

Classes
struct	ai::Contract::Violation
	Exception class for Contract violation. More...
struct	ai::Contract::AssertPolicy
	Contract policy types. More...
struct	ai::Contract::ThrowPolicy
struct	ai::Contract::AssertAndThrowPolicy
Namespaces
namespace	ai
	Usage:.
namespace	ai::Contract
namespace	ai::ContractPolicy
Functions
template<typename T >
void	ai::Contract::Check (T condition, const char *msg, AssertPolicy)
	Contract verification.
template<typename T >
constexpr void	ai::Contract::Check (T condition, const char *msg, ThrowPolicy)
template<typename T >
void	ai::Contract::Check (T condition, const char *msg, AssertAndThrowPolicy)
template<typename T , typename Policy = Contract::ThrowPolicy>
constexpr void	ai::Expects (T condition, const char *msg=Contract::kDefaultPreconditionMsg, Policy policy=ContractPolicy::kThrow)
template<typename T , typename Policy >
constexpr void	ai::Expects (T condition, Policy policy)
template<typename T , typename Policy = Contract::ThrowPolicy>
constexpr void	ai::Ensures (T condition, const char *msg=Contract::kDefaultPostconditionMsg, Policy policy=ContractPolicy::kThrow)
template<typename T , typename Policy >
constexpr void	ai::Ensures (T condition, Policy policy)
template<typename T , typename Policy = Contract::ThrowPolicy>
constexpr void	ai::EnsureRange (const T &value, const char *msg=Contract::kDefaultPostconditionMsg, Policy policy=ContractPolicy::kThrow)
Variables
constexpr ai::LiteralString kDefaultPreconditionMsg Failed	ai::Contract::Precondition