public static class ProofMacro.ProgressBarListener extends ProofMacroListener
Modifier and Type | Field and Description |
---|---|
private int |
completedGoals |
private int |
numberGoals |
private int |
numberSteps |
Constructor and Description |
---|
ProgressBarListener(int size,
int numberSteps,
ProverTaskListener listener) |
ProgressBarListener(java.lang.String name,
int numberGoals,
int numberSteps,
ProverTaskListener l) |
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) |
getLevel
private final int numberGoals
private final int numberSteps
private int completedGoals
ProgressBarListener(java.lang.String name, int numberGoals, int numberSteps, ProverTaskListener l)
public ProgressBarListener(int size, int numberSteps, ProverTaskListener listener)
public void taskStarted(TaskStartedInfo info)
taskStarted
in interface ProverTaskListener
taskStarted
in class ProofMacroListener
protected java.lang.String getMessageSuffix()
public void taskProgress(int position)
ProverTaskListener
taskProgress
in interface ProverTaskListener
taskProgress
in class ProofMacroListener
position
- indicates how much work has been done relative to the value of
size
passed in ProverTaskListener.taskStarted(TaskStartedInfo)
.public void taskFinished(TaskFinishedInfo info)
ProverTaskListener
taskFinished
in interface ProverTaskListener
taskFinished
in class ProofMacroListener
info
- a TaskFinishedInfo object with additional information