public class ProofScriptWorker extends SwingWorker<Object,Object> implements InterruptListener
SwingWorker.StateValue
Modifier and Type | Field and Description |
---|---|
private Location |
initialLocation |
private JTextArea |
logArea |
private KeYMediator |
mediator |
private JDialog |
monitor |
private Observer |
observer |
private String |
script |
Constructor and Description |
---|
ProofScriptWorker(KeYMediator mediator,
File file) |
ProofScriptWorker(KeYMediator mediator,
String script,
Location location) |
Modifier and Type | Method and Description |
---|---|
protected Object |
doInBackground() |
void |
done() |
void |
init() |
void |
interruptionPerformed() |
private void |
makeDialog() |
protected void |
process(List<Object> chunks) |
addPropertyChangeListener, cancel, execute, firePropertyChange, get, get, getProgress, getPropertyChangeSupport, getState, isCancelled, isDone, publish, removePropertyChangeListener, run, setProgress
private final KeYMediator mediator
private final String script
private final Location initialLocation
private JDialog monitor
private JTextArea logArea
private final Observer observer
public ProofScriptWorker(KeYMediator mediator, File file) throws IOException
IOException
public ProofScriptWorker(KeYMediator mediator, String script, Location location)
protected Object doInBackground() throws Exception
doInBackground
in class SwingWorker<Object,Object>
Exception
private void makeDialog()
protected void process(List<Object> chunks)
process
in class SwingWorker<Object,Object>
public void init()
public void done()
done
in class SwingWorker<Object,Object>
public void interruptionPerformed()
interruptionPerformed
in interface InterruptListener