blob: f214096be17b4e57aa7c86b021c144dc405f5f42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
/*=============================================================================
Copyright (c) 2001-2011 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(BOOST_SPIRIT_EXPAND_ARG_FEB_19_2007_1107AM)
#define BOOST_SPIRIT_EXPAND_ARG_FEB_19_2007_1107AM
#if defined(_MSC_VER)
#pragma once
#endif
#include <boost/mpl/bool.hpp>
#include <boost/mpl/or.hpp>
#include <boost/mpl/identity.hpp>
#include <boost/mpl/eval_if.hpp>
#include <boost/utility/result_of.hpp>
#include <boost/type_traits/is_scalar.hpp>
#include <boost/spirit/home/support/string_traits.hpp>
namespace boost { namespace spirit { namespace detail
{
///////////////////////////////////////////////////////////////////////////
template <typename Context>
struct expand_arg
{
template <typename T>
struct result_type
{
// This is a temporary hack. The better way is to detect if T
// can be called given unused context.
typedef typename
mpl::eval_if<
mpl::or_<is_scalar<T>, traits::is_string<T> >
, mpl::identity<T const &>
, boost::result_of<T(unused_type, Context)>
>::type
type;
};
template <typename T>
struct result;
template <typename F, typename A0>
struct result<F(A0)>
: result_type<A0> {};
template <typename F, typename A0>
struct result<F(A0&)>
: result_type<A0> {};
expand_arg(Context& context_)
: context(context_)
{
}
template <typename T>
typename result_type<T>::type
call(T const& f, mpl::false_) const
{
return f(unused, context);
}
template <typename T>
typename result_type<T>::type
call(T const& val, mpl::true_) const
{
return val;
}
template <typename T>
typename result_type<T>::type
operator()(T const& x) const
{
return call(x, mpl::or_<is_scalar<T>, traits::is_string<T> >());
}
Context& context;
private:
// silence MSVC warning C4512: assignment operator could not be generated
expand_arg& operator= (expand_arg const&);
};
}}}
#endif
|