mpl/assert.hpp File Reference

#include <boost/mpl/not.hpp>
#include <boost/mpl/aux_/value_wknd.hpp>
#include <boost/mpl/aux_/nested_type_wknd.hpp>
#include <boost/mpl/aux_/yes_no.hpp>
#include <boost/mpl/aux_/na.hpp>
#include <boost/mpl/aux_/adl_barrier.hpp>
#include <boost/mpl/aux_/config/nttp.hpp>
#include <boost/mpl/aux_/config/dtp.hpp>
#include <boost/mpl/aux_/config/gcc.hpp>
#include <boost/mpl/aux_/config/msvc.hpp>
#include <boost/mpl/aux_/config/gpu.hpp>
#include <boost/mpl/aux_/config/static_constant.hpp>
#include <boost/mpl/aux_/config/pp_counter.hpp>
#include <boost/mpl/aux_/config/workaround.hpp>
#include <boost/preprocessor/cat.hpp>
#include <boost/config.hpp>
#include <cstddef>

Include dependency graph for mpl/assert.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	assert< C >
struct	assert< false >
struct	assert_
struct	assert_arg_pred< P >
struct	assert_arg_pred_impl< bool >
struct	assert_arg_pred_impl< true >
struct	assert_arg_pred_not< P >
struct	assert_relation<,, >
struct	assertion< C >
struct	assertion< true >
struct	failed
struct	assert_::types< T1, T2, T3, T4 >

Macros
#define	AUX778076_ASSERT_ARG(x)   x
#define	BOOST_MPL_ASSERT(pred)
#define	BOOST_MPL_ASSERT_MSG(c, msg, types_)   BOOST_MPL_ASSERT_MSG_IMPL( BOOST_MPL_AUX_PP_COUNTER(), c, msg, types_ ) \
#define	BOOST_MPL_ASSERT_MSG_IMPL(counter, c, msg, types_)
#define	BOOST_MPL_ASSERT_NOT(pred)
#define	BOOST_MPL_ASSERT_RELATION(x, rel, y)
#define	BOOST_MPL_AUX_ASSERT_CONSTANT(T, expr)   BOOST_STATIC_CONSTANT(T, expr)
#define	BOOST_MPL_AUX_ASSERT_RELATION(x, y, r)   assert_relation<x,y,r>

Functions
template<typename Pred >
failed ************Pred::************	assert_arg (void(*)(Pred), typename assert_arg_pred< Pred >::type)
template<typename Pred >
	assert_arg (void(*)(Pred), typename assert_arg_pred_not< Pred >::type)
template<typename Pred >
	assert_not_arg (void(*)(Pred), typename assert_arg_pred< Pred >::type)
template<typename Pred >
failed ************boost::mpl::not_< Pred >::************	assert_not_arg (void(*)(Pred), typename assert_arg_pred_not< Pred >::type)
template<bool C>
int	assertion_failed (typename assert< C >::type)
bool	operator!= (failed, failed)
bool	operator< (failed, failed)
bool	operator<= (failed, failed)
bool	operator== (failed, failed)
bool	operator> (failed, failed)
bool	operator>= (failed, failed)

Macro Definition Documentation

AUX778076_ASSERT_ARG

#define AUX778076_ASSERT_ARG

(

x

)

x

Definition at line 76 of file mpl/assert.hpp.

BOOST_MPL_ASSERT

#define BOOST_MPL_ASSERT

(

pred

)

Value:

BOOST_MPL_AUX_ASSERT_CONSTANT( \
      std::size_t \
    , BOOST_PP_CAT(mpl_assertion_in_line_,BOOST_MPL_AUX_PP_COUNTER()) = sizeof( \
          boost::mpl::assertion_failed<false>( \
              boost::mpl::assert_arg( (void (*) pred)0, 1 ) \
            ) \
        ) \
    ) \

Definition at line 284 of file mpl/assert.hpp.

BOOST_MPL_ASSERT_MSG

#define BOOST_MPL_ASSERT_MSG	(		c,
			msg,
			types_
	)		BOOST_MPL_ASSERT_MSG_IMPL( BOOST_MPL_AUX_PP_COUNTER(), c, msg, types_ ) \

Definition at line 435 of file mpl/assert.hpp.

BOOST_MPL_ASSERT_MSG_IMPL

#define BOOST_MPL_ASSERT_MSG_IMPL	(		counter,
			c,
			msg,
			types_
	)

Value:

struct msg; \
typedef struct BOOST_PP_CAT(msg,counter) : boost::mpl::assert_ \
{ \
    static boost::mpl::failed ************ (msg::************ assert_arg()) types_ \
    { return 0; } \
} BOOST_PP_CAT(mpl_assert_arg,counter); \
BOOST_MPL_AUX_ASSERT_CONSTANT( \
      std::size_t \
    , BOOST_PP_CAT(mpl_assertion_in_line_,counter) = sizeof( \
        boost::mpl::assertion_failed<(c)>( BOOST_PP_CAT(mpl_assert_arg,counter)::assert_arg() ) \
        ) \
    ) \

Definition at line 419 of file mpl/assert.hpp.

BOOST_MPL_ASSERT_NOT

#define BOOST_MPL_ASSERT_NOT

(

pred

)

Value:

BOOST_MPL_AUX_ASSERT_CONSTANT( \
      std::size_t \
    , BOOST_PP_CAT(mpl_assertion_in_line_,BOOST_MPL_AUX_PP_COUNTER()) = sizeof( \
          boost::mpl::assertion_failed<false>( \
              boost::mpl::assert_not_arg( (void (*) pred)0, 1 ) \
            ) \
        ) \
   ) \

Definition at line 308 of file mpl/assert.hpp.

BOOST_MPL_ASSERT_RELATION

#define BOOST_MPL_ASSERT_RELATION	(		x,
			rel,
			y
	)

Value:

BOOST_MPL_AUX_ASSERT_CONSTANT( \
      std::size_t \
    , BOOST_PP_CAT(mpl_assertion_in_line_,BOOST_MPL_AUX_PP_COUNTER()) = sizeof( \
        boost::mpl::assertion_failed<(x rel y)>( (boost::mpl::failed ************ ( \
            boost::mpl::BOOST_MPL_AUX_ASSERT_RELATION(x,y,(&boost::mpl::operator rel))::************))0 ) \
        ) \
    ) \

Definition at line 386 of file mpl/assert.hpp.

BOOST_MPL_AUX_ASSERT_CONSTANT

#define BOOST_MPL_AUX_ASSERT_CONSTANT	(		T,
			expr
	)		BOOST_STATIC_CONSTANT(T, expr)

Definition at line 62 of file mpl/assert.hpp.

BOOST_MPL_AUX_ASSERT_RELATION

#define BOOST_MPL_AUX_ASSERT_RELATION	(		x,
			y,
			r
	)		assert_relation<x,y,r>

Definition at line 122 of file mpl/assert.hpp.

Function Documentation

assert_arg() [1/2]

template<typename Pred >

failed************Pred::************ assert_arg	(	void(*)(Pred)	,
		typename assert_arg_pred< Pred >::type
	)

assert_arg() [2/2]

template<typename Pred >

assert_arg	(	void(*)(Pred)	,
		typename assert_arg_pred_not< Pred >::type
	)

assert_not_arg() [1/2]

template<typename Pred >

assert_not_arg	(	void(*)(Pred)	,
		typename assert_arg_pred< Pred >::type
	)

assert_not_arg() [2/2]

template<typename Pred >

failed************boost::mpl::not_<Pred>::************ assert_not_arg	(	void(*)(Pred)	,
		typename assert_arg_pred_not< Pred >::type
	)

assertion_failed()

template<bool C>

int assertion_failed

(

typename assert< C >::type

)

operator!=()

bool operator!=	(	failed	,
		failed
	)

operator<()

bool operator<	(	failed	,
		failed
	)

operator<=()

bool operator<=	(	failed	,
		failed
	)

operator==()

bool operator==	(	failed	,
		failed
	)

operator>()

bool operator>	(	failed	,
		failed
	)

operator>=()

bool operator>=	(	failed	,
		failed
	)