Struct rtlola_interpreter::rtlola_mir::DependencyGraph

pub struct DependencyGraph<'a> { /* private fields */ }

Represents the dependency graph of the specification

Implementations

impl<'a> DependencyGraph<'a>

pub fn dot(&self) -> String

Returns the dependency graph in the graphviz dot-format

pub fn json(&self) -> String

Returns the dependency graph in a json-format

Trait Implementations

impl<'a> Clone for DependencyGraph<'a>

fn clone(&self) -> DependencyGraph<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for DependencyGraph<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'a> GraphWalk<'a, Node, Edge> for DependencyGraph<'a>

fn nodes(&'a self) -> Cow<'a, [Node]>

Returns all the nodes in this graph.

fn edges(&'a self) -> Cow<'a, [Edge]>

Returns all of the edges in this graph.

fn source(&self, e: &Edge) -> Node

The source node for edge.

fn target(&self, e: &Edge) -> Node

The target node for edge.

impl<'a> Labeller<'a, Node, Edge> for DependencyGraph<'a>

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

Must return a DOT compatible identifier naming the graph.

fn node_id(&'a self, n: &Node) -> 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_label<'b>(&'b self, n: &Node) -> LabelText<'b>

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_label<'b>(&'b self, edge: &Edge) -> LabelText<'b>

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 edge_style(&self, edge: &Edge) -> Style

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

fn node_shape(&self, node: &Node) -> Option<LabelText<'_>>

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

fn edge_end_arrow(&'a self, _e: &Edge) -> 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: &Edge) -> Arrow

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

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

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

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_color(&'a self, _e: &E) -> Option<LabelText<'a>>

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

fn kind(&self) -> Kind

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