2021-06-23 15:26:46 -05:00
|
|
|
//! Generate files suitable for use with [Graphviz](https://www.graphviz.org/)
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
2018-11-26 20:59:49 -06:00
|
|
|
//! The `render` function generates output (e.g., an `output.dot` file) for
|
2021-06-23 15:26:46 -05:00
|
|
|
//! use with [Graphviz](https://www.graphviz.org/) by walking a labeled
|
2014-11-25 20:17:11 -06:00
|
|
|
//! graph. (Graphviz can then automatically lay out the nodes and edges
|
|
|
|
//! of the graph, and also optionally render the graph as an image or
|
2022-05-11 06:21:10 -05:00
|
|
|
//! other [output formats](https://www.graphviz.org/docs/outputs), such as SVG.)
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
|
|
|
//! Rather than impose some particular graph data structure on clients,
|
|
|
|
//! this library exposes two traits that clients can implement on their
|
|
|
|
//! own structs before handing them over to the rendering function.
|
|
|
|
//!
|
|
|
|
//! Note: This library does not yet provide access to the full
|
2022-05-11 06:21:10 -05:00
|
|
|
//! expressiveness of the [DOT language](https://www.graphviz.org/doc/info/lang.html).
|
|
|
|
//! For example, there are many [attributes](https://www.graphviz.org/doc/info/attrs.html)
|
|
|
|
//! related to providing layout hints (e.g., left-to-right versus top-down, which
|
2014-11-25 20:17:11 -06:00
|
|
|
//! algorithm to use, etc). The current intention of this library is to
|
|
|
|
//! emit a human-readable .dot file with very regular structure suitable
|
|
|
|
//! for easy post-processing.
|
|
|
|
//!
|
|
|
|
//! # Examples
|
|
|
|
//!
|
|
|
|
//! The first example uses a very simple graph representation: a list of
|
|
|
|
//! pairs of ints, representing the edges (the node set is implicit).
|
|
|
|
//! Each node label is derived directly from the int representing the node,
|
|
|
|
//! while the edge labels are all empty strings.
|
|
|
|
//!
|
2015-03-01 01:24:05 -06:00
|
|
|
//! This example also illustrates how to use `Cow<[T]>` to return
|
2014-11-25 20:17:11 -06:00
|
|
|
//! an owned vector or a borrowed slice as appropriate: we construct the
|
|
|
|
//! node vector from scratch, but borrow the edge list (rather than
|
|
|
|
//! constructing a copy of all the edges from scratch).
|
|
|
|
//!
|
|
|
|
//! The output from this example renders five nodes, with the first four
|
|
|
|
//! forming a diamond-shaped acyclic graph and then pointing to the fifth
|
|
|
|
//! which is cyclic.
|
|
|
|
//!
|
|
|
|
//! ```rust
|
2016-01-15 12:07:52 -06:00
|
|
|
//! #![feature(rustc_private)]
|
2015-07-27 09:50:19 -05:00
|
|
|
//!
|
2015-03-11 17:24:14 -05:00
|
|
|
//! use std::io::Write;
|
2020-06-02 12:19:49 -05:00
|
|
|
//! use rustc_graphviz as dot;
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
2015-03-23 17:54:39 -05:00
|
|
|
//! type Nd = isize;
|
|
|
|
//! type Ed = (isize,isize);
|
2014-11-25 20:17:11 -06:00
|
|
|
//! struct Edges(Vec<Ed>);
|
|
|
|
//!
|
2015-03-11 17:24:14 -05:00
|
|
|
//! pub fn render_to<W: Write>(output: &mut W) {
|
2016-10-29 16:54:04 -05:00
|
|
|
//! let edges = Edges(vec![(0,1), (0,2), (1,3), (2,3), (3,4), (4,4)]);
|
2014-11-25 20:17:11 -06:00
|
|
|
//! dot::render(&edges, output).unwrap()
|
|
|
|
//! }
|
|
|
|
//!
|
2016-01-26 15:23:05 -06:00
|
|
|
//! impl<'a> dot::Labeller<'a> for Edges {
|
|
|
|
//! type Node = Nd;
|
|
|
|
//! type Edge = Ed;
|
2014-11-25 20:17:11 -06:00
|
|
|
//! fn graph_id(&'a self) -> dot::Id<'a> { dot::Id::new("example1").unwrap() }
|
|
|
|
//!
|
|
|
|
//! fn node_id(&'a self, n: &Nd) -> dot::Id<'a> {
|
|
|
|
//! dot::Id::new(format!("N{}", *n)).unwrap()
|
|
|
|
//! }
|
|
|
|
//! }
|
|
|
|
//!
|
2016-01-26 15:23:05 -06:00
|
|
|
//! impl<'a> dot::GraphWalk<'a> for Edges {
|
|
|
|
//! type Node = Nd;
|
|
|
|
//! type Edge = Ed;
|
2014-11-25 20:17:11 -06:00
|
|
|
//! fn nodes(&self) -> dot::Nodes<'a,Nd> {
|
|
|
|
//! // (assumes that |N| \approxeq |E|)
|
|
|
|
//! let &Edges(ref v) = self;
|
|
|
|
//! let mut nodes = Vec::with_capacity(v.len());
|
2015-06-10 11:22:20 -05:00
|
|
|
//! for &(s,t) in v {
|
2014-11-25 20:17:11 -06:00
|
|
|
//! nodes.push(s); nodes.push(t);
|
|
|
|
//! }
|
|
|
|
//! nodes.sort();
|
|
|
|
//! nodes.dedup();
|
2018-10-05 07:16:10 -05:00
|
|
|
//! nodes.into()
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
|
|
|
//!
|
|
|
|
//! fn edges(&'a self) -> dot::Edges<'a,Ed> {
|
|
|
|
//! let &Edges(ref edges) = self;
|
2018-10-05 07:16:10 -05:00
|
|
|
//! (&edges[..]).into()
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
|
|
|
//!
|
|
|
|
//! fn source(&self, e: &Ed) -> Nd { let &(s,_) = e; s }
|
|
|
|
//!
|
|
|
|
//! fn target(&self, e: &Ed) -> Nd { let &(_,t) = e; t }
|
|
|
|
//! }
|
|
|
|
//!
|
|
|
|
//! # pub fn main() { render_to(&mut Vec::new()) }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! ```no_run
|
2015-03-11 17:24:14 -05:00
|
|
|
//! # pub fn render_to<W:std::io::Write>(output: &mut W) { unimplemented!() }
|
2014-11-25 20:17:11 -06:00
|
|
|
//! pub fn main() {
|
2015-03-11 17:24:14 -05:00
|
|
|
//! use std::fs::File;
|
|
|
|
//! let mut f = File::create("example1.dot").unwrap();
|
2014-11-25 20:17:11 -06:00
|
|
|
//! render_to(&mut f)
|
|
|
|
//! }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! Output from first example (in `example1.dot`):
|
|
|
|
//!
|
2017-06-20 02:15:16 -05:00
|
|
|
//! ```dot
|
2014-11-25 20:17:11 -06:00
|
|
|
//! digraph example1 {
|
|
|
|
//! N0[label="N0"];
|
|
|
|
//! N1[label="N1"];
|
|
|
|
//! N2[label="N2"];
|
|
|
|
//! N3[label="N3"];
|
|
|
|
//! N4[label="N4"];
|
|
|
|
//! N0 -> N1[label=""];
|
|
|
|
//! N0 -> N2[label=""];
|
|
|
|
//! N1 -> N3[label=""];
|
|
|
|
//! N2 -> N3[label=""];
|
|
|
|
//! N3 -> N4[label=""];
|
|
|
|
//! N4 -> N4[label=""];
|
|
|
|
//! }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! The second example illustrates using `node_label` and `edge_label` to
|
|
|
|
//! add labels to the nodes and edges in the rendered graph. The graph
|
|
|
|
//! here carries both `nodes` (the label text to use for rendering a
|
|
|
|
//! particular node), and `edges` (again a list of `(source,target)`
|
|
|
|
//! indices).
|
|
|
|
//!
|
|
|
|
//! This example also illustrates how to use a type (in this case the edge
|
|
|
|
//! type) that shares substructure with the graph: the edge type here is a
|
|
|
|
//! direct reference to the `(source,target)` pair stored in the graph's
|
|
|
|
//! internal vector (rather than passing around a copy of the pair
|
|
|
|
//! itself). Note that this implies that `fn edges(&'a self)` must
|
2015-03-23 17:54:39 -05:00
|
|
|
//! construct a fresh `Vec<&'a (usize,usize)>` from the `Vec<(usize,usize)>`
|
2014-11-25 20:17:11 -06:00
|
|
|
//! edges stored in `self`.
|
|
|
|
//!
|
|
|
|
//! Since both the set of nodes and the set of edges are always
|
|
|
|
//! constructed from scratch via iterators, we use the `collect()` method
|
|
|
|
//! from the `Iterator` trait to collect the nodes and edges into freshly
|
2018-10-05 07:16:10 -05:00
|
|
|
//! constructed growable `Vec` values (rather than using `Cow` as in the
|
|
|
|
//! first example above).
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
|
|
|
//! The output from this example renders four nodes that make up the
|
|
|
|
//! Hasse-diagram for the subsets of the set `{x, y}`. Each edge is
|
2017-08-15 14:45:21 -05:00
|
|
|
//! labeled with the ⊆ character (specified using the HTML character
|
2014-11-25 20:17:11 -06:00
|
|
|
//! entity `&sube`).
|
|
|
|
//!
|
|
|
|
//! ```rust
|
2015-11-03 09:33:58 -06:00
|
|
|
//! #![feature(rustc_private)]
|
2015-07-27 09:50:19 -05:00
|
|
|
//!
|
2015-03-11 17:24:14 -05:00
|
|
|
//! use std::io::Write;
|
2020-06-02 12:19:49 -05:00
|
|
|
//! use rustc_graphviz as dot;
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
2015-03-23 17:54:39 -05:00
|
|
|
//! type Nd = usize;
|
|
|
|
//! type Ed<'a> = &'a (usize, usize);
|
|
|
|
//! struct Graph { nodes: Vec<&'static str>, edges: Vec<(usize,usize)> }
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
2015-03-11 17:24:14 -05:00
|
|
|
//! pub fn render_to<W: Write>(output: &mut W) {
|
2016-10-29 16:54:04 -05:00
|
|
|
//! let nodes = vec!["{x,y}","{x}","{y}","{}"];
|
|
|
|
//! let edges = vec![(0,1), (0,2), (1,3), (2,3)];
|
2014-11-25 20:17:11 -06:00
|
|
|
//! let graph = Graph { nodes: nodes, edges: edges };
|
|
|
|
//!
|
|
|
|
//! dot::render(&graph, output).unwrap()
|
|
|
|
//! }
|
|
|
|
//!
|
2016-01-26 15:23:05 -06:00
|
|
|
//! impl<'a> dot::Labeller<'a> for Graph {
|
|
|
|
//! type Node = Nd;
|
|
|
|
//! type Edge = Ed<'a>;
|
2014-11-25 20:17:11 -06:00
|
|
|
//! fn graph_id(&'a self) -> dot::Id<'a> { dot::Id::new("example2").unwrap() }
|
|
|
|
//! fn node_id(&'a self, n: &Nd) -> dot::Id<'a> {
|
|
|
|
//! dot::Id::new(format!("N{}", n)).unwrap()
|
|
|
|
//! }
|
2022-12-23 08:59:53 -06:00
|
|
|
//! fn node_label(&self, n: &Nd) -> dot::LabelText<'_> {
|
2015-11-03 09:33:58 -06:00
|
|
|
//! dot::LabelText::LabelStr(self.nodes[*n].into())
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
2023-05-06 16:12:29 -05:00
|
|
|
//! fn edge_label(&self, _: &Ed<'_>) -> dot::LabelText<'_> {
|
2015-11-03 09:33:58 -06:00
|
|
|
//! dot::LabelText::LabelStr("⊆".into())
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
|
|
|
//! }
|
|
|
|
//!
|
2016-01-26 15:23:05 -06:00
|
|
|
//! impl<'a> dot::GraphWalk<'a> for Graph {
|
|
|
|
//! type Node = Nd;
|
|
|
|
//! type Edge = Ed<'a>;
|
2015-01-26 15:05:07 -06:00
|
|
|
//! fn nodes(&self) -> dot::Nodes<'a,Nd> { (0..self.nodes.len()).collect() }
|
2014-11-25 20:17:11 -06:00
|
|
|
//! fn edges(&'a self) -> dot::Edges<'a,Ed<'a>> { self.edges.iter().collect() }
|
2023-05-06 16:12:29 -05:00
|
|
|
//! fn source(&self, e: &Ed<'_>) -> Nd { let & &(s,_) = e; s }
|
|
|
|
//! fn target(&self, e: &Ed<'_>) -> Nd { let & &(_,t) = e; t }
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
|
|
|
//!
|
|
|
|
//! # pub fn main() { render_to(&mut Vec::new()) }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! ```no_run
|
2015-03-11 17:24:14 -05:00
|
|
|
//! # pub fn render_to<W:std::io::Write>(output: &mut W) { unimplemented!() }
|
2014-11-25 20:17:11 -06:00
|
|
|
//! pub fn main() {
|
2015-03-11 17:24:14 -05:00
|
|
|
//! use std::fs::File;
|
|
|
|
//! let mut f = File::create("example2.dot").unwrap();
|
2014-11-25 20:17:11 -06:00
|
|
|
//! render_to(&mut f)
|
|
|
|
//! }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! The third example is similar to the second, except now each node and
|
|
|
|
//! edge now carries a reference to the string label for each node as well
|
|
|
|
//! as that node's index. (This is another illustration of how to share
|
|
|
|
//! structure with the graph itself, and why one might want to do so.)
|
|
|
|
//!
|
|
|
|
//! The output from this example is the same as the second example: the
|
|
|
|
//! Hasse-diagram for the subsets of the set `{x, y}`.
|
|
|
|
//!
|
|
|
|
//! ```rust
|
2015-11-03 09:33:58 -06:00
|
|
|
//! #![feature(rustc_private)]
|
2015-07-27 09:50:19 -05:00
|
|
|
//!
|
2015-03-11 17:24:14 -05:00
|
|
|
//! use std::io::Write;
|
2020-06-02 12:19:49 -05:00
|
|
|
//! use rustc_graphviz as dot;
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
2015-03-23 17:54:39 -05:00
|
|
|
//! type Nd<'a> = (usize, &'a str);
|
2014-11-25 20:17:11 -06:00
|
|
|
//! type Ed<'a> = (Nd<'a>, Nd<'a>);
|
2015-03-23 17:54:39 -05:00
|
|
|
//! struct Graph { nodes: Vec<&'static str>, edges: Vec<(usize,usize)> }
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
2015-03-11 17:24:14 -05:00
|
|
|
//! pub fn render_to<W: Write>(output: &mut W) {
|
2016-10-29 16:54:04 -05:00
|
|
|
//! let nodes = vec!["{x,y}","{x}","{y}","{}"];
|
|
|
|
//! let edges = vec![(0,1), (0,2), (1,3), (2,3)];
|
2014-11-25 20:17:11 -06:00
|
|
|
//! let graph = Graph { nodes: nodes, edges: edges };
|
|
|
|
//!
|
|
|
|
//! dot::render(&graph, output).unwrap()
|
|
|
|
//! }
|
|
|
|
//!
|
2016-01-26 15:23:05 -06:00
|
|
|
//! impl<'a> dot::Labeller<'a> for Graph {
|
|
|
|
//! type Node = Nd<'a>;
|
|
|
|
//! type Edge = Ed<'a>;
|
2014-11-25 20:17:11 -06:00
|
|
|
//! fn graph_id(&'a self) -> dot::Id<'a> { dot::Id::new("example3").unwrap() }
|
|
|
|
//! fn node_id(&'a self, n: &Nd<'a>) -> dot::Id<'a> {
|
2014-12-09 14:15:10 -06:00
|
|
|
//! dot::Id::new(format!("N{}", n.0)).unwrap()
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
2023-05-06 16:12:29 -05:00
|
|
|
//! fn node_label(&self, n: &Nd<'_>) -> dot::LabelText<'_> {
|
2014-11-25 20:17:11 -06:00
|
|
|
//! let &(i, _) = n;
|
2015-11-03 09:33:58 -06:00
|
|
|
//! dot::LabelText::LabelStr(self.nodes[i].into())
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
2023-05-06 16:12:29 -05:00
|
|
|
//! fn edge_label(&self, _: &Ed<'_>) -> dot::LabelText<'_> {
|
2015-11-03 09:33:58 -06:00
|
|
|
//! dot::LabelText::LabelStr("⊆".into())
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
|
|
|
//! }
|
|
|
|
//!
|
2016-01-26 15:23:05 -06:00
|
|
|
//! impl<'a> dot::GraphWalk<'a> for Graph {
|
|
|
|
//! type Node = Nd<'a>;
|
|
|
|
//! type Edge = Ed<'a>;
|
2014-11-25 20:17:11 -06:00
|
|
|
//! fn nodes(&'a self) -> dot::Nodes<'a,Nd<'a>> {
|
2015-03-23 17:54:39 -05:00
|
|
|
//! self.nodes.iter().map(|s| &s[..]).enumerate().collect()
|
2014-11-25 20:17:11 -06:00
|
|
|
//! }
|
|
|
|
//! fn edges(&'a self) -> dot::Edges<'a,Ed<'a>> {
|
|
|
|
//! self.edges.iter()
|
2015-03-23 17:54:39 -05:00
|
|
|
//! .map(|&(i,j)|((i, &self.nodes[i][..]),
|
|
|
|
//! (j, &self.nodes[j][..])))
|
2014-11-25 20:17:11 -06:00
|
|
|
//! .collect()
|
|
|
|
//! }
|
|
|
|
//! fn source(&self, e: &Ed<'a>) -> Nd<'a> { let &(s,_) = e; s }
|
|
|
|
//! fn target(&self, e: &Ed<'a>) -> Nd<'a> { let &(_,t) = e; t }
|
|
|
|
//! }
|
|
|
|
//!
|
|
|
|
//! # pub fn main() { render_to(&mut Vec::new()) }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! ```no_run
|
2015-03-11 17:24:14 -05:00
|
|
|
//! # pub fn render_to<W:std::io::Write>(output: &mut W) { unimplemented!() }
|
2014-11-25 20:17:11 -06:00
|
|
|
//! pub fn main() {
|
2015-03-11 17:24:14 -05:00
|
|
|
//! use std::fs::File;
|
|
|
|
//! let mut f = File::create("example3.dot").unwrap();
|
2014-11-25 20:17:11 -06:00
|
|
|
//! render_to(&mut f)
|
|
|
|
//! }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! # References
|
|
|
|
//!
|
2021-06-23 15:26:46 -05:00
|
|
|
//! * [Graphviz](https://www.graphviz.org/)
|
2014-11-25 20:17:11 -06:00
|
|
|
//!
|
2021-06-23 15:26:46 -05:00
|
|
|
//! * [DOT language](https://www.graphviz.org/doc/info/lang.html)
|
2014-04-25 12:10:03 -05:00
|
|
|
|
2019-02-05 07:37:15 -06:00
|
|
|
#![doc(
|
2020-09-23 14:51:56 -05:00
|
|
|
html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/",
|
2015-11-03 09:33:58 -06:00
|
|
|
test(attr(allow(unused_variables), deny(warnings)))
|
|
|
|
)]
|
2022-08-18 13:27:29 -05:00
|
|
|
#![deny(rustc::untranslatable_diagnostic)]
|
|
|
|
#![deny(rustc::diagnostic_outside_of_impl)]
|
2014-11-06 02:05:53 -06:00
|
|
|
|
2019-02-02 11:29:08 -06:00
|
|
|
use LabelText::*;
|
2014-04-25 12:10:03 -05:00
|
|
|
|
2018-10-05 07:16:10 -05:00
|
|
|
use std::borrow::Cow;
|
2015-03-11 17:24:14 -05:00
|
|
|
use std::io;
|
|
|
|
use std::io::prelude::*;
|
2014-04-25 12:10:03 -05:00
|
|
|
|
|
|
|
/// The text for a graphviz label on a node or edge.
|
|
|
|
pub enum LabelText<'a> {
|
|
|
|
/// This kind of label preserves the text directly as is.
|
|
|
|
///
|
|
|
|
/// Occurrences of backslashes (`\`) are escaped, and thus appear
|
|
|
|
/// as backslashes in the rendered label.
|
2015-02-18 17:58:07 -06:00
|
|
|
LabelStr(Cow<'a, str>),
|
2014-04-25 12:10:03 -05:00
|
|
|
|
|
|
|
/// This kind of label uses the graphviz label escString type:
|
2022-05-11 06:21:10 -05:00
|
|
|
/// <https://www.graphviz.org/docs/attr-types/escString>
|
2014-04-25 12:10:03 -05:00
|
|
|
///
|
|
|
|
/// Occurrences of backslashes (`\`) are not escaped; instead they
|
|
|
|
/// are interpreted as initiating an escString escape sequence.
|
|
|
|
///
|
|
|
|
/// Escape sequences of particular interest: in addition to `\n`
|
|
|
|
/// to break a line (centering the line preceding the `\n`), there
|
|
|
|
/// are also the escape sequences `\l` which left-justifies the
|
|
|
|
/// preceding line and `\r` which right-justifies it.
|
2015-02-18 17:58:07 -06:00
|
|
|
EscStr(Cow<'a, str>),
|
2015-08-18 16:50:56 -05:00
|
|
|
|
|
|
|
/// This uses a graphviz [HTML string label][html]. The string is
|
|
|
|
/// printed exactly as given, but between `<` and `>`. **No
|
|
|
|
/// escaping is performed.**
|
|
|
|
///
|
2022-05-11 06:21:10 -05:00
|
|
|
/// [html]: https://www.graphviz.org/doc/info/shapes.html#html
|
2015-08-18 16:50:56 -05:00
|
|
|
HtmlStr(Cow<'a, str>),
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
2015-07-14 17:17:37 -05:00
|
|
|
/// The style for a node or edge.
|
2022-05-11 06:21:10 -05:00
|
|
|
/// See <https://www.graphviz.org/docs/attr-types/style/> for descriptions.
|
2015-07-14 17:17:37 -05:00
|
|
|
/// Note that some of these are not valid for edges.
|
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, Debug)]
|
|
|
|
pub enum Style {
|
|
|
|
None,
|
|
|
|
Solid,
|
|
|
|
Dashed,
|
|
|
|
Dotted,
|
|
|
|
Bold,
|
|
|
|
Rounded,
|
|
|
|
Diagonals,
|
|
|
|
Filled,
|
|
|
|
Striped,
|
|
|
|
Wedged,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Style {
|
|
|
|
pub fn as_slice(self) -> &'static str {
|
|
|
|
match self {
|
|
|
|
Style::None => "",
|
|
|
|
Style::Solid => "solid",
|
|
|
|
Style::Dashed => "dashed",
|
|
|
|
Style::Dotted => "dotted",
|
|
|
|
Style::Bold => "bold",
|
|
|
|
Style::Rounded => "rounded",
|
|
|
|
Style::Diagonals => "diagonals",
|
|
|
|
Style::Filled => "filled",
|
|
|
|
Style::Striped => "striped",
|
|
|
|
Style::Wedged => "wedged",
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-25 12:10:03 -05:00
|
|
|
// There is a tension in the design of the labelling API.
|
|
|
|
//
|
|
|
|
// For example, I considered making a `Labeller<T>` trait that
|
|
|
|
// provides labels for `T`, and then making the graph type `G`
|
|
|
|
// implement `Labeller<Node>` and `Labeller<Edge>`. However, this is
|
|
|
|
// not possible without functional dependencies. (One could work
|
|
|
|
// around that, but I did not explore that avenue heavily.)
|
|
|
|
//
|
|
|
|
// Another approach that I actually used for a while was to make a
|
|
|
|
// `Label<Context>` trait that is implemented by the client-specific
|
|
|
|
// Node and Edge types (as well as an implementation on Graph itself
|
|
|
|
// for the overall name for the graph). The main disadvantage of this
|
|
|
|
// second approach (compared to having the `G` type parameter
|
|
|
|
// implement a Labelling service) that I have encountered is that it
|
|
|
|
// makes it impossible to use types outside of the current crate
|
|
|
|
// directly as Nodes/Edges; you need to wrap them in newtype'd
|
2018-11-26 20:59:49 -06:00
|
|
|
// structs. See e.g., the `No` and `Ed` structs in the examples. (In
|
2014-04-25 12:10:03 -05:00
|
|
|
// practice clients using a graph in some other crate would need to
|
|
|
|
// provide some sort of adapter shim over the graph anyway to
|
|
|
|
// interface with this library).
|
|
|
|
//
|
|
|
|
// Another approach would be to make a single `Labeller<N,E>` trait
|
|
|
|
// that provides three methods (graph_label, node_label, edge_label),
|
|
|
|
// and then make `G` implement `Labeller<N,E>`. At first this did not
|
|
|
|
// appeal to me, since I had thought I would need separate methods on
|
|
|
|
// each data variant for dot-internal identifiers versus user-visible
|
|
|
|
// labels. However, the identifier/label distinction only arises for
|
|
|
|
// nodes; graphs themselves only have identifiers, and edges only have
|
|
|
|
// labels.
|
|
|
|
//
|
|
|
|
// So in the end I decided to use the third approach described above.
|
|
|
|
|
|
|
|
/// `Id` is a Graphviz `ID`.
|
|
|
|
pub struct Id<'a> {
|
2015-02-18 17:58:07 -06:00
|
|
|
name: Cow<'a, str>,
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> Id<'a> {
|
|
|
|
/// Creates an `Id` named `name`.
|
|
|
|
///
|
|
|
|
/// The caller must ensure that the input conforms to an
|
|
|
|
/// identifier format: it must be a non-empty string made up of
|
|
|
|
/// alphanumeric or underscore characters, not beginning with a
|
2018-11-26 20:59:49 -06:00
|
|
|
/// digit (i.e., the regular expression `[a-zA-Z_][a-zA-Z_0-9]*`).
|
2014-04-25 12:10:03 -05:00
|
|
|
///
|
|
|
|
/// (Note: this format is a strict subset of the `ID` format
|
2019-02-08 07:53:55 -06:00
|
|
|
/// defined by the DOT language. This function may change in the
|
2014-04-25 12:10:03 -05:00
|
|
|
/// future to accept a broader subset, or the entirety, of DOT's
|
|
|
|
/// `ID` format.)
|
2014-11-12 09:21:03 -06:00
|
|
|
///
|
|
|
|
/// Passing an invalid string (containing spaces, brackets,
|
|
|
|
/// quotes, ...) will return an empty `Err` value.
|
2018-10-05 07:16:10 -05:00
|
|
|
pub fn new<Name: Into<Cow<'a, str>>>(name: Name) -> Result<Id<'a>, ()> {
|
|
|
|
let name = name.into();
|
2017-12-17 06:04:42 -06:00
|
|
|
match name.chars().next() {
|
|
|
|
Some(c) if c.is_ascii_alphabetic() || c == '_' => {}
|
|
|
|
_ => return Err(()),
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
2017-12-17 06:04:42 -06:00
|
|
|
if !name.chars().all(|c| c.is_ascii_alphanumeric() || c == '_') {
|
|
|
|
return Err(());
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
2018-08-10 06:13:50 -05:00
|
|
|
|
|
|
|
Ok(Id { name })
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn as_slice(&'a self) -> &'a str {
|
2022-11-29 05:01:17 -06:00
|
|
|
&self.name
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Each instance of a type that implements `Label<C>` maps to a
|
|
|
|
/// unique identifier with respect to `C`, which is used to identify
|
|
|
|
/// it in the generated .dot file. They can also provide more
|
|
|
|
/// elaborate (and non-unique) label text that is used in the graphviz
|
|
|
|
/// rendered output.
|
|
|
|
|
|
|
|
/// The graph instance is responsible for providing the DOT compatible
|
|
|
|
/// identifiers for the nodes and (optionally) rendered labels for the nodes and
|
|
|
|
/// edges, as well as an identifier for the graph itself.
|
2016-01-26 15:23:05 -06:00
|
|
|
pub trait Labeller<'a> {
|
|
|
|
type Node;
|
|
|
|
type Edge;
|
|
|
|
|
2014-04-25 12:10:03 -05:00
|
|
|
/// Must return a DOT compatible identifier naming the graph.
|
|
|
|
fn graph_id(&'a self) -> Id<'a>;
|
|
|
|
|
|
|
|
/// Maps `n` to a unique identifier with respect to `self`. The
|
2015-10-13 08:44:11 -05:00
|
|
|
/// implementor is responsible for ensuring that the returned name
|
2014-04-25 12:10:03 -05:00
|
|
|
/// is a valid DOT identifier.
|
2016-01-26 15:23:05 -06:00
|
|
|
fn node_id(&'a self, n: &Self::Node) -> Id<'a>;
|
2014-04-25 12:10:03 -05:00
|
|
|
|
2015-08-18 16:50:56 -05:00
|
|
|
/// Maps `n` to one of the [graphviz `shape` names][1]. If `None`
|
|
|
|
/// is returned, no `shape` attribute is specified.
|
|
|
|
///
|
2022-05-11 06:21:10 -05:00
|
|
|
/// [1]: https://www.graphviz.org/doc/info/shapes.html
|
2016-01-26 15:23:05 -06:00
|
|
|
fn node_shape(&'a self, _node: &Self::Node) -> Option<LabelText<'a>> {
|
2015-08-18 16:50:56 -05:00
|
|
|
None
|
|
|
|
}
|
|
|
|
|
2014-04-25 12:10:03 -05:00
|
|
|
/// 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`.
|
2016-01-26 15:23:05 -06:00
|
|
|
fn node_label(&'a self, n: &Self::Node) -> LabelText<'a> {
|
2014-04-25 12:10:03 -05:00
|
|
|
LabelStr(self.node_id(n).name)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// 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.
|
2017-12-17 06:04:42 -06:00
|
|
|
fn edge_label(&'a self, _e: &Self::Edge) -> LabelText<'a> {
|
2018-10-05 07:16:10 -05:00
|
|
|
LabelStr("".into())
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
2015-07-14 17:17:37 -05:00
|
|
|
|
|
|
|
/// Maps `n` to a style that will be used in the rendered output.
|
2016-01-26 15:23:05 -06:00
|
|
|
fn node_style(&'a self, _n: &Self::Node) -> Style {
|
2015-07-14 17:17:37 -05:00
|
|
|
Style::None
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Maps `e` to a style that will be used in the rendered output.
|
2016-01-26 15:23:05 -06:00
|
|
|
fn edge_style(&'a self, _e: &Self::Edge) -> Style {
|
2015-07-14 17:17:37 -05:00
|
|
|
Style::None
|
|
|
|
}
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
2015-08-18 16:50:56 -05:00
|
|
|
/// Escape tags in such a way that it is suitable for inclusion in a
|
|
|
|
/// Graphviz HTML label.
|
|
|
|
pub fn escape_html(s: &str) -> String {
|
2022-08-25 11:43:46 -05:00
|
|
|
s.replace('&', "&")
|
|
|
|
.replace('\"', """)
|
|
|
|
.replace('<', "<")
|
|
|
|
.replace('>', ">")
|
|
|
|
.replace('\n', "<br align=\"left\"/>")
|
2015-08-18 16:50:56 -05:00
|
|
|
}
|
|
|
|
|
2014-04-25 12:10:03 -05:00
|
|
|
impl<'a> LabelText<'a> {
|
2018-10-05 07:16:10 -05:00
|
|
|
pub fn label<S: Into<Cow<'a, str>>>(s: S) -> LabelText<'a> {
|
|
|
|
LabelStr(s.into())
|
2014-12-15 05:32:54 -06:00
|
|
|
}
|
|
|
|
|
2018-10-05 07:16:10 -05:00
|
|
|
pub fn html<S: Into<Cow<'a, str>>>(s: S) -> LabelText<'a> {
|
|
|
|
HtmlStr(s.into())
|
2015-08-18 16:50:56 -05:00
|
|
|
}
|
|
|
|
|
2015-09-04 22:44:26 -05:00
|
|
|
fn escape_char<F>(c: char, mut f: F)
|
|
|
|
where
|
|
|
|
F: FnMut(char),
|
|
|
|
{
|
2014-04-25 12:10:03 -05:00
|
|
|
match c {
|
|
|
|
// not escaping \\, since Graphviz escString needs to
|
|
|
|
// interpret backslashes; see EscStr above.
|
|
|
|
'\\' => f(c),
|
2015-11-23 17:11:20 -06:00
|
|
|
_ => {
|
|
|
|
for c in c.escape_default() {
|
|
|
|
f(c)
|
|
|
|
}
|
|
|
|
}
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
}
|
2014-05-22 18:57:53 -05:00
|
|
|
fn escape_str(s: &str) -> String {
|
|
|
|
let mut out = String::with_capacity(s.len());
|
2014-04-25 12:10:03 -05:00
|
|
|
for c in s.chars() {
|
2014-09-22 10:28:35 -05:00
|
|
|
LabelText::escape_char(c, |c| out.push(c));
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
out
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Renders text as string suitable for a label in a .dot file.
|
2017-08-11 13:34:14 -05:00
|
|
|
/// This includes quotes or suitable delimiters.
|
2015-08-18 16:50:56 -05:00
|
|
|
pub fn to_dot_string(&self) -> String {
|
2018-08-10 06:13:50 -05:00
|
|
|
match *self {
|
|
|
|
LabelStr(ref s) => format!("\"{}\"", s.escape_default()),
|
2022-11-29 05:01:17 -06:00
|
|
|
EscStr(ref s) => format!("\"{}\"", LabelText::escape_str(s)),
|
2022-12-19 03:31:55 -06:00
|
|
|
HtmlStr(ref s) => format!("<{s}>"),
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
}
|
2014-07-02 10:50:18 -05:00
|
|
|
|
|
|
|
/// Decomposes content into string suitable for making EscStr that
|
2019-02-08 07:53:55 -06:00
|
|
|
/// yields same content as self. The result obeys the law
|
2014-07-02 10:50:18 -05:00
|
|
|
/// render(`lt`) == render(`EscStr(lt.pre_escaped_content())`) for
|
|
|
|
/// all `lt: LabelText`.
|
2015-02-18 17:58:07 -06:00
|
|
|
fn pre_escaped_content(self) -> Cow<'a, str> {
|
2014-07-02 10:50:18 -05:00
|
|
|
match self {
|
|
|
|
EscStr(s) => s,
|
2015-11-23 17:11:20 -06:00
|
|
|
LabelStr(s) => {
|
|
|
|
if s.contains('\\') {
|
2022-11-29 05:01:17 -06:00
|
|
|
s.escape_default().to_string().into()
|
2015-11-23 17:11:20 -06:00
|
|
|
} else {
|
|
|
|
s
|
|
|
|
}
|
|
|
|
}
|
2015-08-18 16:50:56 -05:00
|
|
|
HtmlStr(s) => s,
|
2014-07-02 10:50:18 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Puts `suffix` on a line below this label, with a blank line separator.
|
2019-02-02 11:29:08 -06:00
|
|
|
pub fn suffix_line(self, suffix: LabelText<'_>) -> LabelText<'static> {
|
2014-12-10 21:46:38 -06:00
|
|
|
let mut prefix = self.pre_escaped_content().into_owned();
|
2014-07-02 10:50:18 -05:00
|
|
|
let suffix = suffix.pre_escaped_content();
|
2014-09-22 10:28:35 -05:00
|
|
|
prefix.push_str(r"\n\n");
|
2017-03-24 03:31:26 -05:00
|
|
|
prefix.push_str(&suffix);
|
2018-10-05 07:16:10 -05:00
|
|
|
EscStr(prefix.into())
|
2014-07-02 10:50:18 -05:00
|
|
|
}
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
2015-02-18 17:58:07 -06:00
|
|
|
pub type Nodes<'a, N> = Cow<'a, [N]>;
|
|
|
|
pub type Edges<'a, E> = Cow<'a, [E]>;
|
2014-04-25 12:10:03 -05:00
|
|
|
|
|
|
|
// (The type parameters in GraphWalk should be associated items,
|
|
|
|
// when/if Rust supports such.)
|
|
|
|
|
|
|
|
/// GraphWalk is an abstraction over a directed graph = (nodes,edges)
|
|
|
|
/// made up of node handles `N` and edge handles `E`, where each `E`
|
|
|
|
/// can be mapped to its source and target nodes.
|
|
|
|
///
|
|
|
|
/// The lifetime parameter `'a` is exposed in this trait (rather than
|
|
|
|
/// introduced as a generic parameter on each method declaration) so
|
|
|
|
/// that a client impl can choose `N` and `E` that have substructure
|
|
|
|
/// that is bound by the self lifetime `'a`.
|
|
|
|
///
|
|
|
|
/// The `nodes` and `edges` method each return instantiations of
|
2015-10-13 08:44:11 -05:00
|
|
|
/// `Cow<[T]>` to leave implementors the freedom to create
|
2014-04-25 12:10:03 -05:00
|
|
|
/// entirely new vectors or to pass back slices into internally owned
|
|
|
|
/// vectors.
|
2016-01-26 15:23:05 -06:00
|
|
|
pub trait GraphWalk<'a> {
|
|
|
|
type Node: Clone;
|
|
|
|
type Edge: Clone;
|
|
|
|
|
2014-04-25 12:10:03 -05:00
|
|
|
/// Returns all the nodes in this graph.
|
2016-01-26 15:23:05 -06:00
|
|
|
fn nodes(&'a self) -> Nodes<'a, Self::Node>;
|
2014-04-25 12:10:03 -05:00
|
|
|
/// Returns all of the edges in this graph.
|
2016-01-26 15:23:05 -06:00
|
|
|
fn edges(&'a self) -> Edges<'a, Self::Edge>;
|
2014-04-25 12:10:03 -05:00
|
|
|
/// The source node for `edge`.
|
2016-01-26 15:23:05 -06:00
|
|
|
fn source(&'a self, edge: &Self::Edge) -> Self::Node;
|
2014-04-25 12:10:03 -05:00
|
|
|
/// The target node for `edge`.
|
2016-01-26 15:23:05 -06:00
|
|
|
fn target(&'a self, edge: &Self::Edge) -> Self::Node;
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
2020-09-16 10:10:06 -05:00
|
|
|
#[derive(Clone, PartialEq, Eq, Debug)]
|
2014-12-15 05:37:42 -06:00
|
|
|
pub enum RenderOption {
|
|
|
|
NoEdgeLabels,
|
|
|
|
NoNodeLabels,
|
2015-07-14 17:17:37 -05:00
|
|
|
NoEdgeStyles,
|
|
|
|
NoNodeStyles,
|
2020-01-21 15:35:17 -06:00
|
|
|
|
2020-09-16 10:10:06 -05:00
|
|
|
Fontname(String),
|
2020-09-08 18:08:35 -05:00
|
|
|
DarkTheme,
|
2014-12-15 05:37:42 -06:00
|
|
|
}
|
|
|
|
|
2014-04-25 12:10:03 -05:00
|
|
|
/// Renders directed graph `g` into the writer `w` in DOT syntax.
|
2014-12-15 05:37:42 -06:00
|
|
|
/// (Simple wrapper around `render_opts` that passes a default set of options.)
|
2016-01-26 15:23:05 -06:00
|
|
|
pub fn render<'a, N, E, G, W>(g: &'a G, w: &mut W) -> io::Result<()>
|
|
|
|
where
|
|
|
|
N: Clone + 'a,
|
|
|
|
E: Clone + 'a,
|
|
|
|
G: Labeller<'a, Node = N, Edge = E> + GraphWalk<'a, Node = N, Edge = E>,
|
|
|
|
W: Write,
|
|
|
|
{
|
2014-12-15 05:37:42 -06:00
|
|
|
render_opts(g, w, &[])
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Renders directed graph `g` into the writer `w` in DOT syntax.
|
|
|
|
/// (Main entry point for the library.)
|
2016-01-26 15:23:05 -06:00
|
|
|
pub fn render_opts<'a, N, E, G, W>(g: &'a G, w: &mut W, options: &[RenderOption]) -> io::Result<()>
|
|
|
|
where
|
|
|
|
N: Clone + 'a,
|
|
|
|
E: Clone + 'a,
|
|
|
|
G: Labeller<'a, Node = N, Edge = E> + GraphWalk<'a, Node = N, Edge = E>,
|
|
|
|
W: Write,
|
|
|
|
{
|
2017-12-17 06:04:42 -06:00
|
|
|
writeln!(w, "digraph {} {{", g.graph_id().as_slice())?;
|
2020-01-21 15:35:17 -06:00
|
|
|
|
|
|
|
// Global graph properties
|
2020-09-08 18:08:35 -05:00
|
|
|
let mut graph_attrs = Vec::new();
|
|
|
|
let mut content_attrs = Vec::new();
|
2020-09-16 10:10:06 -05:00
|
|
|
let font;
|
|
|
|
if let Some(fontname) = options.iter().find_map(|option| {
|
|
|
|
if let RenderOption::Fontname(fontname) = option { Some(fontname) } else { None }
|
|
|
|
}) {
|
2022-12-19 03:31:55 -06:00
|
|
|
font = format!(r#"fontname="{fontname}""#);
|
2020-09-16 10:10:06 -05:00
|
|
|
graph_attrs.push(&font[..]);
|
|
|
|
content_attrs.push(&font[..]);
|
|
|
|
}
|
2020-09-08 18:08:35 -05:00
|
|
|
if options.contains(&RenderOption::DarkTheme) {
|
|
|
|
graph_attrs.push(r#"bgcolor="black""#);
|
2020-10-05 18:36:10 -05:00
|
|
|
graph_attrs.push(r#"fontcolor="white""#);
|
2020-09-08 18:08:35 -05:00
|
|
|
content_attrs.push(r#"color="white""#);
|
|
|
|
content_attrs.push(r#"fontcolor="white""#);
|
|
|
|
}
|
|
|
|
if !(graph_attrs.is_empty() && content_attrs.is_empty()) {
|
|
|
|
writeln!(w, r#" graph[{}];"#, graph_attrs.join(" "))?;
|
|
|
|
let content_attrs_str = content_attrs.join(" ");
|
2022-12-19 03:31:55 -06:00
|
|
|
writeln!(w, r#" node[{content_attrs_str}];"#)?;
|
|
|
|
writeln!(w, r#" edge[{content_attrs_str}];"#)?;
|
2020-01-21 15:35:17 -06:00
|
|
|
}
|
|
|
|
|
2020-10-28 11:04:44 -05:00
|
|
|
let mut text = Vec::new();
|
2015-06-11 07:56:07 -05:00
|
|
|
for n in g.nodes().iter() {
|
2017-12-17 06:04:42 -06:00
|
|
|
write!(w, " ")?;
|
2014-04-25 12:10:03 -05:00
|
|
|
let id = g.node_id(n);
|
2015-07-14 17:17:37 -05:00
|
|
|
|
2015-08-18 16:50:56 -05:00
|
|
|
let escaped = &g.node_label(n).to_dot_string();
|
2015-07-14 17:17:37 -05:00
|
|
|
|
2017-12-17 06:04:42 -06:00
|
|
|
write!(text, "{}", id.as_slice()).unwrap();
|
2015-07-14 17:17:37 -05:00
|
|
|
|
|
|
|
if !options.contains(&RenderOption::NoNodeLabels) {
|
2022-12-19 03:31:55 -06:00
|
|
|
write!(text, "[label={escaped}]").unwrap();
|
2015-07-14 17:17:37 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
let style = g.node_style(n);
|
|
|
|
if !options.contains(&RenderOption::NoNodeStyles) && style != Style::None {
|
2017-12-17 06:04:42 -06:00
|
|
|
write!(text, "[style=\"{}\"]", style.as_slice()).unwrap();
|
2014-12-15 05:37:42 -06:00
|
|
|
}
|
2015-07-14 17:17:37 -05:00
|
|
|
|
2015-08-18 16:50:56 -05:00
|
|
|
if let Some(s) = g.node_shape(n) {
|
2017-12-17 06:04:42 -06:00
|
|
|
write!(text, "[shape={}]", &s.to_dot_string()).unwrap();
|
2015-08-18 16:50:56 -05:00
|
|
|
}
|
|
|
|
|
2017-12-17 06:04:42 -06:00
|
|
|
writeln!(text, ";").unwrap();
|
2021-12-02 20:06:36 -06:00
|
|
|
w.write_all(&text)?;
|
2020-10-28 11:04:44 -05:00
|
|
|
|
|
|
|
text.clear();
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
2015-06-11 07:56:07 -05:00
|
|
|
for e in g.edges().iter() {
|
2015-08-18 16:50:56 -05:00
|
|
|
let escaped_label = &g.edge_label(e).to_dot_string();
|
2017-12-17 06:04:42 -06:00
|
|
|
write!(w, " ")?;
|
2014-04-25 12:10:03 -05:00
|
|
|
let source = g.source(e);
|
|
|
|
let target = g.target(e);
|
|
|
|
let source_id = g.node_id(&source);
|
|
|
|
let target_id = g.node_id(&target);
|
2015-07-14 17:17:37 -05:00
|
|
|
|
2017-12-17 06:04:42 -06:00
|
|
|
write!(text, "{} -> {}", source_id.as_slice(), target_id.as_slice()).unwrap();
|
2015-07-14 17:17:37 -05:00
|
|
|
|
|
|
|
if !options.contains(&RenderOption::NoEdgeLabels) {
|
2022-12-19 03:31:55 -06:00
|
|
|
write!(text, "[label={escaped_label}]").unwrap();
|
2015-07-14 17:17:37 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
let style = g.edge_style(e);
|
|
|
|
if !options.contains(&RenderOption::NoEdgeStyles) && style != Style::None {
|
2017-12-17 06:04:42 -06:00
|
|
|
write!(text, "[style=\"{}\"]", style.as_slice()).unwrap();
|
2014-12-15 05:37:42 -06:00
|
|
|
}
|
2015-07-14 17:17:37 -05:00
|
|
|
|
2017-12-17 06:04:42 -06:00
|
|
|
writeln!(text, ";").unwrap();
|
2021-12-02 20:06:36 -06:00
|
|
|
w.write_all(&text)?;
|
2020-10-28 11:04:44 -05:00
|
|
|
|
|
|
|
text.clear();
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
2017-12-17 06:04:42 -06:00
|
|
|
writeln!(w, "}}")
|
2014-04-25 12:10:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
2019-06-05 10:55:07 -05:00
|
|
|
mod tests;
|