Class Animator

java.lang.Object

java.lang.Thread

jmt.jmch.animation.Animator

All Implemented Interfaces:

Runnable

public class Animator
extends Thread

Animator of JMCH: the thread that drives the animation of the scheduling and routing algorithms.

Nested Class Summary

Nested classes/interfaces inherited from class Thread

Thread.Builder, Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field	Description
protected Animation	animation	The Animation implementing class that has to be updated to show the animation.

Fields inherited from class Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor	Description
Animator(double fps, Animation a)	Creates a new instance of Animator with explicit definition of framerate.
Animator(Animation a)	Creates a new instance of Animator.

Method Summary

Modifier and Type	Method	Description
boolean	isPaused()	To know if the animator is paused
void	pause()	Pause the animation, save also the time at which the animation was paused
void	restart()	Restart the animation, update also the components of animation to let them know the animation was paused for a certain period of time
void	run()	Performs update of the handled animation as far as terminate() method has not been called.
void	start()	Starts the handled animation, otherwise if the Animator is paused it restarts the animation
void	terminate()	Terminates current animation

Methods inherited from class Thread

activeCount, checkAccess, clone, currentThread, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, isVirtual, join, join, join, join, ofPlatform, ofVirtual, onSpinWait, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, sleep, startVirtualThread, stop, threadId, toString, yield

Methods inherited from class Object

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

Field Details

animation

protected Animation animation

The Animation implementing class that has to be updated to show the animation.

Constructor Details

Animator

public Animator(Animation a)

Creates a new instance of Animator. Frame rate is set by default at 30 frames per seconds.

Parameters:

a - : Animation to be updated by this animator.

Animator

public Animator(double fps,
 Animation a)

Creates a new instance of Animator with explicit definition of framerate.

Parameters:

fps - : framerate for this animation.

a - : Animation to be updated by this animator.

Method Details

start

public void start()

Starts the handled animation, otherwise if the Animator is paused it restarts the animation

Overrides:

start in class Thread

pause

public void pause()

Pause the animation, save also the time at which the animation was paused

restart

public void restart()

Restart the animation, update also the components of animation to let them know the animation was paused for a certain period of time

run

public void run()

Performs update of the handled animation as far as terminate() method has not been called.

Specified by:

run in interface Runnable

Overrides:

run in class Thread

terminate

public void terminate()

Terminates current animation

isPaused

public boolean isPaused()

To know if the animator is paused