de.uka.ilkd.key.prover

Interface ProverTaskListener

All Known Implementing Classes:

AbstractMediatorUserInterfaceControl, AbstractProofControl.FocussedAutoModeTaskListener, AbstractUserInterfaceControl, AbstractUserInterfaceControl.ProofMacroListenerAdapter, AutoSaver, CompositePTListener, ConsoleUserInterfaceControl, DefaultUserInterfaceControl, ProofMacro.ProgressBarListener, ProofMacroListener, TryCloseMacro.TryCloseProgressBarListener, WindowUserInterfaceControl

public interface ProverTaskListener

Listener for longer tasks, which may be run in a separate worker thread. Examples: proof loading, processing strategies

Method Summary

Modifier and Type	Method and Description
void	taskFinished(TaskFinishedInfo info) Called when a task is finished.
void	taskProgress(int position) Called when progress is made on a task.
void	taskStarted(TaskStartedInfo info)

Method Detail

taskStarted

void taskStarted(TaskStartedInfo info)

taskProgress

void taskProgress(int position)

Called when progress is made on a task. This method is called after every single step of the task

Parameters:

position - indicates how much work has been done relative to the value of size passed in taskStarted(TaskStartedInfo).

taskFinished

void taskFinished(TaskFinishedInfo info)

Called when a task is finished.

Parameters:

info - a TaskFinishedInfo object with additional information