Package daikon
Class Daikon.BugInDaikon
-
- All Implemented Interfaces:
Serializable
- Enclosing class:
- Daikon
public static class Daikon.BugInDaikon extends Daikon.DaikonTerminationException
Indicates that Daikon has terminated abnormally, indicating a bug in Daikon. Also used to indicate a situation that should not happen.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description BugInDaikon(String message)
BugInDaikon(String message, Throwable e)
BugInDaikon(Throwable e)
-
Method Summary
-
Methods inherited from class Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
-
-
-
Constructor Detail
-
BugInDaikon
public BugInDaikon(String message)
-
BugInDaikon
public BugInDaikon(Throwable e)
-
BugInDaikon
public BugInDaikon(String message, Throwable e)
-
-