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

Class GeneralFailureEvent

java.lang.Object

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

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

Direct Known Subclasses:

ExceptionFailureEvent

public class GeneralFailureEvent
extends NotificationEvent

A notification event caused by a general unexpected failure (usually caused by a bug of the system)

Author:

bubel

Field Summary

Fields

Modifier and Type	Field and Description
private String	errorMessage

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GeneralFailureEvent(NotificationEventID id)
	GeneralFailureEvent(String errorMessage) creates an instance of this event

Method Summary

Modifier and Type	Method and Description
String	getErrorMessage()

Methods inherited from class de.uka.ilkd.key.gui.notification.events.NotificationEvent

getEventID

Methods inherited from class java.lang.Object

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

Field Detail

errorMessage

private String errorMessage

Constructor Detail

GeneralFailureEvent

protected GeneralFailureEvent(NotificationEventID id)

GeneralFailureEvent

public GeneralFailureEvent(String errorMessage)

creates an instance of this event

Parameters:

errorMessage - a String describing the failure

Method Detail

getErrorMessage

public String getErrorMessage()

Returns:

the error message describing the reason for this event