public class ProofMacroListener extends java.lang.Object implements ProverTaskListener
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
macroName |
private int |
numOfInvokedMacros |
private ProverTaskListener |
superordinateListener |
Constructor and Description |
---|
ProofMacroListener(java.lang.String macroName,
ProverTaskListener listener) |
Modifier and Type | Method and Description |
---|---|
int |
getLevel() |
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) |
private int numOfInvokedMacros
private ProverTaskListener superordinateListener
private java.lang.String macroName
public ProofMacroListener(java.lang.String macroName, ProverTaskListener listener)
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 informationpublic int getLevel()