Uses of Class
java.lang.IndexOutOfBoundsException

Packages that use IndexOutOfBoundsException

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.

Uses of IndexOutOfBoundsException in java.lang

Subclasses of IndexOutOfBoundsException in java.lang

class	ArrayIndexOutOfBoundsException
class	StringIndexOutOfBoundsException

Methods in java.lang that throw IndexOutOfBoundsException

abstract char	CharSequence.charAt(int index)
abstract CharSequence	CharSequence.subSequence(int start, int end)

Uses of IndexOutOfBoundsException in org.jmlspecs.models

Subclasses of IndexOutOfBoundsException in org.jmlspecs.models

class	JMLListException Exceptions from JML List types.
class	JMLSequenceException Index out of bounds exceptions from JML Sequence types.

Methods in org.jmlspecs.models that throw IndexOutOfBoundsException

Object	JMLObjectSequence.get(int i) Return the element at the given zero-based index; a synonym for JMLObjectSequence.itemAt(int).
JMLType	JMLValueSequence.get(int i) Return the element at the given zero-based index; a synonym for JMLValueSequence.itemAt(int).
Object	JMLEqualsSequence.get(int i) Return the element at the given zero-based index; a synonym for JMLEqualsSequence.itemAt(int).

Uses of IndexOutOfBoundsException in org.jmlspecs.models.resolve

Methods in org.jmlspecs.models.resolve that throw IndexOutOfBoundsException

Object	StringOfObject.get(int index) Return the element in the string at the given index.
StringOfObject	StringOfObject.addAfterIndex(int afterThisOne, Object elem) Add an element to a string after the given index.
StringOfObject	StringOfObject.addBeforeIndex(int beforeThisOne, Object elem) Add an element to a string before the given index.