public class DotExport
extends java.lang.Object
Graph
with DotAttributes
.Constructor and Description |
---|
DotExport() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
exportDot(org.eclipse.gef.graph.Graph graph) |
java.io.File |
exportDot(org.eclipse.gef.graph.Graph graph,
java.lang.String pathname) |
java.lang.String |
exportDot(java.util.List<org.eclipse.gef.graph.Graph> graphs) |
java.io.File |
exportDot(java.util.List<org.eclipse.gef.graph.Graph> graphs,
java.lang.String pathname) |
public java.lang.String exportDot(org.eclipse.gef.graph.Graph graph)
public java.lang.String exportDot(java.util.List<org.eclipse.gef.graph.Graph> graphs)
public java.io.File exportDot(org.eclipse.gef.graph.Graph graph, java.lang.String pathname)
public java.io.File exportDot(java.util.List<org.eclipse.gef.graph.Graph> graphs, java.lang.String pathname)
Copyright (c) 2014 itemis AG and others. All rights reserved.