text: /*=============================================================================
      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);
    }
  };
  } // namespace x3
  } // namespace spirit
  } // namespace boost
  
  #endif
  