Uses of Class
org.jmlspecs.models.JMLObjectBagEntry

Packages that use JMLObjectBagEntry

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

Methods in org.jmlspecs.models that return JMLObjectBagEntry

protected JMLObjectBagEntry	JMLObjectBag.getMatchingEntry(Object item) Find a JMLObjectBagEntry that is for the same element, if possible.
JMLObjectBagEntry	JMLObjectBagEntry.insert(int numInserted) Return a new bag entry with the same element as this but with the given number of repetitions added to the element's current count.

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

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

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

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