private class LemmataHandler.Listener extends java.lang.Object implements ProblemInitializer.ProblemInitializerListener
Modifier | Constructor and Description |
---|---|
private |
Listener() |
Modifier and Type | Method and Description |
---|---|
void |
progressStarted(java.lang.Object sender) |
void |
progressStopped(java.lang.Object sender) |
void |
proofCreated(ProblemInitializer sender,
ProofAggregate proofAggregate) |
void |
reportException(java.lang.Object sender,
ProofOblInput input,
java.lang.Exception e) |
void |
reportStatus(java.lang.Object sender,
java.lang.String status) |
void |
reportStatus(java.lang.Object sender,
java.lang.String status,
int progress) |
void |
resetStatus(java.lang.Object sender) |
public void proofCreated(ProblemInitializer sender, ProofAggregate proofAggregate)
proofCreated
in interface ProblemInitializer.ProblemInitializerListener
public void progressStarted(java.lang.Object sender)
progressStarted
in interface ProblemInitializer.ProblemInitializerListener
public void progressStopped(java.lang.Object sender)
progressStopped
in interface ProblemInitializer.ProblemInitializerListener
public void reportStatus(java.lang.Object sender, java.lang.String status, int progress)
reportStatus
in interface ProblemInitializer.ProblemInitializerListener
public void reportStatus(java.lang.Object sender, java.lang.String status)
reportStatus
in interface ProblemInitializer.ProblemInitializerListener
public void resetStatus(java.lang.Object sender)
resetStatus
in interface ProblemInitializer.ProblemInitializerListener
public void reportException(java.lang.Object sender, ProofOblInput input, java.lang.Exception e)
reportException
in interface ProblemInitializer.ProblemInitializerListener