1 files changed, 51 insertions, 0 deletions
diff --git a/boost/spirit/home/x3/support/utility/annotate_on_success.hpp b/boost/spirit/home/x3/support/utility/annotate_on_success.hpp
new file mode 100644
index 0000000000..8129675559
--- /dev/null
+++ b/boost/spirit/home/x3/support/utility/annotate_on_success.hpp
@@ -0,0 +1,51 @@
+/*=============================================================================
+    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