Uses of Class
org.jmlspecs.models.JMLListObjectNode

Packages that use JMLListObjectNode

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

Fields in org.jmlspecs.models declared as JMLListObjectNode

protected JMLListObjectNode	JMLObjectSequence.theSeq The list representing this sequence's elements, in order.
protected JMLListObjectNode	JMLObjectSet.the_list The list representing the elements of this set.
protected JMLListObjectNode	JMLObjectSetEnumerator.currentNode The list representing the elements that have not yet been returned by this enumerator.
JMLListObjectNode	JMLListObjectNode.next The next node in this list.
protected JMLListObjectNode	JMLObjectSequenceEnumerator.currentNode The list representing the elements yet to be returned.

Methods in org.jmlspecs.models that return JMLListObjectNode

static JMLListObjectNode	JMLListObjectNode.cons(Object hd, JMLListObjectNode tl) Return a JMLListObjectNode containing the given element followed by the given list.
JMLListObjectNode	JMLListObjectNode.prefix(int n) Return a list containing the first n elements in this list.
JMLListObjectNode	JMLListObjectNode.removePrefix(int n) Return a list containing all but the first n elements in this list.
JMLListObjectNode	JMLListObjectNode.removeItemAt(int n) Return a list like this list, but without the element at the given zero-based index.
JMLListObjectNode	JMLListObjectNode.replaceItemAt(int n, Object item) Return a list like this, but with item replacing the element at the given zero-based index.
JMLListObjectNode	JMLListObjectNode.removeLast() Return a list containing all but the last element in this.
JMLListObjectNode	JMLListObjectNode.concat(JMLListObjectNode ls2) Return a list that is the concatenation of this with the given lists.
JMLListObjectNode	JMLListObjectNode.prepend(Object item) Return a list that is like this, but with the given item at the front.
JMLListObjectNode	JMLListObjectNode.append(Object item) Return a list that consists of this list and the given element.
JMLListObjectNode	JMLListObjectNode.reverse() Return a list that is the reverse of this list.
JMLListObjectNode	JMLListObjectNode.insertBefore(int n, Object item) Return a list that is like this list but with the given item inserted before the given index.
JMLListObjectNode	JMLListObjectNode.remove(Object item) Return a list that is like this list but without the first occurrence of the given item.

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

static JMLListObjectNode	JMLListObjectNode.cons(Object hd, JMLListObjectNode tl) Return a JMLListObjectNode containing the given element followed by the given list.
boolean	JMLListObjectNode.isPrefixOf(JMLListObjectNode ls2) Tells whether the elements of this list occur, in order, at the beginning of the given list, using "==" for comparisons.
JMLListObjectNode	JMLListObjectNode.concat(JMLListObjectNode ls2) Return a list that is the concatenation of this with the given lists.

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

JMLObjectSequence(JMLListObjectNode ls, int len)
Initialize this sequence based on the given representation.

JMLObjectSet(JMLListObjectNode ls, int sz)
Initialize this set with the given instance variables.

JMLObjectSet(JMLListObjectNode ls)
Initialize this set with the given list.

JMLListObjectNode(Object item, JMLListObjectNode nxt)
Initialize this list to have the given item as its first element followed by the given list.