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

Class RenderingThread

java.lang.Object

org.processmining.plugins.inductiveVisualMiner.animation.renderingthread.RenderingThread

All Implemented Interfaces:

java.lang.Runnable

public class RenderingThread
extends java.lang.Object
implements java.lang.Runnable

Constructor Summary

Constructors

Constructor	Description
RenderingThread(int minTime, int maxTime, java.lang.Runnable onFrameComplete, org.processmining.framework.plugin.ProMCanceller canceller)	Initialise the rendering thread.

Method Summary

Modifier and Type	Method	Description
ExternalSettingsManager	getExternalSettingsManager()
RenderedFrameManager	getRenderedFrameManager()
TimeManager	getTimeManager()
double	getTimeScale()	Output: 0 <= time scale <= 1
boolean	isPlaying()
void	pause()
void	pauseResume()
boolean	performRender()
void	renderOneFrame()
void	resume()
void	run()
void	seek(double time)
void	setTimeScale(double timeScale)	Input: 0 <= time scale <= 1
void	start()
void	stop()

Methods inherited from class java.lang.Object

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

Constructor Detail

RenderingThread

public RenderingThread(int minTime,
                       int maxTime,
                       java.lang.Runnable onFrameComplete,
                       org.processmining.framework.plugin.ProMCanceller canceller)

Initialise the rendering thread.

Parameters:

minTime -

maxTime -

onFrameComplete -

width -

height -

Method Detail

seek

public void seek(double time)

renderOneFrame

public void renderOneFrame()

getTimeScale

public double getTimeScale()

Output: 0 <= time scale <= 1

Returns:

setTimeScale

public void setTimeScale(double timeScale)

Input: 0 <= time scale <= 1

Parameters:

timeScale -

start

public void start()

stop

public void stop()
          throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException

pause

public void pause()

resume

public void resume()

pauseResume

public void pauseResume()

run

public void run()

Specified by:

run in interface java.lang.Runnable

performRender

public boolean performRender()

isPlaying

public boolean isPlaying()

Returns:

whether the animation is running.

getExternalSettingsManager

public ExternalSettingsManager getExternalSettingsManager()

getTimeManager

public TimeManager getTimeManager()

getRenderedFrameManager

public RenderedFrameManager getRenderedFrameManager()