org.eclipse.gef4.dot

Class DotExport

java.lang.Object

org.eclipse.gef4.dot.DotExport

public final class DotExport
extends java.lang.Object

Transformation of Graph instances to DOT strings or files, or via DOT to an image generated by calling the 'dot' executable.

Constructor Summary

Constructors

Constructor and Description
DotExport(org.eclipse.gef4.graph.Graph graph)
DotExport(java.lang.String dotString)

Method Summary

Modifier and Type	Method and Description
java.io.File	toDotFile(java.io.File destination) Export a Zest Graph to a DOT file.
java.lang.String	toDotString() Export a Zest Graph to a DOT string.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DotExport

public DotExport(org.eclipse.gef4.graph.Graph graph)

Parameters:

graph - The Zest graph to export to DOT

DotExport

public DotExport(java.lang.String dotString)

Parameters:

dotString - The DOT graph to export to an image

Method Detail

toDotString

public java.lang.String toDotString()

Export a Zest Graph to a DOT string.

Returns:

The DOT representation of the given Zest graph

toDotFile

public java.io.File toDotFile(java.io.File destination)

Export a Zest Graph to a DOT file.

Parameters:

destination - The file to store the DOT export

Returns:

The given file

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object