gzz.util
Class UpdateTimer

java.lang.Object
  |
  +--gzz.util.UpdateTimer

public class UpdateTimer

extends java.lang.Object

A timer that runs a given runnable after a certain number of milliseconds. Used in AbstractUpdateManager to implement chgAfter()

Field Summary

static boolean	dbg
static java.lang.String	rcsid

Constructor Summary

UpdateTimer(java.lang.Runnable r)

Method Summary

void	updateAfter(int millis)
void	updated()

Methods inherited from class java.lang.Object

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

Field Detail

rcsid

public static final java.lang.String rcsid

See Also:

Constant Field Values

dbg

public static boolean dbg

Constructor Detail

UpdateTimer

public UpdateTimer(java.lang.Runnable r)

Method Detail

updateAfter

public void updateAfter(int millis)

updated

public void updated()