123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051 |
- /*=============================================================================
- Copyright (c) 2001-2015 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__ANNOTATE_ON_SUCCESS_HPP)
- #define BOOST_SPIRIT_X3__ANNOTATE_ON_SUCCESS_HPP
- #include <boost/spirit/home/x3/support/ast/variant.hpp>
- #include <boost/spirit/home/x3/support/context.hpp>
- #include <boost/spirit/home/x3/support/utility/error_reporting.hpp>
- #include <boost/spirit/home/x3/support/utility/lambda_visitor.hpp>
- namespace boost { namespace spirit { namespace x3
- {
- ///////////////////////////////////////////////////////////////////////////
- // The on_success handler tags the AST with the iterator position
- // for error handling.
- //
- // The on_success handler also ties the AST to a vector of iterator
- // positions for the purpose of subsequent semantic error handling
- // when the program is being compiled. See x3::position_cache in
- // x3/support/ast.
- //
- // We'll ask the X3's error_handler utility to do these.
- ///////////////////////////////////////////////////////////////////////////
- struct annotate_on_success
- {
- template <typename Iterator, typename Context, typename... Types>
- inline void on_success(Iterator const& first, Iterator const& last
- , variant<Types...>& ast, Context const& context)
- {
- ast.apply_visitor(x3::make_lambda_visitor<void>([&](auto& node)
- {
- this->on_success(first, last, node, context);
- }));
- }
- template <typename T, typename Iterator, typename Context>
- inline void on_success(Iterator const& first, Iterator const& last
- , T& ast, Context const& context)
- {
- auto& error_handler = get<error_handler_tag>(context).get();
- error_handler.tag(ast, first, last);
- }
- };
- }}}
- #endif
|