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

Class ExporterPDF

java.lang.Object

javax.swing.filechooser.FileFilter

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

org.processmining.plugins.graphviz.visualisation.export.ExporterPDF

public class ExporterPDF
extends Exporter

Due to bugs in direct pdf export, first export to eps and then convert to pdf.

Author:

sander

Constructor Summary

Constructors

Constructor	Description
ExporterPDF()

Method Summary

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

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

accept, addExtension, getDescription

Methods inherited from class java.lang.Object

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

Constructor Detail

ExporterPDF

public ExporterPDF()

Method Detail

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