[Boost-commit] svn:boost r60838 - sandbox/statistics/detail/assign/boost/assign/auto_size/range

Subject: [Boost-commit] svn:boost r60838 - sandbox/statistics/detail/assign/boost/assign/auto_size/range
From: erwann.rogard_at_[hidden]
Date: 2010-03-25 22:10:32

Author: e_r
Date: 2010-03-25 22:10:32 EDT (Thu, 25 Mar 2010)
New Revision: 60838
URL: http://svn.boost.org/trac/boost/changeset/60838

Log:
m
Added:
   sandbox/statistics/detail/assign/boost/assign/auto_size/range/chain.hpp
      - copied unchanged from r60837, /sandbox/statistics/detail/assign/boost/assign/auto_size/range/chain_convert.hpp
Removed:
   sandbox/statistics/detail/assign/boost/assign/auto_size/range/chain_convert.hpp

Deleted: sandbox/statistics/detail/assign/boost/assign/auto_size/range/chain_convert.hpp
==============================================================================
--- sandbox/statistics/detail/assign/boost/assign/auto_size/range/chain_convert.hpp	2010-03-25 22:10:32 EDT (Thu, 25 Mar 2010)
+++ (empty file)
@@ -1,276 +0,0 @@
-//////////////////////////////////////////////////////////////////////////////
-// assign::detail::range::chain_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_RANGE_CHAIN_CONVERT_L_ER_2010_HPP
-#define BOOST_ASSIGN_DETAIL_RANGE_CHAIN_CONVERT_L_ER_2010_HPP
-#include <boost/mpl/equal_to.hpp>
-#include <boost/mpl/eval_if.hpp>
-#include <boost/mpl/identity.hpp>
-#include <boost/mpl/if.hpp>
-#include <boost/mpl/inherit.hpp>
-#include <boost/mpl/void.hpp>
-#include <boost/type_traits/is_same.hpp>
-#include <boost/range/chain.hpp>
-#include <boost/assign/auto_size/range/convert_range.hpp>
-#include <boost/assign/auto_size/traits/reference_traits.hpp>
-#include <boost/assign/auto_size/reference_wrapper/conversion_traits.hpp>
-#include <boost/assign/auto_size/range/result_of_chain.hpp>
-#include <boost/assign/auto_size/range/hold_previous.hpp>
-#include <boost/assign/auto_size/range/hold_converted_range.hpp>
-#include <boost/assign/auto_size/range/basic_chain.hpp>
-
-#include <boost/mpl/assert.hpp> // tmp
-#include <boost/type_traits/is_reference.hpp> // tmp
-
-// Usage : Let r1, r2 and r3 denote lvalue-ranges.
-//     boost::copy( input, boost::begin( chain_l(r1)(r2)(r3) ) );
-// This function does not have the restriction of chain_l that none or all
-// of r1, r2, r3 must be reference wrappers.
-
-namespace boost{
-namespace assign{
-namespace detail{
-namespace chain_convert_impl{
-
-    // ---- template parameters ---- //
-
-    // L : converted_range::list<> or empty base if rvalue 
-    // E : basic_chain_impl::expr<> 
-    // Rng1 : a range to chain to 
-    // is_first : indicator
-    // V : a value conversion parameter
-    // R : a reference conversion parameter
-
-    // ---- fwd decl ---- //
-    template<typename L,typename E,typename Rng1,
-        bool is_first,typename V,typename R,bool add_const> class expr;
-
-
-    // ---- traits ---- //
-
-    // Returns the implementation of expr<L,E,Rng1,is_first,V,R> for any L
-    template<typename E,typename Rng1,
-        bool is_first,typename V,typename R,bool add_const>
-    struct impl_of_expr
-    {
-        typedef typename basic_chain_impl::sel_const<Rng1,add_const>::type cr1_;
-        typedef typename 
-            detail::result_of::convert_range<cr1_,V,R>::type conv_r1_;
-        typedef typename E::template result_impl<conv_r1_>::type type;
-    }; 
-
-    template<typename E,typename Rng1,typename V,typename R,bool add_const>
-    struct impl_of_expr<E,Rng1,true,V,R,add_const>
-    {
-        typedef typename basic_chain_impl::sel_const<Rng1,add_const>::type cr1_;
-        typedef typename result_of::convert_range<cr1_,V,R>::type conv_r1_;
-        typedef typename basic_chain_impl::first_expr<conv_r1_,add_const>::type type;
-    };
-
-    typedef boost::mpl::void_ top_;
-
-    template<typename L,typename Rng1,bool is_first,
-        typename V,typename R,bool add_const>
-    struct sel_list : boost::mpl::eval_if_c<
-        add_const,
-        boost::mpl::identity<boost::mpl::inherit<boost::mpl::empty_base> >, 
-        boost::mpl::identity<converted_range::list<L,Rng1,is_first,V,R> >
-    >{
-       // mpl::inherit<> is needed to avoid expr<> inheriting from 2 empty
-       // bases.
-    };
- 
-    // ---- chainer ---- //
-    template<typename L,typename E,typename Rng1,
-        bool is_first,typename V,typename R,bool add_const>
-	class expr : 
-          sel_list<L,Rng1,is_first,V,R,add_const>::type,
-        public impl_of_expr<E,Rng1,is_first,V,R,add_const>::type
-    {
-        typedef expr<L,E,Rng1,is_first,V,R,add_const> this_;
-
-        public:
-        
-        // bases
-        typedef typename sel_list<L,Rng1,is_first,V,R,add_const>::type list_;
-        typedef typename impl_of_expr<E,Rng1,
-           is_first,V,R,add_const>::type impl_;
-                
-        // types
-        typedef V conversion_value;
-        typedef R conversion_reference;
-
-        // lvalue constructors
-        explicit expr(Rng1& r1)
-            :list_(r1),
-            impl_(this->converted_range)
-        {}
-        explicit expr(L& l,E& e,Rng1& r1)
-            :list_(l,r1),
-            impl_(e,this->converted_range)
-        {}
-
-        // rvalue constructors
-        explicit expr(const Rng1& r1)
-            :impl_(convert_range<V,R,Rng1>(r1))
-        {}
-        explicit expr(const E& e,const Rng1& r1)
-            :impl_(e,convert_range<V,R,Rng1>(r1))
-        {}
-                
-        // unary operators
-        template<typename Rng2>
-        struct result_impl 
-            { typedef expr<list_,impl_,Rng2,false,V,R,add_const> type; };
- 
-        template<typename R2,bool b>
-        struct enable : boost::enable_if_c<b>{};
- 
- 
-        template<typename Rng2> // Warning : overrides base.
-        typename result_impl<Rng2>::type
-        operator()(Rng2& r2,typename enable<Rng2,!add_const>::type* = 0)
-        {
-            typedef typename result_impl<Rng2>::type res_;
-            return res_(
-                static_cast<list_&>(*this),
-                static_cast<impl_&>(*this),
-                r2
-            );            
-        }
-
-        template<typename Rng2> // Warning : overrides base.
-        typename result_impl<Rng2>::type
-        operator()(const Rng2& r2,
-            typename enable<Rng2,add_const>::type* = 0)const
-        {
-            typedef typename result_impl<Rng2>::type res_;
-            return res_(
-                static_cast<const impl_&>(*this),
-                r2
-            );            
-        }
-
-        // conversion
-
-        // TODO implement all conversion capabilities
-
-        template< class Container >
-        operator Container() const
-        {
-            return Container(boost::begin(*this),boost::end(*this));
-        }
-
-    };
-
-    // ---- traits ---- //
-
-    template<typename Rng1,typename V,typename R, bool add_const>
-    struct first_expr{ 
-        typedef chain_convert_impl::expr<top_,top_,Rng1,1,V,R,add_const> type; 
-        typedef typename basic_chain_impl::sel_const<Rng1,add_const>::type cr1_;
-        static type call(cr1_& r1){ return type(r1); }
-    };
-
-    template<typename Rng1,typename V,
-      typename R = typename detail::convert_range_reference<Rng1,V>::type>
-    struct first_expr_l : chain_convert_impl::first_expr<Rng1,V,R,false>{};
-
-    // It's necessary to take add_const<V> or else non-rvalues may occur e.g.
-    // Rng1 = array<ref_wrapper<int>,1> and V = int, then R = int*.
-    template<typename Rng1,typename V,
-      typename R = typename detail::convert_range_reference<const Rng1,
-      typename boost::add_const<V>::type>::type>
-    struct first_expr_r 
-        : chain_convert_impl::first_expr<
-            Rng1,typename boost::add_const<V>::type,R,true>{};
-
-    template<typename Rng1,bool add_const>
-    struct deduce_value{
-        typedef typename boost::range_reference<Rng1>::type from_;
-        typedef typename reference_traits::convert_to<from_>::type ref_to_;
-        typedef typename boost::remove_reference<ref_to_>::type to_;
-        typedef typename basic_chain_impl::sel_const<to_,add_const>::type type;
-    };
-
-}// chain_convert_l_impl
-}// detail
-
-    // lvalue
-
-    template<typename V,typename R,typename Rng1>
-    typename detail::chain_convert_impl::first_expr_l<Rng1,V,R>::type    
-    chain_l(Rng1& r1,
-        typename boost::disable_if<boost::is_same<R,use_default> >::type* = 0
-    ){
-        typedef detail::chain_convert_impl::first_expr_l<Rng1,V,R> caller_;
-        return caller_::call(r1);
-    }
-
-    template<typename V,typename R,typename Rng1>
-    typename detail::chain_convert_impl::first_expr_l<Rng1,V>::type    
-    chain_l(Rng1& r1,
-        typename boost::enable_if<boost::is_same<R,use_default> >::type* = 0
-    ){
-        typedef detail::chain_convert_impl::first_expr_l<Rng1,V> caller_;
-        return caller_::call(r1);
-    }
-
-    template<typename Rng1>
-    typename detail::chain_convert_impl::first_expr_l<
-        Rng1,
-        typename detail::chain_convert_impl::deduce_value<Rng1,false>::type
-    >::type    
-    chain_l(Rng1& r1)
-    {
-        typedef typename detail::chain_convert_impl::deduce_value<
-            Rng1,false
-        >::type val_;
-        typedef detail::chain_convert_impl::first_expr_l<Rng1,val_> caller_;
-        return caller_::call(r1);
-    }
-
-    // rvalue : Warning: if is_const<V> != true, R must be value, not a ref. 
-
-    template<typename V,typename R,typename Rng1>
-    typename detail::chain_convert_impl::first_expr_r<Rng1,V,R>::type    
-    chain_r(const Rng1& r1,
-        typename boost::disable_if<boost::is_same<R,use_default> >::type* = 0
-    ){
-        typedef detail::chain_convert_impl::first_expr_r<Rng1,V,R> caller_;
-        return caller_::call(r1);
-    }
-
-    template<typename V,typename R,typename Rng1>
-    typename detail::chain_convert_impl::first_expr_r<Rng1,V>::type    
-    chain_r(const Rng1& r1,
-        typename boost::enable_if<boost::is_same<R,use_default> >::type* = 0
-    ){
-        typedef detail::chain_convert_impl::first_expr_r<Rng1,V> caller_;
-        return caller_::call(r1);
-    }
-
-    template<typename Rng1>
-    typename detail::chain_convert_impl::first_expr_r<
-        Rng1,
-        typename detail::chain_convert_impl::deduce_value<
-            const Rng1,true>::type
-    >::type    
-    chain_r(const Rng1& r1)
-    {
-        typedef typename detail::chain_convert_impl::deduce_value<
-            const Rng1,true
-        >::type val_;
-        typedef detail::chain_convert_impl::first_expr_r<Rng1,val_> caller_;
-        return caller_::call(r1);
-    }
-
-}// assign
-}// boost
-
-#endif
\ No newline at end of file