org.semanticweb.HermiT.tableau
Class InterruptFlag

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.InterruptFlag
All Implemented Interfaces:
java.io.Serializable

public final class InterruptFlag
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Nested Class Summary
protected  class InterruptFlag.InterruptTimer
           
protected static class InterruptFlag.InterruptType
           
protected static class InterruptFlag.TimerState
           
 
Field Summary
protected  InterruptFlag.InterruptTimer m_interruptTimer
           
protected  InterruptFlag.InterruptType m_interruptType
           
 
Constructor Summary
InterruptFlag(long individualTaskTimeout)
           
 
Method Summary
 void checkInterrupt()
           
 void dispose()
           
 void endTask()
           
 void interrupt()
           
 void startTask()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_interruptTimer

protected final InterruptFlag.InterruptTimer m_interruptTimer

m_interruptType

protected volatile InterruptFlag.InterruptType m_interruptType
Constructor Detail

InterruptFlag

public InterruptFlag(long individualTaskTimeout)
Method Detail

checkInterrupt

public void checkInterrupt()

interrupt

public void interrupt()

startTask

public void startTask()

endTask

public void endTask()

dispose

public void dispose()