gov.nasa.jpf.vm

Class ExceptionHandler

java.lang.Object

gov.nasa.jpf.vm.ExceptionHandler

public class ExceptionHandler
extends java.lang.Object

Stores the information about an exception handler.

Constructor Summary

Constructors

Constructor and Description
ExceptionHandler(java.lang.String n, int b, int e, int h) Creates a new exception handler.

Method Summary

Modifier and Type	Method and Description
int	getBegin() Returns the first instruction in the block.
int	getEnd() Returns the last instruction in the block.
int	getHandler() Returns the instruction location for the handler.
java.lang.String	getName() Returns the name of the exception caught.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExceptionHandler

public ExceptionHandler(java.lang.String n,
                        int b,
                        int e,
                        int h)

Creates a new exception handler.

Method Detail

getBegin

public int getBegin()

Returns the first instruction in the block.

getEnd

public int getEnd()

Returns the last instruction in the block.

getHandler

public int getHandler()

Returns the instruction location for the handler.

getName

public java.lang.String getName()

Returns the name of the exception caught.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object