public class DotWriter extends AbstractGraphTextWriter
extension_writer
Constructor and Description |
---|
DotWriter() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
createDotText(Grph graph,
boolean writeEdgeLabels) |
static void |
main(java.lang.String[] args) |
void |
printGraph(Grph g,
boolean writeEdgeLabels,
java.io.OutputStream os) |
void |
printGraph(Grph g,
java.io.PrintStream ps) |
java.lang.String |
to(java.util.Map<java.lang.String,java.lang.Object> map) |
printGraph, writeGraph
findWriter, getExtensions, writeGraph, writeGraph
public void printGraph(Grph g, java.io.PrintStream ps) throws java.io.IOException
printGraph
in class AbstractGraphTextWriter
java.io.IOException
public void printGraph(Grph g, boolean writeEdgeLabels, java.io.OutputStream os) throws java.io.IOException
java.io.IOException
public java.lang.String createDotText(Grph graph, boolean writeEdgeLabels)
public java.lang.String to(java.util.Map<java.lang.String,java.lang.Object> map)
public static void main(java.lang.String[] args)