public abstract class AbstractStageExecutor extends SimpleInterrupter implements ReasonerStageExecutor
| Constructor and Description |
|---|
AbstractStageExecutor() |
| Modifier and Type | Method and Description |
|---|---|
void |
complete(ReasonerStage stage)
Makes sure that the given stage is completed; it might not necessarily
execute this stage if the results are already computed
|
void |
dispose()
Performs the necessary cleanup to free any resources taken by this
executor
|
protected abstract void |
execute(ReasonerStage stage) |
void |
setInterrupt(boolean flag) |
isInterruptedclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisInterruptedpublic void complete(ReasonerStage stage) throws ElkException
ReasonerStageExecutorcomplete in interface ReasonerStageExecutorstage - the reasoner stage to be completedElkException - if the stage cannot be competed successfullypublic void dispose()
ReasonerStageExecutordispose in interface ReasonerStageExecutorpublic void setInterrupt(boolean flag)
setInterrupt in interface InterruptersetInterrupt in class SimpleInterrupterprotected abstract void execute(ReasonerStage stage) throws ElkException
ElkExceptionCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.