public class ExporterTraceData
extends org.processmining.plugins.graphviz.visualisation.export.Exporter
Constructor and Description |
---|
ExporterTraceData(InductiveVisualMinerState state) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
escape(java.lang.String s) |
void |
export(org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel panel,
java.io.File file) |
java.lang.String |
getDescription() |
protected java.lang.String |
getExtension() |
public ExporterTraceData(InductiveVisualMinerState state)
public java.lang.String getDescription()
getDescription
in class org.processmining.plugins.graphviz.visualisation.export.Exporter
protected java.lang.String getExtension()
getExtension
in class org.processmining.plugins.graphviz.visualisation.export.Exporter
public void export(org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel panel, java.io.File file) throws java.lang.Exception
export
in class org.processmining.plugins.graphviz.visualisation.export.Exporter
java.lang.Exception
public static java.lang.String escape(java.lang.String s)