tiny.choir.composition.diagnostic

1pub fn renderPathAlloc(2    allocator: Allocator,3    module: *const CompositionModule,4    variant_id: composition.CompositionVariantId,5    call_site_id: composition.CallSiteId,6) ![]u8 {7    try module.verify();8    const path = try module.diagnosticPath(variant_id, call_site_id);9    const caller = module.fragment(path.call_site.caller).?;10    const caller_export = caller.exportByName(path.call_site.caller_export).?;11    const runtime_import = caller.importByName(path.call_site.runtime_import).?;1213    var arena_state = alloc_arena.Arena.init(allocator);14    defer arena_state.deinit();15    const arena = arena_state.allocator();16    const title = try std.fmt.allocPrint(arena, "composition path: {s}", .{path.call_site.name});17    var report = try Report.init(arena, title);18    defer report.deinit();1920    try report.section("source");21    try appendLocation(&report, path.source.*);22    try report.line("operation {s}", .{path.source.symbol});23    try report.line("module {s}", .{module.source_module.name});2425    try report.section("variant");26    try report.line("[{d}]", .{path.variant.id.value});27    try appendAddress(&report, "target", path.variant.choice.target);28    try appendAddress(&report, "policy", path.variant.choice.policy);2930    try report.section("partition");31    try report.line("[{d}] {s}", .{ path.partition.id.value, path.partition.name });32    try appendAddress(&report, "semantic product", path.partition.product);33    try report.line("effect {s}", .{@tagName(path.partition.effect)});34    for (path.partition.inputs) |id| try appendBoundary(&report, arena, module, "input", id);35    for (path.partition.outputs) |id| try appendBoundary(&report, arena, module, "output", id);3637    try report.section("pipeline");38    try appendProduct(&report, "pipeline input", path.pipeline_input);39    try report.line("pipeline {s}", .{@tagName(path.fragment.pipeline)});4041    try report.section("fragment");42    try report.line("[{d}] {s}", .{ path.fragment.id.value, @tagName(path.fragment.pipeline) });43    try appendExport(&report, path.fragment_export.*);44    for (path.fragment.exports) |*export_value| {45        if (export_value != path.fragment_export) try appendExport(&report, export_value.*);46    }47    for (path.fragment.imports) |import_value| try appendImport(&report, import_value);4849    try report.section("call site");50    try report.line("[{d}] {s}", .{ path.call_site.id.value, path.call_site.name });51    try report.line(52        "route [{d}].{s} -> {s} -> [{d}].{s} (ABI v{d})",53        .{54            path.call_site.caller.value,55            path.call_site.caller_export,56            path.call_site.runtime_import,57            path.call_site.callee.value,58            path.call_site.callee_export,59            path.call_site.abi_version,60        },61    );62    try report.line("caller export {s} -> {s}", .{ caller_export.name, caller_export.symbol });63    try appendImport(&report, runtime_import.*);64    for (path.call_site.inputs) |id| try appendBoundary(&report, arena, module, "input", id);65    for (path.call_site.outputs) |id| try appendBoundary(&report, arena, module, "output", id);6667    try report.section("artifact");68    try appendArtifact(&report, path.artifact);6970    const rendered = try report.renderAlloc(.{ .width = 100 });71    return try allocator.dupe(u8, rendered);72}

1const path = @import("path.zig");23pub const renderPathAlloc = path.renderPathAlloc;

1pub const diagnostic = @import("diagnostic/root.zig");