Struct SafetyFlowGraph 

pub struct SafetyFlowGraph {
    structs: HashMap<String, HashSet<FnInfo>>,
    edges: HashSet<(DefId, DefId, SafetyFlowEdge)>,
    nodes: HashMap<DefId, String>,
}

Holds graph data for a single module before DOT generation.

Fields

structs: HashMap<String, HashSet<FnInfo>>

edges: HashSet<(DefId, DefId, SafetyFlowEdge)>

nodes: HashMap<DefId, String>

Implementations

impl SafetyFlowGraph

pub fn new() -> Self

pub fn add_node( &mut self, tcx: TyCtxt<'_>, node: FnInfo, custom_label: Option<String>, )

pub fn add_edge(&mut self, from: DefId, to: DefId, edge_type: SafetyFlowEdge)

pub fn to_dot(&self, module_name: &str) -> String

fn node_to_dot_attr( tcx: TyCtxt<'_>, node: &SafetyFlowNode, kind: FnKind, ) -> String

pub fn generate_dot_from_unit(tcx: TyCtxt<'_>, unit: &SafetyFlowUnit) -> String