de.uka.ilkd.key.gui

Class ProofScriptWorker

java.lang.Object

javax.swing.SwingWorker<Object,Object>

de.uka.ilkd.key.gui.ProofScriptWorker

All Implemented Interfaces:

InterruptListener, Runnable, Future<Object>, RunnableFuture<Object>, EventListener

public class ProofScriptWorker
extends SwingWorker<Object,Object>
implements InterruptListener

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.SwingWorker

SwingWorker.StateValue

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
ProofScriptWorker(KeYMediator mediator, File file)
ProofScriptWorker(KeYMediator mediator, String script, Location location)

Method Summary

Modifier and Type	Method and Description
protected Object	doInBackground()
void	done()
void	init()
void	interruptionPerformed()
private void	makeDialog()
protected void	process(List<Object> chunks)

Methods inherited from class javax.swing.SwingWorker

addPropertyChangeListener, cancel, execute, firePropertyChange, get, get, getProgress, getPropertyChangeSupport, getState, isCancelled, isDone, publish, removePropertyChangeListener, run, setProgress

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

mediator

private final KeYMediator mediator

script

private final String script

initialLocation

private final Location initialLocation

monitor

private JDialog monitor

logArea

private JTextArea logArea

observer

private final Observer observer

Constructor Detail

ProofScriptWorker

public ProofScriptWorker(KeYMediator mediator,
                         File file)
                  throws IOException

Throws:

IOException

ProofScriptWorker

public ProofScriptWorker(KeYMediator mediator,
                         String script,
                         Location location)

Method Detail

doInBackground

protected Object doInBackground()
                         throws Exception

Specified by:

doInBackground in class SwingWorker<Object,Object>

Throws:

Exception

makeDialog

private void makeDialog()

process

protected void process(List<Object> chunks)

Overrides:

process in class SwingWorker<Object,Object>

init

public void init()

done

public void done()

Overrides:

done in class SwingWorker<Object,Object>

interruptionPerformed

public void interruptionPerformed()

Specified by:

interruptionPerformed in interface InterruptListener