Package | Description |
---|---|
de.uka.ilkd.key.core | |
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.notification | |
de.uka.ilkd.key.gui.notification.actions | |
de.uka.ilkd.key.gui.notification.events | |
de.uka.ilkd.key.ui |
Class and Description |
---|
NotificationEvent
A NotificationEvent is triggered if the system wants to notify the user
about a certain situation.
|
Class and Description |
---|
NotificationEvent
A NotificationEvent is triggered if the system wants to notify the user
about a certain situation.
|
Class and Description |
---|
NotificationEvent
A NotificationEvent is triggered if the system wants to notify the user
about a certain situation.
|
Class and Description |
---|
NotificationEvent
A NotificationEvent is triggered if the system wants to notify the user
about a certain situation.
|
Class and Description |
---|
GeneralFailureEvent
A notification event caused by a general unexpected failure
(usually caused by a bug of the system)
|
NotificationEvent
A NotificationEvent is triggered if the system wants to notify the user
about a certain situation.
|
Class and Description |
---|
NotificationEvent
A NotificationEvent is triggered if the system wants to notify the user
about a certain situation.
|
Copyright © 2003-2019 The KeY-Project.