de.cau.cs.kieler.sim.kiem.automated.execution
Class CancelManager.MonitorChecker

java.lang.Object
  extended by java.lang.Thread
      extended by de.cau.cs.kieler.sim.kiem.automated.execution.CancelManager.MonitorChecker
All Implemented Interfaces:
Runnable
Enclosing class:
CancelManager

public static class CancelManager.MonitorChecker
extends Thread

This thread checks whether the user canceled the monitor while a step was being processed. As soon as the user cancels the monitor it notifies the main thread to come out of sleep which will then start the process of deferred cancellation.

Rating proposed yellow
(2010-02-02)

Nested Class Summary
 
Nested classes/interfaces inherited from class java.lang.Thread
Thread.State, Thread.UncaughtExceptionHandler
 
Field Summary
 
Fields inherited from class java.lang.Thread
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
 
Constructor Summary
CancelManager.MonitorChecker()
           
 
Method Summary
 void cancel()
          Deferred cancellation of this thread.
 void reset()
          Reset the timer for measuring the timeout.
 void run()
          
 
Methods inherited from class java.lang.Thread
activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CancelManager.MonitorChecker

public CancelManager.MonitorChecker()
Method Detail

run

public void run()

Specified by:
run in interface Runnable
Overrides:
run in class Thread

cancel

public void cancel()
Deferred cancellation of this thread.


reset

public void reset()
Reset the timer for measuring the timeout.