org.jgrapht.ext
Class DOTExporter<V,E>

java.lang.Object
  extended by org.jgrapht.ext.DOTExporter<V,E>

public class DOTExporter<V,E>
extends java.lang.Object

Exports a graph into a DOT file.

For a description of the format see http://en.wikipedia.org/wiki/DOT_language.

Author:
Trevor Harmon

Constructor Summary
DOTExporter()
          Constructs a new DOTExporter object with an integer name provider for the vertex IDs and null providers for the vertex and edge labels.
DOTExporter(VertexNameProvider<V> vertexIDProvider, VertexNameProvider<V> vertexLabelProvider, EdgeNameProvider<E> edgeLabelProvider)
          Constructs a new DOTExporter object with the given ID and label providers.
 
Method Summary
 void export(java.io.Writer writer, Graph<V,E> g)
          Exports a graph into a plain text file in DOT format.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DOTExporter

public DOTExporter()
Constructs a new DOTExporter object with an integer name provider for the vertex IDs and null providers for the vertex and edge labels.


DOTExporter

public DOTExporter(VertexNameProvider<V> vertexIDProvider,
                   VertexNameProvider<V> vertexLabelProvider,
                   EdgeNameProvider<E> edgeLabelProvider)
Constructs a new DOTExporter object with the given ID and label providers.

Parameters:
vertexIDProvider - for generating vertex IDs. Must not be null.
vertexLabelProvider - for generating vertex labels. If null, vertex labels will not be written to the file.
edgeLabelProvider - for generating edge labels. If null, edge labels will not be written to the file.
Method Detail

export

public void export(java.io.Writer writer,
                   Graph<V,E> g)
Exports a graph into a plain text file in DOT format.

Parameters:
writer - the writer to which the graph to be exported
g - the graph to be exported