public class ComputeAnimation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static double |
animationDuration |
static double |
initDuration |
Constructor and Description |
---|
ComputeAnimation() |
Modifier and Type | Method and Description |
---|---|
static GraphVizTokens |
computeAnimation(IvMModel model,
IvMLog ivmLog,
Mode colourMode,
ProcessTreeVisualisationInfo info,
Scaler scaler,
com.kitfox.svg.SVGDiagram svg,
IvMCanceller canceller) |
static java.util.List<DotToken> |
computeDotTokensOfTrace(IvMModel model,
IvMTrace trace,
ProcessTreeVisualisationInfo info,
Mode colourMode,
Scaler scaler,
ShortestPathGraph graph,
IvMCanceller canceller) |
static double |
guessEndTime(IvMTrace trace,
double startTime,
ShortestPathGraph shortestGraph,
ProcessTreeVisualisationInfo info,
Scaler scaler) |
static double |
guessStartTime(IvMTrace trace,
ShortestPathGraph shortestGraph,
ProcessTreeVisualisationInfo info,
Scaler scaler) |
public static final double initDuration
public static final double animationDuration
public static GraphVizTokens computeAnimation(IvMModel model, IvMLog ivmLog, Mode colourMode, ProcessTreeVisualisationInfo info, Scaler scaler, com.kitfox.svg.SVGDiagram svg, IvMCanceller canceller) throws java.awt.geom.NoninvertibleTransformException, com.kitfox.svg.SVGException
java.awt.geom.NoninvertibleTransformException
com.kitfox.svg.SVGException
public static java.util.List<DotToken> computeDotTokensOfTrace(IvMModel model, IvMTrace trace, ProcessTreeVisualisationInfo info, Mode colourMode, Scaler scaler, ShortestPathGraph graph, IvMCanceller canceller)
public static double guessStartTime(IvMTrace trace, ShortestPathGraph shortestGraph, ProcessTreeVisualisationInfo info, Scaler scaler)
public static double guessEndTime(IvMTrace trace, double startTime, ShortestPathGraph shortestGraph, ProcessTreeVisualisationInfo info, Scaler scaler)