Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2011 Thomas Heller
Chris@16:     Copyright (c) 2001-2011 Hartmut Kaiser
Chris@16:     Copyright (c)      2011 Thomas Heller
Chris@16: 
Chris@16:     Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: ==============================================================================*/
Chris@16: #if !defined(BOOST_SPIRIT_ARGUMENT_MARCH_22_2011_0939PM)
Chris@16: #define BOOST_SPIRIT_ARGUMENT_MARCH_22_2011_0939PM
Chris@16: 
Chris@16: #include <boost/spirit/include/phoenix_core.hpp>
Chris@16: 
Chris@16: namespace boost { namespace spirit
Chris@16: {
Chris@16:     template <int N>
Chris@16:     struct argument;
Chris@16: 
Chris@16:     template <typename Dummy>
Chris@16:     struct attribute_context;
Chris@16: 
Chris@16:     namespace expression
Chris@16:     {
Chris@16:         template <int N>
Chris@16:         struct argument
Chris@16:           : phoenix::expression::terminal<spirit::argument<N> >
Chris@16:         {
Chris@16:             typedef typename phoenix::expression::terminal<
Chris@16:                 spirit::argument<N> 
Chris@16:             >::type type;
Chris@16: 
Chris@16:             static type make()
Chris@16:             {
Chris@16:                 type const e = {{{}}};
Chris@16:                 return e;
Chris@16:             }
Chris@16:         };
Chris@16:         
Chris@16:         template <typename Dummy>
Chris@16:         struct attribute_context
Chris@16:           : phoenix::expression::terminal<spirit::attribute_context<Dummy> >
Chris@16:         {
Chris@16:             typedef typename phoenix::expression::terminal<
Chris@16:                 spirit::attribute_context<Dummy> 
Chris@16:             >::type type;
Chris@16: 
Chris@16:             static type make()
Chris@16:             {
Chris@16:                 type const e = {{{}}};
Chris@16:                 return e;
Chris@16:             }
Chris@16:         };
Chris@16:     }
Chris@16: }}
Chris@16: 
Chris@16: namespace boost { namespace phoenix
Chris@16: {
Chris@16:     namespace result_of
Chris@16:     {
Chris@16:         template <typename Dummy>
Chris@16:         struct is_nullary<custom_terminal<spirit::attribute_context<Dummy> > >
Chris@16:           : mpl::false_
Chris@16:         {};
Chris@16: 
Chris@16:         template <int N>
Chris@16:         struct is_nullary<custom_terminal<spirit::argument<N> > >
Chris@16:           : mpl::false_
Chris@16:         {};
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Dummy>
Chris@16:     struct is_custom_terminal<spirit::attribute_context<Dummy> >
Chris@16:       : mpl::true_
Chris@16:     {};
Chris@16: 
Chris@16:     template <int N>
Chris@16:     struct is_custom_terminal<spirit::argument<N> >
Chris@16:       : mpl::true_
Chris@16:     {};
Chris@16: 
Chris@16:     template <typename Dummy>
Chris@16:     struct custom_terminal<spirit::attribute_context<Dummy> >
Chris@16:       : proto::call<
Chris@16:             v2_eval(
Chris@16:                 proto::make<spirit::attribute_context<Dummy>()>
Chris@16:               , proto::call<
Chris@16:                     functional::env(proto::_state)
Chris@16:                 >
Chris@16:             )
Chris@16:         >
Chris@16:     {};
Chris@16: 
Chris@16:     template <int N>
Chris@16:     struct custom_terminal<spirit::argument<N> >
Chris@16:       : proto::call<
Chris@16:             v2_eval(
Chris@16:                 proto::make<spirit::argument<N>()>
Chris@16:               , proto::call<
Chris@16:                     functional::env(proto::_state)
Chris@16:                 >
Chris@16:             )
Chris@16:         >
Chris@16:     {};
Chris@16: }}
Chris@16: 
Chris@16: #endif