Trait rustc_mir::dataflow::framework::graphviz::StateFormatter

pub trait StateFormatter<'tcx, A> where
    A: Analysis<'tcx>, {
    fn column_names(&self) -> &[&str];
    fn write_state_for_location(
        &mut self, 
        w: &mut dyn Write, 
        fmt: &str, 
        results: &mut ResultsRefCursor<'_, '_, 'tcx, A>, 
        location: Location
    ) -> Result<()>;
}

Controls what gets printed under the STATE header.

Required methods

fn column_names(&self) -> &[&str]

The columns that will get printed under STATE.

fn write_state_for_location(
    &mut self,
    w: &mut dyn Write,
    fmt: &str,
    results: &mut ResultsRefCursor<'_, '_, 'tcx, A>,
    location: Location
) -> Result<()>

Loading content...

Implementors

impl<A, 'tcx> StateFormatter<'tcx, A> for TwoPhaseDiff<A::Idx> where
    A: Analysis<'tcx>, 

fn column_names(&self) -> &[&str]

fn write_state_for_location(
    &mut self,
    w: &mut dyn Write,
    fmt: &str,
    results: &mut ResultsRefCursor<'_, '_, 'tcx, A>,
    location: Location
) -> Result<()>

impl<A, 'tcx, '_> StateFormatter<'tcx, A> for SimpleDiff<'_, 'tcx, A> where
    A: Analysis<'tcx>, 

fn column_names(&self) -> &[&str]

fn write_state_for_location(
    &mut self,
    w: &mut dyn Write,
    fmt: &str,
    results: &mut ResultsRefCursor<'_, '_, 'tcx, A>,
    location: Location
) -> Result<()>

impl<A, 'tcx, 'mir> StateFormatter<'tcx, A> for BlockTransferFunc<'mir, 'tcx, A::Idx> where
    A: Analysis<'tcx>, 

fn column_names(&self) -> &[&str]

fn write_state_for_location(
    &mut self,
    w: &mut dyn Write,
    fmt: &str,
    results: &mut ResultsRefCursor<'_, '_, 'tcx, A>,
    location: Location
) -> Result<()>

Loading content...