de.uka.ilkd.key.gui.testgen

Class TGWorker

java.lang.Object

javax.swing.SwingWorker<java.lang.Void,java.lang.Void>

de.uka.ilkd.key.gui.testgen.TGWorker

All Implemented Interfaces:

InterruptListener, StopRequest, java.lang.Runnable, java.util.concurrent.Future<java.lang.Void>, java.util.concurrent.RunnableFuture<java.lang.Void>, java.util.EventListener

public class TGWorker
extends javax.swing.SwingWorker<java.lang.Void,java.lang.Void>
implements InterruptListener, StopRequest

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TGWorker.MainWindowTestGenerator Registers created Proofs in the MainWindow visible to the user.

Nested classes/interfaces inherited from class javax.swing.SwingWorker

javax.swing.SwingWorker.StateValue

Field Summary

Fields

Modifier and Type	Field and Description
private Proof	originalProof
private boolean	stop
private TGWorker.MainWindowTestGenerator	testGenerator
private TGInfoDialog	tgInfoDialog

Constructor Summary

Constructors

Constructor and Description
TGWorker(TGInfoDialog tgInfoDialog)

Method Summary

Modifier and Type	Method and Description
java.lang.Void	doInBackground()
void	done()
private KeYMediator	getMediator()
Proof	getOriginalProof()
void	interruptionPerformed()
boolean	shouldStop()

Methods inherited from class javax.swing.SwingWorker

addPropertyChangeListener, cancel, execute, firePropertyChange, get, get, getProgress, getPropertyChangeSupport, getState, isCancelled, isDone, process, publish, removePropertyChangeListener, run, setProgress

Methods inherited from class java.lang.Object

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

Field Detail

tgInfoDialog

private final TGInfoDialog tgInfoDialog

stop

private boolean stop

testGenerator

private final TGWorker.MainWindowTestGenerator testGenerator

originalProof

private Proof originalProof

Constructor Detail

TGWorker

public TGWorker(TGInfoDialog tgInfoDialog)

Method Detail

doInBackground

public java.lang.Void doInBackground()

Specified by:

doInBackground in class javax.swing.SwingWorker<java.lang.Void,java.lang.Void>

done

public void done()

Overrides:

done in class javax.swing.SwingWorker<java.lang.Void,java.lang.Void>

interruptionPerformed

public void interruptionPerformed()

Specified by:

interruptionPerformed in interface InterruptListener

getMediator

private KeYMediator getMediator()

getOriginalProof

public Proof getOriginalProof()

shouldStop

public boolean shouldStop()

Specified by:

shouldStop in interface StopRequest