gov.nasa.jpf

Class JPF.ExitException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.JPF.ExitException

Enclosing class:

JPF

public static class JPF.ExitException
extends RuntimeException

private helper class for local termination of JPF (without killing the whole Java process via System.exit). While this is basically a bad non-local goto exception, it seems to be the least of evils given the current JPF structure, and the need to terminate w/o exiting the whole Java process. If we just do a System.exit(), we couldn't use JPF in an embedded context

Field Summary

Fields inherited from class java.lang.Throwable

cause, detailMessage, stackTrace

Method Summary

Methods

Modifier and Type	Method and Description
boolean	shouldReport()

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

shouldReport

public boolean shouldReport()