Struct BlockFormatter

struct BlockFormatter<'a, 'mir, 'tcx, A>
where
    A: Analysis<'tcx>,
{
    cursor: &'a mut ResultsCursor<'mir, 'tcx, A>,
    bg: Background,
    style: OutputStyle,
}

Fields

cursor: &'a mut ResultsCursor<'mir, 'tcx, A>

bg: Background

style: OutputStyle

Implementations

impl<'tcx, A> BlockFormatter<'_, '_, 'tcx, A>

where A: Analysis<'tcx>, A::Domain: DebugWithContext<A>,

const HEADER_COLOR: &'static str = "#a0a0a0"

fn toggle_background(&mut self) -> Background

fn write_node_label(&mut self, block: BasicBlock) -> Result<Vec<u8>>

fn write_block_header_simple( &mut self, w: &mut impl Write, block: BasicBlock, ) -> Result<()>

fn write_block_header_with_state_columns( &mut self, w: &mut impl Write, block: BasicBlock, state_column_names: &[&str], ) -> Result<()>

fn write_statements_and_terminator( &mut self, w: &mut impl Write, block: BasicBlock, ) -> Result<()>

fn write_row<W: Write>( &mut self, w: &mut W, i: &str, mir: &str, f: impl FnOnce(&mut Self, &mut W, &str) -> Result<()>, ) -> Result<()>

Write a row with the given index and MIR, using the function argument to fill in the “STATE” column(s).

fn write_row_with_full_state( &mut self, w: &mut impl Write, i: &str, mir: &str, ) -> Result<()>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 16 bytes