12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697 |
- /*=============================================================================
- Copyright (c) 2001-2011 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_DETAIL_PARSE_DEC_02_2009_0411PM)
- #define BOOST_SPIRIT_DETAIL_PARSE_DEC_02_2009_0411PM
- #if defined(_MSC_VER)
- #pragma once
- #endif
- #include <boost/spirit/home/qi/meta_compiler.hpp>
- #include <boost/spirit/home/qi/skip_flag.hpp>
- #include <boost/spirit/home/qi/skip_over.hpp>
- #include <boost/spirit/home/support/unused.hpp>
- #include <boost/mpl/assert.hpp>
- #include <boost/mpl/bool.hpp>
- namespace boost { namespace spirit { namespace qi { namespace detail
- {
- ///////////////////////////////////////////////////////////////////////////
- template <typename Expr, typename Enable = void>
- struct parse_impl
- {
- // 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.
- // Did you intend to use the auto_ facilities while forgetting to
- // #include <boost/spirit/include/qi_auto.hpp>?
- BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Expr);
- };
- template <typename Expr>
- struct parse_impl<Expr
- , typename enable_if<traits::matches<qi::domain, Expr> >::type>
- {
- template <typename Iterator>
- static bool call(
- Iterator& first
- , Iterator last
- , Expr const& expr)
- {
- return compile<qi::domain>(expr).parse(
- first, last, unused, unused, unused);
- }
- };
- ///////////////////////////////////////////////////////////////////////////
- template <typename Expr, typename Enable = void>
- struct phrase_parse_impl
- {
- // 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.
- // Did you intend to use the auto_ facilities while forgetting to
- // #include <boost/spirit/include/qi_auto.hpp>?
- BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Expr);
- };
- template <typename Expr>
- struct phrase_parse_impl<Expr
- , typename enable_if<traits::matches<qi::domain, Expr> >::type>
- {
- template <typename Iterator, typename Skipper>
- static bool call(
- Iterator& first
- , Iterator last
- , Expr const& expr
- , Skipper const& skipper
- , BOOST_SCOPED_ENUM(skip_flag) post_skip)
- {
- // Report invalid expression error as early as possible.
- // If you got an error_invalid_expression error message here,
- // then the skipper is not a valid spirit qi expression.
- 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_, unused))
- return false;
- if (post_skip == skip_flag::postskip)
- qi::skip_over(first, last, skipper_);
- return true;
- }
- };
- }}}}
- #endif
|