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

Packages that use HandlerContext

Package	Description
gov.nasa.jpf.vm

Uses of HandlerContext in gov.nasa.jpf.vm

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

Modifier and Type	Method and Description
HandlerContext	ThreadInfo.getHandlerContextFor(ClassInfo ciException) this is basically a side-effect free version of throwException to determine if a given exception will be handled.