de.uka.ilkd.key.gui.smt

Class SolverListener.ProgressDialogListenerImpl

java.lang.Object

de.uka.ilkd.key.gui.smt.SolverListener.ProgressDialogListenerImpl

All Implemented Interfaces:

ProgressDialog.ProgressDialogListener, ProgressTable.ProgressTableListener

Enclosing class:

SolverListener

private class SolverListener.ProgressDialogListenerImpl
extends Object
implements ProgressDialog.ProgressDialogListener

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	counterexample
private SolverLauncher	launcher

Constructor Summary

Constructors

Constructor and Description
ProgressDialogListenerImpl(SolverLauncher launcher, boolean counterexample)

Method Summary

Modifier and Type	Method and Description
void	additionalInformationChosen(Object obj)
void	applyButtonClicked()
void	discardButtonClicked()
void	infoButtonClicked(int column, int row)
void	stopButtonClicked()

Methods inherited from class java.lang.Object

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

Field Detail

launcher

private SolverLauncher launcher

counterexample

private boolean counterexample

Constructor Detail

ProgressDialogListenerImpl

public ProgressDialogListenerImpl(SolverLauncher launcher,
                                  boolean counterexample)

Method Detail

infoButtonClicked

public void infoButtonClicked(int column,
                              int row)

Specified by:

infoButtonClicked in interface ProgressTable.ProgressTableListener

stopButtonClicked

public void stopButtonClicked()

Specified by:

stopButtonClicked in interface ProgressDialog.ProgressDialogListener

applyButtonClicked

public void applyButtonClicked()

Specified by:

applyButtonClicked in interface ProgressDialog.ProgressDialogListener

discardButtonClicked

public void discardButtonClicked()

Specified by:

discardButtonClicked in interface ProgressDialog.ProgressDialogListener

additionalInformationChosen

public void additionalInformationChosen(Object obj)

Specified by:

additionalInformationChosen in interface ProgressDialog.ProgressDialogListener