| /*============================================================================= |
| Copyright (c) 2001-2010 Hartmut Kaiser |
| Copyright (c) 2001-2010 Joel de Guzman |
| |
| 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_MATCH_MANIP_MAY_05_2007_1202PM) |
| #define BOOST_SPIRIT_MATCH_MANIP_MAY_05_2007_1202PM |
| |
| #if defined(_MSC_VER) |
| #pragma once |
| #endif |
| |
| #include <boost/spirit/home/qi/parse.hpp> |
| #include <boost/spirit/home/qi/parser.hpp> |
| #include <boost/spirit/home/support/unused.hpp> |
| #include <boost/spirit/home/qi/stream/detail/match_manip.hpp> |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| namespace boost { namespace spirit { namespace qi |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Expr> |
| inline typename detail::match<Expr>::type |
| match( |
| Expr const& expr) |
| { |
| return detail::match<Expr>::call(expr); |
| } |
| |
| template <typename Expr, typename Attribute> |
| inline detail::match_manip< |
| Expr, mpl::false_, mpl::false_, unused_type, Attribute |
| > |
| match( |
| Expr const& xpr |
| , Attribute& p) |
| { |
| using qi::detail::match_manip; |
| |
| // 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 match_manip<Expr, mpl::false_, mpl::false_, unused_type, Attribute>( |
| xpr, unused, p); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Expr, typename Skipper> |
| inline typename detail::phrase_match<Expr, Skipper>::type |
| phrase_match( |
| Expr const& expr |
| , Skipper const& s |
| , BOOST_SCOPED_ENUM(skip_flag) post_skip = skip_flag::postskip) |
| { |
| return detail::phrase_match<Expr, Skipper>::call(expr, s, post_skip); |
| } |
| |
| template <typename Expr, typename Skipper, typename Attribute> |
| inline detail::match_manip< |
| Expr, mpl::false_, mpl::false_, Skipper, Attribute |
| > |
| phrase_match( |
| Expr const& xpr |
| , Skipper const& s |
| , BOOST_SCOPED_ENUM(skip_flag) post_skip |
| , Attribute& p) |
| { |
| using qi::detail::match_manip; |
| |
| // 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); |
| return match_manip<Expr, mpl::false_, mpl::false_, Skipper, Attribute>( |
| xpr, s, post_skip, p); |
| } |
| |
| template <typename Expr, typename Skipper, typename Attribute> |
| inline detail::match_manip< |
| Expr, mpl::false_, mpl::false_, Skipper, Attribute |
| > |
| phrase_match( |
| Expr const& xpr |
| , Skipper const& s |
| , Attribute& p) |
| { |
| using qi::detail::match_manip; |
| |
| // 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); |
| return match_manip<Expr, mpl::false_, mpl::false_, Skipper, Attribute>( |
| xpr, s, p); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template<typename Char, typename Traits, typename Derived> |
| inline std::basic_istream<Char, Traits>& |
| operator>>(std::basic_istream<Char, Traits>& is, parser<Derived> const& p) |
| { |
| typedef spirit::basic_istream_iterator<Char, Traits> input_iterator; |
| |
| input_iterator f(is); |
| input_iterator l; |
| if (!p.derived().parse(f, l, unused, unused, unused)) |
| { |
| is.setstate(std::ios_base::failbit); |
| } |
| return is; |
| } |
| |
| }}} |
| |
| #endif |
| |