Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2001-2011 Joel de Guzman
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_PARSE_APRIL_16_2006_0442PM)
Chris@16: #define BOOST_SPIRIT_PARSE_APRIL_16_2006_0442PM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/spirit/home/support/context.hpp>
Chris@16: #include <boost/spirit/home/support/nonterminal/locals.hpp>
Chris@16: #include <boost/spirit/home/qi/detail/parse.hpp>
Chris@16: #include <boost/concept_check.hpp>
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace qi
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Iterator, typename Expr>
Chris@16:     inline bool
Chris@16:     parse(
Chris@16:         Iterator& first
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr)
Chris@16:     {
Chris@16:         // Make sure the iterator is at least a forward_iterator. If you got a 
Chris@16:         // compilation error here, then you are using an input_iterator while
Chris@16:         // calling this function, you need to supply at least a 
Chris@16:         // forward_iterator instead.
Chris@16:         BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>));
Chris@16: 
Chris@16:         return detail::parse_impl<Expr>::call(first, last, expr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Iterator, typename Expr>
Chris@16:     inline bool
Chris@16:     parse(
Chris@16:         Iterator const& first_
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr)
Chris@16:     {
Chris@16:         Iterator first = first_;
Chris@16:         return qi::parse(first, last, expr);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template <typename T>
Chris@16:         struct make_context
Chris@16:         {
Chris@16:             typedef context<fusion::cons<T&>, locals<> > type;
Chris@16:         };
Chris@16: 
Chris@16:         template <>
Chris@16:         struct make_context<unused_type>
Chris@16:         {
Chris@16:             typedef unused_type type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Iterator, typename Expr, typename Attr>
Chris@16:     inline bool
Chris@16:     parse(
Chris@16:         Iterator& first
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr
Chris@16:       , Attr& attr)
Chris@16:     {
Chris@16:         // Make sure the iterator is at least a forward_iterator. If you got a 
Chris@16:         // compilation error here, then you are using an input_iterator while
Chris@16:         // calling this function, you need to supply at least a 
Chris@16:         // forward_iterator instead.
Chris@16:         BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>));
Chris@16: 
Chris@16:         // Report invalid expression error as early as possible.
Chris@16:         // If you got an error_invalid_expression error message here,
Chris@16:         // then the expression (expr) is not a valid spirit qi expression.
Chris@16:         BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Expr);
Chris@16: 
Chris@16:         typename detail::make_context<Attr>::type context(attr);
Chris@16:         return compile<qi::domain>(expr).parse(first, last, context, unused, attr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Iterator, typename Expr, typename Attr>
Chris@16:     inline bool
Chris@16:     parse(
Chris@16:         Iterator const& first_
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr
Chris@16:       , Attr& attr)
Chris@16:     {
Chris@16:         Iterator first = first_;
Chris@16:         return qi::parse(first, last, expr, attr);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Iterator, typename Expr, typename Skipper>
Chris@16:     inline bool
Chris@16:     phrase_parse(
Chris@16:         Iterator& first
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr
Chris@16:       , Skipper const& skipper
Chris@16:       , BOOST_SCOPED_ENUM(skip_flag) post_skip = skip_flag::postskip)
Chris@16:     {
Chris@16:         // Make sure the iterator is at least a forward_iterator. If you got a 
Chris@16:         // compilation error here, then you are using an input_iterator while
Chris@16:         // calling this function, you need to supply at least a 
Chris@16:         // forward_iterator instead.
Chris@16:         BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>));
Chris@16: 
Chris@16:         return detail::phrase_parse_impl<Expr>::call(
Chris@16:             first, last, expr, skipper, post_skip);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Iterator, typename Expr, typename Skipper>
Chris@16:     inline bool
Chris@16:     phrase_parse(
Chris@16:         Iterator const& first_
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr
Chris@16:       , Skipper const& skipper
Chris@16:       , BOOST_SCOPED_ENUM(skip_flag) post_skip = skip_flag::postskip)
Chris@16:     {
Chris@16:         Iterator first = first_;
Chris@16:         return qi::phrase_parse(first, last, expr, skipper, post_skip);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Iterator, typename Expr, typename Skipper, typename Attr>
Chris@16:     inline bool
Chris@16:     phrase_parse(
Chris@16:         Iterator& first
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr
Chris@16:       , Skipper const& skipper
Chris@16:       , BOOST_SCOPED_ENUM(skip_flag) post_skip
Chris@16:       , Attr& attr)
Chris@16:     {
Chris@16:         // Make sure the iterator is at least a forward_iterator. If you got a 
Chris@16:         // compilation error here, then you are using an input_iterator while
Chris@16:         // calling this function, you need to supply at least a 
Chris@16:         // forward_iterator instead.
Chris@16:         BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>));
Chris@16: 
Chris@16:         // Report invalid expression error as early as possible.
Chris@16:         // If you got an error_invalid_expression error message here,
Chris@16:         // then either the expression (expr) or skipper is not a valid
Chris@16:         // spirit qi expression.
Chris@16:         BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Expr);
Chris@16:         BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Skipper);
Chris@16: 
Chris@16:         typedef
Chris@16:             typename result_of::compile<qi::domain, Skipper>::type
Chris@16:         skipper_type;
Chris@16:         skipper_type const skipper_ = compile<qi::domain>(skipper);
Chris@16: 
Chris@16:         typename detail::make_context<Attr>::type context(attr);
Chris@16:         if (!compile<qi::domain>(expr).parse(
Chris@16:                 first, last, context, skipper_, attr))
Chris@16:             return false;
Chris@16: 
Chris@16:         if (post_skip == skip_flag::postskip)
Chris@16:             qi::skip_over(first, last, skipper_);
Chris@16:         return true;
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Iterator, typename Expr, typename Skipper, typename Attr>
Chris@16:     inline bool
Chris@16:     phrase_parse(
Chris@16:         Iterator const& first_
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr
Chris@16:       , Skipper const& skipper
Chris@16:       , BOOST_SCOPED_ENUM(skip_flag) post_skip
Chris@16:       , Attr& attr)
Chris@16:     {
Chris@16:         Iterator first = first_;
Chris@16:         return qi::phrase_parse(first, last, expr, skipper, post_skip, attr);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Iterator, typename Expr, typename Skipper, typename Attr>
Chris@16:     inline bool
Chris@16:     phrase_parse(
Chris@16:         Iterator& first
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr
Chris@16:       , Skipper const& skipper
Chris@16:       , Attr& attr)
Chris@16:     {
Chris@16:         return qi::phrase_parse(first, last, expr, skipper, skip_flag::postskip, attr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Iterator, typename Expr, typename Skipper, typename Attr>
Chris@16:     inline bool
Chris@16:     phrase_parse(
Chris@16:         Iterator const& first_
Chris@16:       , Iterator last
Chris@16:       , Expr const& expr
Chris@16:       , Skipper const& skipper
Chris@16:       , Attr& attr)
Chris@16:     {
Chris@16:         Iterator first = first_;
Chris@16:         return qi::phrase_parse(first, last, expr, skipper, skip_flag::postskip, attr);
Chris@16:     }
Chris@16: }}}
Chris@16: 
Chris@16: #endif
Chris@16: