[Boost-commit] svn:boost r68103 - in sandbox/statistics/support/boost/assign/v2/ref: convert_traits range

Subject: [Boost-commit] svn:boost r68103 - in sandbox/statistics/support/boost/assign/v2/ref: convert_traits range
From: erwann.rogard_at_[hidden]
Date: 2011-01-13 11:15:53

Author: e_r
Date: 2011-01-13 11:15:41 EST (Thu, 13 Jan 2011)
New Revision: 68103
URL: http://svn.boost.org/trac/boost/changeset/68103

Log:
upd boost/assign/v2
Added:
   sandbox/statistics/support/boost/assign/v2/ref/convert_traits/
   sandbox/statistics/support/boost/assign/v2/ref/convert_traits/checking.hpp   (contents, props changed)
   sandbox/statistics/support/boost/assign/v2/ref/convert_traits/const.hpp   (contents, props changed)
   sandbox/statistics/support/boost/assign/v2/ref/convert_traits/reference.hpp   (contents, props changed)
   sandbox/statistics/support/boost/assign/v2/ref/convert_traits/value.hpp   (contents, props changed)
   sandbox/statistics/support/boost/assign/v2/ref/range/

Added: sandbox/statistics/support/boost/assign/v2/ref/convert_traits/checking.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/support/boost/assign/v2/ref/convert_traits/checking.hpp	2011-01-13 11:15:41 EST (Thu, 13 Jan 2011)
@@ -0,0 +1,132 @@
+//////////////////////////////////////////////////////////////////////////////
+//  Boost.Assign v2                                                         //
+//                                                                          //
+//  Copyright (C) 2003-2004 Thorsten Ottosen                                //
+//  Copyright (C) 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_V2_REF_CONVERT_TRAITS_CHECKING_ER_2010_HPP
+#define BOOST_ASSIGN_V2_REF_CONVERT_TRAITS_CHECKING_ER_2010_HPP
+#include <boost/mpl/assert.hpp>
+//#include <boost/utility/enable_if.hpp>
+#include <boost/type_traits/is_same.hpp>
+#include <boost/assign/v2/ref/convert_traits/reference.hpp>
+
+namespace boost{
+namespace assign{ 
+namespace v2{
+namespace ref{
+namespace convert_traits{
+namespace checking{
+
+    template<typename T1, typename T2, typename T3>
+    struct tester{
+    
+        typedef typename convert_traits::reference<T1, T2>::type result_;
+                
+        static void test()
+        {
+            BOOST_MPL_ASSERT((boost::is_same<result_,T3>));
+        }
+
+   };
+
+namespace same_value_type{
+
+    template<typename T>
+    void do_check()
+    {
+
+        tester<const T &, const T &, const T &>::test(); 
+        tester<const T &,       T &, const T &>::test(); 
+        tester<      T &, const T &, const T &>::test(); 
+        tester<      T &,       T &,       T &>::test(); 
+
+        tester<const T &, const T  , const T  >::test(); 
+        tester<const T &,       T  , const T  >::test(); 
+        tester<      T &, const T  , const T  >::test(); 
+        tester<      T &,       T  ,       T  >::test(); 
+
+        tester<const T ,  const T &, const T  >::test(); 
+        tester<const T ,        T &, const T  >::test(); 
+        tester<      T ,  const T &, const T  >::test(); 
+        tester<      T ,        T &,       T  >::test(); 
+
+        tester<const T ,  const T  , const T  >::test(); 
+        tester<const T ,        T  , const T  >::test(); 
+        tester<      T ,  const T  , const T  >::test(); 
+        tester<      T ,        T  ,       T  >::test(); 
+
+    }
+
+}// twin_values
+// TODO upgrade
+/*
+namespace distinct_value_type{
+
+    template<typename T1,typename T2,typename T3>
+    void do_check_impl(const T1&, const T2& ,const T3&) 
+    {
+        
+        tester<const T1&, const T2&, const T3 >::test(); 
+        tester<const T1&,       T2&, const T3 >::test(); 
+        tester<      T1&, const T2&, const T3 >::test(); 
+        tester<      T1&,       T2&,       T3 >::test(); 
+
+        tester<const T1&, const T2 , const T3 >::test(); 
+        tester<const T1&,       T2 , const T3 >::test(); 
+        tester<      T1&, const T2 , const T3 >::test(); 
+        tester<      T1&,       T2 ,       T3 >::test(); 
+
+        tester<const T1 ,  const T2&, const T3 >::test(); 
+        tester<const T1 ,        T2&, const T3 >::test(); 
+        tester<      T1 ,  const T2&, const T3 >::test(); 
+        tester<      T1 ,        T2&,       T3 >::test(); 
+
+        tester<const T1 ,  const T2 , const T3 >::test(); 
+        tester<const T1 ,        T2 , const T3 >::test(); 
+       	tester<      T1 ,  const T2 , const T3 >::test(); 
+        tester<      T1 ,        T2 ,       T3 >::test(); 
+
+    }
+
+#define MACRO(T1, T2, T3)												    \
+    template<typename T>													\
+    void do_check(															\
+    	typename boost::enable_if<											\
+    		boost::is_same<T,T1> 											\
+        >::type* = 0														\
+    ) 																		\
+    {																		\
+        distinct_values::do_check_impl( T1(), T2(), T3() );	    			\
+    }																		\
+*/
+/**/
+/*
+// don't try to guess the supertype, it may vary by compiler. 
+namespace supertype_{
+	typedef boost::numeric::conversion_traits<short, int>::supertype a_;
+	typedef boost::numeric::conversion_traits<int, long>::supertype b_;
+	typedef boost::numeric::conversion_traits<float, double>::supertype c_;
+	typedef boost::numeric::conversion_traits<
+    	double,long double>::supertype d_;
+}// supertype_
+MACRO(short  , int, 	supertype_::a_)
+MACRO(int    , long,	supertype_::b_)
+MACRO(float  , double,	supertype_::c_)
+typedef long double long_double_;
+MACRO(double , long_double_, workaround::d_)
+#undef MACRO
+}// distinct_value_type
+*/
+
+}// checking
+}// convert_traits
+}// ref
+}// v2
+}// assign
+}// boost
+
+#endif

Added: sandbox/statistics/support/boost/assign/v2/ref/convert_traits/const.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/support/boost/assign/v2/ref/convert_traits/const.hpp	2011-01-13 11:15:41 EST (Thu, 13 Jan 2011)
@@ -0,0 +1,47 @@
+//////////////////////////////////////////////////////////////////////////////
+//  Boost.Assign v2                                                         //
+//                                                                          //
+//  Copyright (C) 2003-2004 Thorsten Ottosen                                //
+//  Copyright (C) 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_V2_REF_CONVERT_TRAITS_CONST_ER_2010_HPP
+#define BOOST_ASSIGN_V2_REF_CONVERT_TRAITS_CONST_ER_2010_HPP
+#include <boost/type_traits/is_const.hpp>
+#include <boost/type_traits/add_const.hpp>
+#include <boost/type_traits/remove_cv.hpp>
+#include <boost/assign/v2/ref/convert_traits/value.hpp>
+
+namespace boost{
+namespace assign{ 
+namespace v2{
+namespace ref{
+namespace convert_traits{
+
+    template<
+    	typename T1, typename T2, bool is_c 
+    		= boost::is_const<T1>::value || boost::is_const<T2>::value
+    >
+    struct const_
+    {
+    	typedef typename convert_traits::value<	
+        	typename boost::remove_cv<T1>::type, 
+        	typename boost::remove_cv<T2>::type
+        >::type type;
+        
+    };
+
+    template<typename T1, typename T2>
+    struct const_<T1, T2, true> : boost::add_const<
+    	typename const_<T1, T2, false>::type
+    >{};
+
+}// convert_traits
+}// ref
+}// v2
+}// assign
+}// boost
+
+#endif

Added: sandbox/statistics/support/boost/assign/v2/ref/convert_traits/reference.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/support/boost/assign/v2/ref/convert_traits/reference.hpp	2011-01-13 11:15:41 EST (Thu, 13 Jan 2011)
@@ -0,0 +1,43 @@
+//////////////////////////////////////////////////////////////////////////////
+//  Boost.Assign v2                                                         //
+//                                                                          //
+//  Copyright (C) 2003-2004 Thorsten Ottosen                                //
+//  Copyright (C) 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_V2_REF_CONVERT_TRAITS_REFERENCE_ER_2010_HPP
+#define BOOST_ASSIGN_V2_REF_CONVERT_TRAITS_REFERENCE_ER_2010_HPP
+#include <boost/type_traits/remove_reference.hpp>
+#include <boost/assign/v2/ref/convert_traits/const.hpp>
+
+namespace boost{
+namespace assign{ 
+namespace v2{
+namespace ref{
+namespace convert_traits{
+
+    template<typename U1, typename U2>
+    struct reference : convert_traits::const_<
+    	typename boost::remove_reference<U1>::type, 
+    	typename boost::remove_reference<U2>::type
+    >{};
+    
+    template<typename T>
+    struct reference<T&, T&>{ typedef T& type; };
+
+    template<typename T>
+    struct reference<T const&, T&>{ typedef T const& type; };
+
+    template<typename T>
+    struct reference<T &, T const&>{ typedef T const& type; };
+
+}// convert_traits
+}// ref
+}// v2
+}// assign
+}// boost
+
+#endif
+

Added: sandbox/statistics/support/boost/assign/v2/ref/convert_traits/value.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/support/boost/assign/v2/ref/convert_traits/value.hpp	2011-01-13 11:15:41 EST (Thu, 13 Jan 2011)
@@ -0,0 +1,48 @@
+//////////////////////////////////////////////////////////////////////////////
+//  Boost.Assign v2                                                         //
+//                                                                          //
+//  Copyright (C) 2003-2004 Thorsten Ottosen                                //
+//  Copyright (C) 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_V2_REF_CONVERT_TRAITS_VALUE_ER_2010_HPP
+#define BOOST_ASSIGN_V2_REF_CONVERT_TRAITS_VALUE_ER_2010_HPP
+#include <boost/type_traits/is_convertible.hpp>
+
+namespace boost{
+namespace assign{ 
+namespace v2{
+namespace ref{
+namespace convert_traits{
+
+    template<
+    	typename V1, typename V2, 
+        bool is_c1 = boost::is_convertible<V1, V2>::value,
+        bool is_c2 = boost::is_convertible<V2, V1>::value
+    >
+    struct value{ typedef V1 type; };
+
+    template<typename V1, typename V2>
+    struct value<V1, V2, false, true>{ typedef V2 type; };
+
+    template<typename V1, typename V2> struct value<V1, V2, false, false>{};
+    
+    // TODO upgrade
+	//	#include <boost/type_traits/is_arithmetic.hpp>
+    //  #include <boost/numeric/conversion/conversion_traits.hpp>
+    //	struct value : boost::mpl::eval_if<
+    //		mpl::and_<is_arithmetic<V1>, is_arithmetic<V2> >,
+    //   	boost::numeric::conversion_traits<V1, V2>::supertype.
+    //		... as above ...
+    //  >{};
+        
+
+}// convert_traits
+}// ref
+}// v2
+}// assign
+}// boost
+
+#endif