de.uka.ilkd.key.gui.actions

Class LemmaGenerationAction.AbstractLoaderListener

java.lang.Object

de.uka.ilkd.key.gui.actions.LemmaGenerationAction.AbstractLoaderListener

All Implemented Interfaces:

TacletSoundnessPOLoader.LoaderListener

Enclosing class:

LemmaGenerationAction

private abstract static class LemmaGenerationAction.AbstractLoaderListener
extends Object
implements TacletSoundnessPOLoader.LoaderListener

Field Summary

Fields

Modifier and Type	Field and Description
private MainWindow	mainWindow

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AbstractLoaderListener(MainWindow mainWindow)

Method Summary

Modifier and Type	Method and Description
protected abstract void	doStopped(ProofAggregate p, ImmutableSet<Taclet> taclets, boolean addAsAxioms)
protected abstract void	doStopped(Throwable exception)
void	progressStarted(Object sender)
void	reportStatus(Object sender, String status)
void	resetStatus(Object sender)
void	started()
void	stopped(ProofAggregate p, ImmutableSet<Taclet> taclets, boolean addAsAxioms)
void	stopped(Throwable exception)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

mainWindow

private final MainWindow mainWindow

Constructor Detail

AbstractLoaderListener

private AbstractLoaderListener(MainWindow mainWindow)

Method Detail

started

public void started()

Specified by:

started in interface TacletSoundnessPOLoader.LoaderListener

progressStarted

public void progressStarted(Object sender)

Specified by:

progressStarted in interface TacletSoundnessPOLoader.LoaderListener

reportStatus

public void reportStatus(Object sender,
                         String status)

Specified by:

reportStatus in interface TacletSoundnessPOLoader.LoaderListener

resetStatus

public void resetStatus(Object sender)

Specified by:

resetStatus in interface TacletSoundnessPOLoader.LoaderListener

stopped

public final void stopped(ProofAggregate p,
                          ImmutableSet<Taclet> taclets,
                          boolean addAsAxioms)

Specified by:

stopped in interface TacletSoundnessPOLoader.LoaderListener

doStopped

protected abstract void doStopped(ProofAggregate p,
                                  ImmutableSet<Taclet> taclets,
                                  boolean addAsAxioms)

stopped

public final void stopped(Throwable exception)

Specified by:

stopped in interface TacletSoundnessPOLoader.LoaderListener

doStopped

protected abstract void doStopped(Throwable exception)