|
| |
|
| java.lang.Object
 de.uka.ilkd.key.gui.notification.NotificationManager
| NotificationManager | | public class NotificationManager (Code) | | The notificatin manager controls the list of active
notification tasks. It receives KeY System events and looks
for an appropriate task
author:
bubel |
| NotificationManager | | public NotificationManager(KeYMediator mediator)(Code) | | creates an instance of the notification manager
|
| addNotificationTask | | public void addNotificationTask(NotificationTask task)(Code) | | adds a notification task to this manager
Parameters:
task - the NotificationTask to be added |
| getNotificationTasks | | public Iterator getNotificationTasks()(Code) | | returns the registered notifications
the registered notifications |
| inAutoMode | | public boolean inAutoMode()(Code) | | true if the prover is currently in automode |
| notify | | public void notify(NotificationEvent event)(Code) | | dispatches the received notification event an triggers
the corresponding task
Parameters:
event - |
| removeNotificationTask | | public void removeNotificationTask(NotificationTask task)(Code) | | removes the given notification task from the list of active
tasks
Parameters:
task - the task to be removed |
| setDefaultNotification | | public void setDefaultNotification(boolean sound)(Code) | | %%HACK: move these methods
set default with or without sound
|
|
|
|