public class ExporterDot extends Exporter
Constructor and Description |
---|
ExporterDot() |
Modifier and Type | Method and Description |
---|---|
void |
export(NavigableSVGPanel panel,
java.io.File file) |
java.lang.String |
getDescription() |
protected java.lang.String |
getExtension() |
accept, addExtension
public java.lang.String getDescription()
getDescription
in class Exporter
protected java.lang.String getExtension()
getExtension
in class Exporter
public void export(NavigableSVGPanel panel, java.io.File file) throws java.lang.Exception