Struct rustc_borrowck::graphviz::DataflowLabeller [−] [src]

pub struct DataflowLabeller<'a, 'tcx: 'a> {
    pub inner: LabelledCFG<'a, 'tcx>,
    pub variants: Vec<Variant>,
    pub borrowck_ctxt: &'a BorrowckCtxt<'a, 'tcx>,
    pub analysis_data: &'a AnalysisData<'a, 'tcx>,
}
Unstable (rustc_private)

Fields

inner: LabelledCFG<'a, 'tcx>
Unstable (rustc_private)
variants: Vec<Variant>
Unstable (rustc_private)
borrowck_ctxt: &'a BorrowckCtxt<'a, 'tcx>
Unstable (rustc_private)
analysis_data: &'a AnalysisData<'a, 'tcx>
Unstable (rustc_private)

Trait Implementations

impl<'a, 'tcx> Labeller<'a> for DataflowLabeller<'a, 'tcx>
[src]

type Node = Node<'a>

type Edge = Edge<'a>

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

Must return a DOT compatible identifier naming the graph.

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

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. Read more

fn node_label(&'a self, n: &Node<'a>) -> LabelText<'a>

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. Read more

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

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. Read more

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

Maps n to one of the [graphviz shape names][1]. If None is returned, no shape attribute is specified. Read more

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.

impl<'a, 'tcx> GraphWalk<'a> for DataflowLabeller<'a, 'tcx>
[src]

type Node = Node<'a>

type Edge = Edge<'a>

fn nodes(&'a self) -> Nodes<'a, Node<'a>>

Returns all the nodes in this graph.

fn edges(&'a self) -> Edges<'a, Edge<'a>>

Returns all of the edges in this graph.

fn source(&'a self, edge: &Edge<'a>) -> Node<'a>

The source node for edge.

fn target(&'a self, edge: &Edge<'a>) -> Node<'a>

The target node for edge.