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 |
---|
ProofMacro.ProgressBarListener(int size,
int numberSteps,
ProverTaskListener listener) |
ProofMacro.ProgressBarListener(String name,
int numberGoals,
int numberSteps,
ProverTaskListener l) |
Modifier and Type | Method and Description |
---|---|
protected 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
ProofMacro.ProgressBarListener(String name, int numberGoals, int numberSteps, ProverTaskListener l)
public ProofMacro.ProgressBarListener(int size, int numberSteps, ProverTaskListener listener)
public void taskStarted(TaskStartedInfo info)
taskStarted
in interface ProverTaskListener
taskStarted
in class ProofMacroListener
protected 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 #taskStarted(String, int)
.public void taskFinished(TaskFinishedInfo info)
ProverTaskListener
taskFinished
in interface ProverTaskListener
taskFinished
in class ProofMacroListener
info
- a TaskFinishedInfo object with additional information