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

public class ArrayIndexOutOfBoundsExecutiveException
extends JPFException

Author:

flerda <2do> Check usage! If this is used to intercept AIOBX in the target app, this is a BAD example of using exceptions for general control flow. If this is used for internal AIOBX then it should be just a JPFException

Field Summary

Fields inherited from class java.lang.Throwable

cause, detailMessage, stackTrace

Constructor Summary

Constructors

Constructor and Description
ArrayIndexOutOfBoundsExecutiveException(Instruction i)

Method Summary

Methods

Modifier and Type	Method and Description
Instruction	getInstruction()

Methods inherited from class gov.nasa.jpf.JPFException

printStackTrace

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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)

Method Detail

getInstruction

public Instruction getInstruction()