de.uka.ilkd.key.ui

Class MediatorProofControl.AutoModeWorker

java.lang.Object

javax.swing.SwingWorker<ApplyStrategyInfo,java.lang.Object>

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

All Implemented Interfaces:

java.lang.Runnable, java.util.concurrent.Future<ApplyStrategyInfo>, java.util.concurrent.RunnableFuture<ApplyStrategyInfo>

Enclosing class:

MediatorProofControl

private class MediatorProofControl.AutoModeWorker
extends javax.swing.SwingWorker<ApplyStrategyInfo,java.lang.Object>

Nested Class Summary

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

javax.swing.SwingWorker.StateValue

Field Summary

Fields

Modifier and Type	Field and Description
private ApplyStrategy	applyStrategy
private ImmutableList<Goal>	goals
private ApplyStrategyInfo	info
private java.util.List<Node>	initialGoals
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 ApplyStrategyInfo	doInBackground()
protected void	done()
protected void	emitInteractiveAutoMode(java.util.List<Node> initialGoals, Proof proof, ApplyStrategyInfo info)
private void	notifyException(java.lang.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

initialGoals

private final java.util.List<Node> initialGoals

goals

private final ImmutableList<Goal> goals

applyStrategy

private final ApplyStrategy applyStrategy

info

private ApplyStrategyInfo info

Constructor Detail

AutoModeWorker

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

Method Detail

done

protected void done()

Overrides:

done in class javax.swing.SwingWorker<ApplyStrategyInfo,java.lang.Object>

emitInteractiveAutoMode

protected void emitInteractiveAutoMode(java.util.List<Node> initialGoals,
                                       Proof proof,
                                       ApplyStrategyInfo info)

notifyException

private void notifyException(java.lang.Exception exception)

doInBackground

protected ApplyStrategyInfo doInBackground()
                                    throws java.lang.Exception

Specified by:

doInBackground in class javax.swing.SwingWorker<ApplyStrategyInfo,java.lang.Object>

Throws:

java.lang.Exception