Skip to content

Commit cab4f95

Browse files
committed
mk_graph: add comments clarifying traversal responsibilities
1 parent ac9931b commit cab4f95

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

src/mk_graph/traverse.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,8 @@ pub trait GraphBuilder {
4040
fn finish(self) -> Self::Output;
4141
}
4242

43+
/// Format-agnostic MIR graph traversal.
44+
/// Owns traversal order and graph semantics, delegates rendering to `GraphBuilder`.
4345
pub fn render_graph<B: GraphBuilder>(
4446
smir: &SmirJson,
4547
mut builder: B,
@@ -70,6 +72,8 @@ pub fn render_graph<B: GraphBuilder>(
7072
builder.finish()
7173
}
7274

75+
/// Emit graph events for a single function body.
76+
/// Traverses blocks, CFG edges, and call edges without renderer-specific logic.
7377
fn render_function<B: GraphBuilder>(
7478
ctx: &GraphContext,
7579
builder: &mut B,

0 commit comments

Comments
 (0)