#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 >
failed **********boost::mpl::not_< Pred >::**********	assert_not_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<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

#define AUX778076_ASSERT_ARG ( x ) x

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

#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.

#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.

#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.

#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.

#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.

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

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

#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

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 >

failed**********boost::mpl::not_<Pred>::********** assert_not_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<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
	)

Classes

Macros

Functions

Macro Definition Documentation

Function Documentation