|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.Thread
cz.cuni.jagrlib.RedrawTimer
public class RedrawTimer
Timer object capable of periodic redrawing the attached GraphicsViewer
window.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class java.lang.Thread |
---|
java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler |
Field Summary | |
---|---|
protected boolean |
cont
"Continue" flag for activity-period of the timer. |
static long |
DEFAULT_PERIOD
Default redraw-period in milliseconds. |
protected long |
period
Actual timer period in milliseconds. |
protected GraphicsViewer |
preview
Preview window or null if timer is not active. |
protected java.lang.String |
title
Title to be set to the preview window ( null means "no change"). |
Fields inherited from class java.lang.Thread |
---|
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY |
Constructor Summary | |
---|---|
RedrawTimer()
Sets thread name for debugging identification. |
Method Summary | |
---|---|
void |
run()
Executive method of the timer. |
void |
setTitle(java.lang.String tit)
Set window title. |
void |
startTimer(GraphicsViewer preview,
long period)
Start redraw timer. |
void |
stopTimer()
Stop redraw timer. |
Methods inherited from class java.lang.Thread |
---|
activeCount, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, checkAccess, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final long DEFAULT_PERIOD
protected GraphicsViewer preview
null
if timer is not active.
protected java.lang.String title
null
means "no change").
protected boolean cont
protected long period
Constructor Detail |
---|
public RedrawTimer()
Method Detail |
---|
public void run()
run
in interface java.lang.Runnable
run
in class java.lang.Thread
public void startTimer(GraphicsViewer preview, long period)
preview
- Preview window which will be redrawn perodically.period
- Redraw period in milliseconds.stopTimer()
public void stopTimer()
public void setTitle(java.lang.String tit)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |