Gridarta Editor
|
Classes | |
interface | State |
class | TimeoutTimerTask |
Public Member Functions | |
void | change () |
DelayedChangeManager (final int initialDelay, final int notificationDelay, @NotNull final DelayedChangeListener delayedChangeListener) | |
void | finish () |
Private Attributes | |
final DelayedChangeListener | delayedChangeListener |
final State | idle |
final int | initialDelay |
final int | notificationDelay |
final State | pending |
State | state = idle |
final Timer | timer = new Timer() |
final State | wait |
Helper for reducing the number of change events: calls to change() will be forwarded to DelayedChangeListener#change(). Forwarded calls are dropped if they would happen very quickly.
Definition at line 32 of file DelayedChangeManager.java.
net.sf.gridarta.utils.DelayedChangeManager.DelayedChangeManager | ( | final int | initialDelay, |
final int | notificationDelay, | ||
@NotNull final DelayedChangeListener | delayedChangeListener | ||
) |
Creates a new instance.
initialDelay | the initial delay for a series of events in milliseconds |
notificationDelay | the delay for following events in a series of events; in milliseconds |
delayedChangeListener | the delayed change listener to forward events to |
Definition at line 199 of file DelayedChangeManager.java.
References net.sf.gridarta.utils.DelayedChangeManager.delayedChangeListener, net.sf.gridarta.utils.DelayedChangeManager.initialDelay, and net.sf.gridarta.utils.DelayedChangeManager.notificationDelay.
void net.sf.gridarta.utils.DelayedChangeManager.change | ( | ) |
Delivers a change event to the associated DelayedChangeListener.
Definition at line 208 of file DelayedChangeManager.java.
References net.sf.gridarta.utils.DelayedChangeManager.State.change(), and net.sf.gridarta.utils.DelayedChangeManager.state.
void net.sf.gridarta.utils.DelayedChangeManager.finish | ( | ) |
Finishes a series of 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.
Definition at line 218 of file DelayedChangeManager.java.
References net.sf.gridarta.utils.DelayedChangeManager.State.finish(), and net.sf.gridarta.utils.DelayedChangeManager.state.
|
private |
The DelayedChangeListener events are forwarded to.
Definition at line 51 of file DelayedChangeManager.java.
Referenced by net.sf.gridarta.utils.DelayedChangeManager.DelayedChangeManager().
|
private |
The state "idle" of the FSM.
Definition at line 104 of file DelayedChangeManager.java.
|
private |
The delay in millisecond the first forwarded event is delayed. This allows combining the first few events of a long series of events without delaying the delivery for a long time (notificationDelay).
Definition at line 39 of file DelayedChangeManager.java.
Referenced by net.sf.gridarta.utils.DelayedChangeManager.DelayedChangeManager().
|
private |
The interval in milliseconds events are forwarded during a long series of events.
Definition at line 45 of file DelayedChangeManager.java.
Referenced by net.sf.gridarta.utils.DelayedChangeManager.DelayedChangeManager().
|
private |
The FSM's current state.
Definition at line 188 of file DelayedChangeManager.java.
Referenced by net.sf.gridarta.utils.DelayedChangeManager.change(), net.sf.gridarta.utils.DelayedChangeManager.finish(), and net.sf.gridarta.utils.DelayedChangeManager.TimeoutTimerTask.run().
|
private |
The Timer for delaying events.
Definition at line 57 of file DelayedChangeManager.java.
|
private |