Subject: [Boost-commit] svn:boost r60785 - sandbox/statistics/detail/assign/boost/assign/auto_size/traits
From: erwann.rogard_at_[hidden]
Date: 2010-03-22 22:51:23
Author: e_r
Date: 2010-03-22 22:51:23 EDT (Mon, 22 Mar 2010)
New Revision: 60785
URL: http://svn.boost.org/trac/boost/changeset/60785
Log:
m
Added:
sandbox/statistics/detail/assign/boost/assign/auto_size/traits/mpl_check.hpp (contents, props changed)
Added: sandbox/statistics/detail/assign/boost/assign/auto_size/traits/mpl_check.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/auto_size/traits/mpl_check.hpp 2010-03-22 22:51:23 EDT (Mon, 22 Mar 2010)
@@ -0,0 +1,95 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::traits::conversion_mpl_check.hpp //
+// //
+// (C) Copyright 2010 Erwann Rogard //
+// Use, modification and distribution are subject to 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_ASSIGN_DETAIL_TRAITS_CONVERSION_MPL_CHECK_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_TRAITS_CONVERSION_MPL_CHECK_ER_2010_HPP
+#include <boost/mpl/assert.hpp>
+#include <boost/mpl/bool.hpp>
+#include <boost/array.hpp>
+#include <boost/type_traits.hpp>
+#include <boost/assign/auto_size/chain/reference_traits.hpp>
+
+namespace boost{
+namespace assign{
+namespace detail{
+
+namespace conversion_mpl_check{
+
+ template<typename T,bool is = true>
+ struct assert_cond{
+ BOOST_MPL_ASSERT((T));
+ };
+
+ template<typename T>
+ struct assert_cond<T,false>{
+ BOOST_MPL_ASSERT_NOT((T));
+ };
+
+ template<typename T,typename U,bool is = true>
+ struct assert_eq
+ : assert_cond<boost::is_same<T,U>,is>{};
+
+namespace apply_conversion{
+
+ template<typename T>
+ struct helper : reference_traits::convert_to<T> {};
+
+ template<typename T,typename U,bool is = true>
+ struct assert_eq
+ : conversion_mpl_check::assert_eq<typename helper<T>::type,U,is>
+ {};
+
+}
+
+// e.g.
+// conversion_mpl_check::verify_wrapper<int,detail::assign_reference_copy>();
+
+template<typename T,template<typename> class W>
+void verify_wrapper()
+{
+
+ typedef T v_;
+ typedef const v_ cv_;
+ typedef v_& r_;
+ typedef cv_& cr_;
+
+ typedef W<v_> wv_;
+ typedef const wv_ cwv_;
+ typedef wv_& rwv_;
+ typedef cwv_& crwv_;
+
+ typedef W<cv_> wcv_;
+ typedef const wcv_ cwcv_;
+ typedef wcv_& rwcv_;
+ typedef cwcv_& crwcv_;
+
+ apply_conversion::assert_eq< v_, v_ >();
+ apply_conversion::assert_eq< cv_, cv_ >();
+ apply_conversion::assert_eq< r_, r_ >();
+ apply_conversion::assert_eq< cr_, cr_ >();
+
+ apply_conversion::assert_eq< wv_, r_ >();
+ apply_conversion::assert_eq< wcv_, cr_ >();
+
+ apply_conversion::assert_eq< cwv_, r_ >();
+ apply_conversion::assert_eq< cwcv_, cr_ >();
+
+ apply_conversion::assert_eq< rwv_, r_ >();
+ apply_conversion::assert_eq< rwcv_, cr_ >();
+
+ apply_conversion::assert_eq< crwv_, r_ >();
+ apply_conversion::assert_eq< crwcv_, cr_ >();
+
+}
+
+}// conversion_mpl_check
+}// detail
+}// assign
+}// boost
+
+#endif