public class ArrayIndexOutOfBoundsExecutiveException extends JPFException
cause, detailMessage, stackTrace
Constructor and Description |
---|
ArrayIndexOutOfBoundsExecutiveException(Instruction i) |
Modifier and Type | Method and Description |
---|---|
Instruction |
getInstruction() |
printStackTrace
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, setStackTrace, toString
public ArrayIndexOutOfBoundsExecutiveException(Instruction i)
public Instruction getInstruction()