Hierarchy For Package de.uka.ilkd.key.gui.notification.actions

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • de.uka.ilkd.key.gui.notification.actions.ShowDisplayPane (implements de.uka.ilkd.key.gui.notification.NotificationAction)
    • de.uka.ilkd.key.gui.notification.actions.ExceptionFailureNotificationDialog
    • de.uka.ilkd.key.gui.notification.actions.GeneralFailureJTextPaneDisplay
    • de.uka.ilkd.key.gui.notification.actions.GeneralInformationJTextPaneDisplay
    • de.uka.ilkd.key.gui.notification.actions.ProofClosedJTextPaneDisplay