Trait rustc_data_structures::control_flow_graph::ControlFlowGraph

pub trait ControlFlowGraph where
    Self: for<'graph> GraphPredecessors<'graph, Item = Self::Node>,
    Self: for<'graph> GraphSuccessors<'graph, Item = Self::Node>, {
    type Node: Idx;
    fn num_nodes(&self) -> usize;
    fn start_node(&self) -> Self::Node;
    fn predecessors<'graph>(&'graph self, node: Self::Node) -> Self::Iter;
    fn successors<'graph>(&'graph self, node: Self::Node) -> Self::Iter;
}

Associated Types

type Node: Idx

Required Methods

fn num_nodes(&self) -> usize

fn start_node(&self) -> Self::Node

fn predecessors<'graph>(&'graph self, node: Self::Node) -> Self::Iter

fn successors<'graph>(&'graph self, node: Self::Node) -> Self::Iter

Implementations on Foreign Types

impl<'graph, G: ControlFlowGraph> ControlFlowGraph for &'graph G

type Node = G::Node

fn num_nodes(&self) -> usize

fn start_node(&self) -> Self::Node

fn predecessors<'iter>(&'iter self, node: Self::Node) -> Self::Iter

fn successors<'iter>(&'iter self, node: Self::Node) -> Self::Iter

Implementors