sl@0: ///////////////////////////////////////////////////////////////////////////////
sl@0: /// \file proto.hpp
sl@0: /// The proto expression template compiler and supporting utilities.
sl@0: //
sl@0: //  Copyright 2004 Eric Niebler. Distributed under the Boost
sl@0: //  Software License, Version 1.0. (See accompanying file
sl@0: //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
sl@0: 
sl@0: #ifndef BOOST_PROTO_HPP_EAN_04_01_2005
sl@0: #define BOOST_PROTO_HPP_EAN_04_01_2005
sl@0: 
sl@0: #include <boost/xpressive/proto/proto_fwd.hpp>
sl@0: #include <boost/xpressive/proto/op_tags.hpp>
sl@0: #include <boost/xpressive/proto/op_base.hpp>
sl@0: #include <boost/xpressive/proto/operators.hpp>
sl@0: #include <boost/xpressive/proto/arg_traits.hpp>
sl@0: 
sl@0: namespace boost { namespace proto
sl@0: {
sl@0:     ///////////////////////////////////////////////////////////////////////////////
sl@0:     // compile_result
sl@0:     template<typename Op, typename State, typename Visitor, typename DomainTag>
sl@0:     struct compile_result
sl@0:     {
sl@0:         typedef typename as_op<Op>::type op_type;
sl@0:         typedef typename tag_type<op_type>::type tag_type;
sl@0:         typedef compiler<tag_type, DomainTag> compiler_type;
sl@0:         typedef typename compiler_type::BOOST_NESTED_TEMPLATE apply<op_type, State, Visitor>::type type;
sl@0:     };
sl@0: 
sl@0:     ///////////////////////////////////////////////////////////////////////////////
sl@0:     // compile
sl@0:     template<typename Op, typename State, typename Visitor, typename DomainTag>
sl@0:     typename compile_result<Op, State, Visitor, DomainTag>::type const
sl@0:     compile(Op const &op, State const &state, Visitor &visitor, DomainTag)
sl@0:     {
sl@0:         typedef typename as_op<Op>::type op_type;
sl@0:         typedef compiler<typename tag_type<op_type>::type, DomainTag> compiler;
sl@0:         return compiler::call(as_op<Op>::make(op), state, visitor);
sl@0:     }
sl@0: 
sl@0: }} // namespace boost::proto
sl@0: 
sl@0: #endif