[ceph.git] / ceph / src / boost / libs / concept_check / include / boost / concept_check / borland.hpp

// Copyright David Abrahams 2006. Distributed under the Boost
// Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
#ifndef BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP
# define BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP

namespace boost {

template <class ModelFn>
struct concept_check;

template <class Model>
struct concept_check<void(*)(Model)>
{
    enum { instantiate = sizeof((((Model*)0)->~Model()), 3) };
};

#  define BOOST_CONCEPT_ASSERT( ModelInParens )                     \
  enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =               \
         boost::concept_check<void(*)ModelInParens>::instantiate    \
  }

} // namespace boost::concept_checking

#endif // BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP
Commit	Line	Data
7c673cae FG	1	// Copyright David Abrahams 2006. Distributed under the Boost
	2	// Software License, Version 1.0. (See accompanying
	3	// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
	4	#ifndef BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP
	5	# define BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP
	6
	7	namespace boost {
	8
	9	template <class ModelFn>
	10	struct concept_check;
	11
	12	template <class Model>
	13	struct concept_check<void(*)(Model)>
	14	{
	15	enum { instantiate = sizeof((((Model*)0)->~Model()), 3) };
	16	};
	17
	18	# define BOOST_CONCEPT_ASSERT( ModelInParens ) \
	19	enum { BOOST_PP_CAT(boost_concept_check,__LINE__) = \
	20	boost::concept_check<void(*)ModelInParens>::instantiate \
	21	}
	22
	23	} // namespace boost::concept_checking
	24
	25	#endif // BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP