public static class JPF.ExitException extends RuntimeException
cause, detailMessage, stackTrace
Modifier and Type | Method and Description |
---|---|
boolean |
shouldReport() |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString