protected void checkInterrupt() throws ElkInterruptedException { reasoner.getInterrupter().checkInterrupt(); }
protected void checkInterrupt() throws ElkInterruptedException { reasoner.getInterrupter().checkInterrupt(); }
protected void checkInterrupt() throws ElkInterruptedException { reasoner.getInterrupter().checkInterrupt(); }
/** * If interrupted, clears the interruption status and throws * ElkInterruptedException. * <p> * This method should be called only from inside of the reasoner. Also it * must be called from the same thread as the one on which the reasoning * methods run. Otherwise it blocks until the reasoning method exits. * * @throws ElkInterruptedException * if interrupted */ public synchronized void checkInterrupt() throws ElkInterruptedException { getInterrupter().checkInterrupt(); }
/** * If interrupted, clears the interruption status and throws * ElkInterruptedException. * <p> * This method should be called only from inside of the reasoner. Also it * must be called from the same thread as the one on which the reasoning * methods run. Otherwise it blocks until the reasoning method exits. * * @throws ElkInterruptedException * if interrupted */ public synchronized void checkInterrupt() throws ElkInterruptedException { getInterrupter().checkInterrupt(); }
/** * If interrupted, clears the interruption status and throws * ElkInterruptedException. * <p> * This method should be called only from inside of the reasoner. Also it * must be called from the same thread as the one on which the reasoning * methods run. Otherwise it blocks until the reasoning method exits. * * @throws ElkInterruptedException * if interrupted */ public synchronized void checkInterrupt() throws ElkInterruptedException { getInterrupter().checkInterrupt(); }