public final class ProblemLoaderException
extends java.lang.Exception
Constructor and Description |
---|
ProblemLoaderException(AbstractProblemLoader origin,
java.lang.String msg) |
ProblemLoaderException(AbstractProblemLoader origin,
java.lang.String msg,
java.lang.Throwable cause) |
ProblemLoaderException(AbstractProblemLoader origin,
java.lang.Throwable cause) |
Modifier and Type | Method and Description |
---|---|
AbstractProblemLoader |
getOrigin() |
java.lang.String |
toString() |
public ProblemLoaderException(AbstractProblemLoader origin, java.lang.Throwable cause)
public ProblemLoaderException(AbstractProblemLoader origin, java.lang.String msg, java.lang.Throwable cause)
public ProblemLoaderException(AbstractProblemLoader origin, java.lang.String msg)
public AbstractProblemLoader getOrigin()
public java.lang.String toString()
toString
in class java.lang.Throwable
Copyright © 2003-2019 The KeY-Project.