| /*============================================================================= |
| 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_DETAIL_PARSE_AUTO_DEC_02_2009_0426PM) |
| #define BOOST_SPIRIT_DETAIL_PARSE_AUTO_DEC_02_2009_0426PM |
| |
| #if defined(_MSC_VER) |
| #pragma once |
| #endif |
| |
| #include <boost/spirit/home/qi/parse.hpp> |
| #include <boost/spirit/home/qi/auto/create_parser.hpp> |
| #include <boost/utility/enable_if.hpp> |
| #include <boost/mpl/not.hpp> |
| #include <boost/mpl/and.hpp> |
| |
| namespace boost { namespace spirit { namespace qi { namespace detail |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Expr> |
| struct parse_impl<Expr |
| , typename enable_if< |
| mpl::and_< |
| traits::meta_create_exists<qi::domain, Expr> |
| , mpl::not_<traits::matches<qi::domain, Expr> > > |
| >::type> |
| { |
| template <typename Iterator> |
| static bool call(Iterator& first, Iterator last, Expr& expr) |
| { |
| return qi::parse(first, last, create_parser<Expr>(), expr); |
| } |
| |
| template <typename Iterator> |
| static bool call(Iterator& first, Iterator last, Expr const& expr) |
| { |
| return qi::parse(first, last, create_parser<Expr>() |
| , const_cast<Expr&>(expr)); |
| } |
| }; |
| |
| // the following specializations are needed to explicitly disambiguate |
| // the two possible specializations for parse_impl<char> and |
| // parse_impl<wchar_t> |
| template <> |
| struct parse_impl<char> |
| { |
| template <typename Iterator> |
| static bool call(Iterator& first, Iterator last, char& expr) |
| { |
| return qi::parse(first, last, create_parser<char>(), expr); |
| } |
| |
| template <typename Iterator> |
| static bool call(Iterator& first, Iterator last, char const&) |
| { |
| return qi::parse(first, last, create_parser<char>()); |
| } |
| }; |
| |
| template <> |
| struct parse_impl<wchar_t> |
| { |
| template <typename Iterator> |
| static bool call(Iterator& first, Iterator last, wchar_t& expr) |
| { |
| return qi::parse(first, last, create_parser<wchar_t>(), expr); |
| } |
| |
| template <typename Iterator> |
| static bool call(Iterator& first, Iterator last, wchar_t const&) |
| { |
| return qi::parse(first, last, create_parser<wchar_t>()); |
| } |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Expr> |
| struct phrase_parse_impl<Expr |
| , typename enable_if< |
| mpl::and_< |
| traits::meta_create_exists<qi::domain, Expr> |
| , mpl::not_<traits::matches<qi::domain, Expr> > > |
| >::type> |
| { |
| template <typename Iterator, typename Skipper> |
| static bool call(Iterator& first, Iterator last, Expr& expr |
| , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip) |
| { |
| return qi::phrase_parse(first, last, create_parser<Expr>() |
| , skipper, post_skip, expr); |
| } |
| |
| 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) |
| { |
| return qi::phrase_parse(first, last, create_parser<Expr>() |
| , skipper, post_skip, const_cast<Expr&>(expr)); |
| } |
| }; |
| |
| // the following specializations are needed to explicitly disambiguate |
| // the two possible specializations for phrase_parse_impl<char> and |
| // phrase_parse_impl<wchar_t> |
| template <> |
| struct phrase_parse_impl<char> |
| { |
| template <typename Iterator, typename Skipper> |
| static bool call(Iterator& first, Iterator last, char& expr |
| , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip) |
| { |
| return qi::phrase_parse(first, last, create_parser<char>() |
| , skipper, post_skip, expr); |
| } |
| |
| template <typename Iterator, typename Skipper> |
| static bool call(Iterator& first, Iterator last, char const& |
| , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip) |
| { |
| return qi::phrase_parse(first, last, create_parser<char>() |
| , skipper, post_skip); |
| } |
| }; |
| |
| template <> |
| struct phrase_parse_impl<wchar_t> |
| { |
| template <typename Iterator, typename Skipper> |
| static bool call(Iterator& first, Iterator last, wchar_t& expr |
| , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip) |
| { |
| return qi::phrase_parse(first, last, create_parser<wchar_t>() |
| , skipper, post_skip, expr); |
| } |
| |
| template <typename Iterator, typename Skipper> |
| static bool call(Iterator& first, Iterator last, wchar_t const& |
| , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip) |
| { |
| return qi::phrase_parse(first, last, create_parser<wchar_t>() |
| , skipper, post_skip); |
| } |
| }; |
| }}}} |
| |
| namespace boost { namespace spirit { namespace qi |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Iterator, typename Expr> |
| inline bool |
| parse( |
| Iterator& first |
| , Iterator last |
| , Expr& 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, typename Skipper> |
| inline bool |
| phrase_parse( |
| Iterator& first |
| , Iterator last |
| , Expr& 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); |
| } |
| }}} |
| |
| #endif |
| |