Package | Description |
---|---|
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 |
Class and Description |
---|
NotificationManager
The notificatin manager controls the list of active notification tasks.
|
Class and Description |
---|
NotificationAction
this interface is implemented by notification actions
|
NotificationEventID
This interface constants used to uniquely identify KeY system events
Refactored this type into an enum.
|
NotificationManager
The notificatin manager controls the list of active notification tasks.
|
NotificationTask
A notification task maps a
NotificationEvent to a list
of actions to be performed when the event is encountered. |
Class and Description |
---|
NotificationAction
this interface is implemented by notification actions
|
Class and Description |
---|
NotificationEventID
This interface constants used to uniquely identify KeY system events
Refactored this type into an enum.
|
Copyright © 2003-2019 The KeY-Project.