| 1 | //----------------------------------------------------------------------------- |
| 2 | // boost variant/detail/over_sequence.hpp header file |
| 3 | // See http://www.boost.org for updates, documentation, and revision history. |
| 4 | //----------------------------------------------------------------------------- |
| 5 | // |
| 6 | // Copyright (c) 2003 |
| 7 | // Eric Friedman |
| 8 | // |
| 9 | // Portions Copyright (C) 2002 David Abrahams |
| 10 | // |
| 11 | // Distributed under the Boost Software License, Version 1.0. (See |
| 12 | // accompanying file LICENSE_1_0.txt or copy at |
| 13 | // http://www.boost.org/LICENSE_1_0.txt) |
| 14 | |
| 15 | #ifndef BOOST_VARIANT_DETAIL_OVER_SEQUENCE_HPP |
| 16 | #define BOOST_VARIANT_DETAIL_OVER_SEQUENCE_HPP |
| 17 | |
| 18 | #include <boost/mpl/aux_/config/ctps.hpp> |
| 19 | |
| 20 | |
| 21 | namespace boost { |
| 22 | namespace detail { namespace variant { |
| 23 | |
| 24 | /////////////////////////////////////////////////////////////////////////////// |
| 25 | // (detail) class over_sequence |
| 26 | // |
| 27 | // Wrapper used to indicate bounded types for variant are from type sequence. |
| 28 | // |
| 29 | template <typename Types> |
| 30 | struct over_sequence |
| 31 | { |
| 32 | typedef Types type; |
| 33 | }; |
| 34 | |
| 35 | /////////////////////////////////////////////////////////////////////////////// |
| 36 | // (detail) metafunction is_over_sequence (modeled on code by David Abrahams) |
| 37 | // |
| 38 | // Indicates whether the specified type is of form over_sequence<...> or not. |
| 39 | // |
| 40 | |
| 41 | |
| 42 | template <typename T> |
| 43 | struct is_over_sequence |
| 44 | : mpl::false_ |
| 45 | { |
| 46 | }; |
| 47 | |
| 48 | template <typename Types> |
| 49 | struct is_over_sequence< over_sequence<Types> > |
| 50 | : mpl::true_ |
| 51 | { |
| 52 | }; |
| 53 | |
| 54 | |
| 55 | }} // namespace detail::variant |
| 56 | } // namespace boost |
| 57 | |
| 58 | #endif // BOOST_VARIANT_DETAIL_OVER_SEQUENCE_HPP |
| 59 | |