Uses of Class
gov.nasa.jpf.vm.ExceptionInfo

Packages that use ExceptionInfo

Package	Description
gov.nasa.jpf.vm

Uses of ExceptionInfo in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as ExceptionInfo

Modifier and Type	Field and Description
protected ExceptionInfo	ThreadInfo.pendingException

Methods in gov.nasa.jpf.vm that return ExceptionInfo

Modifier and Type	Method and Description
ExceptionInfo	ThreadInfo.getPendingException()
ExceptionInfo	VM.getPendingException()
ExceptionInfo	NoUncaughtExceptionsProperty.getUncaughtExceptionInfo()

Methods in gov.nasa.jpf.vm with parameters of type ExceptionInfo

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)