JML

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.
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.