public class ProofScriptWorker extends javax.swing.SwingWorker<java.lang.Object,java.lang.Object> implements InterruptListener
Constructor and Description |
---|
ProofScriptWorker(KeYMediator mediator,
java.io.File file) |
ProofScriptWorker(KeYMediator mediator,
java.lang.String script,
Location location)
Instantiates a new proof script worker.
|
ProofScriptWorker(KeYMediator mediator,
java.lang.String script,
Location location,
Goal initiallySelectedGoal)
Instantiates a new proof script worker.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.Object |
doInBackground() |
void |
done() |
void |
init() |
void |
interruptionPerformed() |
protected void |
process(java.util.List<java.lang.Object> chunks) |
public ProofScriptWorker(KeYMediator mediator, java.io.File file) throws java.io.IOException
java.io.IOException
public ProofScriptWorker(KeYMediator mediator, java.lang.String script, Location location)
mediator
- the mediatorscript
- the scriptlocation
- the locationpublic ProofScriptWorker(KeYMediator mediator, java.lang.String script, Location location, Goal initiallySelectedGoal)
mediator
- the mediatorscript
- the scriptlocation
- the locationinitiallySelectedGoal
- the initially selected goalprotected java.lang.Object doInBackground() throws java.lang.Exception
doInBackground
in class javax.swing.SwingWorker<java.lang.Object,java.lang.Object>
java.lang.Exception
protected void process(java.util.List<java.lang.Object> chunks)
process
in class javax.swing.SwingWorker<java.lang.Object,java.lang.Object>
public void init()
public void done()
done
in class javax.swing.SwingWorker<java.lang.Object,java.lang.Object>
public void interruptionPerformed()
interruptionPerformed
in interface InterruptListener
Copyright © 2003-2019 The KeY-Project.