Uses of Class
org.jmlspecs.models.JMLListException

Packages that use JMLListException

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.

Uses of JMLListException in org.jmlspecs.models

Methods in org.jmlspecs.models that throw JMLListException

JMLType	JMLListValueNode.itemAt(int i) Return the ith element of a list.
JMLType	JMLListValueNode.getItem(JMLType item) Return the zero-based index of the first occurrence of the given element in the list, if there is one
JMLListValueNode	JMLListValueNode.insertBefore(int n, JMLType item) Return a list that is like this list but with the given item inserted before the given index.
Object	JMLListEqualsNode.itemAt(int i) Return the ith element of a list.
Object	JMLListEqualsNode.getItem(Object item) Return the zero-based index of the first occurrence of the given element in the list, if there is one
JMLListEqualsNode	JMLListEqualsNode.insertBefore(int n, Object item) Return a list that is like this list but with the given item inserted before the given index.
Object	JMLListObjectNode.itemAt(int i) Return the ith element of a list.
Object	JMLListObjectNode.getItem(Object item) Return the zero-based index of the first occurrence of the given element in the list, if there is one
JMLListObjectNode	JMLListObjectNode.insertBefore(int n, Object item) Return a list that is like this list but with the given item inserted before the given index.