public class ExceptionFailureEvent extends GeneralFailureEvent
Constructor and Description |
---|
ExceptionFailureEvent(java.lang.String string,
java.lang.Throwable throwable) |
Modifier and Type | Method and Description |
---|---|
java.lang.Throwable |
getException() |
getErrorMessage
getEventID
Copyright © 2003-2019 The KeY-Project.