de.uka.ilkd.key.control

Class AbstractProofControl.FocussedAutoModeTaskListener

java.lang.Object

de.uka.ilkd.key.control.AbstractProofControl.FocussedAutoModeTaskListener

All Implemented Interfaces:

ProverTaskListener

Enclosing class:

AbstractProofControl

public static final class AbstractProofControl.FocussedAutoModeTaskListener
extends java.lang.Object
implements ProverTaskListener

TODO

Field Summary

Fields

Modifier and Type	Field and Description
private Proof	proof

Constructor Summary

Constructors

Constructor and Description
FocussedAutoModeTaskListener(Proof proof)

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

proof

private final Proof proof

Constructor Detail

FocussedAutoModeTaskListener

public FocussedAutoModeTaskListener(Proof proof)

Method Detail

taskStarted

public void taskStarted(TaskStartedInfo info)

Specified by:

taskStarted in interface ProverTaskListener

taskProgress

public void taskProgress(int position)

Description copied from interface: ProverTaskListener

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

Specified by:

taskProgress in interface ProverTaskListener

Parameters:

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

taskFinished

public void taskFinished(TaskFinishedInfo info)

Description copied from interface: ProverTaskListener

Called when a task is finished.

Specified by:

taskFinished in interface ProverTaskListener

Parameters:

info - a TaskFinishedInfo object with additional information