Uses of Class
org.jmlspecs.models.JMLListValueNode

Packages that use JMLListValueNode

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

Subclasses of JMLListValueNode in org.jmlspecs.models

(package private) class	JMLEqualsBagEntryNode Internal class used in the implementation of JMLEqualsBag.
(package private) class	JMLObjectBagEntryNode Internal class used in the implementation of JMLObjectBag.
(package private) class	JMLValueBagEntryNode Internal class used in the implementation of JMLValueBag.

Fields in org.jmlspecs.models declared as JMLListValueNode

JMLListValueNode	JMLListValueNode.next The next node in this list.
protected JMLListValueNode	JMLValueSet.the_list An equational specification of the properties of sets.
protected JMLListValueNode	JMLValueSequence.theSeq An equational specification of the properties of sequences.
protected JMLListValueNode	JMLValueSetEnumerator.currentNode The elements that have not yet been returned by nextElement.
private JMLListValueNode	JMLListValueNode_JML_Test.TestJMLListValueNode.nxt Argument nxt
private JMLListValueNode	JMLListValueNode_JML_Test.TestCons.tl Argument tl
private JMLListValueNode	JMLListValueNode_JML_Test.TestIsPrefixOf.ls2 Argument ls2
private JMLListValueNode	JMLListValueNode_JML_Test.TestConcat.ls2 Argument ls2
protected JMLListValueNode	JMLValueSequenceEnumerator.currentNode The elements that have not yet been returned by nextElement.

Methods in org.jmlspecs.models that return JMLListValueNode

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

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

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

JMLListValueNode(JMLType item, JMLListValueNode nxt)
The type of the elements in this list.

JMLValueSet(JMLListValueNode ls, int sz)
Initialize this set with the given instance variables.

JMLValueSet(JMLListValueNode ls)
Initialize this set with the given list.

JMLValueSequence(JMLListValueNode ls, int len)
Initialize this sequence based on the given representation.

JMLListValueNode_JML_Test.TestJMLListValueNode(JMLType item, JMLListValueNode nxt)
Initialize this instance.

JMLListValueNode_JML_Test.TestCons(JMLType hd, JMLListValueNode tl)
Initialize this instance.

JMLListValueNode_JML_Test.TestHead(JMLListValueNode receiver$)
Initialize this instance.

JMLListValueNode_JML_Test.TestHeadEquals(JMLListValueNode receiver$, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestItemAt(JMLListValueNode receiver$, int i)
Initialize this instance.

JMLListValueNode_JML_Test.TestInt_size(JMLListValueNode receiver$)
Initialize this instance.

JMLListValueNode_JML_Test.TestInt_length(JMLListValueNode receiver$)
Initialize this instance.

JMLListValueNode_JML_Test.TestHas(JMLListValueNode receiver$, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestIsPrefixOf(JMLListValueNode receiver$, JMLListValueNode ls2)
Initialize this instance.

JMLListValueNode_JML_Test.TestEquals(JMLListValueNode receiver$, Object ls2)
Initialize this instance.

JMLListValueNode_JML_Test.TestHashCode(JMLListValueNode receiver$)
Initialize this instance.

JMLListValueNode_JML_Test.TestIndexOf(JMLListValueNode receiver$, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestLast(JMLListValueNode receiver$)
Initialize this instance.

JMLListValueNode_JML_Test.TestGetItem(JMLListValueNode receiver$, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestClone(JMLListValueNode receiver$)
Initialize this instance.

JMLListValueNode_JML_Test.TestPrefix(JMLListValueNode receiver$, int n)
Initialize this instance.

JMLListValueNode_JML_Test.TestRemovePrefix(JMLListValueNode receiver$, int n)
Initialize this instance.

JMLListValueNode_JML_Test.TestRemoveItemAt(JMLListValueNode receiver$, int n)
Initialize this instance.

JMLListValueNode_JML_Test.TestReplaceItemAt(JMLListValueNode receiver$, int n, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestRemoveLast(JMLListValueNode receiver$)
Initialize this instance.

JMLListValueNode_JML_Test.TestConcat(JMLListValueNode receiver$, JMLListValueNode ls2)
Initialize this instance.

JMLListValueNode_JML_Test.TestPrepend(JMLListValueNode receiver$, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestAppend(JMLListValueNode receiver$, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestReverse(JMLListValueNode receiver$)
Initialize this instance.

JMLListValueNode_JML_Test.TestInsertBefore(JMLListValueNode receiver$, int n, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestRemove(JMLListValueNode receiver$, JMLType item)
Initialize this instance.

JMLListValueNode_JML_Test.TestToString(JMLListValueNode receiver$)
Initialize this instance.