stream/detail/match_manip_auto.hpp

0001 /*=============================================================================
0002     Copyright (c) 2001-2011 Hartmut Kaiser
0003
0004     Distributed under the Boost Software License, Version 1.0. (See accompanying
0005     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
0006 ==============================================================================*/
0007 #if !defined(BOOST_SPIRIT_MATCH_MANIP_AUTO_DEC_02_2009_0813PM)
0008 #define BOOST_SPIRIT_MATCH_MANIP_AUTO_DEC_02_2009_0813PM
0009
0010 #if defined(_MSC_VER)
0011 #pragma once
0012 #endif
0013
0014 #include <boost/spirit/home/qi/stream/detail/match_manip.hpp>
0015 #include <boost/spirit/home/qi/auto/create_parser.hpp>
0016 #include <boost/core/enable_if.hpp>
0017
0018 ///////////////////////////////////////////////////////////////////////////////
0019 namespace boost { namespace spirit { namespace qi { namespace detail
0020 {
0021     ///////////////////////////////////////////////////////////////////////////
0022     template <typename Expr>
0023     struct match<Expr
0024       , typename enable_if<traits::meta_create_exists<qi::domain, Expr> >::type>
0025     {
0026         typedef typename result_of::create_parser<Expr>::type expr_type;
0027         typedef match_manip<
0028             expr_type, mpl::true_, mpl::false_, unused_type, Expr
0029         > type;
0030
0031         static type call(Expr const& expr)
0032         {
0033             return type(create_parser<Expr>(), unused, const_cast<Expr&>(expr));
0034         }
0035     };
0036
0037     ///////////////////////////////////////////////////////////////////////////
0038     template <typename Expr, typename Skipper>
0039     struct phrase_match<Expr, Skipper
0040       , typename enable_if<traits::meta_create_exists<qi::domain, Expr> >::type>
0041     {
0042         typedef typename result_of::create_parser<Expr>::type expr_type;
0043         typedef match_manip<
0044             expr_type, mpl::true_, mpl::false_, Skipper, Expr
0045         > type;
0046
0047         static type call(
0048             Expr const& expr
0049           , Skipper const& skipper
0050           , BOOST_SCOPED_ENUM(skip_flag) post_skip)
0051         {
0052             // Report invalid expression error as early as possible.
0053             // If you got an error_invalid_expression error message here,
0054             // then the delimiter is not a valid spirit karma expression.
0055             BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Skipper);
0056             return type(create_parser<Expr>(), skipper, post_skip
0057               , const_cast<Expr&>(expr));
0058         }
0059     };
0060
0061 }}}}
0062
0063 #endif