/*============================================================================= | |
Copyright (c) 2001-2011 Joel de Guzman | |
Copyright (c) 2001-2011 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_PARSE_APRIL_16_2006_0442PM) | |
#define BOOST_SPIRIT_PARSE_APRIL_16_2006_0442PM | |
#if defined(_MSC_VER) | |
#pragma once | |
#endif | |
#include <boost/spirit/home/qi/detail/parse.hpp> | |
#include <boost/concept_check.hpp> | |
namespace boost { namespace spirit { namespace qi | |
{ | |
/////////////////////////////////////////////////////////////////////////// | |
template <typename Iterator, typename Expr> | |
inline bool | |
parse( | |
Iterator& first | |
, Iterator last | |
, Expr const& 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> | |
inline bool | |
parse( | |
Iterator const& first_ | |
, Iterator last | |
, Expr const& expr) | |
{ | |
Iterator first = first_; | |
return parse(first, last, expr); | |
} | |
/////////////////////////////////////////////////////////////////////////// | |
template <typename Iterator, typename Expr, typename Attr> | |
inline bool | |
parse( | |
Iterator& first | |
, Iterator last | |
, Expr const& expr | |
, Attr& attr) | |
{ | |
// 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>)); | |
// 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 compile<qi::domain>(expr).parse(first, last, unused, unused, attr); | |
} | |
template <typename Iterator, typename Expr, typename Attr> | |
inline bool | |
parse( | |
Iterator const& first_ | |
, Iterator last | |
, Expr const& expr | |
, Attr& attr) | |
{ | |
Iterator first = first_; | |
return parse(first, last, expr, attr); | |
} | |
/////////////////////////////////////////////////////////////////////////// | |
template <typename Iterator, typename Expr, typename Skipper> | |
inline bool | |
phrase_parse( | |
Iterator& first | |
, Iterator last | |
, Expr const& 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); | |
} | |
template <typename Iterator, typename Expr, typename Skipper> | |
inline bool | |
phrase_parse( | |
Iterator const& first_ | |
, Iterator last | |
, Expr const& expr | |
, Skipper const& skipper | |
, BOOST_SCOPED_ENUM(skip_flag) post_skip = skip_flag::postskip) | |
{ | |
Iterator first = first_; | |
return phrase_parse(first, last, expr, skipper, post_skip); | |
} | |
/////////////////////////////////////////////////////////////////////////// | |
template <typename Iterator, typename Expr, typename Skipper, typename Attr> | |
inline bool | |
phrase_parse( | |
Iterator& first | |
, Iterator last | |
, Expr const& expr | |
, Skipper const& skipper | |
, BOOST_SCOPED_ENUM(skip_flag) post_skip | |
, Attr& attr) | |
{ | |
// 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>)); | |
// 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); | |
typedef | |
typename result_of::compile<qi::domain, Skipper>::type | |
skipper_type; | |
skipper_type const skipper_ = compile<qi::domain>(skipper); | |
if (!compile<qi::domain>(expr).parse( | |
first, last, unused, skipper_, attr)) | |
return false; | |
if (post_skip == skip_flag::postskip) | |
qi::skip_over(first, last, skipper_); | |
return true; | |
} | |
template <typename Iterator, typename Expr, typename Skipper, typename Attr> | |
inline bool | |
phrase_parse( | |
Iterator const& first_ | |
, Iterator last | |
, Expr const& expr | |
, Skipper const& skipper | |
, BOOST_SCOPED_ENUM(skip_flag) post_skip | |
, Attr& attr) | |
{ | |
Iterator first = first_; | |
return phrase_parse(first, last, expr, skipper, post_skip, attr); | |
} | |
/////////////////////////////////////////////////////////////////////////// | |
template <typename Iterator, typename Expr, typename Skipper, typename Attr> | |
inline bool | |
phrase_parse( | |
Iterator& first | |
, Iterator last | |
, Expr const& expr | |
, Skipper const& skipper | |
, Attr& attr) | |
{ | |
return phrase_parse(first, last, expr, skipper, skip_flag::postskip, attr); | |
} | |
template <typename Iterator, typename Expr, typename Skipper, typename Attr> | |
inline bool | |
phrase_parse( | |
Iterator const& first_ | |
, Iterator last | |
, Expr const& expr | |
, Skipper const& skipper | |
, Attr& attr) | |
{ | |
Iterator first = first_; | |
return phrase_parse(first, last, expr, skipper, skip_flag::postskip, attr); | |
} | |
}}} | |
#endif | |