private class CounterExampleAction.CEWorker extends javax.swing.SwingWorker<java.lang.Void,java.lang.Void> implements InterruptListener
Modifier and Type | Field and Description |
---|---|
private Proof |
oldProof |
private Sequent |
oldSequent |
Constructor and Description |
---|
CEWorker(Proof oldProof,
Sequent oldSequent) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Void |
doInBackground() |
protected void |
done() |
void |
interruptionPerformed() |
protected java.lang.Void doInBackground() throws java.lang.Exception
doInBackground
in class javax.swing.SwingWorker<java.lang.Void,java.lang.Void>
java.lang.Exception
public void interruptionPerformed()
interruptionPerformed
in interface InterruptListener
protected void done()
done
in class javax.swing.SwingWorker<java.lang.Void,java.lang.Void>