Uses of Class
org.jmlspecs.models.JMLSequenceException

Packages that use JMLSequenceException

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 JMLSequenceException in org.jmlspecs.models

Subclasses of JMLSequenceException in org.jmlspecs.models

class

JMLListException Exceptions from JML List types.

Methods in org.jmlspecs.models that throw JMLSequenceException

Object	JMLObjectSequence.itemAt(int i) Return the element at the given zero-based index.
int	JMLObjectSequence.indexOf(Object item) Return the zero-based index of the first occurrence of the given element in the sequence, if there is one
Object	JMLObjectSequence.first() Return the first element in this sequence.
Object	JMLObjectSequence.last() Return the last element in this sequence.
JMLObjectSequence	JMLObjectSequence.prefix(int n) Return a sequence containing the first n elements in this sequence.
JMLObjectSequence	JMLObjectSequence.removePrefix(int n) Return a sequence containing all but the first n elements in this.
JMLObjectSequence	JMLObjectSequence.removeItemAt(int index) Return a sequence like this, but without the element at the given zero-based index.
JMLObjectSequence	JMLObjectSequence.replaceItemAt(int index, Object item) Return a sequence like this, but with item replacing the element at the given zero-based index.
JMLObjectSequence	JMLObjectSequence.header() Return a sequence containing all but the last element in this.
JMLObjectSequence	JMLObjectSequence.trailer() Return a sequence containing all but the first element in this.
JMLObjectSequence	JMLObjectSequence.insertAfterIndex(int afterThisOne, Object item) Return a sequence like this, but with item put immediately after the given index.
JMLObjectSequence	JMLObjectSequence.insertBeforeIndex(int beforeThisOne, Object item) Return a sequence like this, but with item put immediately before the given index.
JMLObjectSequence	JMLObjectSequence.subsequence(int from, int to) Returns a subsequence of this containing the elements beginning with index from (inclusive) and ending with index to (exclusive).
abstract JMLType	JMLValueSequenceSpecs.itemAt(int i) Return a clone of the element at the given zero-based index.
abstract JMLType	JMLValueSequenceSpecs.first() Return a clone of the first element in this sequence.
abstract JMLType	JMLValueSequenceSpecs.last() Return a clone of the last element in this sequence.
abstract JMLValueSequence	JMLValueSequenceSpecs.insertAfterIndex(int afterThisOne, JMLType item) Return a sequence like this, but with a clone ofitem put immediately after the given index.
abstract JMLValueSequence	JMLValueSequenceSpecs.insertBeforeIndex(int beforeThisOne, JMLType item) Return a sequence like this, but with a clone of item put immediately before the given index.
JMLType	JMLValueSequence.itemAt(int i) Return the element at the given zero-based index.
int	JMLValueSequence.indexOf(JMLType item) Return the zero-based index of the first occurrence of the given element in the sequence, if there is one
JMLType	JMLValueSequence.first() Return the first element in this sequence.
JMLType	JMLValueSequence.last() Return the last element in this sequence.
JMLValueSequence	JMLValueSequence.prefix(int n) Return a sequence containing the first n elements in this sequence.
JMLValueSequence	JMLValueSequence.removePrefix(int n) Return a sequence containing all but the first n elements in this.
JMLValueSequence	JMLValueSequence.removeItemAt(int index) Return a sequence like this, but without the element at the given zero-based index.
JMLValueSequence	JMLValueSequence.replaceItemAt(int index, JMLType item) Return a sequence like this, but with item replacing the element at the given zero-based index.
JMLValueSequence	JMLValueSequence.header() Return a sequence containing all but the last element in this.
JMLValueSequence	JMLValueSequence.trailer() Return a sequence containing all but the first element in this.
JMLValueSequence	JMLValueSequence.insertAfterIndex(int afterThisOne, JMLType item) Return a sequence like this, but with item put immediately after the given index.
JMLValueSequence	JMLValueSequence.insertBeforeIndex(int beforeThisOne, JMLType item) Return a sequence like this, but with item put immediately before the given index.
JMLValueSequence	JMLValueSequence.subsequence(int from, int to) Returns a subsequence of this containing the elements beginning with index from (inclusive) and ending with index to (exclusive).
Object	JMLEqualsSequence.itemAt(int i) Return the element at the given zero-based index.
int	JMLEqualsSequence.indexOf(Object item) Return the zero-based index of the first occurrence of the given element in the sequence, if there is one
Object	JMLEqualsSequence.first() Return the first element in this sequence.
Object	JMLEqualsSequence.last() Return the last element in this sequence.
JMLEqualsSequence	JMLEqualsSequence.prefix(int n) Return a sequence containing the first n elements in this sequence.
JMLEqualsSequence	JMLEqualsSequence.removePrefix(int n) Return a sequence containing all but the first n elements in this.
JMLEqualsSequence	JMLEqualsSequence.removeItemAt(int index) Return a sequence like this, but without the element at the given zero-based index.
JMLEqualsSequence	JMLEqualsSequence.replaceItemAt(int index, Object item) Return a sequence like this, but with item replacing the element at the given zero-based index.
JMLEqualsSequence	JMLEqualsSequence.header() Return a sequence containing all but the last element in this.
JMLEqualsSequence	JMLEqualsSequence.trailer() Return a sequence containing all but the first element in this.
JMLEqualsSequence	JMLEqualsSequence.insertAfterIndex(int afterThisOne, Object item) Return a sequence like this, but with item put immediately after the given index.
JMLEqualsSequence	JMLEqualsSequence.insertBeforeIndex(int beforeThisOne, Object item) Return a sequence like this, but with item put immediately before the given index.
JMLEqualsSequence	JMLEqualsSequence.subsequence(int from, int to) Returns a subsequence of this containing the elements beginning with index from (inclusive) and ending with index to (exclusive).