Struct rustc_mir::borrow_check::region_infer::graphviz::RawConstraints

pub(in borrow_check::region_infer::graphviz) struct RawConstraints<'a, 'tcx> {
    regioncx: &'a RegionInferenceContext<'tcx>,
}

Fields

regioncx: &'a RegionInferenceContext<'tcx>

Trait Implementations

impl<'a, 'this, 'tcx> GraphWalk<'this> for RawConstraints<'a, 'tcx>

type Node = RegionVid

type Edge = OutlivesConstraint

pub fn nodes(&'this self) -> Nodes<'this, RegionVid>

Returns all the nodes in this graph.

pub fn edges(&'this self) -> Edges<'this, OutlivesConstraint>

Returns all of the edges in this graph.

pub fn source(&'this self, edge: &OutlivesConstraint) -> RegionVid

The source node for edge.

pub fn target(&'this self, edge: &OutlivesConstraint) -> RegionVid

The target node for edge.

impl<'a, 'this, 'tcx> Labeller<'this> for RawConstraints<'a, 'tcx>

type Node = RegionVid

type Edge = OutlivesConstraint

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

Must return a DOT compatible identifier naming the graph.

pub fn node_id(&'this self, n: &RegionVid) -> Id<'this>

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_shape(&'this self, _node: &RegionVid) -> Option<LabelText<'this>>

Maps n to one of the graphviz shape names. If None is returned, no shape attribute is specified.

pub fn node_label(&'this self, n: &RegionVid) -> LabelText<'this>

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 edge_label(&'this self, e: &OutlivesConstraint) -> LabelText<'this>

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.