[Boost-commit] svn:boost r62320 - sandbox/statistics/support/boost/fusion/container/map/detail

Subject: [Boost-commit] svn:boost r62320 - sandbox/statistics/support/boost/fusion/container/map/detail
From: erwann.rogard_at_[hidden]
Date: 2010-05-30 12:11:34

Author: e_r
Date: 2010-05-30 12:11:34 EDT (Sun, 30 May 2010)
New Revision: 62320
URL: http://svn.boost.org/trac/boost/changeset/62320

Log:
m
Added:
   sandbox/statistics/support/boost/fusion/container/map/detail/subset_traits.hpp   (contents, props changed)

Added: sandbox/statistics/support/boost/fusion/container/map/detail/subset_traits.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/support/boost/fusion/container/map/detail/subset_traits.hpp	2010-05-30 12:11:34 EDT (Sun, 30 May 2010)
@@ -0,0 +1,80 @@
+///////////////////////////////////////////////////////////////////////////////
+// subset_traits.hpp                                                         //
+//                                                                           //
+//  Copyright 2010 Erwann Rogard. 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_FUSION_DETAIL_CONTAINER_MAP_SUBSET_TRAITS_HPP_ER_2010
+#define BOOST_FUSION_DETAIL_CONTAINER_MAP_SUBSET_TRAITS_HPP_ER_2010
+#include <boost/mpl/bool.hpp>
+#include <boost/mpl/and.hpp>
+#include <boost/mpl/contains.hpp>
+#include <boost/mpl/fold.hpp>
+#include <boost/mpl/push_back.hpp>
+#include <boost/mpl/vector/vector10.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/find_if.hpp>
+#include <boost/type_traits/add_const.hpp>
+#include <boost/type_traits/remove_reference.hpp>
+#include <boost/fusion/include/filter_view.hpp>
+#include <boost/fusion/include/pair.hpp>
+#include <boost/fusion/include/at_key.hpp>
+#include <boost/fusion/container/map/detail/unpack_map.hpp>
+
+namespace boost { 
+namespace fusion{
+namespace detail{
+
+    template<typename T,typename Keys>
+    struct map_subset_traits{
+    
+        template<typename U>
+        struct key_of{ typedef typename U::first_type type; };
+    
+        template<typename Key>
+        struct contains : boost::mpl::contains<Keys,Key>{};
+
+        // TODO check that it contains Keys
+        //typedef typename boost::fusion::detail::extract_keys<
+        //    T
+        //>::type keys_superset;
+        
+        struct filter{
+            template<typename U>
+            struct apply : contains<typename key_of<U>::type>{};
+        };
+                
+        typedef boost::fusion::filter_view<T,filter> view;
+        typedef boost::fusion::filter_view<
+            typename boost::add_const<T>::type,
+            filter
+        > view_const;
+
+        template<typename Key>
+        struct pair_of{ 
+            typedef typename boost::fusion::result_of::at_key<T,Key>::type at_;
+            typedef typename boost::remove_reference<at_>::type data_;
+            typedef boost::fusion::pair<Key,data_> type; 
+        };
+
+        typedef typename boost::mpl::fold<
+            Keys,
+            boost::mpl::vector0<>,
+            boost::mpl::push_back<
+                boost::mpl::_1,
+                pair_of<boost::mpl::_2>
+            >
+        >::type pairs;
+        
+        typedef typename boost::fusion::detail::unpack_map<
+            pairs
+        >::type map;
+    };
+
+
+}// detail
+}// fusion
+}// boost
+
+#endif