private abstract static class LemmaGenerationAction.AbstractLoaderListener extends java.lang.Object implements TacletSoundnessPOLoader.LoaderListener
Modifier and Type | Field and Description |
---|---|
private MainWindow |
mainWindow |
Modifier | Constructor and Description |
---|---|
private |
AbstractLoaderListener(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
protected abstract void |
doStopped(ProofAggregate p,
ImmutableSet<Taclet> taclets,
boolean addAsAxioms) |
protected abstract void |
doStopped(java.lang.Throwable exception) |
void |
progressStarted(java.lang.Object sender) |
void |
reportStatus(java.lang.Object sender,
java.lang.String status) |
void |
resetStatus(java.lang.Object sender) |
void |
started() |
void |
stopped(ProofAggregate p,
ImmutableSet<Taclet> taclets,
boolean addAsAxioms) |
void |
stopped(java.lang.Throwable exception) |
private final MainWindow mainWindow
private AbstractLoaderListener(MainWindow mainWindow)
public void started()
started
in interface TacletSoundnessPOLoader.LoaderListener
public void progressStarted(java.lang.Object sender)
progressStarted
in interface TacletSoundnessPOLoader.LoaderListener
public void reportStatus(java.lang.Object sender, java.lang.String status)
reportStatus
in interface TacletSoundnessPOLoader.LoaderListener
public void resetStatus(java.lang.Object sender)
resetStatus
in interface TacletSoundnessPOLoader.LoaderListener
public final void stopped(ProofAggregate p, ImmutableSet<Taclet> taclets, boolean addAsAxioms)
stopped
in interface TacletSoundnessPOLoader.LoaderListener
protected abstract void doStopped(ProofAggregate p, ImmutableSet<Taclet> taclets, boolean addAsAxioms)
public final void stopped(java.lang.Throwable exception)
stopped
in interface TacletSoundnessPOLoader.LoaderListener
protected abstract void doStopped(java.lang.Throwable exception)