Package | Description |
---|---|
de.uka.ilkd.key.gui.notification | |
de.uka.ilkd.key.gui.notification.actions |
Modifier and Type | Method and Description |
---|---|
java.util.List<NotificationAction> |
NotificationTask.getNotificationActions() |
Modifier and Type | Method and Description |
---|---|
void |
NotificationTask.addNotificationAction(NotificationAction action)
adds an notificatin action this task.
|
Modifier and Type | Class and Description |
---|---|
class |
ExceptionFailureNotificationDialog |
class |
GeneralFailureJTextPaneDisplay
Displays a string in a
JOptionPane error message window. |
class |
GeneralInformationJTextPaneDisplay
Displays a string in a
JOptionPane information
message window. |
class |
ProofClosedJTextPaneDisplay
Displays a JOptionPane informing about a closed proof
and gives some statistics.
|
class |
ShowDisplayPane
Actions which display a text should inherit from
this abstract notification action.
|
Copyright © 2003-2019 The KeY-Project.