de.uka.ilkd.key.gui.actions

Class CounterExampleAction.CEWorker

java.lang.Object

javax.swing.SwingWorker<Void,Void>

de.uka.ilkd.key.gui.actions.CounterExampleAction.CEWorker

All Implemented Interfaces:

InterruptListener, Runnable, Future<Void>, RunnableFuture<Void>, EventListener

Enclosing class:

CounterExampleAction

private class CounterExampleAction.CEWorker
extends SwingWorker<Void,Void>
implements InterruptListener

Nested Class Summary

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

SwingWorker.StateValue

Field Summary

Fields

Modifier and Type	Field and Description
private Proof	oldProof
private Sequent	oldSequent

Constructor Summary

Constructors

Constructor and Description
CEWorker(Proof oldProof, Sequent oldSequent)

Method Summary

Modifier and Type	Method and Description
protected Void	doInBackground()
protected void	done()
void	interruptionPerformed()

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

oldProof

private final Proof oldProof

oldSequent

private final Sequent oldSequent

Constructor Detail

CEWorker

public CEWorker(Proof oldProof,
                Sequent oldSequent)

Method Detail

doInBackground

protected Void doInBackground()
                       throws Exception

Specified by:

doInBackground in class SwingWorker<Void,Void>

Throws:

Exception

interruptionPerformed

public void interruptionPerformed()

Specified by:

interruptionPerformed in interface InterruptListener

done

protected void done()

Overrides:

done in class SwingWorker<Void,Void>