public final class DotExport
extends java.lang.Object
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.lang.String |
toString() |
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.lang.String toString()
toString
in class java.lang.Object
Copyright (c) 2014 itemis AG and others. All rights reserved.