Struct rustc_mir::dataflow::framework::graphviz::Formatter

pub struct Formatter<'a, 'tcx, A> where
    A: Analysis<'tcx>,  {
    body: &'a Body<'tcx>,
    def_id: DefId,
    block_formatter: RefCell<BlockFormatter<'a, 'tcx, A>>,
}

Fields

body: &'a Body<'tcx>

def_id: DefId

block_formatter: RefCell<BlockFormatter<'a, 'tcx, A>>

Implementations

impl<A, 'tcx, 'a> Formatter<'a, 'tcx, A> where
    A: Analysis<'tcx>, 

pub fn new(
    body: &'a Body<'tcx>,
    def_id: DefId,
    results: &'a Results<'tcx, A>,
    state_formatter: &'a mut dyn StateFormatter<'tcx, A>
) -> Self

Trait Implementations

impl<A, 'tcx, 'a> GraphWalk<'a> for Formatter<'a, '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<A, 'tcx, '_, 'a> Labeller<'_> for Formatter<'a, 'tcx, A> where
    A: Analysis<'tcx>, 

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][1]. 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.