Package org.jgrapht.ext
Class DOTExporter<V,E>
java.lang.Object
org.jgrapht.ext.DOTExporter<V,E>
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
ConstructorsConstructorDescriptionConstructs 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
-
Constructor Details
-
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 Details
-
export
Exports a graph into a plain text file in DOT format.- Parameters:
writer
- the writer to which the graph to be exportedg
- the graph to be exported
-