Uses of Class
org.jmlspecs.models.JMLListEqualsNode

Packages that use JMLListEqualsNode

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

Fields in org.jmlspecs.models declared as JMLListEqualsNode

protected JMLListEqualsNode	JMLEqualsSet.the_list The list representing the elements of this set.
protected JMLListEqualsNode	JMLEqualsSetEnumerator.currentNode The list representing the elements that have not yet been returned by this enumerator.
protected JMLListEqualsNode	JMLEqualsSequenceEnumerator.currentNode The list representing the elements yet to be returned.
protected JMLListEqualsNode	JMLEqualsSequence.theSeq The list representing this sequence's elements, in order.
JMLListEqualsNode	JMLListEqualsNode.next The next node in this list.

Methods in org.jmlspecs.models that return JMLListEqualsNode

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

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

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

JMLEqualsSet(JMLListEqualsNode ls, int sz)
Initialize this set with the given instance variables.

JMLEqualsSet(JMLListEqualsNode ls)
Initialize this set with the given list.

JMLEqualsSequence(JMLListEqualsNode ls, int len)
Initialize this sequence based on the given representation.

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