Uses of Class
org.jmlspecs.models.JMLObjectSequence

Packages that use JMLObjectSequence

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

Fields in org.jmlspecs.models declared as JMLObjectSequence

static JMLObjectSequence

JMLObjectSequence.EMPTY The empty JMLObjectSequence.

Methods in org.jmlspecs.models that return JMLObjectSequence

static JMLObjectSequence	JMLObjectSequence.singleton(Object e) Return the singleton sequence containing the given element.
static JMLObjectSequence	JMLObjectSequence.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 JMLObjectSequence	JMLObjectSequence.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 JMLObjectSequence	JMLObjectSequence.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 JMLObjectSequence	JMLObjectSequence.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.
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.concat(JMLObjectSequence s2) Return a sequence that is the concatenation of this with the given sequence.
JMLObjectSequence	JMLObjectSequence.reverse() Return a sequence that is the reverse of this sequence.
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.insertBack(Object item) Return a sequence like this, but with the given item put an the end.
JMLObjectSequence	JMLObjectSequence.insertFront(Object item) Return a sequence like this, but with the given item put an the front.
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).
JMLObjectSequence	JMLObjectSet.toSequence() Return a new JMLObjectSequence containing all the elements of this.
JMLObjectSequence	JMLObjectBag.toSequence() Return a new JMLObjectSequence containing all the elements of this.

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

boolean	JMLObjectSequence.isPrefix(JMLObjectSequence s2) Tells whether the elements of the this sequence occur, in order, at the beginning of the given sequence, using "==" for comparisons.
boolean	JMLObjectSequence.isProperPrefix(JMLObjectSequence 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 "==" for comparisons.
boolean	JMLObjectSequence.isSuffix(JMLObjectSequence s2) Tells whether the elements of this sequence occur, in order, at the end of the given sequence, using "==" for comparisons.
boolean	JMLObjectSequence.isProperSuffix(JMLObjectSequence 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 "==" for comparisons.
boolean	JMLObjectSequence.isSubsequence(JMLObjectSequence s2) Tells whether this sequence is a subsequence of the given sequence.
boolean	JMLObjectSequence.isProperSubsequence(JMLObjectSequence s2) Tells whether this sequence is strictly shorter than the given sequence and a subsequence of it.
boolean	JMLObjectSequence.isSupersequence(JMLObjectSequence s2) Tells whether the given sequence is a supersequence of this sequence.
boolean	JMLObjectSequence.isProperSupersequence(JMLObjectSequence s2) Tells whether the given sequence is both longer than and a supersequence of this sequence.
boolean	JMLObjectSequence.isInsertionInto(JMLObjectSequence s2, Object elem) Tells whether this sequence is the result of inserting the given element once into the given sequence.
boolean	JMLObjectSequence.isDeletionFrom(JMLObjectSequence s2, Object elem) Tells whether this sequence is the result of deleting the given element once from the given sequence.
JMLObjectSequence	JMLObjectSequence.concat(JMLObjectSequence s2) Return a sequence that is the concatenation of this with the given sequence.

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

JMLObjectSequenceEnumerator(JMLObjectSequence s)
Initialize this with the given sequence.

Uses of JMLObjectSequence in org.jmlspecs.models.resolve

Fields in org.jmlspecs.models.resolve declared as JMLObjectSequence

protected JMLObjectSequence

StringOfObject.elements The sequence of objects that represent this string of objects.

Constructors in org.jmlspecs.models.resolve with parameters of type JMLObjectSequence

StringOfObject(JMLObjectSequence os)
Initialize this object from the given representation.