| Method Summary |
|
| public Object | clone()
Return a clone of this object. |
| public JMLEqualsSequence | concat(JMLEqualsSequence s2)
Return a sequence that is the concatenation of this with
the given sequence.
Parameters:
s2 - the sequence to place at the end of this sequence inthe result. |
| public boolean | containsAll(java.util.Collection c)
Tell whether, for each element in the given collection, there is a
".equals" element in this sequence. |
| public static 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. |
| public static 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. |
| public static JMLEqualsSequence | convertFrom(java.util.Collection c)
Return the sequence containing all the object in the
given collection in the same order as the elements appear in the
collection. |
| public static 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. |
| public int | count(Object item)
Tells the number of times a given element occurs in the sequence. |
| public JMLEqualsSequenceEnumerator | elements()
Return a enumerator for this. |
| public boolean | equals(Object obj)
Test whether this object's value is equal to the given argument. |
| public Object | first()
Return the first element in this sequence. |
| public Object | get(int i)
Return the element at the given zero-based index; a synonym
for
JMLEqualsSequence.itemAt . |
| public boolean | has(Object elem)
Tells whether the given element is ".equals" to an
element in the sequence. |
| public int | hashCode()
Return a hash code for this object. |
| public JMLEqualsSequence | header()
Return a sequence containing all but the last element in this. |
| public int | indexOf(Object item)
Return the zero-based index of the first occurrence of the given
element in the sequence, if there is one
Parameters:
item - the Object sought in this. |
| public JMLEqualsSequence | insertAfterIndex(int afterThisOne, Object item)
Return a sequence like this, but with item put immediately after
the given index. |
| public JMLEqualsSequence | insertBack(Object item)
Return a sequence like this, but with the given item put an the end.
Parameters:
item - the item to put at the end of the result. |
| public JMLEqualsSequence | insertBeforeIndex(int beforeThisOne, Object item)
Return a sequence like this, but with item put immediately
before the given index. |
| public JMLEqualsSequence | insertFront(Object item)
Return a sequence like this, but with the given item put an the front.
Parameters:
item - the item to put at the front of the result. |
| public int | int_length()
Tells the number of elements in the sequence; a synonym for
JMLEqualsSequence.size . |
| public int | int_size()
Tells the number of elements in the sequence; a synonym for
JMLEqualsSequence.length . |
| public boolean | isDeletionFrom(JMLEqualsSequence s2, Object elem)
Tells whether this sequence is the result of deleting the
given element once from the given sequence. |
| public boolean | isEmpty()
Tells whether this sequence is empty. |
| public boolean | isInsertionInto(JMLEqualsSequence s2, Object elem)
Tells whether this sequence is the result of inserting the
given element once into the given sequence. |
| public boolean | 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. |
| public boolean | 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. |
| public boolean | isProperSubsequence(JMLEqualsSequence s2)
Tells whether this sequence is strictly shorter than the given
sequence and a subsequence of it.
Parameters:
s2 - the sequence to search for within this sequence. |
| public boolean | 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. |
| public boolean | isProperSupersequence(JMLEqualsSequence s2)
Tells whether the given sequence is both longer than and a
supersequence of this sequence.
Parameters:
s2 - the sequence to search within for this sequence. |
| public boolean | isSubsequence(JMLEqualsSequence s2)
Tells whether this sequence is a subsequence of the given sequence.
Parameters:
s2 - the sequence to search for within this sequence. |
| public boolean | isSuffix(JMLEqualsSequence s2)
Tells whether the elements of this sequence occur, in order,
at the end of the given sequence, using ".equals" for
comparisons. |
| public boolean | isSupersequence(JMLEqualsSequence s2)
Tells whether the given sequence is a supersequence of this sequence.
Parameters:
s2 - the sequence to search within for this sequence. |
| public Object | itemAt(int i)
Return the element at the given zero-based index. |
| public JMLIterator | iterator()
Returns an iterator over this sequence. |
| public Object | last()
Return the last element in this sequence. |
| public JMLEqualsSequence | prefix(int n)
Return a sequence containing the first n elements in this sequence. |
| public JMLEqualsSequence | removeItemAt(int index)
Return a sequence like this, but without the element at the
given zero-based index. |
| public JMLEqualsSequence | removePrefix(int n)
Return a sequence containing all but the first n elements in this. |
| public JMLEqualsSequence | replaceItemAt(int index, Object item)
Return a sequence like this, but with item replacing the element at the
given zero-based index. |
| public JMLEqualsSequence | reverse()
Return a sequence that is the reverse of this sequence. |
| public static JMLEqualsSequence | singleton(Object e)
Return the singleton sequence containing the given element. |
| public 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). |
| public Object[] | toArray()
Return a new array containing all the elements of this in order. |
| public JMLEqualsBag | toBag()
Return a new JMLEqualsBag containing all the elements of this. |
| public JMLEqualsSet | toSet()
Return a new JMLEqualsSet containing all the elements of this. |
| public String | toString()
|
| public JMLEqualsSequence | trailer()
Return a sequence containing all but the first element in this. |
