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