de.uka.ilkd.key.gui.notification.events

Class NotificationEvent

java.lang.Object

de.uka.ilkd.key.gui.notification.events.NotificationEvent

Direct Known Subclasses:

AbandonTaskEvent, ExitKeYEvent, GeneralFailureEvent, GeneralInformationEvent, ProofClosedNotificationEvent

public abstract class NotificationEvent
extends java.lang.Object

A NotificationEvent is triggered if the system wants to notify the user about a certain situation. Each kind of event is assigned a unique id which are declared in NotificationEventID.

Author:

bubel

Field Summary

Fields

Modifier and Type	Field and Description
private NotificationEventID	eventID the unique id identifying the kind of this event

Constructor Summary

Constructors

Constructor and Description
NotificationEvent(NotificationEventID eventID) creates an instance of this event

Method Summary

Modifier and Type	Method and Description
NotificationEventID	getEventID()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

eventID

private final NotificationEventID eventID

the unique id identifying the kind of this event

Constructor Detail

NotificationEvent

public NotificationEvent(NotificationEventID eventID)

creates an instance of this event

Parameters:

eventID - the int identifying the kind of this event

See Also:

NotificationEventID

Method Detail

getEventID

public NotificationEventID getEventID()

Returns:

returns the eventID

See Also:

NotificationEventID