tiny.smg.command.calls.json

1const std = @import("std");2const pretty_json = @import("pretty").json;34const smg = @import("../../root.zig");5const calls = smg.calls;6const graph_mod = smg.graph;7const model = smg.model;89const sample_max: usize = 3;10const territory_max: usize = 8;11const cycle_member_max: usize = 8;1213pub fn write(14    writer: *std.Io.Writer,15    graph: graph_mod.Graph,16    report: calls.Report,17    depth: u32,18) !void {19    var out = pretty_json.Writer.init(writer, .minified);20    try out.beginObject();21    try out.objectField("symbol");22    try writeSymbol(&out, graph, report);23    try out.objectField("semantics");24    try writeSemantics(&out, depth);25    try out.objectField("graph");26    try out.beginObject();27    try field(&out, "nodes", report.graph_nodes);28    try field(&out, "edges", report.graph_edges);29    try out.endObject();30    try out.objectField("callers");31    try writeReach(&out, graph, report.callers, depth);32    try out.objectField("calls");33    try writeReach(&out, graph, report.calls, depth);34    try out.objectField("cycle");35    try writeCycle(&out, graph, report.cycle);36    try out.objectField("resolution");37    try writeResolution(&out, report.resolution);38    try out.endObject();39    try writer.writeByte('\n');40}4142fn writeSymbol(43    out: *pretty_json.Writer,44    graph: graph_mod.Graph,45    report: calls.Report,46) !void {47    try out.beginObject();48    try out.objectField("declaration");49    try writeNode(out, graph.nodes.items[report.focus]);50    try out.objectField("territory");51    try writeNodeIdentity(out, graph.nodes.items[report.focus_territory]);52    try out.endObject();53}5455fn writeSemantics(out: *pretty_json.Writer, depth: u32) !void {56    try out.beginObject();57    try field(out, "relationship", model.RelType.calls);58    try field(out, "source", "last_scan");59    try field(out, "traversal", "complete_loaded_graph");60    try field(out, "depth_horizon", depth);61    try field(out, "depth", "minimum_call_distance");62    try field(out, "depth_horizon_is_display_only", true);63    try field(out, "deduplicated", true);64    try field(out, "locations", "declarations_not_call_sites");65    try field(out, "runtime_evidence", false);66    try field(out, "resolution_counts", "distinct_target_names");67    try field(out, "resolution_null", "not_recorded");68    try out.endObject();69}7071fn writeReach(72    out: *pretty_json.Writer,73    graph: graph_mod.Graph,74    reach: calls.Reach,75    depth: u32,76) !void {77    try out.beginObject();78    try field(out, "total", reach.total);79    try field(out, "test_marked", reach.test_marked);80    try field(out, "other", reach.total - reach.test_marked);81    try field(out, "max_depth", reach.max_depth);82    try field(out, "beyond_horizon", reach.beyond(depth));83    try out.objectField("strata");84    try out.beginArray();85    const shown_depth = @min(depth, reach.max_depth);86    for (reach.strata[0..shown_depth]) |stratum| {87        try writeStratum(out, graph, reach, stratum);88    }89    try out.endArray();90    try out.endObject();91}9293fn writeStratum(94    out: *pretty_json.Writer,95    graph: graph_mod.Graph,96    reach: calls.Reach,97    stratum: calls.Stratum,98) !void {99    try out.beginObject();100    try field(out, "depth", stratum.depth);101    try field(out, "total", stratum.count);102    try field(out, "test_marked", stratum.test_marked);103    try field(out, "other", stratum.count - stratum.test_marked);104    try out.objectField("territories");105    try writeTerritories(out, graph, reach, stratum);106    try out.objectField("samples");107    try writeSamples(out, graph, reach, stratum);108    try out.endObject();109}110111fn writeTerritories(112    out: *pretty_json.Writer,113    graph: graph_mod.Graph,114    reach: calls.Reach,115    stratum: calls.Stratum,116) !void {117    const start: usize = @intCast(stratum.territory_start);118    const total: usize = @intCast(stratum.territory_count);119    const displayed = @min(total, territory_max);120    try out.beginObject();121    try field(out, "total", total);122    try field(out, "displayed", displayed);123    try field(out, "truncated", displayed < total);124    try out.objectField("items");125    try out.beginArray();126    for (reach.territories[start..][0..displayed]) |territory| {127        try out.beginObject();128        try field(out, "name", graph.nodes.items[territory.node].name);129        try field(out, "type", graph.nodes.items[territory.node].type);130        try field(out, "count", territory.count);131        try out.endObject();132    }133    try out.endArray();134    try out.endObject();135}136137fn writeSamples(138    out: *pretty_json.Writer,139    graph: graph_mod.Graph,140    reach: calls.Reach,141    stratum: calls.Stratum,142) !void {143    try out.beginObject();144    const displayed: usize = @min(stratum.count, sample_max);145    try field(out, "displayed", displayed);146    try field(out, "truncated", displayed < stratum.count);147    try out.objectField("items");148    try out.beginArray();149    var count: usize = 0;150    for (reach.entries) |entry| {151        if (entry.depth != stratum.depth) continue;152        if (count == displayed) break;153        try out.beginObject();154        try out.objectField("declaration");155        try writeNode(out, graph.nodes.items[entry.node]);156        try out.objectField("territory");157        try writeNodeIdentity(out, graph.nodes.items[entry.territory]);158        try field(out, "test_marked", entry.test_marked);159        try field(out, "cycle", entry.cycle);160        try out.endObject();161        count += 1;162    }163    try out.endArray();164    try out.endObject();165}166167fn writeCycle(168    out: *pretty_json.Writer,169    graph: graph_mod.Graph,170    cycle: calls.Cycle,171) !void {172    const displayed = @min(cycle.members.len, cycle_member_max);173    try out.beginObject();174    try field(out, "self_recursive", cycle.recursive);175    try field(out, "other_members_total", cycle.members.len);176    try field(out, "members_displayed", displayed);177    try field(out, "members_truncated", displayed < cycle.members.len);178    try out.objectField("members");179    try out.beginArray();180    for (cycle.members[0..displayed]) |node_index| {181        try writeNode(out, graph.nodes.items[node_index]);182    }183    try out.endArray();184    try out.endObject();185}186187fn writeResolution(188    out: *pretty_json.Writer,189    resolution: calls.Resolution,190) !void {191    try out.beginObject();192    try out.objectField("unresolved_call_targets");193    try writeOptional(out, resolution.unresolved_targets);194    try out.objectField("external_call_targets");195    try writeOptional(out, resolution.external_targets);196    try out.endObject();197}198199fn writeOptional(out: *pretty_json.Writer, value: ?u32) !void {200    if (value) |count| {201        try out.write(count);202    } else {203        try out.write(null);204    }205}206207fn writeNodeIdentity(208    out: *pretty_json.Writer,209    node: model.Node,210) !void {211    try out.beginObject();212    try field(out, "name", node.name);213    try field(out, "type", node.type);214    try out.endObject();215}216217fn writeNode(out: *pretty_json.Writer, node: model.Node) !void {218    try out.beginObject();219    try field(out, "name", node.name);220    try field(out, "type", node.type);221    try out.objectField("file");222    if (node.file) |file_name| {223        try out.write(file_name);224    } else {225        try out.write(null);226    }227    try out.objectField("line");228    if (node.line) |line| {229        try out.write(line);230    } else {231        try out.write(null);232    }233    try out.endObject();234}235236fn field(out: *pretty_json.Writer, name: []const u8, value: anytype) !void {237    try out.objectField(name);238    try out.write(value);239}240241test "call architecture json preserves semantics and exact totals" {242    const fixture = @import("fixture.zig");243    var arena = std.heap.ArenaAllocator.init(std.testing.allocator);244    defer arena.deinit();245    const allocator = arena.allocator();246    const graph = try fixture.small(allocator);247    const report = try calls.build(allocator, graph, "app.focus");248    var out: std.Io.Writer.Allocating = .init(allocator);249    try write(&out.writer, graph, report, 1);250    const parsed = try std.json.parseFromSlice(251        std.json.Value,252        allocator,253        out.written(),254        .{},255    );256    defer parsed.deinit();257    const root = parsed.value.object;258    try std.testing.expectEqual(259        @as(i64, 2),260        root.get("callers").?.object.get("total").?.integer,261    );262    try std.testing.expectEqual(263        @as(i64, 2),264        root.get("resolution").?.object265            .get("unresolved_call_targets").?.integer,266    );267    try std.testing.expect(268        root.get("semantics").?.object.get("deduplicated").?.bool,269    );270    try std.testing.expect(271        root.get("semantics").?.object272            .get("depth_horizon_is_display_only").?.bool,273    );274}275276test "call architecture caps samples without losing 600 caller total" {277    const fixture = @import("fixture.zig");278    var arena = std.heap.ArenaAllocator.init(std.testing.allocator);279    defer arena.deinit();280    const allocator = arena.allocator();281    const graph = try fixture.manyCallers(allocator, 600);282    const report = try calls.build(allocator, graph, "app.focus");283    try std.testing.expectEqual(@as(u32, 600), report.callers.total);284    var out: std.Io.Writer.Allocating = .init(allocator);285    try write(&out.writer, graph, report, 1);286    const parsed = try std.json.parseFromSlice(287        std.json.Value,288        allocator,289        out.written(),290        .{},291    );292    defer parsed.deinit();293    const root = parsed.value.object;294    const callers = root.get("callers").?.object;295    try std.testing.expectEqual(296        @as(i64, 600),297        callers.get("total").?.integer,298    );299    const stratum = callers.get("strata").?.array.items[0].object;300    try std.testing.expectEqual(301        @as(i64, sample_max),302        stratum.get("samples").?.object.get("displayed").?.integer,303    );304    try std.testing.expect(305        stratum.get("samples").?.object.get("truncated").?.bool,306    );307    try std.testing.expect(switch (root.get("resolution").?.object308        .get("unresolved_call_targets").?) {309        .null => true,310        else => false,311    });312}

1pub const json = @import("json.zig");