org.eclipse.palamedes.gdl.core.simulation
Class TimerFlag

java.lang.Object
  org.eclipse.palamedes.gdl.core.simulation.TimerFlag

public class TimerFlag
extends java.lang.Object

Constructor Summary

TimerFlag()

Method Summary

void	interrupt() Interrupts the processing of the theory.
boolean	interrupted() Returns whether the theory object was interrupted while doing stuff.
void	reset() This method resets the interruption flag back to false value.

Methods inherited from class java.lang.Object

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

Constructor Detail

TimerFlag

public TimerFlag()

Method Detail

interrupt

public void interrupt()

Interrupts the processing of the theory. This is done in the MatchTimer class to interrupt processing if we run out of time.

interrupted

public boolean interrupted()

Returns whether the theory object was interrupted while doing stuff.

Returns:

True if interrupted; otherwise false.

reset

public void reset()

This method resets the interruption flag back to false value.