private class AbstractUserInterfaceControl.ProofMacroListenerAdapter extends java.lang.Object implements ProverTaskListener
Modifier | Constructor and Description |
---|---|
private |
ProofMacroListenerAdapter() |
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) |
public void taskStarted(TaskStartedInfo info)
taskStarted
in interface ProverTaskListener
public void taskProgress(int position)
ProverTaskListener
taskProgress
in interface ProverTaskListener
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
info
- a TaskFinishedInfo object with additional information