Struct paralegal_spdg::dot::DotPrintableProgramDescription

struct DotPrintableProgramDescription<'d> {
    spdg: &'d ProgramDescription,
    call_sites: HashMap<CallString, (Endpoint, Vec<Node>)>,
    selected_controllers: Vec<Endpoint>,
}

Fields

spdg: &'d ProgramDescription

call_sites: HashMap<CallString, (Endpoint, Vec<Node>)>

selected_controllers: Vec<Endpoint>

Implementations

impl<'d> DotPrintableProgramDescription<'d>

pub fn new_for_selection( spdg: &'d ProgramDescription, selector: impl FnMut(Endpoint) -> bool ) -> Self

fn format_call_string(&self, call_string: CallString) -> String

Trait Implementations

impl<'a, 'd> GraphWalk<'a, CallString, GlobalEdge> for DotPrintableProgramDescription<'d>

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

Returns all the nodes in this graph.

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

Returns all of the edges in this graph.

fn source(&'a self, edge: &GlobalEdge) -> CallString

The source node for edge.

fn target(&'a self, edge: &GlobalEdge) -> CallString

The target node for edge.

impl<'a, 'd> Labeller<'a, CallString, GlobalEdge> for DotPrintableProgramDescription<'d>

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

Must return a DOT compatible identifier naming the graph.

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

Maps n to a unique identifier with respect to self. The implementer is responsible for ensuring that the returned name is a valid DOT identifier.

fn node_shape(&'a self, _node: &CallString) -> Option<LabelText<'a>>

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

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

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.

fn edge_color(&'a self, e: &GlobalEdge) -> Option<LabelText<'a>>

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

fn source_port_position( &'a self, edge: &GlobalEdge ) -> (Option<Id<'a>>, Option<CompassPoint>)

Specify a subpart of the source node for the origin of the edge (portname) and a direction for the edge (compass_point). See also https://graphviz.org/docs/attr-types/portPos/.

fn target_port_position( &'a self, edge: &GlobalEdge ) -> (Option<Id<'a>>, Option<CompassPoint>)

Same as source_port_position but for the target end of the edge.

fn edge_label(&'a self, e: &E) -> 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.

fn node_style(&'a self, _n: &N) -> Style

Maps n to a style that will be used in the rendered output.

fn rank_dir(&'a self) -> Option<RankDir>

Return an explicit rank dir to use for directed graphs.

fn node_color(&'a self, _node: &N) -> Option<LabelText<'a>>

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

fn edge_end_arrow(&'a self, _e: &E) -> Arrow

Maps e to arrow style that will be used on the end of an edge. Defaults to default arrow style.

fn edge_start_arrow(&'a self, _e: &E) -> Arrow

Maps e to arrow style that will be used on the end of an edge. Defaults to default arrow style.

fn edge_style(&'a self, _e: &E) -> Style

Maps e to a style that will be used in the rendered output.

fn kind(&self) -> Kind

The kind of graph, defaults to Kind::Digraph.