| /*============================================================================= |
| 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_MATCH_MANIP_MAY_05_2007_1203PM) |
| #define BOOST_SPIRIT_MATCH_MANIP_MAY_05_2007_1203PM |
| |
| #if defined(_MSC_VER) |
| #pragma once |
| #endif |
| |
| #include <boost/spirit/home/qi/parse.hpp> |
| #include <boost/spirit/home/support/iterators/istream_iterator.hpp> |
| #include <boost/spirit/home/support/unused.hpp> |
| #include <boost/mpl/bool.hpp> |
| |
| #include <iterator> |
| #include <string> |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| namespace boost { namespace spirit { namespace qi { namespace detail |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Expr |
| , typename CopyExpr = mpl::false_, typename CopyAttr = mpl::false_ |
| , typename Skipper = unused_type, typename Attribute = unused_type const> |
| struct match_manip |
| { |
| // This assertion makes sure we don't hit the only code path which is |
| // not implemented (because it isn't needed), where both, the |
| // expression and the attribute need to be held as a copy. |
| BOOST_SPIRIT_ASSERT_MSG(!CopyExpr::value || !CopyAttr::value |
| , error_invalid_should_not_happen, ()); |
| |
| match_manip(Expr const& xpr, Skipper const& s, Attribute& a) |
| : expr(xpr), skipper(s), attr(a), post_skip(skip_flag::postskip) {} |
| |
| match_manip(Expr const& xpr, Skipper const& s |
| , BOOST_SCOPED_ENUM(skip_flag) ps, Attribute& a) |
| : expr(xpr), skipper(s), attr(a), post_skip(ps) {} |
| |
| Expr const& expr; |
| Skipper const& skipper; |
| Attribute& attr; |
| BOOST_SCOPED_ENUM(skip_flag) const post_skip; |
| |
| private: |
| // silence MSVC warning C4512: assignment operator could not be generated |
| match_manip& operator= (match_manip const&); |
| }; |
| |
| template <typename Expr, typename Skipper, typename Attribute> |
| struct match_manip<Expr, mpl::false_, mpl::true_, Skipper, Attribute> |
| { |
| match_manip(Expr const& xpr, Skipper const& s, Attribute& a) |
| : expr(xpr), skipper(s), attr(a), post_skip(skip_flag::postskip) {} |
| |
| match_manip(Expr const& xpr, Skipper const& s |
| , BOOST_SCOPED_ENUM(skip_flag) ps, Attribute& a) |
| : expr(xpr), skipper(s), attr(a), post_skip(ps) {} |
| |
| Expr const& expr; |
| Skipper const& skipper; |
| Attribute attr; |
| BOOST_SCOPED_ENUM(skip_flag) const post_skip; |
| |
| private: |
| // silence MSVC warning C4512: assignment operator could not be generated |
| match_manip& operator= (match_manip const&); |
| }; |
| |
| template <typename Expr, typename Skipper, typename Attribute> |
| struct match_manip<Expr, mpl::true_, mpl::false_, Skipper, Attribute> |
| { |
| match_manip(Expr const& xpr, Skipper const& s, Attribute& a) |
| : expr(xpr), skipper(s), attr(a), post_skip(skip_flag::postskip) {} |
| |
| match_manip(Expr const& xpr, Skipper const& s |
| , BOOST_SCOPED_ENUM(skip_flag) ps, Attribute& a) |
| : expr(xpr), skipper(s), attr(a), post_skip(ps) {} |
| |
| Expr expr; |
| Skipper const& skipper; |
| Attribute& attr; |
| BOOST_SCOPED_ENUM(skip_flag) const post_skip; |
| |
| private: |
| // silence MSVC warning C4512: assignment operator could not be generated |
| match_manip& operator= (match_manip const&); |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Expr, typename Enable = void> |
| struct match |
| { |
| // 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_match_auto.hpp>? |
| BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Expr); |
| }; |
| |
| template <typename Expr> |
| struct match<Expr |
| , typename enable_if<traits::matches<qi::domain, Expr> >::type> |
| { |
| typedef match_manip<Expr> type; |
| |
| static type call(Expr const& expr) |
| { |
| return type(expr, unused, unused); |
| } |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Expr, typename Skipper, typename Enable = void> |
| struct phrase_match |
| { |
| // 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_match_auto.hpp>? |
| BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Expr); |
| }; |
| |
| template <typename Expr, typename Skipper> |
| struct phrase_match<Expr, Skipper |
| , typename enable_if<traits::matches<qi::domain, Expr> >::type> |
| { |
| typedef match_manip<Expr, mpl::false_, mpl::false_, Skipper> type; |
| |
| static type call( |
| 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 delimiter is not a valid spirit karma expression. |
| BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Skipper); |
| return type(expr, skipper, post_skip, unused); |
| } |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template<typename Char, typename Traits, typename Expr |
| , typename CopyExpr, typename CopyAttr> |
| inline std::basic_istream<Char, Traits> & |
| operator>>(std::basic_istream<Char, Traits> &is, |
| match_manip<Expr, CopyExpr, CopyAttr> const& fm) |
| { |
| typedef spirit::basic_istream_iterator<Char, Traits> input_iterator; |
| |
| input_iterator f(is); |
| input_iterator l; |
| if (!qi::parse(f, l, fm.expr)) |
| { |
| is.setstate(std::ios_base::failbit); |
| } |
| return is; |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template<typename Char, typename Traits, typename Expr |
| , typename CopyExpr, typename CopyAttr |
| , typename Attribute> |
| inline std::basic_istream<Char, Traits> & |
| operator>>(std::basic_istream<Char, Traits> &is, |
| match_manip<Expr, CopyExpr, CopyAttr, unused_type, Attribute> const& fm) |
| { |
| typedef spirit::basic_istream_iterator<Char, Traits> input_iterator; |
| |
| input_iterator f(is); |
| input_iterator l; |
| if (!qi::parse(f, l, fm.expr, fm.attr)) |
| { |
| is.setstate(std::ios_base::failbit); |
| } |
| return is; |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template<typename Char, typename Traits, typename Expr |
| , typename CopyExpr, typename CopyAttr |
| , typename Skipper> |
| inline std::basic_istream<Char, Traits> & |
| operator>>(std::basic_istream<Char, Traits> &is, |
| match_manip<Expr, CopyExpr, CopyAttr, Skipper> const& fm) |
| { |
| typedef spirit::basic_istream_iterator<Char, Traits> input_iterator; |
| |
| input_iterator f(is); |
| input_iterator l; |
| if (!qi::phrase_parse( |
| f, l, fm.expr, fm.skipper, fm.post_skip)) |
| { |
| is.setstate(std::ios_base::failbit); |
| } |
| return is; |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template<typename Char, typename Traits, typename Expr |
| , typename CopyExpr, typename CopyAttr |
| , typename Attribute, typename Skipper |
| > |
| inline std::basic_istream<Char, Traits> & |
| operator>>( |
| std::basic_istream<Char, Traits> &is, |
| match_manip<Expr, CopyExpr, CopyAttr, Attribute, Skipper> const& fm) |
| { |
| typedef spirit::basic_istream_iterator<Char, Traits> input_iterator; |
| |
| input_iterator f(is); |
| input_iterator l; |
| if (!qi::phrase_parse( |
| f, l, fm.expr, fm.skipper, fm.post_skip, fm.attr)) |
| { |
| is.setstate(std::ios_base::failbit); |
| } |
| return is; |
| } |
| |
| }}}} |
| |
| #endif |