Package org.processmining.plugins.inductiveVisualMiner.export

Class ExportAnimation

java.lang.Object

org.processmining.plugins.inductiveVisualMiner.export.ExportAnimation

public class ExportAnimation
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static int	framerate
static double	timeMargin

Constructor Summary

Constructors

Constructor	Description
ExportAnimation()

Method Summary

Modifier and Type	Method	Description
static java.io.PipedInputStream	copy(org.processmining.plugins.InductiveMiner.Function<java.io.PipedOutputStream,java.lang.Object> f)
static boolean	saveAVItoFile(IvMLogFiltered filteredLog, TraceColourMap trace2colour, GraphVizTokens tokens, ProcessTreeVisualisationInfo info, Mode colourMode, com.kitfox.svg.SVGDiagram svg, org.processmining.plugins.graphviz.dot.Dot dot, java.io.File file, javax.swing.JPanel panel, Scaler scaler)
static boolean	saveAVItoFileUpdating(IvMLogFiltered filteredLog, TraceColourMap trace2colour, GraphVizTokens tokens, ProcessTreeVisualisationInfo visualisationInfo, Mode colourMode, com.kitfox.svg.SVGDiagram svg, org.processmining.plugins.graphviz.dot.Dot dot, java.io.File file, InductiveVisualMinerAnimationPanel panel, Scaler scaler, AlignedLogVisualisationData visualisationData, ProcessTreeVisualisationParameters visualisationParameters, IvMModel model, Selection selection)

Methods inherited from class java.lang.Object

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

Field Detail

timeMargin

public static final double timeMargin

See Also:

Constant Field Values

framerate

public static final int framerate

See Also:

Constant Field Values

Constructor Detail

ExportAnimation

public ExportAnimation()

Method Detail

saveAVItoFile

public static boolean saveAVItoFile(IvMLogFiltered filteredLog,
                                    TraceColourMap trace2colour,
                                    GraphVizTokens tokens,
                                    ProcessTreeVisualisationInfo info,
                                    Mode colourMode,
                                    com.kitfox.svg.SVGDiagram svg,
                                    org.processmining.plugins.graphviz.dot.Dot dot,
                                    java.io.File file,
                                    javax.swing.JPanel panel,
                                    Scaler scaler)
                             throws java.io.IOException,
                                    java.awt.geom.NoninvertibleTransformException

Throws:

java.io.IOException

java.awt.geom.NoninvertibleTransformException

copy

public static java.io.PipedInputStream copy(org.processmining.plugins.InductiveMiner.Function<java.io.PipedOutputStream,java.lang.Object> f)
                                     throws java.io.IOException

Throws:

java.io.IOException

saveAVItoFileUpdating

public static boolean saveAVItoFileUpdating(IvMLogFiltered filteredLog,
                                            TraceColourMap trace2colour,
                                            GraphVizTokens tokens,
                                            ProcessTreeVisualisationInfo visualisationInfo,
                                            Mode colourMode,
                                            com.kitfox.svg.SVGDiagram svg,
                                            org.processmining.plugins.graphviz.dot.Dot dot,
                                            java.io.File file,
                                            InductiveVisualMinerAnimationPanel panel,
                                            Scaler scaler,
                                            AlignedLogVisualisationData visualisationData,
                                            ProcessTreeVisualisationParameters visualisationParameters,
                                            IvMModel model,
                                            Selection selection)
                                     throws java.io.FileNotFoundException,
                                            java.io.IOException,
                                            java.awt.geom.NoninvertibleTransformException

Throws:

java.io.FileNotFoundException

java.io.IOException

java.awt.geom.NoninvertibleTransformException