public class DelayedChangeManager
extends java.lang.Object
change()
will be forwarded to DelayedChangeListener.change(). Forwarded calls
are dropped if they would happen very quickly.| Constructor and Description |
|---|
DelayedChangeManager(int initialDelay,
int notificationDelay,
DelayedChangeListener delayedChangeListener)
Creates a new instance.
|
| Modifier and Type | Method and Description |
|---|---|
void |
change()
Delivers a change event to the associated
DelayedChangeListener. |
void |
finish()
Finishes a series of
change events. |
public DelayedChangeManager(int initialDelay,
int notificationDelay,
@NotNull
DelayedChangeListener delayedChangeListener)
initialDelay - the initial delay for a series of events in
millisecondsnotificationDelay - the delay for following events in a series of
events; in millisecondsdelayedChangeListener - the delayed change listener to forward
events topublic void change()
DelayedChangeListener.public void finish()
change events. Calling this
function is optional: if it is called, a pending change event is
immediately forwarded; otherwise when the notification timeout has
expired.