Uses of Class
org.jmlspecs.models.JMLValueBag

Packages that use JMLValueBag

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

Fields in org.jmlspecs.models declared as JMLValueBag

static JMLValueBag	JMLValueBag.EMPTY The empty JMLValueBag.
protected JMLValueBag	JMLValueBagEnumerator.currentBag The bag underlying this enumerator.

Methods in org.jmlspecs.models that return JMLValueBag

JMLValueBag	JMLValueSet.toBag() Return a new JMLValueBag containing all the elements of this.
JMLValueBag	JMLValueSequence.toBag() Return a new JMLValueBag containing all the elements of this.
JMLValueBag	JMLValueToValueRelation.toBag() Return the bag of all associations in this relation.
JMLValueBag	JMLObjectToValueRelation.toBag() Return the bag of all associations in this relation.
abstract JMLValueBag	JMLValueBagSpecs.insert(JMLType elem, int cnt)
static JMLValueBag	JMLValueBag.singleton(JMLType e) Return the singleton bag containing the given element.
static JMLValueBag	JMLValueBag.convertFrom(JMLType[] a) Return the bag containing all the elements in the given array.
static JMLValueBag	JMLValueBag.convertFrom(Collection c) Return the bag containing all the value in the given collection.
static JMLValueBag	JMLValueBag.convertFrom(JMLCollection c) Return the bag containing all the value in the given JMLCollection.
JMLValueBag	JMLValueBag.insert(JMLType elem) Return a bag containing the given item and the ones in this bag.
JMLValueBag	JMLValueBag.insert(JMLType elem, int cnt) Return a bag containing the given item the given number of times, in addition to the ones in this bag.
JMLValueBag	JMLValueBag.remove(JMLType elem) Return a bag containing the items in this bag except for one of the given element.
JMLValueBag	JMLValueBag.remove(JMLType elem, int cnt) Return a bag containing the items in this bag, except for the given number of the given element.
JMLValueBag	JMLValueBag.removeAll(JMLType elem) Return a bag containing the items in this bag, except for all items that are ".equals" to the given item.
JMLValueBag	JMLValueBag.intersection(JMLValueBag b2) Return a bag containing the items in both this bag and the given bag.
JMLValueBag	JMLValueBag.union(JMLValueBag b2) Return a bag containing the items in either this bag or the given bag.
JMLValueBag	JMLValueBag.difference(JMLValueBag b2) Return a bag containing the items in this bag minus the items in the given bag.
JMLValueBag	JMLEqualsToValueRelation.toBag() Return the bag of all associations in this relation.
JMLValueBag	JMLValueToEqualsRelation.toBag() Return the bag of all associations in this relation.
JMLValueBag	JMLObjectToEqualsRelation.toBag() Return the bag of all associations in this relation.
JMLValueBag	JMLValueToObjectRelation.toBag() Return the bag of all associations in this relation.
JMLValueBag	JMLObjectToObjectRelation.toBag() Return the bag of all associations in this relation.
protected JMLValueBag	JMLValueBagEnumerator.abstractValue() Return the abstract value of this bag enumerator.
JMLValueBag	JMLEqualsToObjectRelation.toBag() Return the bag of all associations in this relation.
JMLValueBag	JMLEqualsToEqualsRelation.toBag() Return the bag of all associations in this relation.

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

boolean	JMLValueBag.isSubbag(JMLValueBag b2) Tells whether every item in this bag is contained in the argument.
boolean	JMLValueBag.isProperSubbag(JMLValueBag b2) Tells whether every item in this bag is contained in the argument, but the argument is strictly larger.
boolean	JMLValueBag.isSuperbag(JMLValueBag b2) Tells whether every item in the argument is contained in this bag.
boolean	JMLValueBag.isProperSuperbag(JMLValueBag b2) Tells whether every item in the argument is contained in this bag argument, but this bag is strictly larger.
JMLValueBag	JMLValueBag.intersection(JMLValueBag b2) Return a bag containing the items in both this bag and the given bag.
JMLValueBag	JMLValueBag.union(JMLValueBag b2) Return a bag containing the items in either this bag or the given bag.
JMLValueBag	JMLValueBag.difference(JMLValueBag 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 JMLValueBag

JMLValueBagEnumerator(JMLValueBag b)
Initialize this with the given bag.