de.uka.ilkd.key.macros

Class ProofMacro.ProgressBarListener

java.lang.Object

de.uka.ilkd.key.macros.ProofMacroListener

de.uka.ilkd.key.macros.ProofMacro.ProgressBarListener

All Implemented Interfaces:

ProverTaskListener

Direct Known Subclasses:

TryCloseMacro.TryCloseProgressBarListener

Enclosing interface:

ProofMacro

public static class ProofMacro.ProgressBarListener
extends ProofMacroListener

This observer acts as intermediate instance between the reports by the strategy and the UI reporting progress. The number of total steps is computed and all local reports are translated in termini of the total number of steps such that a continuous progress is reported. fixes #1356

Field Summary

Fields

Modifier and Type	Field and Description
private int	completedGoals
private int	numberGoals
private int	numberSteps

Constructor Summary

Constructors

Constructor and Description
ProgressBarListener(int size, int numberSteps, ProverTaskListener listener)
ProgressBarListener(java.lang.String name, int numberGoals, int numberSteps, ProverTaskListener l)

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getMessageSuffix()
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 de.uka.ilkd.key.macros.ProofMacroListener

getLevel

Methods inherited from class java.lang.Object

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

Field Detail

numberGoals

private final int numberGoals

numberSteps

private final int numberSteps

completedGoals

private int completedGoals

Constructor Detail

ProgressBarListener

ProgressBarListener(java.lang.String name,
                    int numberGoals,
                    int numberSteps,
                    ProverTaskListener l)

ProgressBarListener

public ProgressBarListener(int size,
                           int numberSteps,
                           ProverTaskListener listener)

Method Detail

taskStarted

public void taskStarted(TaskStartedInfo info)

Specified by:

taskStarted in interface ProverTaskListener

Overrides:

taskStarted in class ProofMacroListener

getMessageSuffix

protected java.lang.String getMessageSuffix()

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

Overrides:

taskProgress in class ProofMacroListener

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

Overrides:

taskFinished in class ProofMacroListener

Parameters:

info - a TaskFinishedInfo object with additional information