org.semanticweb.HermiT.tableau
Class InterruptFlag.InterruptTimer

java.lang.Object
  extended by java.lang.Thread
      extended by org.semanticweb.HermiT.tableau.InterruptFlag.InterruptTimer
All Implemented Interfaces:
java.lang.Runnable
Enclosing class:
InterruptFlag

protected class InterruptFlag.InterruptTimer
extends java.lang.Thread


Nested Class Summary
 
Nested classes/interfaces inherited from class java.lang.Thread
java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler
 
Field Summary
protected  long m_timeout
           
protected  InterruptFlag.TimerState m_timerState
           
 
Fields inherited from class java.lang.Thread
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
 
Constructor Summary
InterruptFlag.InterruptTimer(long timeout)
           
 
Method Summary
 void dispose()
           
 void run()
           
 void startTiming()
           
 void stopTiming()
           
 
Methods inherited from class java.lang.Thread
activeCount, checkAccess, clone, 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
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_timeout

protected final long m_timeout

m_timerState

protected InterruptFlag.TimerState m_timerState
Constructor Detail

InterruptFlag.InterruptTimer

public InterruptFlag.InterruptTimer(long timeout)
Method Detail

run

public void run()
Specified by:
run in interface java.lang.Runnable
Overrides:
run in class java.lang.Thread

startTiming

public void startTiming()

stopTiming

public void stopTiming()

dispose

public void dispose()