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,
@NotNull 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 @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.