 |
Gridarta Editor
|
Go to the documentation of this file.
20 package net.sf.gridarta.utils;
22 import java.util.Timer;
23 import java.util.TimerTask;
24 import org.jetbrains.annotations.NotNull;
57 private final Timer
timer =
new Timer();
121 public State timeout() {
149 public State timeout() {
177 public State timeout() {
final int notificationDelay
The interval in milliseconds events are forwarded during a long series of events.
final int initialDelay
The delay in millisecond the first forwarded event is delayed.
void change()
Called for forwarded change events.
final DelayedChangeListener delayedChangeListener
The DelayedChangeListener events are forwarded to.
final State idle
The state "idle" of the FSM.
State state
The FSM's current state.
State finish()
Executes the event "finish".
State change()
Executes the event "change".
State timeout()
Executes the event "timeout".
final State pending
The state "pending" of the FSM.
final Timer timer
The Timer for delaying events.
Listener for forwarded events of DelayedChangeManager.
void change()
Delivers a change event to the associated DelayedChangeListener.
A TimerTask that calls State#timeout() when the timer expires.
void finish()
Finishes a series of change events.
Helper for reducing the number of change events: calls to change() will be forwarded to DelayedChange...
DelayedChangeManager(final int initialDelay, final int notificationDelay, @NotNull final DelayedChangeListener delayedChangeListener)
Creates a new instance.
final State wait
The state "wait" of the FSM.