| /*============================================================================= |
| Copyright (c) 2001-2006 Joel de Guzman |
| |
| 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) |
| ==============================================================================*/ |
| #if !defined(FUSION_CATEGORY_OF_07202005_0308) |
| #define FUSION_CATEGORY_OF_07202005_0308 |
| |
| #include <boost/fusion/support/detail/category_of.hpp> |
| #include <boost/fusion/support/tag_of.hpp> |
| #include <boost/type_traits/is_base_of.hpp> |
| |
| namespace boost { namespace fusion |
| { |
| // Special tags: |
| struct boost_tuple_tag; // boost::tuples::tuple tag |
| struct boost_array_tag; // boost::array tag |
| struct mpl_sequence_tag; // mpl sequence tag |
| struct std_pair_tag; // std::pair tag |
| |
| struct incrementable_traversal_tag {}; |
| |
| struct single_pass_traversal_tag |
| : incrementable_traversal_tag {}; |
| |
| struct forward_traversal_tag |
| : single_pass_traversal_tag {}; |
| |
| struct bidirectional_traversal_tag |
| : forward_traversal_tag {}; |
| |
| struct random_access_traversal_tag |
| : bidirectional_traversal_tag {}; |
| |
| struct associative_tag {}; |
| |
| namespace extension |
| { |
| template<typename Tag> |
| struct category_of_impl |
| { |
| template<typename T> |
| struct apply : detail::fusion_category_of<T> {}; |
| }; |
| |
| template <> |
| struct category_of_impl<boost_tuple_tag>; |
| |
| template <> |
| struct category_of_impl<boost_array_tag>; |
| |
| template <> |
| struct category_of_impl<mpl_sequence_tag>; |
| |
| template <> |
| struct category_of_impl<std_pair_tag>; |
| } |
| |
| namespace traits |
| { |
| template <typename T> |
| struct category_of |
| : extension::category_of_impl<typename fusion::detail::tag_of<T>::type>:: |
| template apply<T> |
| {}; |
| |
| template <typename T> |
| struct is_associative |
| : is_base_of< |
| associative_tag |
| , typename category_of<T>::type> |
| {}; |
| |
| template <typename T> |
| struct is_incrementable |
| : is_base_of< |
| incrementable_traversal_tag |
| , typename category_of<T>::type> |
| {}; |
| |
| template <typename T> |
| struct is_single_pass |
| : is_base_of< |
| single_pass_traversal_tag |
| , typename category_of<T>::type> |
| {}; |
| |
| template <typename T> |
| struct is_forward |
| : is_base_of< |
| forward_traversal_tag |
| , typename category_of<T>::type> |
| {}; |
| |
| template <typename T> |
| struct is_bidirectional |
| : is_base_of< |
| bidirectional_traversal_tag |
| , typename category_of<T>::type> |
| {}; |
| |
| template <typename T> |
| struct is_random_access |
| : is_base_of< |
| random_access_traversal_tag |
| , typename category_of<T>::type> |
| {}; |
| } |
| }} |
| |
| #endif |