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 aCallable
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
-
-