| java.lang.Object gov.nasa.jpf.jvm.ExceptionHandler
ExceptionHandler | public class ExceptionHandler (Code) | | Stores the information about an exception handler.
|
Method Summary | |
public int | getBegin() Returns the first instruction in the block. | public int | getEnd() Returns the last instruction in the block. | public int | getHandler() Returns the instruction location for the handler. | public String | getName() Returns the name of the exception caught. |
ExceptionHandler | public ExceptionHandler(String n, int b, int e, int h)(Code) | | Creates a new exception handler.
|
getBegin | public int getBegin()(Code) | | Returns the first instruction in the block.
|
getEnd | public int getEnd()(Code) | | Returns the last instruction in the block.
|
getHandler | public int getHandler()(Code) | | Returns the instruction location for the handler.
|
getName | public String getName()(Code) | | Returns the name of the exception caught.
|
|
|