gov.nasa.jpf.vm

Class UncaughtException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.vm.UncaughtException

All Implemented Interfaces:

Printable, java.io.Serializable

public class UncaughtException
extends java.lang.RuntimeException
implements Printable

represents the case of an unhandled exception detected by JPF This is a "controlflow exception", but I finally made my peace with it since UncaughtExceptions can be thrown from various places, including the VM (, finalizer) and we can't rely on that all these locations can check for pc == null. Even if they would, at this point there is nothing to do anymore, get to the NoUncaughtProperty reporting as quickly as possible, since chances are we would be even obfuscating the problem

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
UncaughtException(ThreadInfo ti, int objRef)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getMessage()
java.lang.String	getRawMessage()
void	printOn(java.io.PrintWriter pw)

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, 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

Constructor Detail

UncaughtException

public UncaughtException(ThreadInfo ti,
                         int objRef)

Method Detail

getRawMessage

public java.lang.String getRawMessage()

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable

printOn

public void printOn(java.io.PrintWriter pw)

Specified by:

printOn in interface Printable