| /*============================================================================= |
| Copyright (c) 2001-2010 Joel de Guzman |
| Copyright (c) 2001-2010 Hartmut Kaiser |
| |
| Distributed under the Boost Software License, Version 1.0. (See accompanying |
| file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| =============================================================================*/ |
| #if !defined(BOOST_SPIRIT_PARSE_APRIL_16_2006_0442PM) |
| #define BOOST_SPIRIT_PARSE_APRIL_16_2006_0442PM |
| |
| #if defined(_MSC_VER) |
| #pragma once |
| #endif |
| |
| #include <boost/spirit/home/qi/detail/parse.hpp> |
| #include <boost/concept_check.hpp> |
| |
| namespace boost { namespace spirit { namespace qi |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Iterator, typename Expr> |
| inline bool |
| parse( |
| Iterator& first |
| , Iterator last |
| , Expr const& expr) |
| { |
| // Make sure the iterator is at least a forward_iterator. If you got a |
| // compilation error here, then you are using an input_iterator while |
| // calling this function, you need to supply at least a |
| // forward_iterator instead. |
| BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>)); |
| |
| return detail::parse_impl<Expr>::call(first, last, expr); |
| } |
| |
| template <typename Iterator, typename Expr> |
| inline bool |
| parse( |
| Iterator const& first_ |
| , Iterator last |
| , Expr const& expr) |
| { |
| Iterator first = first_; |
| return parse(first, last, expr); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Iterator, typename Expr, typename Attr> |
| inline bool |
| parse( |
| Iterator& first |
| , Iterator last |
| , Expr const& expr |
| , Attr& attr) |
| { |
| // Make sure the iterator is at least a forward_iterator. If you got a |
| // compilation error here, then you are using an input_iterator while |
| // calling this function, you need to supply at least a |
| // forward_iterator instead. |
| BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>)); |
| |
| // Report invalid expression error as early as possible. |
| // If you got an error_invalid_expression error message here, |
| // then the expression (expr) is not a valid spirit qi expression. |
| BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Expr); |
| |
| return compile<qi::domain>(expr).parse(first, last, unused, unused, attr); |
| } |
| |
| template <typename Iterator, typename Expr, typename Attr> |
| inline bool |
| parse( |
| Iterator const& first_ |
| , Iterator last |
| , Expr const& expr |
| , Attr& attr) |
| { |
| Iterator first = first_; |
| return parse(first, last, expr, attr); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Iterator, typename Expr, typename Skipper> |
| inline bool |
| phrase_parse( |
| Iterator& first |
| , Iterator last |
| , Expr const& expr |
| , Skipper const& skipper |
| , BOOST_SCOPED_ENUM(skip_flag) post_skip = skip_flag::postskip) |
| { |
| // Make sure the iterator is at least a forward_iterator. If you got a |
| // compilation error here, then you are using an input_iterator while |
| // calling this function, you need to supply at least a |
| // forward_iterator instead. |
| BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>)); |
| |
| return detail::phrase_parse_impl<Expr>::call( |
| first, last, expr, skipper, post_skip); |
| } |
| |
| template <typename Iterator, typename Expr, typename Skipper> |
| inline bool |
| phrase_parse( |
| Iterator const& first_ |
| , Iterator last |
| , Expr const& expr |
| , Skipper const& skipper |
| , BOOST_SCOPED_ENUM(skip_flag) post_skip = skip_flag::postskip) |
| { |
| Iterator first = first_; |
| return phrase_parse(first, last, expr, skipper, post_skip); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Iterator, typename Expr, typename Skipper, typename Attr> |
| inline bool |
| phrase_parse( |
| Iterator& first |
| , Iterator last |
| , Expr const& expr |
| , Skipper const& skipper |
| , BOOST_SCOPED_ENUM(skip_flag) post_skip |
| , Attr& attr) |
| { |
| // Make sure the iterator is at least a forward_iterator. If you got a |
| // compilation error here, then you are using an input_iterator while |
| // calling this function, you need to supply at least a |
| // forward_iterator instead. |
| BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>)); |
| |
| // Report invalid expression error as early as possible. |
| // If you got an error_invalid_expression error message here, |
| // then either the expression (expr) or skipper is not a valid |
| // spirit qi expression. |
| BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Expr); |
| BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Skipper); |
| |
| typedef |
| typename result_of::compile<qi::domain, Skipper>::type |
| skipper_type; |
| skipper_type const skipper_ = compile<qi::domain>(skipper); |
| |
| if (!compile<qi::domain>(expr).parse( |
| first, last, unused, skipper_, attr)) |
| return false; |
| |
| if (post_skip == skip_flag::postskip) |
| qi::skip_over(first, last, skipper_); |
| return true; |
| } |
| |
| template <typename Iterator, typename Expr, typename Skipper, typename Attr> |
| inline bool |
| phrase_parse( |
| Iterator const& first_ |
| , Iterator last |
| , Expr const& expr |
| , Skipper const& skipper |
| , BOOST_SCOPED_ENUM(skip_flag) post_skip |
| , Attr& attr) |
| { |
| Iterator first = first_; |
| return phrase_parse(first, last, expr, skipper, post_skip, attr); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Iterator, typename Expr, typename Skipper, typename Attr> |
| inline bool |
| phrase_parse( |
| Iterator& first |
| , Iterator last |
| , Expr const& expr |
| , Skipper const& skipper |
| , Attr& attr) |
| { |
| return phrase_parse(first, last, expr, skipper, skip_flag::postskip, attr); |
| } |
| |
| template <typename Iterator, typename Expr, typename Skipper, typename Attr> |
| inline bool |
| phrase_parse( |
| Iterator const& first_ |
| , Iterator last |
| , Expr const& expr |
| , Skipper const& skipper |
| , Attr& attr) |
| { |
| Iterator first = first_; |
| return phrase_parse(first, last, expr, skipper, skip_flag::postskip, attr); |
| } |
| |
| }}} |
| |
| #endif |
| |