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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
/*=============================================================================
Copyright (c) 2001-2011 Joel de Guzman
Copyright (c) 2001-2011 Hartmut Kaiser
Copyright (c) 2009 Francois Barel
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_EXTRACT_PARAM_AUGUST_08_2009_0848AM)
#define BOOST_SPIRIT_EXTRACT_PARAM_AUGUST_08_2009_0848AM
#if defined(_MSC_VER)
#pragma once
#endif
#include <boost/spirit/home/support/meta_compiler.hpp>
#include <boost/spirit/home/support/nonterminal/locals.hpp>
#include <boost/spirit/home/support/unused.hpp>
#include <boost/spirit/home/support/common_terminals.hpp>
#include <boost/function_types/is_function.hpp>
#include <boost/function_types/parameter_types.hpp>
#include <boost/function_types/result_type.hpp>
#include <boost/fusion/include/as_list.hpp>
#include <boost/fusion/include/as_vector.hpp>
#include <boost/mpl/deref.hpp>
#include <boost/mpl/end.hpp>
#include <boost/mpl/eval_if.hpp>
#include <boost/mpl/find_if.hpp>
#include <boost/mpl/identity.hpp>
#include <boost/mpl/if.hpp>
#include <boost/mpl/placeholders.hpp>
#include <boost/type_traits/is_same.hpp>
namespace boost { namespace spirit { namespace detail
{
///////////////////////////////////////////////////////////////////////////
// Helpers to extract params (locals, attributes, ...) from nonterminal
// template arguments
///////////////////////////////////////////////////////////////////////////
template <typename Types, typename Pred, typename Default>
struct extract_param
{
typedef typename mpl::find_if<Types, Pred>::type pos;
typedef typename
mpl::eval_if<
is_same<pos, typename mpl::end<Types>::type>
, mpl::identity<Default>
, mpl::deref<pos>
>::type
type;
};
///////////////////////////////////////////////////////////////////////////
template <typename Types>
struct extract_locals
: fusion::result_of::as_vector<
typename extract_param<
Types
, is_locals<mpl::_>
, locals<>
>::type
>
{};
///////////////////////////////////////////////////////////////////////////
template <typename Domain, typename Types>
struct extract_component
: spirit::result_of::compile<
Domain
, typename extract_param<
Types
, traits::matches<Domain, mpl::_>
, unused_type
>::type
>
{};
///////////////////////////////////////////////////////////////////////////
template <typename Types>
struct extract_sig
: extract_param<
Types
, function_types::is_function<mpl::_>
, void()
>
{};
template <typename Sig>
struct attr_from_sig
{
typedef typename function_types::result_type<Sig>::type attr;
typedef typename
mpl::if_<
is_same<attr, void>
, unused_type
, attr
>::type
type;
};
template <typename Sig>
struct params_from_sig
{
typedef typename function_types::parameter_types<Sig>::type params;
typedef typename fusion::result_of::as_list<params>::type type;
};
///////////////////////////////////////////////////////////////////////////
template <typename Types>
struct extract_encoding
: extract_param<
Types
, is_char_encoding<mpl::_>
, unused_type
>
{};
}}}
#endif
|
Swift