Package | Description |
---|---|
gov.nasa.jpf.vm |
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.
|