gov.nasa.jpf.vm

Class ArrayIndexOutOfBoundsExecutiveException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.JPFException

gov.nasa.jpf.vm.ArrayIndexOutOfBoundsExecutiveException

All Implemented Interfaces:

java.io.Serializable

public class ArrayIndexOutOfBoundsExecutiveException
extends JPFException

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ArrayIndexOutOfBoundsExecutiveException(Instruction i)
ArrayIndexOutOfBoundsExecutiveException(Instruction i, java.lang.String msg)

Method Summary

Modifier and Type	Method and Description
Instruction	getInstruction()

Methods inherited from class gov.nasa.jpf.JPFException

printStackTrace

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayIndexOutOfBoundsExecutiveException

public ArrayIndexOutOfBoundsExecutiveException(Instruction i)

ArrayIndexOutOfBoundsExecutiveException

public ArrayIndexOutOfBoundsExecutiveException(Instruction i,
                                               java.lang.String msg)

Method Detail

getInstruction

public Instruction getInstruction()