Struct MirPrettyCtx 

struct MirPrettyCtx<'a, 'db> {
    body: &'a MirBody<'db>,
    hir_body: &'a ExpressionStore,
    db: &'db dyn HirDatabase,
    result: String,
    indent: String,
    local_to_binding: ArenaMap<LocalId, BindingId>,
    display_target: DisplayTarget,
}

Fields

body: &'a MirBody<'db>

hir_body: &'a ExpressionStore

db: &'db dyn HirDatabase

result: String

indent: String

local_to_binding: ArenaMap<LocalId, BindingId>

display_target: DisplayTarget

Implementations

impl<'a, 'db> MirPrettyCtx<'a, 'db>

fn for_body(&mut self, name: impl FnOnce(&mut MirPrettyCtx<'_, 'db>))

fn for_closure(&mut self, closure: InternedClosureId<'db>)

fn with_block(&mut self, f: impl FnOnce(&mut MirPrettyCtx<'_, 'db>))

fn new( body: &'a MirBody<'db>, hir_body: &'a ExpressionStore, db: &'db dyn HirDatabase, display_target: DisplayTarget, ) -> Self

fn write_line(&mut self)

fn write(&mut self, line: &str)

fn locals(&mut self)

fn local_name(&self, local: LocalId) -> LocalName

fn basic_block_id(&self, basic_block_id: BasicBlockId) -> String

fn blocks(&mut self)

fn place(&mut self, p: &Place)

fn operand(&mut self, r: &Operand)

fn rvalue(&mut self, r: &Rvalue)

fn operand_list(&mut self, it: &[Operand])

fn hir_display<'b, T: HirDisplay<'db>>( &self, ty: &'b T, ) -> impl Display + use<'a, 'b, 'db, T>

where 'db: 'b,

Trait Implementations

impl Write for MirPrettyCtx<'_, '_>

fn write_str(&mut self, s: &str) -> Result

Writes a string slice into this writer, returning whether the write succeeded.

fn write_char(&mut self, c: char) -> Result<(), Error>

Writes a char into this writer, returning whether the write succeeded.

fn write_fmt(&mut self, args: Arguments<'_>) -> Result<(), Error>

Glue for usage of the write! macro with implementors of this trait.