org.semanticweb.elk.reasoner.stages
Interface ReasonerStageExecutor

All Superinterfaces:
Interrupter
All Known Implementing Classes:
AbstractStageExecutor, LoggingStageExecutor, RestartingStageExecutor, SimpleStageExecutor

public interface ReasonerStageExecutor
extends Interrupter

An abstract interface for defining how reasoner stages are executed by the reasoner. For example, a reasoner may issue log messages before and after execution, measure benchmarking information, or restart the stage in case it has been interrupted.

Author:
"Yevgeny Kazakov"

Method Summary
 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
 
Methods inherited from interface org.semanticweb.elk.util.concurrent.computation.Interrupter
clearInterrupt, interrupt, isInterrupted
 

Method Detail

complete

void complete(ReasonerStage stage)
              throws ElkException
Makes sure that the given stage is completed; it might not necessarily execute this stage if the results are already computed

Parameters:
stage - the reasoner stage to be completed
Throws:
ElkException - if the stage cannot be competed successfully


Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.