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