Chris@16: //  Copyright (c) 2001-2011 Hartmut Kaiser
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_LEX_PLAIN_TOKEN_NOV_11_2007_0451PM)
Chris@16: #define BOOST_SPIRIT_LEX_PLAIN_TOKEN_NOV_11_2007_0451PM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/spirit/home/support/info.hpp>
Chris@16: #include <boost/spirit/home/qi/detail/attributes.hpp>
Chris@16: #include <boost/spirit/home/support/common_terminals.hpp>
Chris@16: #include <boost/spirit/home/support/handles_container.hpp>
Chris@16: #include <boost/spirit/home/qi/skip_over.hpp>
Chris@16: #include <boost/spirit/home/qi/domain.hpp>
Chris@16: #include <boost/spirit/home/qi/parser.hpp>
Chris@16: #include <boost/spirit/home/qi/meta_compiler.hpp>
Chris@16: #include <boost/spirit/home/qi/detail/assign_to.hpp>
Chris@16: #include <boost/range/iterator_range.hpp>
Chris@16: #include <boost/fusion/include/vector.hpp>
Chris@16: #include <boost/fusion/include/at.hpp>
Chris@16: #include <boost/mpl/or.hpp>
Chris@16: #include <boost/mpl/and.hpp>
Chris@16: #include <boost/type_traits/is_integral.hpp>
Chris@16: #include <boost/type_traits/is_enum.hpp>
Chris@16: #include <boost/lexical_cast.hpp>
Chris@16: 
Chris@16: namespace boost { namespace spirit
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Enablers
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16: 
Chris@16:     // enables token
Chris@16:     template <>
Chris@16:     struct use_terminal<qi::domain, tag::token>
Chris@16:       : mpl::true_ {};
Chris@16: 
Chris@16:     // enables token(id)
Chris@16:     template <typename A0>
Chris@16:     struct use_terminal<qi::domain
Chris@16:       , terminal_ex<tag::token, fusion::vector1<A0> >
Chris@16:     > : mpl::or_<is_integral<A0>, is_enum<A0> > {};
Chris@16: 
Chris@16:     // enables token(idmin, idmax)
Chris@16:     template <typename A0, typename A1>
Chris@16:     struct use_terminal<qi::domain
Chris@16:       , terminal_ex<tag::token, fusion::vector2<A0, A1> >
Chris@16:     > : mpl::and_<
Chris@16:             mpl::or_<is_integral<A0>, is_enum<A0> >
Chris@16:           , mpl::or_<is_integral<A1>, is_enum<A1> >
Chris@16:         > {};
Chris@16: 
Chris@16:     // enables *lazy* token(id)
Chris@16:     template <>
Chris@16:     struct use_lazy_terminal<
Chris@16:         qi::domain, tag::token, 1
Chris@16:     > : mpl::true_ {};
Chris@16: 
Chris@16:     // enables *lazy* token(idmin, idmax)
Chris@16:     template <>
Chris@16:     struct use_lazy_terminal<
Chris@16:         qi::domain, tag::token, 2
Chris@16:     > : mpl::true_ {};
Chris@16: }}
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace qi
Chris@16: {
Chris@16: #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS
Chris@16:     using spirit::token;
Chris@16: #endif
Chris@16:     using spirit::token_type;
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename TokenId>
Chris@16:     struct plain_token
Chris@16:       : primitive_parser<plain_token<TokenId> >
Chris@16:     {
Chris@16:         template <typename Context, typename Iterator>
Chris@16:         struct attribute
Chris@16:         {
Chris@16:             typedef typename Iterator::base_iterator_type iterator_type;
Chris@16:             typedef iterator_range<iterator_type> type;
Chris@16:         };
Chris@16: 
Chris@16:         plain_token(TokenId const& id)
Chris@16:           : id(id) {}
Chris@16: 
Chris@16:         template <typename Iterator, typename Context
Chris@16:           , typename Skipper, typename Attribute>
Chris@16:         bool parse(Iterator& first, Iterator const& last
Chris@16:           , Context& /*context*/, Skipper const& skipper
Chris@16:           , Attribute& attr) const
Chris@16:         {
Chris@16:             qi::skip_over(first, last, skipper);   // always do a pre-skip
Chris@16: 
Chris@16:             if (first != last) {
Chris@16:                 // simply match the token id with the id this component has
Chris@16:                 // been initialized with
Chris@16: 
Chris@16:                 typedef typename
Chris@16:                     boost::detail::iterator_traits<Iterator>::value_type
Chris@16:                 token_type;
Chris@16:                 typedef typename token_type::id_type id_type;
Chris@16: 
Chris@16:                 token_type const& t = *first;
Chris@16:                 if (id_type(~0) == id_type(id) || id_type(id) == t.id()) {
Chris@16:                     spirit::traits::assign_to(t, attr);
Chris@16:                     ++first;
Chris@16:                     return true;
Chris@16:                 }
Chris@16:             }
Chris@16:             return false;
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         info what(Context& /*context*/) const
Chris@16:         {
Chris@16:             return info("token",
Chris@16:                 "token(" + boost::lexical_cast<utf8_string>(id) + ")");
Chris@16:         }
Chris@16: 
Chris@16:         TokenId id;
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename TokenId>
Chris@16:     struct plain_token_range
Chris@16:       : primitive_parser<plain_token_range<TokenId> >
Chris@16:     {
Chris@16:         template <typename Context, typename Iterator>
Chris@16:         struct attribute
Chris@16:         {
Chris@16:             typedef typename Iterator::base_iterator_type iterator_type;
Chris@16:             typedef iterator_range<iterator_type> type;
Chris@16:         };
Chris@16: 
Chris@16:         plain_token_range(TokenId const& idmin, TokenId const& idmax)
Chris@16:           : idmin(idmin), idmax(idmax) {}
Chris@16: 
Chris@16:         template <typename Iterator, typename Context
Chris@16:           , typename Skipper, typename Attribute>
Chris@16:         bool parse(Iterator& first, Iterator const& last
Chris@16:           , Context& /*context*/, Skipper const& skipper
Chris@16:           , Attribute& attr) const
Chris@16:         {
Chris@16:             qi::skip_over(first, last, skipper);   // always do a pre-skip
Chris@16: 
Chris@16:             if (first != last) {
Chris@16:                 // simply match the token id with the id this component has
Chris@16:                 // been initialized with
Chris@16: 
Chris@16:                 typedef typename
Chris@16:                     boost::detail::iterator_traits<Iterator>::value_type
Chris@16:                 token_type;
Chris@16:                 typedef typename token_type::id_type id_type;
Chris@16: 
Chris@16:                 token_type const& t = *first;
Chris@16:                 if (id_type(idmin) >= t.id() && id_type(idmin) <= t.id())
Chris@16:                 {
Chris@16:                     spirit::traits::assign_to(t, attr);
Chris@16:                     ++first;
Chris@16:                     return true;
Chris@16:                 }
Chris@16:             }
Chris@16:             return false;
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         info what(Context& /*context*/) const
Chris@16:         {
Chris@16:             return info("token_range"
Chris@16:               , "token(" +
Chris@16:                     boost::lexical_cast<utf8_string>(idmin) + ", " +
Chris@16:                     boost::lexical_cast<utf8_string>(idmax) + ")"
Chris@16:             );
Chris@16:             return info("token_range");
Chris@16:         }
Chris@16: 
Chris@16:         TokenId idmin, idmax;
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Parser generators: make_xxx function (objects)
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Modifiers>
Chris@16:     struct make_primitive<tag::token, Modifiers>
Chris@16:     {
Chris@16:         typedef plain_token<std::size_t> result_type;
Chris@16: 
Chris@16:         result_type operator()(unused_type, unused_type) const
Chris@16:         {
Chris@16:             return result_type(std::size_t(~0));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Modifiers, typename TokenId>
Chris@16:     struct make_primitive<terminal_ex<tag::token, fusion::vector1<TokenId> >
Chris@16:       , Modifiers>
Chris@16:     {
Chris@16:         typedef plain_token<TokenId> result_type;
Chris@16: 
Chris@16:         template <typename Terminal>
Chris@16:         result_type operator()(Terminal const& term, unused_type) const
Chris@16:         {
Chris@16:             return result_type(fusion::at_c<0>(term.args));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Modifiers, typename TokenId>
Chris@16:     struct make_primitive<terminal_ex<tag::token, fusion::vector2<TokenId, TokenId> >
Chris@16:       , Modifiers>
Chris@16:     {
Chris@16:         typedef plain_token_range<TokenId> result_type;
Chris@16: 
Chris@16:         template <typename Terminal>
Chris@16:         result_type operator()(Terminal const& term, unused_type) const
Chris@16:         {
Chris@16:             return result_type(fusion::at_c<0>(term.args)
Chris@16:               , fusion::at_c<1>(term.args));
Chris@16:         }
Chris@16:     };
Chris@16: }}}
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace traits
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename Idtype, typename Attr, typename Context, typename Iterator>
Chris@16:     struct handles_container<qi::plain_token<Idtype>, Attr, Context, Iterator>
Chris@16:       : mpl::true_
Chris@16:     {};
Chris@16: 
Chris@16:     template<typename Idtype, typename Attr, typename Context, typename Iterator>
Chris@16:     struct handles_container<qi::plain_token_range<Idtype>, Attr, Context, Iterator>
Chris@16:       : mpl::true_
Chris@16:     {};
Chris@16: }}}
Chris@16: 
Chris@16: #endif