public static interface TacletSoundnessPOLoader.LoaderListener
Modifier and Type | Method and Description |
---|---|
void |
progressStarted(java.lang.Object sender) |
void |
reportStatus(java.lang.Object sender,
java.lang.String string) |
void |
resetStatus(java.lang.Object sender) |
void |
started() |
void |
stopped(ProofAggregate p,
ImmutableSet<Taclet> taclets,
boolean addAsAxioms) |
void |
stopped(java.lang.Throwable exception) |
void started()
void stopped(ProofAggregate p, ImmutableSet<Taclet> taclets, boolean addAsAxioms)
void stopped(java.lang.Throwable exception)
void progressStarted(java.lang.Object sender)
void reportStatus(java.lang.Object sender, java.lang.String string)
void resetStatus(java.lang.Object sender)