public static interface ProgressDialog.ProgressDialogListener
extends de.uka.ilkd.key.gui.smt.ProgressTable.ProgressTableListener
Modifier and Type | Method and Description |
---|---|
void |
additionalInformationChosen(java.lang.Object obj) |
void |
applyButtonClicked() |
void |
discardButtonClicked() |
void |
stopButtonClicked() |
Copyright © 2003-2019 The KeY-Project.