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

Methods

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

Methods inherited from interface org.semanticweb.elk.util.concurrent.computation.Interrupter

isInterrupted, setInterrupt

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

dispose

void dispose()

Performs the necessary cleanup to free any resources taken by this executor