gov.nasa.jpf

Class JPF.ExitException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.JPF.ExitException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

JPF

public static class JPF.ExitException
extends java.lang.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

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
boolean	shouldReport()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, 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()