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

Packages that use ExceptionHandler

Package	Description
gov.nasa.jpf.vm

Uses of ExceptionHandler in gov.nasa.jpf.vm

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

Modifier and Type	Field and Description
protected ExceptionHandler[]	MethodInfo.exceptionHandlers JPFConfigException handlers

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

Modifier and Type	Method and Description
ExceptionHandler[]	MethodInfo.getExceptions()
ExceptionHandler	HandlerContext.getHandler()
ExceptionHandler	MethodInfo.getHandlerFor(ClassInfo ciException, Instruction insn)

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

Modifier and Type	Method and Description
void	MethodInfo.setExceptionHandlers(ExceptionHandler[] handlers)