Package org.processmining.plugins.graphviz.dot.plugins

Class DotSVGExportPlugin

java.lang.Object

org.processmining.plugins.graphviz.dot.plugins.DotImageExportPlugin

org.processmining.plugins.graphviz.dot.plugins.DotSVGExportPlugin

public final class DotSVGExportPlugin
extends DotImageExportPlugin

Exports a Dot object

Author:

F. Mannhardt

Constructor Summary

Constructors

Constructor	Description
DotSVGExportPlugin()

Method Summary

Modifier and Type	Method	Description
void	exportAsSVG(org.processmining.framework.plugin.PluginContext context, Dot dot, java.io.File file)

Methods inherited from class org.processmining.plugins.graphviz.dot.plugins.DotImageExportPlugin

export

Methods inherited from class java.lang.Object

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

Constructor Detail

DotSVGExportPlugin

public DotSVGExportPlugin()

Method Detail

exportAsSVG

public void exportAsSVG(org.processmining.framework.plugin.PluginContext context,
                        Dot dot,
                        java.io.File file)
                 throws java.io.IOException

Throws:

java.io.IOException