Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
protected ExceptionHandler[] |
MethodInfo.exceptionHandlers
JPFConfigException handlers
|
Modifier and Type | Method and Description |
---|---|
ExceptionHandler[] |
MethodInfo.getExceptions() |
ExceptionHandler |
HandlerContext.getHandler() |
ExceptionHandler |
MethodInfo.getHandlerFor(ClassInfo ciException,
Instruction insn) |
Modifier and Type | Method and Description |
---|---|
void |
MethodInfo.setExceptionHandlers(ExceptionHandler[] handlers) |