public class DotParser extends java.lang.Object implements GraphConstants
DIRECTED, DOUBLE, NORMAL, PLURAL_DUMMY, REVERSED, SINGULAR_DUMMY| Constructor and Description | 
|---|
| DotParser(java.io.Reader input,
         FastVector nodes,
         FastVector edges)Dot parser Constructor | 
| Modifier and Type | Method and Description | 
|---|---|
| java.lang.String | parse()This method parses the string or the InputStream that we
 passed in through the constructor and builds up the
 m_nodes and m_edges vectors | 
| static void | writeDOT(java.lang.String filename,
        java.lang.String graphName,
        FastVector nodes,
        FastVector edges)This method saves a graph in a file in DOT format. | 
public DotParser(java.io.Reader input,
                 FastVector nodes,
                 FastVector edges)
input - - The input, if passing in a string then
                encapsulate that in String reader objectnodes - - Vector to put in GraphNode objects,
                corresponding to the nodes parsed in from
                the inputedges - - Vector to put in GraphEdge objects,
                corresponding to the edges parsed in from
                the inputpublic java.lang.String parse()
public static void writeDOT(java.lang.String filename,
                            java.lang.String graphName,
                            FastVector nodes,
                            FastVector edges)
filename - - The name of the file to write in. (will overwrite)graphName - - The name of the graphnodes - - Vector containing all the nodesedges - - Vector containing all the edges