de.uka.ilkd.key.proof.io

Class ProblemLoaderException

java.lang.Object

java.lang.Throwable

java.lang.Exception

de.uka.ilkd.key.proof.io.ProblemLoaderException

All Implemented Interfaces:

Serializable

public final class ProblemLoaderException
extends Exception

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private AbstractProblemLoader	origin
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
ProblemLoaderException(AbstractProblemLoader origin, String msg)
ProblemLoaderException(AbstractProblemLoader origin, String msg, Throwable cause)
ProblemLoaderException(AbstractProblemLoader origin, Throwable cause)

Method Summary

Modifier and Type	Method and Description
AbstractProblemLoader	getOrigin()
String	toString()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, 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

origin

private AbstractProblemLoader origin

Constructor Detail

ProblemLoaderException

public ProblemLoaderException(AbstractProblemLoader origin,
                              Throwable cause)

ProblemLoaderException

public ProblemLoaderException(AbstractProblemLoader origin,
                              String msg,
                              Throwable cause)

ProblemLoaderException

public ProblemLoaderException(AbstractProblemLoader origin,
                              String msg)

Method Detail

getOrigin

public AbstractProblemLoader getOrigin()

toString

public String toString()

Overrides:

toString in class Throwable