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

Class ExceptionFailureEvent

java.lang.Object

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

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

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

public class ExceptionFailureEvent
extends GeneralFailureEvent

Field Summary

Fields

Modifier and Type	Field and Description
private Throwable	error

Constructor Summary

Constructors

Constructor and Description
ExceptionFailureEvent(String string, Throwable throwable)

Method Summary

Modifier and Type	Method and Description
Throwable	getException()

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

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

error

private final Throwable error

Constructor Detail

ExceptionFailureEvent

public ExceptionFailureEvent(String string,
                             Throwable throwable)

Method Detail

getException

public Throwable getException()