de.uka.ilkd.key.gui.smt

Interface ProgressDialog.ProgressDialogListener

All Superinterfaces:

ProgressTable.ProgressTableListener

All Known Implementing Classes:

SolverListener.ProgressDialogListenerImpl

Enclosing class:

ProgressDialog

public static interface ProgressDialog.ProgressDialogListener
extends ProgressTable.ProgressTableListener

Method Summary

Modifier and Type	Method and Description
void	additionalInformationChosen(Object obj)
void	applyButtonClicked()
void	discardButtonClicked()
void	stopButtonClicked()

Methods inherited from interface de.uka.ilkd.key.gui.smt.ProgressTable.ProgressTableListener

infoButtonClicked

Method Detail

applyButtonClicked

void applyButtonClicked()

stopButtonClicked

void stopButtonClicked()

discardButtonClicked

void discardButtonClicked()

additionalInformationChosen

void additionalInformationChosen(Object obj)