Uses of Class
org.jmlspecs.models.JMLObjectToEqualsMap

Packages that use JMLObjectToEqualsMap

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

Fields in org.jmlspecs.models declared as JMLObjectToEqualsMap

static JMLObjectToEqualsMap

JMLObjectToEqualsMap.EMPTY The empty JMLObjectToEqualsMap.

Methods in org.jmlspecs.models that return JMLObjectToEqualsMap

JMLObjectToEqualsMap	JMLObjectToEqualsRelation.toFunction() Return a map that is contained in this relation.
static JMLObjectToEqualsMap	JMLObjectToEqualsMap.singletonMap(Object dv, Object rv) Return the singleton map containing the given association.
static JMLObjectToEqualsMap	JMLObjectToEqualsMap.singletonMap(JMLObjectEqualsPair pair) Return the singleton map containing the association described by the given pair.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.extend(Object dv, Object rv) Return a new map that is like this but maps the given domain element to the given range element.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.removeDomainElement(Object dv) Return a new map that is like this but has no association for the given domain element.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.compose(JMLObjectToObjectMap othMap) Return a new map that is the composition of this and the given map.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.restrictedTo(JMLObjectSet dom) Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.rangeRestrictedTo(JMLEqualsSet rng) Return a new map that is like this map but only contains associations that map to range elements in the given set.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.extendUnion(JMLObjectToEqualsMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.clashReplaceUnion(JMLObjectToEqualsMap othMap, Object errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.disjointUnion(JMLObjectToEqualsMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectToEqualsMap	JMLValueToEqualsMap.compose(JMLObjectToValueMap othMap) Return a new map that is the composition of this and the given map.
JMLObjectToEqualsMap	JMLEqualsToEqualsMap.compose(JMLObjectToEqualsMap othMap) Return a new map that is the composition of this and the given map.

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

JMLObjectToValueMap	JMLEqualsToValueMap.compose(JMLObjectToEqualsMap othMap) Return a new map that is the composition of this and the given map.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.extendUnion(JMLObjectToEqualsMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.clashReplaceUnion(JMLObjectToEqualsMap othMap, Object errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.disjointUnion(JMLObjectToEqualsMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectToObjectMap	JMLEqualsToObjectMap.compose(JMLObjectToEqualsMap othMap) Return a new map that is the composition of this and the given map.
JMLObjectToEqualsMap	JMLEqualsToEqualsMap.compose(JMLObjectToEqualsMap othMap) Return a new map that is the composition of this and the given map.