Class GraphvizReader<V,A>

java.lang.Object
org.jhotdraw8.graph.io.GraphvizReader<V,A>
Type Parameters:
V - the vertex data type
A - the arrow data type

public class GraphvizReader<V,A> extends Object
Reads a graph from a graphviz "dot" file.

Parses the following productions. Does not support subgraphs!

 graph        : [ strict ] (graph | digraph) [ ID ] '{' stmt_list '}'
 stmt_list    : [ stmt [ ';' ] stmt_list ]
 stmt         : node_stmt
              | edge_stmt
              | attr_stmt
              | ID '=' ID
              | subgraph
 attr_stmt    : (graph | node | edge) attr_list
 attr_list    : '[' [ a_list ] ']' [ attr_list ]
 a_list       : ID '=' ID [ (';' | ',') ] [ a_list ]
 edge_stmt    : (node_id | subgraph) edgeRHS [ attr_list ]
 edgeRHS      : edgeop (node_id | subgraph) [ edgeRHS ]
 node_stmt    : node_id [ attr_list ]  * node_id : ID [ port ]
 port         : ':' ID [ ':' compass_pt ]  * | ':' compass_pt
 subgraph     : [ subgraph [ ID ] ] '{' stmt_list '}'
 compass_pt   : (n | ne | e | se | s | sw | w | nw | c | _)
 edgeop       : -> | --
 

References:

Graphviz. DOT Language.
graphviz.org