Struct Formatter

struct Formatter<'mir, 'tcx, A>
where
    A: Analysis<'tcx>,
{
    body: &'mir Body<'tcx>,
    analysis: RefCell<&'mir mut A>,
    results: &'mir Results<A::Domain>,
    style: OutputStyle,
    reachable: DenseBitSet<BasicBlock>,
}

Fields

body: &'mir Body<'tcx>

analysis: RefCell<&'mir mut A>

results: &'mir Results<A::Domain>

style: OutputStyle

reachable: DenseBitSet<BasicBlock>

Implementations

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

where A: Analysis<'tcx>,

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

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: 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: 72 bytes