Uses of Class
org.jmlspecs.models.JMLEqualsSequence

Packages that use JMLEqualsSequence

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

Fields in org.jmlspecs.models declared as JMLEqualsSequence

static JMLEqualsSequence

JMLEqualsSequence.EMPTY The empty JMLEqualsSequence.

Methods in org.jmlspecs.models that return JMLEqualsSequence

JMLEqualsSequence	JMLEqualsSet.toSequence() Return a new JMLEqualsSequence containing all the elements of this.
static JMLEqualsSequence	JMLEqualsSequence.singleton(Object e) Return the singleton sequence containing the given element.
static JMLEqualsSequence	JMLEqualsSequence.convertFrom(Object[] a) Return the sequence containing all the elements in the given array in the same order as the elements appear in the array.
static JMLEqualsSequence	JMLEqualsSequence.convertFrom(Object[] a, int size) Return the sequence containing the first 'size' elements in the given array in the same order as the elements appear in the array.
static JMLEqualsSequence	JMLEqualsSequence.convertFrom(Collection c) Return the sequence containing all the object in the given collection in the same order as the elements appear in the collection.
static JMLEqualsSequence	JMLEqualsSequence.convertFrom(JMLCollection c) Return the sequence containing all the object in the given JMLCollection in the same order as the elements appear in the collection.
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.concat(JMLEqualsSequence s2) Return a sequence that is the concatenation of this with the given sequence.
JMLEqualsSequence	JMLEqualsSequence.reverse() Return a sequence that is the reverse of this sequence.
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.insertBack(Object item) Return a sequence like this, but with the given item put an the end.
JMLEqualsSequence	JMLEqualsSequence.insertFront(Object item) Return a sequence like this, but with the given item put an the front.
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).
JMLEqualsSequence	JMLEqualsBag.toSequence() Return a new JMLEqualsSequence containing all the elements of this.

Methods in org.jmlspecs.models with parameters of type JMLEqualsSequence

boolean	JMLEqualsSequence.isPrefix(JMLEqualsSequence s2) Tells whether the elements of the this sequence occur, in order, at the beginning of the given sequence, using ".equals" for comparisons.
boolean	JMLEqualsSequence.isProperPrefix(JMLEqualsSequence s2) Tells whether this sequence is shorter than the given sequence, and also if the elements of this sequence occur, in order, at the beginning of the given sequence, using ".equals" for comparisons.
boolean	JMLEqualsSequence.isSuffix(JMLEqualsSequence s2) Tells whether the elements of this sequence occur, in order, at the end of the given sequence, using ".equals" for comparisons.
boolean	JMLEqualsSequence.isProperSuffix(JMLEqualsSequence s2) Tells whether the this sequence is shorter than the given object, and also if the elements of this sequence occur, in order, at the end of the given sequence, using ".equals" for comparisons.
boolean	JMLEqualsSequence.isSubsequence(JMLEqualsSequence s2) Tells whether this sequence is a subsequence of the given sequence.
boolean	JMLEqualsSequence.isProperSubsequence(JMLEqualsSequence s2) Tells whether this sequence is strictly shorter than the given sequence and a subsequence of it.
boolean	JMLEqualsSequence.isSupersequence(JMLEqualsSequence s2) Tells whether the given sequence is a supersequence of this sequence.
boolean	JMLEqualsSequence.isProperSupersequence(JMLEqualsSequence s2) Tells whether the given sequence is both longer than and a supersequence of this sequence.
boolean	JMLEqualsSequence.isInsertionInto(JMLEqualsSequence s2, Object elem) Tells whether this sequence is the result of inserting the given element once into the given sequence.
boolean	JMLEqualsSequence.isDeletionFrom(JMLEqualsSequence s2, Object elem) Tells whether this sequence is the result of deleting the given element once from the given sequence.
JMLEqualsSequence	JMLEqualsSequence.concat(JMLEqualsSequence s2) Return a sequence that is the concatenation of this with the given sequence.

Constructors in org.jmlspecs.models with parameters of type JMLEqualsSequence

JMLEqualsSequenceEnumerator(JMLEqualsSequence s)
Initialize this with the given sequence.