Gridarta Editor
Public Member Functions | List of all members
net.sf.gridarta.utils.DelayedChangeManager.TimeoutTimerTask Class Reference

A TimerTask that calls State#timeout() when the timer expires. More...

+ Inheritance diagram for net.sf.gridarta.utils.DelayedChangeManager.TimeoutTimerTask:
+ Collaboration diagram for net.sf.gridarta.utils.DelayedChangeManager.TimeoutTimerTask:

Public Member Functions

void run ()
 

Detailed Description

A TimerTask that calls State#timeout() when the timer expires.

Definition at line 63 of file DelayedChangeManager.java.

Member Function Documentation

◆ run()

void net.sf.gridarta.utils.DelayedChangeManager.TimeoutTimerTask.run ( )

Definition at line 66 of file DelayedChangeManager.java.

References net.sf.gridarta.utils.DelayedChangeManager.state, and net.sf.gridarta.utils.DelayedChangeManager.State.timeout().

+ Here is the call graph for this function:
The documentation for this class was generated from the following file: