de.uka.ilkd.key.ui

Class MediatorProofControl.AutoModeWorker

java.lang.Object

javax.swing.SwingWorker<ApplyStrategy.ApplyStrategyInfo,Object>

de.uka.ilkd.key.ui.MediatorProofControl.AutoModeWorker

All Implemented Interfaces:

Runnable, Future<ApplyStrategy.ApplyStrategyInfo>, RunnableFuture<ApplyStrategy.ApplyStrategyInfo>

Enclosing class:

MediatorProofControl

private class MediatorProofControl.AutoModeWorker
extends SwingWorker<ApplyStrategy.ApplyStrategyInfo,Object>

Nested Class Summary

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

SwingWorker.StateValue

Field Summary

Fields

Modifier and Type	Field and Description
private ApplyStrategy	applyStrategy
private ImmutableList<Goal>	goals
private Proof	proof

Constructor Summary

Constructors

Constructor and Description
AutoModeWorker(Proof proof, ImmutableList<Goal> goals, ProverTaskListener ptl)

Method Summary

Modifier and Type	Method and Description
protected ApplyStrategy.ApplyStrategyInfo	doInBackground()
protected void	done()
private void	notifyException(Exception exception)

Methods inherited from class javax.swing.SwingWorker

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

Methods inherited from class java.lang.Object

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

Field Detail

proof

private final Proof proof

goals

private final ImmutableList<Goal> goals

applyStrategy

private final ApplyStrategy applyStrategy

Constructor Detail

AutoModeWorker

public AutoModeWorker(Proof proof,
                      ImmutableList<Goal> goals,
                      ProverTaskListener ptl)

Method Detail

done

protected void done()

Overrides:

done in class SwingWorker<ApplyStrategy.ApplyStrategyInfo,Object>

notifyException

private void notifyException(Exception exception)

doInBackground

protected ApplyStrategy.ApplyStrategyInfo doInBackground()
                                                  throws Exception

Specified by:

doInBackground in class SwingWorker<ApplyStrategy.ApplyStrategyInfo,Object>

Throws:

Exception