| Method Summary |
|
| public Object | clone()
Return a clone of this object. |
| public JMLObjectSequence | concat(JMLObjectSequence s2)
|
| public boolean | containsAll(java.util.Collection c)
|
| public static 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. |
| public static 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. |
| public static JMLObjectSequence | 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 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. |
| public int | count(Object item)
|
| public JMLObjectSequenceEnumerator | elements()
|
| public boolean | equals(Object obj)
Test whether this object's value is equal to the given argument. |
| public Object | first()
|
| public Object | get(int i)
Return the element at the given zero-based index; a synonym
for
JMLObjectSequence.itemAt . |
| public boolean | has(Object elem)
|
| public int | hashCode()
Return a hash code for this object. |
| public JMLObjectSequence | header()
|
| public int | indexOf(Object item)
|
| public JMLObjectSequence | insertAfterIndex(int afterThisOne, Object item)
|
| public JMLObjectSequence | insertBack(Object item)
|
| public JMLObjectSequence | insertBeforeIndex(int beforeThisOne, Object item)
|
| public JMLObjectSequence | insertFront(Object item)
|
| public int | int_length()
|
| public int | int_size()
|
| public boolean | isDeletionFrom(JMLObjectSequence s2, Object elem)
|
| public boolean | isEmpty()
Tells whether this sequence is empty. |
| public boolean | isInsertionInto(JMLObjectSequence s2, Object elem)
|
| public boolean | isPrefix(JMLObjectSequence s2)
|
| public boolean | isProperPrefix(JMLObjectSequence s2)
|
| public boolean | isProperSubsequence(JMLObjectSequence s2)
|
| public boolean | isProperSuffix(JMLObjectSequence s2)
|
| public boolean | isProperSupersequence(JMLObjectSequence s2)
|
| public boolean | isSubsequence(JMLObjectSequence s2)
|
| public boolean | isSuffix(JMLObjectSequence s2)
|
| public boolean | isSupersequence(JMLObjectSequence s2)
|
| public Object | itemAt(int i)
Return the element at the given zero-based index. |
| public JMLIterator | iterator()
|
| public Object | last()
|
| public JMLObjectSequence | prefix(int n)
Return a sequence containing the first n elements in this sequence. |
| public JMLObjectSequence | removeItemAt(int index)
|
| public JMLObjectSequence | removePrefix(int n)
|
| public JMLObjectSequence | replaceItemAt(int index, Object item)
|
| public JMLObjectSequence | reverse()
|
| public static JMLObjectSequence | singleton(Object e)
Return the singleton sequence containing the given element. |
| public JMLObjectSequence | subsequence(int from, int to)
|
| public Object[] | toArray()
|
| public JMLObjectBag | toBag()
|
| public JMLObjectSet | toSet()
|
| public String | toString()
|
| public JMLObjectSequence | trailer()
|
