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

pub struct Formatter<'a, 'tcx, A> where
    A: Analysis<'tcx>,  {
    body: &'a Body<'tcx>,
    results: &'a Results<'tcx, A>,
    style: OutputStyle,
}

Fields

body: &'a Body<'tcx>

results: &'a Results<'tcx, A>

style: OutputStyle

Implementations

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

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

Trait Implementations

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

type Node = BasicBlock

type Edge = CfgEdge

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

Returns all the nodes in this graph.

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

Returns all of the edges in this graph.

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

The source node for edge.

pub 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>,
    A::Domain: DebugWithContext<A>, 

type Node = BasicBlock

type Edge = CfgEdge

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

Must return a DOT compatible identifier naming the graph.

pub 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.

pub 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.

pub 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.

pub 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.

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

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

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

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