public final class DotExport
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DOT_BIN_DIR_KEY |
Constructor and Description |
---|
DotExport(org.eclipse.gef4.graph.Graph graph) |
DotExport(java.lang.String dotString) |
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.io.File |
toImage(java.lang.String dotBinDir,
java.lang.String resultFile) |
java.io.File |
toImage(java.lang.String dotDir,
java.lang.String format,
java.lang.String resultFile) |
java.lang.String |
toString() |
public static final java.lang.String DOT_BIN_DIR_KEY
public DotExport(org.eclipse.gef4.graph.Graph graph)
graph
- The Zest graph to export to DOTpublic DotExport(java.lang.String dotString)
dotString
- The DOT graph to export to an imagepublic java.lang.String toDotString()
public java.io.File toDotFile(java.io.File destination)
destination
- The file to store the DOT exportpublic java.io.File toImage(java.lang.String dotBinDir, java.lang.String resultFile)
dotBinDir
- The directory containing the local Graphviz 'dot' binary, e.g.
"/usr/bin"resultFile
- The output image file name, e.g. "output.pdf" (can be null,
will result in export to temp result file with unpecified
default format)toDotString()
with Graphviz, using the format of the
specified output filepublic java.io.File toImage(java.lang.String dotDir, java.lang.String format, java.lang.String resultFile)
dotDir
- The directory containing the 'dot' executable of the local
Graphviz installationformat
- The image format to export the graph to (e.g. 'pdf' or 'png')resultFile
- public java.lang.String toString()
toString
in class java.lang.Object
Copyright (c) 2014 itemis AG and others. All rights reserved.