Struct rustc_borrowck::graphviz::DataflowLabellerUnstable [-] [+] [src]

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

Fields

inner
variants
borrowck_ctxt
analysis_data

Trait Implementations

impl<'a, 'tcx> Labeller<'a, Node<'a>, Edge<'a>> for DataflowLabeller<'a, 'tcx>

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

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

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

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

impl<'a, 'tcx> GraphWalk<'a, Node<'a>, Edge<'a>> for DataflowLabeller<'a, 'tcx>

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

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

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

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