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