Package org.sosy_lab.common

Class Classes.UnexpectedCheckedException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.sosy_lab.common.Classes.UnexpectedCheckedException

All Implemented Interfaces:

Serializable

Enclosing class:

Classes

public static final class Classes.UnexpectedCheckedException
extends RuntimeException

An exception that should be used if a checked exception is encountered in a situation where it is not excepted (e.g., when getting the result from a Callable of which you know it shouldn't throw such exceptions).

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
UnexpectedCheckedException(String message, Throwable source)

Method Summary

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Details

UnexpectedCheckedException

public UnexpectedCheckedException(String message,
 Throwable source)