Uses of Interface
org.jmlspecs.models.JMLCollection

Packages that use JMLCollection

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.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.

Uses of JMLCollection in org.jmlspecs.models

Classes in org.jmlspecs.models that implement JMLCollection

class	JMLEqualsBag Bags (i.e., multisets) of objects.
class	JMLEqualsSequence Sequences of objects.
class	JMLEqualsSet Sets of objects.
class	JMLEqualsToEqualsMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.
class	JMLEqualsToEqualsRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of Object.
class	JMLEqualsToObjectMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.
class	JMLEqualsToObjectRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of Object.
class	JMLEqualsToValueMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of JMLType.
class	JMLEqualsToValueRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of JMLType.
class	JMLObjectBag Bags (i.e., multisets) of objects.
class	JMLObjectSequence Sequences of objects.
class	JMLObjectSet Sets of objects.
class	JMLObjectToEqualsMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.
class	JMLObjectToEqualsRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of Object.
class	JMLObjectToObjectMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.
class	JMLObjectToObjectRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of Object.
class	JMLObjectToValueMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of JMLType.
class	JMLObjectToValueRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of JMLType.
class	JMLValueBag Bags (i.e., multisets) of values.
class	JMLValueSequence Sequences of values.
class	JMLValueSet Sets of values.
class	JMLValueToEqualsMap Maps (i.e., binary relations that are functional) from non-null elements of JMLType to non-null elements of Object.
class	JMLValueToEqualsRelation Binary relations (or set-valued functions) from non-null elements of JMLType to non-null elements of Object.
class	JMLValueToObjectMap Maps (i.e., binary relations that are functional) from non-null elements of JMLType to non-null elements of Object.
class	JMLValueToObjectRelation Binary relations (or set-valued functions) from non-null elements of JMLType to non-null elements of Object.
class	JMLValueToValueMap Maps (i.e., binary relations that are functional) from non-null elements of JMLType to non-null elements of JMLType.
class	JMLValueToValueRelation Binary relations (or set-valued functions) from non-null elements of JMLType to non-null elements of JMLType.

Fields in org.jmlspecs.models declared as JMLCollection

private JMLCollection

JMLValueSet_JML_Test.TestConvertFrom$2.c Argument c

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

static JMLEqualsBag	JMLEqualsBag.convertFrom(JMLCollection c) Return the bag containing all the object in the given JMLCollection.
static JMLEqualsSequence	JMLEqualsSequence.convertFrom(JMLCollection c) Return the sequence containing all the object in the given JMLCollection in the same order as the elements appear in the collection.
static JMLEqualsSet	JMLEqualsSet.convertFrom(JMLCollection c) Return the set containing all the object in the given JMLCollection.
static JMLValueSet	JMLValueSet.convertFrom(JMLCollection c) Return the set containing all the value in the given JMLCollection.
static JMLValueBag	JMLValueBag.convertFrom(JMLCollection c) Return the bag containing all the value in the given JMLCollection.
static JMLValueSequence	JMLValueSequence.convertFrom(JMLCollection c) Return the sequence containing all the value in the given JMLCollection in the same order as the elements appear in the collection.
static JMLObjectSet	JMLObjectSet.convertFrom(JMLCollection c) Return the set containing all the object in the given JMLCollection.
static JMLObjectBag	JMLObjectBag.convertFrom(JMLCollection c) Return the bag containing all the object in the given JMLCollection.
static JMLObjectSequence	JMLObjectSequence.convertFrom(JMLCollection c) Return the sequence containing all the object in the given JMLCollection in the same order as the elements appear in the collection.

Uses of JMLCollection in org.jmlspecs.models.resolve

Classes in org.jmlspecs.models.resolve that implement JMLCollection

class

StringOfObject Sequences of non-null object identities.