org.semanticweb.HermiT.tableau

Class InterruptFlag

java.lang.Object

org.semanticweb.HermiT.tableau.InterruptFlag

All Implemented Interfaces:

Serializable

public final class InterruptFlag
extends Object
implements Serializable

InterruptFlag.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
InterruptFlag(long individualTaskTimeout)

Method Summary

Modifier and Type	Method and Description
void	checkInterrupt() Check interrupt.
void	dispose() Dispose.
void	endTask() End task.
void	interrupt() Interrupt.
void	startTask() Start task.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InterruptFlag

public InterruptFlag(long individualTaskTimeout)

Parameters:

individualTaskTimeout - individualTaskTimeout

Method Detail

checkInterrupt

public void checkInterrupt()

Check interrupt.

interrupt

public void interrupt()

Interrupt.

startTask

public void startTask()

Start task.

endTask

public void endTask()

End task.

dispose

public void dispose()

Dispose.