![]() |
Gridarta Editor
|
Go to the source code of this file.
Classes | |
class | net.sf.gridarta.utils.DelayedChangeManager |
Helper for reducing the number of change events: calls to change() will be forwarded to DelayedChangeListener#change(). More... | |
interface | net.sf.gridarta.utils.DelayedChangeManager.State |
The states of the FSM. More... | |
class | net.sf.gridarta.utils.DelayedChangeManager.TimeoutTimerTask |
A TimerTask that calls State#timeout() when the timer expires. More... | |
Packages | |
package | net.sf.gridarta.utils |