|
sl@0
|
1 |
///////////////////////////////////////////////////////////////////////////////
|
|
sl@0
|
2 |
/// \file proto.hpp
|
|
sl@0
|
3 |
/// The proto expression template compiler and supporting utilities.
|
|
sl@0
|
4 |
//
|
|
sl@0
|
5 |
// Copyright 2004 Eric Niebler. Distributed under the Boost
|
|
sl@0
|
6 |
// Software License, Version 1.0. (See accompanying file
|
|
sl@0
|
7 |
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
sl@0
|
8 |
|
|
sl@0
|
9 |
#ifndef BOOST_PROTO_HPP_EAN_04_01_2005
|
|
sl@0
|
10 |
#define BOOST_PROTO_HPP_EAN_04_01_2005
|
|
sl@0
|
11 |
|
|
sl@0
|
12 |
#include <boost/xpressive/proto/proto_fwd.hpp>
|
|
sl@0
|
13 |
#include <boost/xpressive/proto/op_tags.hpp>
|
|
sl@0
|
14 |
#include <boost/xpressive/proto/op_base.hpp>
|
|
sl@0
|
15 |
#include <boost/xpressive/proto/operators.hpp>
|
|
sl@0
|
16 |
#include <boost/xpressive/proto/arg_traits.hpp>
|
|
sl@0
|
17 |
|
|
sl@0
|
18 |
namespace boost { namespace proto
|
|
sl@0
|
19 |
{
|
|
sl@0
|
20 |
///////////////////////////////////////////////////////////////////////////////
|
|
sl@0
|
21 |
// compile_result
|
|
sl@0
|
22 |
template<typename Op, typename State, typename Visitor, typename DomainTag>
|
|
sl@0
|
23 |
struct compile_result
|
|
sl@0
|
24 |
{
|
|
sl@0
|
25 |
typedef typename as_op<Op>::type op_type;
|
|
sl@0
|
26 |
typedef typename tag_type<op_type>::type tag_type;
|
|
sl@0
|
27 |
typedef compiler<tag_type, DomainTag> compiler_type;
|
|
sl@0
|
28 |
typedef typename compiler_type::BOOST_NESTED_TEMPLATE apply<op_type, State, Visitor>::type type;
|
|
sl@0
|
29 |
};
|
|
sl@0
|
30 |
|
|
sl@0
|
31 |
///////////////////////////////////////////////////////////////////////////////
|
|
sl@0
|
32 |
// compile
|
|
sl@0
|
33 |
template<typename Op, typename State, typename Visitor, typename DomainTag>
|
|
sl@0
|
34 |
typename compile_result<Op, State, Visitor, DomainTag>::type const
|
|
sl@0
|
35 |
compile(Op const &op, State const &state, Visitor &visitor, DomainTag)
|
|
sl@0
|
36 |
{
|
|
sl@0
|
37 |
typedef typename as_op<Op>::type op_type;
|
|
sl@0
|
38 |
typedef compiler<typename tag_type<op_type>::type, DomainTag> compiler;
|
|
sl@0
|
39 |
return compiler::call(as_op<Op>::make(op), state, visitor);
|
|
sl@0
|
40 |
}
|
|
sl@0
|
41 |
|
|
sl@0
|
42 |
}} // namespace boost::proto
|
|
sl@0
|
43 |
|
|
sl@0
|
44 |
#endif
|