de.uka.ilkd.key.control

Class CompositePTListener

java.lang.Object

de.uka.ilkd.key.control.CompositePTListener

All Implemented Interfaces:

ProverTaskListener

public class CompositePTListener
extends java.lang.Object
implements ProverTaskListener

A composite structure for prover task listeners. For the moment, this is only used for the application of proof macros at the outermost level.

Author:

Michael Kirsten

Field Summary

Fields

Modifier and Type	Field and Description
private ProverTaskListener[]	listeners

Constructor Summary

Constructors

Constructor and Description
CompositePTListener(ProverTaskListener[] l)
CompositePTListener(ProverTaskListener ptl1, ProverTaskListener ptl2)

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

listeners

private ProverTaskListener[] listeners

Constructor Detail

CompositePTListener

public CompositePTListener(ProverTaskListener[] l)

CompositePTListener

public CompositePTListener(ProverTaskListener ptl1,
                           ProverTaskListener ptl2)

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