public class ProofMacroWorker extends javax.swing.SwingWorker<ProofMacroFinishedInfo,java.lang.Void> implements InterruptListener
It decouples proof macros from the GUI event thread. It registers with the mediator to receive Stop-Button events
Constructor and Description |
---|
ProofMacroWorker(Node node,
ProofMacro macro,
KeYMediator mediator,
PosInOccurrence posInOcc)
Instantiates a new proof macro worker.
|
Modifier and Type | Method and Description |
---|---|
void |
addInteractionListener(InteractionListener listener) |
protected ProofMacroFinishedInfo |
doInBackground() |
protected void |
done() |
protected void |
emitProofMacroFinished(Node node,
ProofMacro macro,
PosInOccurrence posInOcc,
ProofMacroFinishedInfo info) |
void |
interruptionPerformed() |
void |
removeInteractionListener(InteractionListener listener) |
public ProofMacroWorker(Node node, ProofMacro macro, KeYMediator mediator, PosInOccurrence posInOcc)
node
- the Node
to start macro at.macro
- the macro, not nullmediator
- the mediator, not nullposInOcc
- the position, possibly nullprotected ProofMacroFinishedInfo doInBackground()
doInBackground
in class javax.swing.SwingWorker<ProofMacroFinishedInfo,java.lang.Void>
public void interruptionPerformed()
interruptionPerformed
in interface InterruptListener
protected void done()
done
in class javax.swing.SwingWorker<ProofMacroFinishedInfo,java.lang.Void>
protected void emitProofMacroFinished(Node node, ProofMacro macro, PosInOccurrence posInOcc, ProofMacroFinishedInfo info)
public void addInteractionListener(InteractionListener listener)
public void removeInteractionListener(InteractionListener listener)
Copyright © 2003-2019 The KeY-Project.