de.uka.ilkd.key.macros

Class TryCloseMacro.TryCloseProgressBarListener

java.lang.Object

de.uka.ilkd.key.macros.ProofMacroListener

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

de.uka.ilkd.key.macros.TryCloseMacro.TryCloseProgressBarListener

All Implemented Interfaces:

ProverTaskListener

Enclosing class:

TryCloseMacro

private static class TryCloseMacro.TryCloseProgressBarListener
extends ProofMacro.ProgressBarListener

Field Summary

Fields

Modifier and Type	Field and Description
private int	notClosedGoals

Constructor Summary

Constructors

Modifier	Constructor and Description
	TryCloseProgressBarListener(int numberGoals, int numberSteps, ProverTaskListener listener)
private	TryCloseProgressBarListener(java.lang.String name, int numberGoals, int numberSteps, ProverTaskListener l)

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getMessageSuffix()
private void	incrementNotClosedGoals()

Methods inherited from class de.uka.ilkd.key.macros.ProofMacro.ProgressBarListener

taskFinished, taskProgress, taskStarted

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

notClosedGoals

private int notClosedGoals

Constructor Detail

TryCloseProgressBarListener

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

TryCloseProgressBarListener

public TryCloseProgressBarListener(int numberGoals,
                                   int numberSteps,
                                   ProverTaskListener listener)

Method Detail

getMessageSuffix

protected java.lang.String getMessageSuffix()

Overrides:

getMessageSuffix in class ProofMacro.ProgressBarListener

incrementNotClosedGoals

private void incrementNotClosedGoals()