Package org.processmining.plugins.inductiveVisualMiner.animation.renderingthread

Class RendererFactory

java.lang.Object

org.processmining.plugins.inductiveVisualMiner.animation.renderingthread.RendererFactory

public class RendererFactory
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static java.awt.Color	backgroundColor
static boolean	christmas
static java.awt.Shape	circle
static java.awt.Shape	colouredOutline
static java.awt.Stroke	colouredTokenStroke
static java.awt.Color	defaultTokenFillColour
static java.awt.Shape	outline
static int	tokenRadius
static java.awt.Stroke	tokenStroke
static java.awt.Color	tokenStrokeColour

Constructor Summary

Constructors

Constructor	Description
RendererFactory()

Method Summary

Modifier and Type	Method	Description
static void	recreateImageIfNecessary(ExternalSettingsManager.ExternalSettings settings, RenderedFrameManager.RenderedFrame result)	Helper function.
boolean	render(ExternalSettingsManager.ExternalSettings settings, RenderedFrameManager.RenderedFrame result, double time)	Render a single frame.

Methods inherited from class java.lang.Object

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

Field Detail

christmas

public static final boolean christmas

tokenRadius

public static final int tokenRadius

See Also:

Constant Field Values

defaultTokenFillColour

public static final java.awt.Color defaultTokenFillColour

tokenStrokeColour

public static final java.awt.Color tokenStrokeColour

backgroundColor

public static final java.awt.Color backgroundColor

tokenStroke

public static final java.awt.Stroke tokenStroke

colouredTokenStroke

public static final java.awt.Stroke colouredTokenStroke

circle

public static final java.awt.Shape circle

outline

public static final java.awt.Shape outline

colouredOutline

public static final java.awt.Shape colouredOutline

Constructor Detail

RendererFactory

public RendererFactory()

Method Detail

render

public boolean render(ExternalSettingsManager.ExternalSettings settings,
                      RenderedFrameManager.RenderedFrame result,
                      double time)

Render a single frame.

Parameters:

settings -

result -

time -

Returns:

recreateImageIfNecessary

public static void recreateImageIfNecessary(ExternalSettingsManager.ExternalSettings settings,
                                            RenderedFrameManager.RenderedFrame result)

Helper function.

Parameters:

settings -

result -