Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
protected ExceptionInfo |
ThreadInfo.pendingException |
Modifier and Type | Method and Description |
---|---|
ExceptionInfo |
ThreadInfo.getPendingException() |
ExceptionInfo |
VM.getPendingException() |
ExceptionInfo |
NoUncaughtExceptionsProperty.getUncaughtExceptionInfo() |
Modifier and Type | Method and Description |
---|---|
protected Instruction |
ThreadInfo.callUncaughtHandler(ExceptionInfo xi)
this explicitly models the standard ThreadGroup.uncaughtException(), but we want
to save us a roundtrip if that's the only handler we got.
|
protected Instruction |
ThreadInfo.callUncaughtHandler(ExceptionInfo xi,
int handlerRef,
String id) |