Function rustc_mir::graphviz::write_node_label [] [src]

pub fn write_node_label<W: Write, INIT, FINI>(block: BasicBlock, mir: &Mir, w: &mut W, num_cols: u32, init: INIT, fini: FINI) -> Result<()> where INIT: Fn(&mut W) -> Result<()>, FINI: Fn(&mut W) -> Result<()>
Unstable (rustc_private)

Write a graphviz HTML-styled label for the given basic block, with all necessary escaping already performed. (This is suitable for emitting directly, as is done in this module, or for use with the LabelText::HtmlStr from libgraphviz.)

init and fini are callbacks for emitting additional rows of data (using HTML enclosed with <tr> in the emitted text).