public class TGWorker extends javax.swing.SwingWorker<java.lang.Void,java.lang.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. |
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 |
---|---|
java.lang.Void |
doInBackground() |
void |
done() |
private KeYMediator |
getMediator() |
Proof |
getOriginalProof() |
void |
interruptionPerformed() |
boolean |
shouldStop() |
private final TGInfoDialog tgInfoDialog
private boolean stop
private final TGWorker.MainWindowTestGenerator testGenerator
private Proof originalProof
public TGWorker(TGInfoDialog tgInfoDialog)
public java.lang.Void doInBackground()
doInBackground
in class javax.swing.SwingWorker<java.lang.Void,java.lang.Void>
public void done()
done
in class javax.swing.SwingWorker<java.lang.Void,java.lang.Void>
public void interruptionPerformed()
interruptionPerformed
in interface InterruptListener
private KeYMediator getMediator()
public Proof getOriginalProof()
public boolean shouldStop()
shouldStop
in interface StopRequest