Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2001-2011 Hartmut Kaiser
Chris@16: 
Chris@16:     Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: =============================================================================*/
Chris@16: #if !defined(BOOST_SPIRIT_DETAIL_PARSE_AUTO_DEC_02_2009_0426PM)
Chris@16: #define BOOST_SPIRIT_DETAIL_PARSE_AUTO_DEC_02_2009_0426PM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/spirit/home/qi/parse.hpp>
Chris@16: #include <boost/spirit/home/qi/auto/create_parser.hpp>
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: #include <boost/mpl/and.hpp>
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace qi { namespace detail
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Expr>
Chris@16:     struct parse_impl<Expr
Chris@16:       , typename enable_if<
Chris@16:             mpl::and_<
Chris@16:                 traits::meta_create_exists<qi::domain, Expr>
Chris@16:               , mpl::not_<traits::matches<qi::domain, Expr> > >
Chris@16:         >::type>
Chris@16:     {
Chris@16:         template <typename Iterator>
Chris@16:         static bool call(Iterator& first, Iterator last, Expr& expr)
Chris@16:         {
Chris@16:             return qi::parse(first, last, create_parser<Expr>(), expr);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Iterator>
Chris@16:         static bool call(Iterator& first, Iterator last, Expr const& expr)
Chris@16:         {
Chris@16:             return qi::parse(first, last, create_parser<Expr>()
Chris@16:               , const_cast<Expr&>(expr));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     // the following specializations are needed to explicitly disambiguate 
Chris@16:     // the two possible specializations for parse_impl<char> and 
Chris@16:     // parse_impl<wchar_t>
Chris@16:     template <>
Chris@16:     struct parse_impl<char>
Chris@16:     {
Chris@16:         template <typename Iterator>
Chris@16:         static bool call(Iterator& first, Iterator last, char& expr)
Chris@16:         {
Chris@16:             return qi::parse(first, last, create_parser<char>(), expr);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Iterator>
Chris@16:         static bool call(Iterator& first, Iterator last, char const&)
Chris@16:         {
Chris@16:             return qi::parse(first, last, create_parser<char>());
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <>
Chris@16:     struct parse_impl<wchar_t>
Chris@16:     {
Chris@16:         template <typename Iterator>
Chris@16:         static bool call(Iterator& first, Iterator last, wchar_t& expr)
Chris@16:         {
Chris@16:             return qi::parse(first, last, create_parser<wchar_t>(), expr);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Iterator>
Chris@16:         static bool call(Iterator& first, Iterator last, wchar_t const&)
Chris@16:         {
Chris@16:             return qi::parse(first, last, create_parser<wchar_t>());
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Expr>
Chris@16:     struct phrase_parse_impl<Expr
Chris@16:       , typename enable_if<
Chris@16:             mpl::and_<
Chris@16:                 traits::meta_create_exists<qi::domain, Expr>
Chris@16:               , mpl::not_<traits::matches<qi::domain, Expr> > >
Chris@16:         >::type>
Chris@16:     {
Chris@16:         template <typename Iterator, typename Skipper>
Chris@16:         static bool call(Iterator& first, Iterator last, Expr& expr
Chris@16:           , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip)
Chris@16:         {
Chris@16:             return qi::phrase_parse(first, last, create_parser<Expr>()
Chris@16:               , skipper, post_skip, expr);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Iterator, typename Skipper>
Chris@16:         static bool call(Iterator& first, Iterator last, Expr const& expr
Chris@16:           , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip)
Chris@16:         {
Chris@16:             return qi::phrase_parse(first, last, create_parser<Expr>()
Chris@16:               , skipper, post_skip, const_cast<Expr&>(expr));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     // the following specializations are needed to explicitly disambiguate 
Chris@16:     // the two possible specializations for phrase_parse_impl<char> and 
Chris@16:     // phrase_parse_impl<wchar_t>
Chris@16:     template <>
Chris@16:     struct phrase_parse_impl<char>
Chris@16:     {
Chris@16:         template <typename Iterator, typename Skipper>
Chris@16:         static bool call(Iterator& first, Iterator last, char& expr
Chris@16:           , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip)
Chris@16:         {
Chris@16:             return qi::phrase_parse(first, last, create_parser<char>()
Chris@16:               , skipper, post_skip, expr);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Iterator, typename Skipper>
Chris@16:         static bool call(Iterator& first, Iterator last, char const&
Chris@16:           , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip)
Chris@16:         {
Chris@16:             return qi::phrase_parse(first, last, create_parser<char>()
Chris@16:               , skipper, post_skip);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <>
Chris@16:     struct phrase_parse_impl<wchar_t>
Chris@16:     {
Chris@16:         template <typename Iterator, typename Skipper>
Chris@16:         static bool call(Iterator& first, Iterator last, wchar_t& expr
Chris@16:           , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip)
Chris@16:         {
Chris@16:             return qi::phrase_parse(first, last, create_parser<wchar_t>()
Chris@16:               , skipper, post_skip, expr);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Iterator, typename Skipper>
Chris@16:         static bool call(Iterator& first, Iterator last, wchar_t const&
Chris@16:           , Skipper const& skipper, BOOST_SCOPED_ENUM(skip_flag) post_skip)
Chris@16:         {
Chris@16:             return qi::phrase_parse(first, last, create_parser<wchar_t>()
Chris@16:               , skipper, post_skip);
Chris@16:         }
Chris@16:     };
Chris@16: }}}}
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace qi
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Iterator, typename Expr>
Chris@16:     inline bool
Chris@16:     parse(
Chris@16:         Iterator& first
Chris@16:       , Iterator last
Chris@16:       , Expr& expr)
Chris@16:     {
Chris@16:         // Make sure the iterator is at least a forward_iterator. If you got a 
Chris@16:         // compilation error here, then you are using an input_iterator while
Chris@16:         // calling this function, you need to supply at least a 
Chris@16:         // forward_iterator instead.
Chris@16:         BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>));
Chris@16: 
Chris@16:         return detail::parse_impl<Expr>::call(first, last, expr);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Iterator, typename Expr, typename Skipper>
Chris@16:     inline bool
Chris@16:     phrase_parse(
Chris@16:         Iterator& first
Chris@16:       , Iterator last
Chris@16:       , Expr& expr
Chris@16:       , Skipper const& skipper
Chris@16:       , BOOST_SCOPED_ENUM(skip_flag) post_skip = skip_flag::postskip)
Chris@16:     {
Chris@16:         // Make sure the iterator is at least a forward_iterator. If you got a 
Chris@16:         // compilation error here, then you are using an input_iterator while
Chris@16:         // calling this function, you need to supply at least a 
Chris@16:         // forward_iterator instead.
Chris@16:         BOOST_CONCEPT_ASSERT((ForwardIterator<Iterator>));
Chris@16: 
Chris@16:         return detail::phrase_parse_impl<Expr>::call(
Chris@16:             first, last, expr, skipper, post_skip);
Chris@16:     }
Chris@16: }}}
Chris@16: 
Chris@16: #endif
Chris@16: