private class MediatorProofControl.AutoModeWorker extends SwingWorker<ApplyStrategy.ApplyStrategyInfo,Object>
SwingWorker.StateValue
Modifier and Type | Field and Description |
---|---|
private ApplyStrategy |
applyStrategy |
private ImmutableList<Goal> |
goals |
private Proof |
proof |
Constructor and Description |
---|
MediatorProofControl.AutoModeWorker(Proof proof,
ImmutableList<Goal> goals,
ProverTaskListener ptl) |
Modifier and Type | Method and Description |
---|---|
protected ApplyStrategy.ApplyStrategyInfo |
doInBackground() |
protected void |
done() |
private void |
notifyException(Exception exception) |
addPropertyChangeListener, cancel, execute, firePropertyChange, get, get, getProgress, getPropertyChangeSupport, getState, isCancelled, isDone, process, publish, removePropertyChangeListener, run, setProgress
private final Proof proof
private final ImmutableList<Goal> goals
private final ApplyStrategy applyStrategy
public MediatorProofControl.AutoModeWorker(Proof proof, ImmutableList<Goal> goals, ProverTaskListener ptl)
protected void done()
done
in class SwingWorker<ApplyStrategy.ApplyStrategyInfo,Object>
private void notifyException(Exception exception)
protected ApplyStrategy.ApplyStrategyInfo doInBackground() throws Exception
doInBackground
in class SwingWorker<ApplyStrategy.ApplyStrategyInfo,Object>
Exception