[Boost-commit] svn:boost r60506 - in sandbox/statistics/detail/assign/boost/assign: auto_size/detail chain

Subject: [Boost-commit] svn:boost r60506 - in sandbox/statistics/detail/assign/boost/assign: auto_size/detail chain
From: erwann.rogard_at_[hidden]
Date: 2010-03-12 01:52:20

Author: e_r
Date: 2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
New Revision: 60506
URL: http://svn.boost.org/trac/boost/changeset/60506

Log:
m
Added:
   sandbox/statistics/detail/assign/boost/assign/chain/
   sandbox/statistics/detail/assign/boost/assign/chain/add_const.hpp   (contents, props changed)
   sandbox/statistics/detail/assign/boost/assign/chain/auto_convert.hpp   (contents, props changed)
   sandbox/statistics/detail/assign/boost/assign/chain/converter.hpp   (contents, props changed)
   sandbox/statistics/detail/assign/boost/assign/chain/is_reference_wrapper.hpp   (contents, props changed)
   sandbox/statistics/detail/assign/boost/assign/chain/pair_traits.hpp   (contents, props changed)
   sandbox/statistics/detail/assign/boost/assign/chain/reference_traits.hpp   (contents, props changed)
   sandbox/statistics/detail/assign/boost/assign/chain/reference_wrapper_traits.hpp   (contents, props changed)
Text files modified: 
   sandbox/statistics/detail/assign/boost/assign/auto_size/detail/expr.hpp |     1 -                                       
   1 files changed, 0 insertions(+), 1 deletions(-)

Modified: sandbox/statistics/detail/assign/boost/assign/auto_size/detail/expr.hpp
==============================================================================
--- sandbox/statistics/detail/assign/boost/assign/auto_size/detail/expr.hpp	(original)
+++ sandbox/statistics/detail/assign/boost/assign/auto_size/detail/expr.hpp	2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
@@ -20,7 +20,6 @@
 #include <boost/type_traits.hpp>
 #include <boost/utility/enable_if.hpp>
 #include <boost/range.hpp>
-//#include <boost/range/chain.hpp>
 #include <boost/assign/auto_size/array/has_static_size.hpp>
 #include <boost/assign/auto_size/array/static_size.hpp>
 #include <boost/assign/auto_size/reference_wrapper/copy.hpp>

Added: sandbox/statistics/detail/assign/boost/assign/chain/add_const.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/chain/add_const.hpp	2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
@@ -0,0 +1,27 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::add_const.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_AUTO_SIZE_CHAIN_ADD_CONST_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_AUTO_SIZE_CHAIN_ADD_CONST_ER_2010_HPP
+#include <boost/type_traits.hpp>
+
+namespace boost{
+namespace assign{
+namespace detail{
+
+    // This is only for testing purposes
+
+    template<typename Rng>
+    typename boost::add_const<Rng>::type
+    add_const(Rng& rng){ return rng; }
+
+}// detail
+}// assign
+}// boost
+
+#endif

Added: sandbox/statistics/detail/assign/boost/assign/chain/auto_convert.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/chain/auto_convert.hpp	2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
@@ -0,0 +1,106 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::chain_auto_convert.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_CHAIN_AUTO_CONVERT_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_CHAIN_AUTO_CONVERT_ER_2010_HPP
+#include <boost/typeof/typeof.hpp>
+#include <boost/range.hpp>
+#include <boost/range/chain.hpp>
+#include <boost/assign/chain/pair_traits.hpp>
+#include <boost/assign/chain/converter.hpp>
+
+namespace boost{
+namespace assign{
+namespace detail{
+namespace result_of{
+namespace chain_auto_convert{
+    
+    template<typename Conv,typename R1,typename R2>
+    struct generic{
+        typedef typename boost::range_reference<R1>::type r1_;
+        typedef typename boost::range_reference<R2>::type r2_;
+        typedef typename Conv::template apply<r1_,r2_>::type to_;
+        typedef result_of::convert_range<to_,R1> caller1_;
+        typedef result_of::convert_range<to_,R2> caller2_;
+        typedef typename caller1_::type conv_r1_;
+        typedef typename caller2_::type conv_r2_;
+		static conv_r1_& conv_r1;
+		static conv_r2_& conv_r2;
+        typedef BOOST_TYPEOF_TPL(
+        	boost::chain(
+        		conv_r1,
+            	conv_r2
+        	)
+        ) type;
+
+        // MSVC:
+        //typedef BOOST_TYPEOF_NESTED_TYPEDEF_TPL(
+        //    nested,
+        //    boost::chain(conv1,conv22)
+        //);
+        //typedef typename nested::type type;
+
+        typedef detail::functional::converter<to_> converter_;
+        static type call(R1& r1, R2& r2){
+            conv_r1_ conv_r1 = caller1_::call(r1);
+            conv_r2_ conv_r2 = caller2_::call(r2);
+            return boost::chain(conv_r1,conv_r2);
+            // boost::chain(caller1_::call(r1),caller2_::call(r2)); // Not!
+        }
+    };
+
+    template<typename R1,typename R2>
+    struct ignore_wrapper  
+        : chain_auto_convert::generic<pair_traits::meta::ignore_wrapper,R1,R2>
+        {};
+
+    template<typename R1,typename R2>
+    struct filter_wrapper  
+        : chain_auto_convert::generic<pair_traits::meta::filter_wrapper,R1,R2>
+        {};
+
+}// chain_auto_convert
+}// result_of
+
+    // generic
+    template<typename Conv,typename R1,typename R2> 
+    typename result_of::chain_auto_convert::generic<Conv,R1,R2>::type
+    chain_auto_convert(R1& r1, R2& r2){
+        typedef result_of::chain_auto_convert::generic<Conv,R1,R2> g_;
+        return g_::call(r1,r2);
+    }
+
+    // ignore_wrapper
+    template<typename R1,typename R2> 
+    typename result_of::chain_auto_convert::ignore_wrapper<R1,R2>::type
+    chain_auto_convert_ignore_wrapper(R1& r1,R2& r2){
+        typedef result_of::chain_auto_convert::ignore_wrapper<R1,R2> g_;
+        return g_::call(r1,r2);
+    }
+
+    // filter_wrapper
+    template<typename R1,typename R2> 
+    typename result_of::chain_auto_convert::filter_wrapper<R1,R2>::type
+    chain_auto_convert_filter_wrapper(R1& r1,R2& r2){
+        typedef result_of::chain_auto_convert::filter_wrapper<R1,R2> g_;
+        return g_::call(r1,r2);
+    }
+
+    // default
+    template<typename R1,typename R2> 
+    typename result_of::chain_auto_convert::filter_wrapper<R1,R2>::type
+    chain_auto_convert(R1& r1,R2& r2){
+        typedef result_of::chain_auto_convert::filter_wrapper<R1,R2> g_;
+        return g_::call(r1,r2);
+    }
+
+}// detail
+}// assign
+}// boost
+
+#endif

Added: sandbox/statistics/detail/assign/boost/assign/chain/converter.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/chain/converter.hpp	2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
@@ -0,0 +1,81 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::converter.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_CONVERTER_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_CONVERTER_ER_2010_HPP
+#include <boost/mpl/assert.hpp>
+#include <boost/range.hpp>
+#include <boost/range/adaptor/transformed.hpp>
+#include <boost/type_traits/is_convertible.hpp>
+
+namespace boost{
+namespace assign{
+namespace detail{
+namespace functional{
+
+template<typename T>
+struct converter{
+
+    converter(){}
+
+    typedef T result_type;
+
+	template<typename U>
+    T operator()(U& arg)const{ return arg; }
+
+	template<typename U>
+    T operator()(const U& arg)const{ return arg; }
+
+};
+
+}// functional
+
+namespace result_of{
+	
+    template<typename T,typename Rng,
+        typename U = typename boost::range_reference<Rng>::type>
+    struct convert_range
+    {
+        
+        BOOST_MPL_ASSERT((
+            boost::is_convertible<U,T>
+        ));
+		typedef functional::converter<T> adaptor_;
+        typedef boost::transform_range<adaptor_,Rng> type;
+        static type call(Rng& r){
+        	return type(adaptor_(),r);
+        }
+    };
+    
+}
+
+    // This seems to take care of const Rng. Overloads with const Rng have
+    // compile deficiencies. TODO verify this.
+
+    template<typename T,typename Rng>
+    typename detail::result_of::convert_range<T,Rng>::type 
+    convert_range( Rng& r)
+    {    
+        typedef detail::result_of::convert_range<T,Rng> caller_;
+        return caller_::call( r );   
+    }
+    
+    template<typename T,typename Rng>
+    inline typename detail::result_of
+    	::convert_range<T,Rng>::type 
+    operator|( Rng& r, const detail::functional::converter<T>& f )
+    {
+        return convert_range<T>(r);   
+    }
+
+
+}// detail
+}// assign
+}// boost
+
+#endif

Added: sandbox/statistics/detail/assign/boost/assign/chain/is_reference_wrapper.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/chain/is_reference_wrapper.hpp	2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
@@ -0,0 +1,25 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::is_ref_wrapper.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_CHAIN_IS_REFERENCE_WRAPPER_IS_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_CHAIN_IS_REFERENCE_WRAPPER_IS_ER_2010_HPP
+#include <boost/mpl/bool.hpp>
+
+namespace boost{
+namespace assign{
+namespace detail{
+
+    // specialize on T
+    template<typename T>
+    struct is_ref_wrapper : boost::mpl::bool_<false>{};
+
+}// detail
+}// assign
+}// boost
+
+#endif

Added: sandbox/statistics/detail/assign/boost/assign/chain/pair_traits.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/chain/pair_traits.hpp	2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
@@ -0,0 +1,97 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::pair_auto_convert.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_PAIR_AUTO_CONVERT_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_PAIR_AUTO_CONVERT_ER_2010_HPP
+#include <utility>
+#include <boost/mpl/and.hpp>
+#include <boost/mpl/assert.hpp>
+#include <boost/mpl/eval_if.hpp>
+#include <boost/mpl/identity.hpp>
+#include <boost/mpl/or.hpp>
+#include <boost/type_traits/is_same.hpp>
+#include <boost/type_traits/remove_const.hpp>
+#include <boost/type_traits/remove_reference.hpp>
+#include <boost/assign/chain/reference_traits.hpp>
+
+// The purpose of these traits is, given T and U, to find V such that 
+// V v1 = t; V v2 = u;
+// is a valid expression. U and T may be references or reference wrappers
+
+namespace boost{
+namespace assign{
+namespace detail{
+namespace pair_traits{
+
+    template<typename T,typename U>
+    struct use_const : boost::mpl::or_<
+        typename reference_traits::is_const<T>::type,
+        typename reference_traits::is_const<U>::type
+    >{};
+        
+    template<typename T,typename U>
+    struct use_reference : boost::mpl::and_<
+        typename boost::is_reference<T>::type,
+        typename boost::is_reference<U>::type
+    >{};
+    
+    template<typename T,typename U>
+    struct filter_ref_const{
+        typedef typename pair_traits::use_reference<T,U>::type use_ref_;
+        typedef typename pair_traits::use_const<T,U>::type use_const_;
+        template<typename F,typename S>
+        struct pair{
+            typedef F first_type;
+            typedef S second_type;
+        };
+        template<typename V>
+        struct local 
+           : reference_traits::filter_ref_const<
+               use_ref_::value,use_const_::value,V>{}; 
+        typedef typename local<T>::type first_;
+        typedef typename local<U>::type second_;
+        typedef pair<first_,second_> type;
+    };
+
+    template<typename T,typename U>
+    struct ignore_wrapper
+    {
+        typedef typename pair_traits::filter_ref_const<T,U>::type traits_;
+        typedef typename traits_::first_type first_;
+        typedef typename traits_::second_type second_;
+        typedef 
+            typename boost::is_convertible<first_,second_>::type use_second_;
+        typedef typename 
+            boost::mpl::if_c<use_second_::value,second_,first_>::type type;
+        BOOST_MPL_ASSERT((boost::is_convertible<first_,type>));
+        BOOST_MPL_ASSERT((boost::is_convertible<second_,type>));
+    };
+    
+    template<typename T,typename U>
+    struct filter_wrapper : pair_traits::ignore_wrapper<
+        typename reference_traits::filter_wrapper<T>::type,
+        typename reference_traits::filter_wrapper<U>::type
+    >{};
+
+    namespace meta{
+
+        template<template<typename,typename> class M>
+        struct helper{
+            template<typename T,typename U>
+            struct apply : M<T,U>{};    
+        };
+        struct ignore_wrapper : meta::helper<pair_traits::ignore_wrapper>{};
+        struct filter_wrapper : meta::helper<pair_traits::filter_wrapper>{};
+    }
+
+}// pair_traits
+}// detail
+}// assign
+}// boost
+
+#endif

Added: sandbox/statistics/detail/assign/boost/assign/chain/reference_traits.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/chain/reference_traits.hpp	2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
@@ -0,0 +1,136 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::reference_traits.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_REFERENCE_TRAITS_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_REFERENCE_TRAITS_ER_2010_HPP
+#include <utility>
+#include <boost/mpl/and.hpp>
+#include <boost/mpl/assert.hpp>
+#include <boost/mpl/eval_if.hpp>
+#include <boost/mpl/identity.hpp>
+#include <boost/mpl/or.hpp>
+#include <boost/type_traits/remove_const.hpp>
+#include <boost/type_traits/remove_reference.hpp>
+#include <boost/assign/chain/is_reference_wrapper.hpp>
+#include <boost/assign/chain/reference_wrapper_traits.hpp>
+
+// Maps U to a convertible type where U can be a reference_wrapper or a ref.
+
+namespace boost{
+namespace assign{
+namespace detail{
+namespace reference_traits{
+
+    template<typename T>
+    struct remove_cref : boost::remove_const<
+        typename boost::remove_reference<T>::type
+    >{};
+
+    template<typename T>
+    struct is_const : boost::is_const<
+        typename boost::remove_reference<T>::type
+    >{};
+
+    template<bool use_ref,bool use_const,typename T>
+    struct filter_ref_const{
+       typedef typename reference_traits::remove_cref<T>::type value_;
+       typedef typename boost::mpl::eval_if_c<
+           use_const,
+           boost::add_const<value_>,
+           boost::mpl::identity<value_>
+        >::type const_;
+       typedef typename boost::mpl::eval_if_c<
+           use_ref,
+           boost::add_reference<const_>,
+           boost::mpl::identity<const_>
+        >::type type;
+    };
+
+    template<typename T>
+    struct filter_wrapper{
+        typedef typename reference_traits::remove_cref<T>::type value_;
+        typedef typename detail::is_ref_wrapper<value_>::type is_rw_;
+        typedef typename boost::mpl::eval_if_c<     
+            is_rw_::value,
+            ref_wrapper_traits::convertible_to<value_>,
+            boost::mpl::identity<T>    
+        >::type type;
+    };
+
+namespace pair{
+
+    template<typename T,typename U>
+    struct use_const : boost::mpl::or_<
+        typename reference_traits::is_const<T>::type,
+        typename reference_traits::is_const<U>::type
+    >{};
+        
+    template<typename T,typename U>
+    struct use_reference : boost::mpl::and_<
+        typename boost::is_reference<T>::type,
+        typename boost::is_reference<U>::type
+    >{};
+    
+    template<typename T,typename U>
+    struct filter_ref_const{
+        typedef typename pair::use_reference<T,U>::type use_ref_;
+        typedef typename pair::use_const<T,U>::type use_const_;
+        template<typename V>
+        struct local 
+           : reference_traits::filter_ref_const<
+               use_ref_::value,use_const_::value,V>{}; 
+        typedef typename local<T>::type first_;
+        typedef typename local<U>::type second_;
+        typedef std::pair<first_,second_> type;
+    };
+}// pair
+namespace convertible_to{
+
+    template<typename T,typename U>
+    struct ignore_wrapper
+    {
+        typedef typename pair::filter_ref_const<T,U>::type pair_;
+        typedef typename pair_::first first_;
+        typedef typename pair_::second second_;
+        typedef typename boost::is_convertible<
+             first_, // from
+             second_ // to
+        >::type use_second_;
+        typedef typename boost::mpl::if_c<
+            use_second_::value,
+            second_,
+            first_
+        >::type type;
+        BOOST_MPL_ASSERT((boost::is_convertible<first_,type>));
+        BOOST_MPL_ASSERT((boost::is_convertible<second_,type>));
+    };
+
+    template<typename T,typename U>
+    struct filter_wrapper : convertible_to::ignore_wrapper<
+        typename reference_traits::filter_wrapper<T>::type,
+        typename reference_traits::filter_wrapper<U>::type
+    >{};
+
+    namespace meta{
+
+        template<template<typename,typename> class M>
+        struct helper{
+            template<typename T,typename U>
+            struct apply : boost::mpl::identity< M<T,U> >{};    
+        };
+        struct ignore_wrapper : meta::helper<convertible_to::ignore_wrapper>{};
+        struct filter_wrapper : meta::helper<convertible_to::filter_wrapper>{};
+    }
+
+}// convertible_to
+}// reference_traits
+}// detail
+}// assign
+}// boost
+
+#endif

Added: sandbox/statistics/detail/assign/boost/assign/chain/reference_wrapper_traits.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/chain/reference_wrapper_traits.hpp	2010-03-12 01:52:19 EST (Fri, 12 Mar 2010)
@@ -0,0 +1,77 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::ref_wrapper_traits.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_REFERENCE_WRAPPER_TRAITS_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_REFERENCE_WRAPPER_TRAITS_ER_2010_HPP
+#include <boost/mpl/identity.hpp>
+#include <boost/mpl/assert.hpp>
+#include <boost/type_traits.hpp>
+
+namespace boost{
+namespace assign{
+namespace detail{
+namespace ref_wrapper_traits{
+
+    namespace tag{
+       struct default_{};
+    }
+
+    // specialize for each T   
+    template<typename T>
+    struct tag_of{};
+    
+    template<typename T,template<typename> class M>
+    struct helper : M<typename ref_wrapper_traits::tag_of<T>::type>
+        ::template apply<T>{};
+
+    namespace meta{
+        template<typename Tag>
+        struct value_of{
+            // define template<typename T> struct apply;
+        };
+
+        template<typename T> struct default_value_of{};
+        template<typename T,template<typename> class W> 
+        struct default_value_of<W<T> >{ typedef T type; };
+        
+        template<>
+        struct value_of<ref_wrapper_traits::tag::default_>
+        { 
+            template<typename T>
+            struct apply :  default_value_of<T>{};
+        };
+    }
+
+    template<typename T>
+    struct value_of 
+        : ref_wrapper_traits::helper<T,meta::value_of>{};
+
+    namespace meta{
+        template<typename Tag>
+        struct convertible_to{
+            template<typename T> struct apply{};
+        };
+        template<>
+        template<typename T>
+        struct convertible_to<tag::default_>::apply<T> 
+                : boost::add_reference<
+                    typename ref_wrapper_traits::value_of<T>::type
+                > 
+            {};
+    }
+
+    template<typename T>
+    struct convertible_to 
+        : ref_wrapper_traits::helper<T,meta::convertible_to>{};
+
+}// ref_wrapper_traits
+}// detail
+}// assign
+}// boost
+
+#endif