Sketch in the printing implemetnation for token_parser.

See #202.
boostorg · Nov 10, 2024 · dd5ffe7 · dd5ffe7
1 parent 519d276
commit dd5ffe7
Show file tree

Hide file tree

Showing 4 changed files with 53 additions and 1 deletion.
diff --git a/include/boost/parser/detail/printing.hpp b/include/boost/parser/detail/printing.hpp
@@ -355,6 +355,13 @@ namespace boost { namespace parser { namespace detail {
         std::ostream & os,
         int components = 0);
 
+    template<typename Context, typename TokenSpec, typename Expected>
+    void print_parser(
+        Context const & context,
+        token_parser<TokenSpec, Expected> const & parser,
+        std::ostream & os,
+        int components = 0);
+
     enum { trace_indent_factor = 2 };
 
     inline void trace_indent(std::ostream & os, int indent)

diff --git a/include/boost/parser/detail/printing_impl.hpp b/include/boost/parser/detail/printing_impl.hpp
@@ -942,6 +942,41 @@ namespace boost { namespace parser { namespace detail {
             context, parser.or_parser_, os, components);
     }
 
+#if defined(BOOST_PARSER_TOKEN_PARSER_HPP)
+
+    // TODO: Needs testing.
+    template<typename Context, typename TokenSpec, typename Expected>
+    void print_parser(
+        Context const & context,
+        token_parser<TokenSpec, Expected> const & parser,
+        std::ostream & os,
+        int components)
+    {
+        os << "tok<";
+        if constexpr (requires { os << TokenSpec::id; }) {
+            os << TokenSpec::id;
+        } else {
+            os << (int)TokenSpec::id;
+        }
+        os << '>';
+        if constexpr (requires { parser.expected_.value_; }) {
+            os << '(';
+            if constexpr (std::ranges::range<
+                              decltype(parser.expected_.value_)>) {
+                os << '"';
+                for (auto c : parser.expected_.value_ | text::as_utf8) {
+                    detail::print_char(os, c);
+                }
+                os << '"';
+            } else {
+                detail::print(os, parser.expected_.value_);
+            }
+            os << ')';
+        }
+    }
+
+#endif
+
 }}}
 
 #endif
diff --git a/include/boost/parser/token_parser.hpp b/include/boost/parser/token_parser.hpp
@@ -69,7 +69,6 @@ namespace boost { namespace parser {
 
 #ifndef BOOST_PARSER_DOXYGEN
 
-    // TODO: Needs a printer.
     // TODO: Constrain the AttributeType to something that detail::token_as()
     // can handle.
     template<typename TokenSpec, typename Expected>

diff --git a/test/tracing.cpp b/test/tracing.cpp
@@ -26,6 +26,17 @@ struct globals_t
 
 globals_t const globals;
 
+enum class unprintable_tokens { foo, bar };
+enum class printable_tokens { foo, bar };
+std::ostream & operator<<(std::ostream & os, printable_tokens tok)
+{
+    switch (tok) {
+    case printable_tokens::foo: os << "foo"; break;
+    case printable_tokens::bar: os << "bar"; break;
+    }
+    return os;
+}
+
 auto i = [](auto & ctx) { return _globals(ctx).i; };
 auto i2 = [](auto & ctx) { return _globals(ctx).i2; };
 auto u = [](auto & ctx) { return _globals(ctx).u; };