Chris@16
|
1
|
Chris@16
|
2 #ifndef BOOST_MPL_AUX_PUSH_FRONT_IMPL_HPP_INCLUDED
|
Chris@16
|
3 #define BOOST_MPL_AUX_PUSH_FRONT_IMPL_HPP_INCLUDED
|
Chris@16
|
4
|
Chris@16
|
5 // Copyright Aleksey Gurtovoy 2000-2008
|
Chris@16
|
6 //
|
Chris@16
|
7 // Distributed under the Boost Software License, Version 1.0.
|
Chris@16
|
8 // (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
9 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
10 //
|
Chris@16
|
11 // See http://www.boost.org/libs/mpl for documentation.
|
Chris@16
|
12
|
Chris@101
|
13 // $Id$
|
Chris@101
|
14 // $Date$
|
Chris@101
|
15 // $Revision$
|
Chris@16
|
16
|
Chris@16
|
17 #include <boost/mpl/push_front_fwd.hpp>
|
Chris@16
|
18 #include <boost/mpl/assert.hpp>
|
Chris@16
|
19 #include <boost/mpl/aux_/has_type.hpp>
|
Chris@16
|
20 #include <boost/mpl/aux_/traits_lambda_spec.hpp>
|
Chris@16
|
21 #include <boost/mpl/aux_/config/forwarding.hpp>
|
Chris@16
|
22 #include <boost/mpl/aux_/config/static_constant.hpp>
|
Chris@16
|
23
|
Chris@16
|
24 #include <boost/type_traits/is_same.hpp>
|
Chris@16
|
25
|
Chris@16
|
26 namespace boost { namespace mpl {
|
Chris@16
|
27
|
Chris@16
|
28 struct has_push_front_arg {};
|
Chris@16
|
29
|
Chris@16
|
30 // agurt 05/feb/04: no default implementation; the stub definition is needed
|
Chris@16
|
31 // to enable the default 'has_push_front' implementation below
|
Chris@16
|
32
|
Chris@16
|
33 template< typename Tag >
|
Chris@16
|
34 struct push_front_impl
|
Chris@16
|
35 {
|
Chris@16
|
36 template< typename Sequence, typename T > struct apply
|
Chris@16
|
37 {
|
Chris@16
|
38 // should be instantiated only in the context of 'has_push_front_impl';
|
Chris@16
|
39 // if you've got an assert here, you are requesting a 'push_front'
|
Chris@16
|
40 // specialization that doesn't exist.
|
Chris@16
|
41 BOOST_MPL_ASSERT_MSG(
|
Chris@16
|
42 ( boost::is_same< T, has_push_front_arg >::value )
|
Chris@16
|
43 , REQUESTED_PUSH_FRONT_SPECIALIZATION_FOR_SEQUENCE_DOES_NOT_EXIST
|
Chris@16
|
44 , ( Sequence )
|
Chris@16
|
45 );
|
Chris@16
|
46 };
|
Chris@16
|
47 };
|
Chris@16
|
48
|
Chris@16
|
49 template< typename Tag >
|
Chris@16
|
50 struct has_push_front_impl
|
Chris@16
|
51 {
|
Chris@16
|
52 template< typename Seq > struct apply
|
Chris@16
|
53 #if !defined(BOOST_MPL_CFG_NO_NESTED_FORWARDING)
|
Chris@16
|
54 : aux::has_type< push_front< Seq, has_push_front_arg > >
|
Chris@16
|
55 {
|
Chris@16
|
56 #else
|
Chris@16
|
57 {
|
Chris@16
|
58 typedef aux::has_type< push_front< Seq, has_push_front_arg > > type;
|
Chris@16
|
59 BOOST_STATIC_CONSTANT(bool, value =
|
Chris@16
|
60 (aux::has_type< push_front< Seq, has_push_front_arg > >::value)
|
Chris@16
|
61 );
|
Chris@16
|
62 #endif
|
Chris@16
|
63 };
|
Chris@16
|
64 };
|
Chris@16
|
65
|
Chris@16
|
66 BOOST_MPL_ALGORITM_TRAITS_LAMBDA_SPEC(2, push_front_impl)
|
Chris@16
|
67 BOOST_MPL_ALGORITM_TRAITS_LAMBDA_SPEC(1, has_push_front_impl)
|
Chris@16
|
68
|
Chris@16
|
69 }}
|
Chris@16
|
70
|
Chris@16
|
71 #endif // BOOST_MPL_AUX_PUSH_FRONT_IMPL_HPP_INCLUDED
|