ast: print side table entries alongside the tree

pretty_print only walked the arena, so there was no way to see what a
binder had written. SideTables also had no way to enumerate its tables -
table<T>() only reaches one you already name - so for_each_table is
generated now, the counterpart of Arena::for_each_pool.

    `-- statements[0]: Field #4
        |-- [DocComment].leading = 3:0
        |-- [IsMutated] = true
        `-- name: Ident #5
            |-- [Resolution].target -> Field #4
            `-- identifier = "value"

All three storage kinds render: dense and sparse through the entry's
for_each_field, flag as bare presence since it carries no value. Tables
are keyed by id regardless of the node type they declare, so the key is
rebuilt from the runtime type.

A Node inside an entry is shown as a reference rather than descended
into. Following it overflows the stack - Resolution points from an Ident
back to the Field that owns it, so Field -> name -> Ident ->
[Resolution].target -> Field repeats. A side table is not an owning edge.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Author: on-keyday

src/core/nast/gen/tables.py

@@ -222,6 +222,12 @@ def _emit_aggregate(w: Writer, schema: Schema) -> None:
         w.write("   public:\n")
         w.write(f"    template<> constexpr auto& table<{name}>() {{ return {name}_; }}\n")
         w.write(f"    template<> constexpr const auto& table<{name}>() const {{ return {name}_; }}\n")
+    # 表を名前つきで列挙する。Arena::for_each_pool と同じ役目で、
+    # どの表があるかを静的に知らない側 (printer など) が回すのに要る。
+    w.write("    constexpr void for_each_table(auto&& f_) const {\n")
+    for name in names:
+        w.write(f'        f_("{name}",{name}_);\n')
+    w.write("    }\n")
     w.write("    void as_json(auto&& s) const {\n")
     w.write("        auto obj_ = s.object();\n")
     for name in names:

src/core/nast/printer.h

@@ -23,16 +23,25 @@ namespace brgen::nast {
         // 「そのノードが持ちうるフィールド」が全部並ぶので、
         // parser がどこを埋め損ねたかを見るときに要る。
         bool show_null = false;
+        // side table のエントリを、キーになっているノードの下に併記する。
+        // binder が何をどこに書いたかを木の形のまま見るためのもの。
+        bool show_tables = true;
     };
 
     struct PrettyPrinter {
         Arena* arena = nullptr;
+        // 省略可。渡すと各ノードの下にそのノードを指す表の中身を出す。
+        const SideTables* tables = nullptr;
         std::string out;
         bool show_weak = true;
         bool show_null = false;
+        bool show_tables = true;
 
         explicit PrettyPrinter(Arena& a, PrintOptions opt = {})
-            : arena(&a), show_weak(opt.show_weak), show_null(opt.show_null) {}
+            : arena(&a), show_weak(opt.show_weak), show_null(opt.show_null), show_tables(opt.show_tables) {}
+
+        PrettyPrinter(Arena& a, const SideTables& t, PrintOptions opt = {})
+            : arena(&a), tables(&t), show_weak(opt.show_weak), show_null(opt.show_null), show_tables(opt.show_tables) {}
 
         template <class T>
         void print(Node<T> root) {
@@ -97,6 +106,36 @@ namespace brgen::nast {
             items.push_back(PrintItem{name, 0, NodeType{}, false, false, scalar_of(v)});
         }
 
+        // このノードを指す side table の中身を項目として足す。
+        // 表は node_type で型付けされているが contains/get は id しか見ないので、
+        // 実行時の型で Node を組み直して引く。
+        void add_table_entries(std::vector<PrintItem>& items, std::uint32_t id, NodeType type) {
+            if (!tables || !show_tables) {
+                return;
+            }
+            tables->for_each_table([&](const char* table_name, const auto& table) {
+                using table_t = std::decay_t<decltype(table)>;
+                using key_node = Node<typename table_t::node_type>;
+                auto key = key_node::from_unique_id((std::uint64_t(type) << 32) | id);
+                if (!table.contains(key)) {
+                    return;
+                }
+                if constexpr (requires { table.get(key); }) {
+                    if (const auto* entry = table.get(key)) {
+                        entry->for_each_field([&](const char* field, const auto& v, bool) {
+                            // 表の中の Node は所有辺ではない。降りると
+                            // Ident -> [Resolution].target -> Field -> name -> Ident で回る。
+                            add(items, (std::string("[") + table_name + "]." + field).c_str(), v, true);
+                        });
+                        return;
+                    }
+                }
+                // flag は値を持たないので、在ることだけを出す
+                items.push_back(PrintItem{std::string("[") + table_name + "]", 0, NodeType{},
+                                          false, false, "true"});
+            });
+        }
+
         void walk(std::uint32_t id, const std::string& prefix, const std::string& branch, bool last) {
             out += prefix;
             out += branch;
@@ -117,6 +156,7 @@ namespace brgen::nast {
             out += "\n";
 
             std::vector<PrintItem> items;
+            add_table_entries(items, id, h->type);
             auto index = h->data_index;
             visit_node_type(h->type, [&](auto tag) {
                 using T = typename decltype(tag)::type;
@@ -159,4 +199,12 @@ namespace brgen::nast {
         return std::move(p.out);
     }
 
+    // 表つき。binder が何をどこに書いたかを木の形のまま見る。
+    template <class T>
+    std::string pretty_print(Arena& a, const SideTables& tables, Node<T> root, PrintOptions opt = {}) {
+        PrettyPrinter p{a, tables, opt};
+        p.print(root);
+        return std::move(p.out);
+    }
+
 }  // namespace brgen::nast

src/core/nast/test.cpp

@@ -244,6 +244,22 @@ int main(int argc, char** argv) {
         check(std::count(text.begin(), text.end(), '\n') < 40,
               "weak edges do not cause the walk to recurse");
 
+        // ---- side table を木に併記する ------------------------------------
+        // binder が何をどこに書いたかを、木の形のまま見るためのもの。
+        SideTables pt;
+        pt.table<Resolution>().set(fld_name.id(), Resolution{.target = fld.id()});   // dense
+        pt.table<DocComment>().set(fld.id(), DocComment{.leading = {.line = 3}});    // sparse
+        pt.table<IsMutated>().set(fld.id());                                         // flag
+        auto with_tables = pretty_print(pa, pt, mod.id());
+        dump("pretty_print (with side tables)", with_tables);
+        check(with_tables.find("[Resolution].target -> Field #") != std::string::npos &&
+                  with_tables.find("[DocComment].leading = 3:0") != std::string::npos &&
+                  with_tables.find("[IsMutated] = true") != std::string::npos,
+              "side table entries are printed under the node they key on");
+        // 表の中の Node を降りると Ident -> Resolution -> Field -> name -> Ident で回る
+        check(std::count(with_tables.begin(), with_tables.end(), '\n') < 40,
+              "table entries are shown as references, not descended into");
+
         // ---- 親から子へ辿る (traverse.h) ----------------------------------
         // field<"..."> はパスがコンパイル時に決まるので、深さが実行時に
         // 決まる走査はこちら。weak は所有辺でないので渡さない。