de.uka.ilkd.key.control

Class AbstractUserInterfaceControl.ProofMacroListenerAdapter

java.lang.Object

de.uka.ilkd.key.control.AbstractUserInterfaceControl.ProofMacroListenerAdapter

All Implemented Interfaces:

ProverTaskListener

Enclosing class:

AbstractUserInterfaceControl

private class AbstractUserInterfaceControl.ProofMacroListenerAdapter
extends java.lang.Object
implements ProverTaskListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ProofMacroListenerAdapter()

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

Constructor Detail

ProofMacroListenerAdapter

private ProofMacroListenerAdapter()

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