de.uka.ilkd.key.macros

Class ProofMacroListener

java.lang.Object

de.uka.ilkd.key.macros.ProofMacroListener

All Implemented Interfaces:

ProverTaskListener

Direct Known Subclasses:

ProofMacro.ProgressBarListener

public class ProofMacroListener
extends java.lang.Object
implements ProverTaskListener

Listener for the application of proof macros (which may be run in a separate worker thread). They work in a mutual way by also storing a reference to the superordinate listener on the level above. Additionally, an integer for remembering how many proof macros have been invoked by the according macro is stored. This integer is especially important in console mode in order to know when to finish batch mode. In GUI mode, the proof macro names are being displayed in the status bar.

Author:

Michael Kirsten

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	macroName
private int	numOfInvokedMacros
private ProverTaskListener	superordinateListener

Constructor Summary

Constructors

Constructor and Description
ProofMacroListener(java.lang.String macroName, ProverTaskListener listener)

Method Summary

Modifier and Type	Method and Description
int	getLevel()
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

numOfInvokedMacros

private int numOfInvokedMacros

superordinateListener

private ProverTaskListener superordinateListener

macroName

private java.lang.String macroName

Constructor Detail

ProofMacroListener

public ProofMacroListener(java.lang.String macroName,
                          ProverTaskListener listener)

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

getLevel

public int getLevel()