public class TGWorker extends SwingWorker<Void,Void> implements InterruptListener, StopRequest
Modifier and Type | Class and Description |
---|---|
static class |
TGWorker.MainWindowTestGenerator
Registers created
Proof s in the MainWindow visible to the user. |
SwingWorker.StateValue
Modifier and Type | Field and Description |
---|---|
private Proof |
originalProof |
private boolean |
stop |
private TGWorker.MainWindowTestGenerator |
testGenerator |
private TGInfoDialog |
tgInfoDialog |
Constructor and Description |
---|
TGWorker(TGInfoDialog tgInfoDialog) |
Modifier and Type | Method and Description |
---|---|
Void |
doInBackground() |
void |
done() |
private KeYMediator |
getMediator() |
Proof |
getOriginalProof() |
void |
interruptionPerformed() |
boolean |
shouldStop() |
addPropertyChangeListener, cancel, execute, firePropertyChange, get, get, getProgress, getPropertyChangeSupport, getState, isCancelled, isDone, process, publish, removePropertyChangeListener, run, setProgress
private final TGInfoDialog tgInfoDialog
private boolean stop
private final TGWorker.MainWindowTestGenerator testGenerator
private Proof originalProof
public TGWorker(TGInfoDialog tgInfoDialog)
public Void doInBackground()
doInBackground
in class SwingWorker<Void,Void>
public void done()
done
in class SwingWorker<Void,Void>
public void interruptionPerformed()
interruptionPerformed
in interface InterruptListener
private KeYMediator getMediator()
public Proof getOriginalProof()
public boolean shouldStop()
shouldStop
in interface StopRequest