Package org.processmining.plugins.graphviz.visualisation.export

Class ExporterDot

java.lang.Object

javax.swing.filechooser.FileFilter

org.processmining.plugins.graphviz.visualisation.export.Exporter

org.processmining.plugins.graphviz.visualisation.export.ExporterDot

public class ExporterDot
extends Exporter

Constructor Summary

Constructors

Constructor	Description
ExporterDot()

Method Summary

Modifier and Type	Method	Description
void	export(NavigableSVGPanel panel, java.io.File file)
java.lang.String	getDescription()
protected java.lang.String	getExtension()

Methods inherited from class org.processmining.plugins.graphviz.visualisation.export.Exporter

accept, addExtension

Methods inherited from class java.lang.Object

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

Constructor Detail

ExporterDot

public ExporterDot()

Method Detail

getDescription

public java.lang.String getDescription()

Overrides:

getDescription in class Exporter

getExtension

protected java.lang.String getExtension()

Specified by:

getExtension in class Exporter

export

public void export(NavigableSVGPanel panel,
                   java.io.File file)
            throws java.lang.Exception

Specified by:

export in class Exporter

Throws:

java.lang.Exception