Struct Formatter

struct Formatter<'mir, 'tcx, A>
where
    A: Analysis<'tcx>,
{
    cursor: RefCell<ResultsCursor<'mir, 'tcx, A>>,
    style: OutputStyle,
    reachable: BitSet<BasicBlock>,
}

Fields

cursor: RefCell<ResultsCursor<'mir, 'tcx, A>>

style: OutputStyle

reachable: BitSet<BasicBlock>

Implementations

impl<'mir, 'tcx, A> Formatter<'mir, 'tcx, A>

where A: Analysis<'tcx>,

fn new( body: &'mir Body<'tcx>, results: &'mir mut Results<'tcx, A>, style: OutputStyle, ) -> Self

fn body(&self) -> &'mir Body<'tcx>

Trait Implementations

impl<'tcx, A> GraphWalk<'_> for Formatter<'_, 'tcx, A>

where A: Analysis<'tcx>,

type Node = BasicBlock

type Edge = CfgEdge

fn nodes(&self) -> Nodes<'_, Self::Node>

Returns all the nodes in this graph.

fn edges(&self) -> Edges<'_, Self::Edge>

Returns all of the edges in this graph.

fn source(&self, edge: &Self::Edge) -> Self::Node

The source node for edge.

fn target(&self, edge: &Self::Edge) -> Self::Node

The target node for edge.

impl<'tcx, A> Labeller<'_> for Formatter<'_, 'tcx, A>

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

type Node = BasicBlock

type Edge = CfgEdge

fn graph_id(&self) -> Id<'_>

Must return a DOT compatible identifier naming the graph.

fn node_id(&self, n: &Self::Node) -> Id<'_>

Maps n to a unique identifier with respect to self. The implementor is responsible for ensuring that the returned name is a valid DOT identifier.

fn node_label(&self, block: &Self::Node) -> LabelText<'_>

Maps n to a label that will be used in the rendered output. The label need not be unique, and may be the empty string; the default is just the output from node_id.

fn node_shape(&self, _n: &Self::Node) -> Option<LabelText<'_>>

Maps n to one of the graphviz shape names. If None is returned, no shape attribute is specified.

fn edge_label(&self, e: &Self::Edge) -> LabelText<'_>

Maps e to a label that will be used in the rendered output. The label need not be unique, and may be the empty string; the default is in fact the empty string.

fn node_style(&'a self, _n: &Self::Node) -> Style

Maps n to a style that will be used in the rendered output.

fn edge_style(&'a self, _e: &Self::Edge) -> Style

Maps e to a style that will be used in the rendered output.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.