private class CounterExampleAction.CEWorker extends SwingWorker<Void,Void> implements InterruptListener
SwingWorker.StateValue
Modifier and Type | Field and Description |
---|---|
private Proof |
oldProof |
private Sequent |
oldSequent |
Constructor and Description |
---|
CounterExampleAction.CEWorker(Proof oldProof,
Sequent oldSequent) |
Modifier and Type | Method and Description |
---|---|
protected Void |
doInBackground() |
protected void |
done() |
void |
interruptionPerformed() |
addPropertyChangeListener, cancel, execute, firePropertyChange, get, get, getProgress, getPropertyChangeSupport, getState, isCancelled, isDone, process, publish, removePropertyChangeListener, run, setProgress
protected Void doInBackground() throws Exception
doInBackground
in class SwingWorker<Void,Void>
Exception
public void interruptionPerformed()
interruptionPerformed
in interface InterruptListener
protected void done()
done
in class SwingWorker<Void,Void>