public class RenderingThread
extends java.lang.Object
implements java.lang.Runnable
Constructor and Description |
---|
RenderingThread(int minTime,
int maxTime,
java.lang.Runnable onFrameComplete,
org.processmining.framework.plugin.ProMCanceller canceller)
Initialise the rendering thread.
|
Modifier and Type | Method and 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() |
public RenderingThread(int minTime, int maxTime, java.lang.Runnable onFrameComplete, org.processmining.framework.plugin.ProMCanceller canceller)
minTime
- maxTime
- onFrameComplete
- width
- height
- public void seek(double time)
public void renderOneFrame()
public double getTimeScale()
public void setTimeScale(double timeScale)
timeScale
- public void start()
public void stop() throws java.lang.InterruptedException
java.lang.InterruptedException
public void pause()
public void resume()
public void pauseResume()
public void run()
run
in interface java.lang.Runnable
public boolean performRender()
public boolean isPlaying()
public ExternalSettingsManager getExternalSettingsManager()
public TimeManager getTimeManager()
public RenderedFrameManager getRenderedFrameManager()