Contract.hxx File Reference

#include "MGIS/Raise.hxx"
#include "MGIS/Config.hxx"
#include "MGIS/InvalidResult.hxx"
#include "MGIS/AbstractErrorHandler.hxx"
#include "MGIS/Contract.ixx"

Classes
struct	mgis::ContractViolationHandler
	a class used to report a contract violation More...
struct	mgis::PreconditionsCheck< bool >
struct	mgis::PreconditionsChecker< Child >

Namespaces
namespace	mgis
	the namespace mgis encloses all the MGIS project.

Functions
template<typename Type , typename... Args> requires ( is_check_preconditions_callable<Type, Args...>)
constexpr void	mgis::check_preconditions (Args &&...args)

Variables
template<typename Type , typename... Args>
constexpr auto	mgis::is_check_preconditions_callable
constexpr auto	mgis::no_precondition_check = PreconditionsCheck<false>{}
constexpr auto	mgis::preconditions_check = PreconditionsCheck<true>{}

Detailed Description

Author

Thomas Helfer

Date

03/06/2025