Uses of Class
org.jmlspecs.models.JMLEqualsBagEntryNode

Packages that use JMLEqualsBagEntryNode

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

Fields in org.jmlspecs.models declared as JMLEqualsBagEntryNode

protected JMLEqualsBagEntryNode

JMLEqualsBag.the_list The list representing the contents of this bag.

Methods in org.jmlspecs.models that return JMLEqualsBagEntryNode

static JMLEqualsBagEntryNode	JMLEqualsBagEntryNode.cons(JMLEqualsBagEntry hd, JMLEqualsBagEntryNode tl) Return a JMLEqualsBagEntryNode containing the given entry followed by the given list.
JMLEqualsBagEntryNode	JMLEqualsBagEntryNode.removeBE(JMLEqualsBagEntry entry) Return a list that is like this list but without the first occurrence of the given bag entry.

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

static JMLEqualsBagEntryNode

JMLEqualsBagEntryNode.cons(JMLEqualsBagEntry hd, JMLEqualsBagEntryNode tl) Return a JMLEqualsBagEntryNode containing the given entry followed by the given list.

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

JMLEqualsBag(JMLEqualsBagEntryNode ls, int sz)
Initialize this bag with the given representation.

JMLEqualsBagEntryNode(JMLEqualsBagEntry entry, JMLEqualsBagEntryNode nxt)
Initialize this list to have the given bag entry as its first element followed by the given list.