Struct rustc_mir::borrow_check::region_infer::graphviz::SccConstraints

pub(in borrow_check::region_infer::graphviz) struct SccConstraints<'a, 'tcx> {
    regioncx: &'a RegionInferenceContext<'tcx>,
    nodes_per_scc: IndexVec<ConstraintSccIndex, Vec<RegionVid>>,
}

Fields

regioncx: &'a RegionInferenceContext<'tcx>

nodes_per_scc: IndexVec<ConstraintSccIndex, Vec<RegionVid>>

Trait Implementations

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

type Node = ConstraintSccIndex

type Edge = (ConstraintSccIndex, ConstraintSccIndex)

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

Returns all the nodes in this graph.

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

Returns all of the edges in this graph.

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

The source node for edge.

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

The target node for edge.

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

type Node = ConstraintSccIndex

type Edge = (ConstraintSccIndex, ConstraintSccIndex)

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

Must return a DOT compatible identifier naming the graph.

pub fn node_id(&'this self, n: &ConstraintSccIndex) -> 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: &ConstraintSccIndex
) -> 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: &ConstraintSccIndex) -> 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(&'a self, _e: &Self::Edge) -> 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.

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.