de.uka.ilkd.key.util

Class ExceptionHandlerException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.uka.ilkd.key.util.ExceptionHandlerException

All Implemented Interfaces:

java.io.Serializable

public class ExceptionHandlerException
extends java.lang.RuntimeException

This Exception is only thrown by the ExceptionHandler

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
ExceptionHandlerException()
ExceptionHandlerException(java.lang.String msg)
ExceptionHandlerException(java.lang.Throwable ex)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getMessage()
java.lang.String	toString()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

ExceptionHandlerException

public ExceptionHandlerException()

ExceptionHandlerException

public ExceptionHandlerException(java.lang.String msg)

ExceptionHandlerException

public ExceptionHandlerException(java.lang.Throwable ex)

Method Detail

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable