Uses of Class
org.jmlspecs.models.JMLObjectBag

Packages that use JMLObjectBag

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

Fields in org.jmlspecs.models declared as JMLObjectBag

protected JMLObjectBag	JMLObjectBagEnumerator.currentBag The bag underlying this enumerator.
static JMLObjectBag	JMLObjectBag.EMPTY The empty JMLObjectBag.

Methods in org.jmlspecs.models that return JMLObjectBag

JMLObjectBag	JMLObjectSequence.toBag() Return a new JMLObjectBag containing all the elements of this.
JMLObjectBag	JMLObjectSet.toBag() Return a new JMLObjectBag containing all the elements of this.
protected JMLObjectBag	JMLObjectBagEnumerator.abstractValue() Return the abstract value of this bag enumerator.
static JMLObjectBag	JMLObjectBag.singleton(Object e) Return the singleton bag containing the given element.
static JMLObjectBag	JMLObjectBag.convertFrom(Object[] a) Return the bag containing all the elements in the given array.
static JMLObjectBag	JMLObjectBag.convertFrom(Collection c) Return the bag containing all the object in the given collection.
static JMLObjectBag	JMLObjectBag.convertFrom(JMLCollection c) Return the bag containing all the object in the given JMLCollection.
JMLObjectBag	JMLObjectBag.insert(Object elem) Return a bag containing the given item and the ones in this bag.
JMLObjectBag	JMLObjectBag.insert(Object elem, int cnt) Return a bag containing the given item the given number of times, in addition to the ones in this bag.
JMLObjectBag	JMLObjectBag.remove(Object elem) Return a bag containing the items in this bag except for one of the given element.
JMLObjectBag	JMLObjectBag.remove(Object elem, int cnt) Return a bag containing the items in this bag, except for the given number of the given element.
JMLObjectBag	JMLObjectBag.removeAll(Object elem) Return a bag containing the items in this bag, except for all items that are "==" to the given item.
JMLObjectBag	JMLObjectBag.intersection(JMLObjectBag b2) Return a bag containing the items in both this bag and the given bag.
JMLObjectBag	JMLObjectBag.union(JMLObjectBag b2) Return a bag containing the items in either this bag or the given bag.
JMLObjectBag	JMLObjectBag.difference(JMLObjectBag b2) Return a bag containing the items in this bag minus the items in the given bag.

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

boolean	JMLObjectBag.isSubbag(JMLObjectBag b2) Tells whether every item in this bag is contained in the argument.
boolean	JMLObjectBag.isProperSubbag(JMLObjectBag b2) Tells whether every item in this bag is contained in the argument, but the argument is strictly larger.
boolean	JMLObjectBag.isSuperbag(JMLObjectBag b2) Tells whether every item in the argument is contained in this bag.
boolean	JMLObjectBag.isProperSuperbag(JMLObjectBag b2) Tells whether every item in the argument is contained in this bag argument, but this bag is strictly larger.
JMLObjectBag	JMLObjectBag.intersection(JMLObjectBag b2) Return a bag containing the items in both this bag and the given bag.
JMLObjectBag	JMLObjectBag.union(JMLObjectBag b2) Return a bag containing the items in either this bag or the given bag.
JMLObjectBag	JMLObjectBag.difference(JMLObjectBag b2) Return a bag containing the items in this bag minus the items in the given bag.

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

JMLObjectBagEnumerator(JMLObjectBag b)
Initialize this with the given bag.