123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105 |
- /*=============================================================================
- Copyright (c) 2001-2014 Joel de Guzman
- 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_X3_EXPECT_MARCH_16_2012_1024PM)
- #define BOOST_SPIRIT_X3_EXPECT_MARCH_16_2012_1024PM
- #include <boost/spirit/home/x3/support/context.hpp>
- #include <boost/spirit/home/x3/core/parser.hpp>
- #include <boost/spirit/home/x3/core/detail/parse_into_container.hpp>
- #include <boost/config.hpp> // for BOOST_SYMBOL_VISIBLE
- #include <boost/throw_exception.hpp>
- #include <stdexcept>
- namespace boost { namespace spirit { namespace x3
- {
- template <typename Iterator>
- struct BOOST_SYMBOL_VISIBLE expectation_failure : std::runtime_error
- {
- public:
- expectation_failure(Iterator where, std::string const& which)
- : std::runtime_error("boost::spirit::x3::expectation_failure")
- , where_(where), which_(which)
- {}
- ~expectation_failure() {}
- std::string which() const { return which_; }
- Iterator const& where() const { return where_; }
- private:
- Iterator where_;
- std::string which_;
- };
- template <typename Subject>
- struct expect_directive : unary_parser<Subject, expect_directive<Subject>>
- {
- typedef unary_parser<Subject, expect_directive<Subject> > base_type;
- static bool const is_pass_through_unary = true;
- constexpr expect_directive(Subject const& subject)
- : base_type(subject) {}
- template <typename Iterator, typename Context
- , typename RContext, typename Attribute>
- bool parse(Iterator& first, Iterator const& last
- , Context const& context, RContext& rcontext, Attribute& attr) const
- {
- bool r = this->subject.parse(first, last, context, rcontext, attr);
- if (!r)
- {
- boost::throw_exception(
- expectation_failure<Iterator>(
- first, what(this->subject)));
- }
- return r;
- }
- };
- struct expect_gen
- {
- template <typename Subject>
- constexpr expect_directive<typename extension::as_parser<Subject>::value_type>
- operator[](Subject const& subject) const
- {
- return { as_parser(subject) };
- }
- };
- constexpr auto expect = expect_gen{};
- }}}
- namespace boost { namespace spirit { namespace x3 { namespace detail
- {
- // Special case handling for expect expressions.
- template <typename Subject, typename Context, typename RContext>
- struct parse_into_container_impl<expect_directive<Subject>, Context, RContext>
- {
- template <typename Iterator, typename Attribute>
- static bool call(
- expect_directive<Subject> const& parser
- , Iterator& first, Iterator const& last
- , Context const& context, RContext& rcontext, Attribute& attr)
- {
- bool r = parse_into_container(
- parser.subject, first, last, context, rcontext, attr);
- if (!r)
- {
- boost::throw_exception(
- expectation_failure<Iterator>(
- first, what(parser.subject)));
- }
- return r;
- }
- };
- }}}}
- #endif
|