org.jmlspecs.models
Class JMLEqualsToObjectMap

java.lang.Object
  org.jmlspecs.models.JMLEqualsToObjectRelation
      org.jmlspecs.models.JMLEqualsToObjectMap

All Implemented Interfaces:

Cloneable, JMLCollection, JMLType, Serializable

public class JMLEqualsToObjectMap

extends JMLEqualsToObjectRelation

Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object. The first type, Object, is called the domain type of the map; the second type, Object, is called the range type of the map. A map can be seen as a set of pairs, of form (dv, rv), consisting of an element of the domain type, dv, and an element of the range type, rv. Alternatively, it can be seen as a function that maps each element of the domain to some of elements of the range type.

This type is a subtype of JMLEqualsToObjectRelation, and as such as can be treated as a binary relation or a set valued function also. See the documentation for JMLEqualsToObjectRelation and for the methods inherited from this supertype for more information.

This type considers elements val and dv of the domain type, to be distinct just when _val_not_equal_to_dv_. It considers elements of r and rv of the range type to be distinct just when _r_not_equal_to_rv_. Cloning takes place for the domain or range elements if the corresponding domain or range type is JMLType.

Version:

$Revision: 1.32 $

Author:

Gary T. Leavens, Clyde Ruby

See Also:

JMLCollection, JMLType, JMLEqualsToObjectRelation, JMLEqualsToObjectRelationEnumerator, JMLEqualsToObjectRelationImageEnumerator, JMLValueSet, JMLObjectSet, JMLObjectToObjectMap, JMLValueToObjectMap, JMLObjectToValueMap, JMLValueToValueMap, JMLEqualsToObjectRelation.toFunction()

Field Summary
static JMLEqualsToObjectMap	EMPTY           The empty JMLEqualsToObjectMap.

 

Fields inherited from class org.jmlspecs.models.JMLEqualsToObjectRelation

domain_, imagePairSet_, size_, TOO_BIG_TO_UNION

 

Constructor Summary
	JMLEqualsToObjectMap()           Initialize this map to be the empty mapping.
	JMLEqualsToObjectMap(Object dv, Object rv)           Initialize this map to be a mapping that maps the given domain element to the given range element.
	JMLEqualsToObjectMap(JMLEqualsObjectPair pair)           Initialize this map to be a mapping that maps the key in the given pair to the value in that pair.
protected	JMLEqualsToObjectMap(JMLValueSet ipset, JMLEqualsSet dom, int sz)           Initialize this map based on the representation values given.

 

Method Summary
Object	apply(Object dv)           Return the range element corresponding to dv, if there is one.
JMLEqualsToObjectMap	clashReplaceUnion(JMLEqualsToObjectMap 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.
Object	clone()           Return a clone of this object.
JMLObjectToObjectMap	compose(JMLObjectToEqualsMap othMap)           Return a new map that is the composition of this and the given map.
JMLValueToObjectMap	compose(JMLValueToEqualsMap othMap)           Return a new map that is the composition of this and the given map.
JMLEqualsToObjectMap	disjointUnion(JMLEqualsToObjectMap othMap)           Return a map that is the disjoint union of this and othMap.
JMLEqualsToObjectMap	extend(Object dv, Object rv)           Return a new map that is like this but maps the given domain element to the given range element.
JMLEqualsToObjectMap	extendUnion(JMLEqualsToObjectMap 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.
boolean	isaFunction()           Tells whether this relation is a function.
JMLEqualsToObjectMap	rangeRestrictedTo(JMLObjectSet rng)           Return a new map that is like this map but only contains associations that map to range elements in the given set.
JMLEqualsToObjectMap	removeDomainElement(Object dv)           Return a new map that is like this but has no association for the given domain element.
JMLEqualsToObjectMap	restrictedTo(JMLEqualsSet dom)           Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
static JMLEqualsToObjectMap	singletonMap(Object dv, Object rv)           Return the singleton map containing the given association.
static JMLEqualsToObjectMap	singletonMap(JMLEqualsObjectPair pair)           Return the singleton map containing the association described by the given pair.

 

Methods inherited from class org.jmlspecs.models.JMLEqualsToObjectRelation

add, associations, compose, compose, difference, domain, domainElements, elementImage, elements, equals, has, has, has, hashCode, image, imagePairs, imagePairSet, insert, int_size, intersection, inverse, inverseElementImage, inverseImage, isDefinedAt, isEmpty, iterator, range, rangeElements, remove, remove, removeFromDomain, restrictDomainTo, restrictRangeTo, singleton, singleton, toBag, toFunction, toSequence, toSet, toString, union

 

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

 

Field Detail

EMPTY

public static final JMLEqualsToObjectMap EMPTY

The empty JMLEqualsToObjectMap.

See Also:

JMLEqualsToObjectMap()

JMLEqualsToObjectMap

public JMLEqualsToObjectMap()

Initialize this map to be the empty mapping.

See Also:

EMPTY

JMLEqualsToObjectMap

public JMLEqualsToObjectMap(Object dv,
                            Object rv)

Initialize this map to be a mapping that maps the given domain element to the given range element.

See Also:

singletonMap(Object, Object), JMLEqualsToObjectMap(JMLEqualsObjectPair)

JMLEqualsToObjectMap

public JMLEqualsToObjectMap(JMLEqualsObjectPair pair)

Initialize this map to be a mapping that maps the key in the given pair to the value in that pair.

See Also:

singletonMap(JMLEqualsObjectPair), JMLEqualsToObjectMap(Object, Object)

JMLEqualsToObjectMap

protected JMLEqualsToObjectMap(JMLValueSet ipset,
                               JMLEqualsSet dom,
                               int sz)

Initialize this map based on the representation values given.

singletonMap

public static JMLEqualsToObjectMap singletonMap(Object dv,
                                                Object rv)

Return the singleton map containing the given association.

See Also:

JMLEqualsToObjectMap(Object, Object), singletonMap(JMLEqualsObjectPair)

singletonMap

public static JMLEqualsToObjectMap singletonMap(JMLEqualsObjectPair pair)

Return the singleton map containing the association described by the given pair.

See Also:

JMLEqualsToObjectMap(JMLEqualsObjectPair), singletonMap(Object, Object)

isaFunction

public boolean isaFunction()

Tells whether this relation is a function.

Overrides:

isaFunction in class JMLEqualsToObjectRelation

apply

public Object apply(Object dv)
             throws JMLNoSuchElementException

Return the range element corresponding to dv, if there is one.

Parameters:

dv - the domain element for which an association is sought (the key to the table).

Throws:

JMLNoSuchElementException - when dv is not associated to any range element by this.

See Also:

JMLEqualsToObjectRelation.isDefinedAt(java.lang.Object), JMLEqualsToObjectRelation.elementImage(java.lang.Object), JMLEqualsToObjectRelation.image(org.jmlspecs.models.JMLEqualsSet)

clone

public Object clone()

Description copied from class: JMLEqualsToObjectRelation

Return a clone of this object.

Specified by:

clone in interface JMLType

Overrides:

clone in class JMLEqualsToObjectRelation

extend

public JMLEqualsToObjectMap extend(Object dv,
                                   Object rv)

Return a new map that is like this but maps the given domain element to the given range element. Any previously existing mapping for the domain element is removed first.

See Also:

JMLEqualsToObjectRelation#insert(Object, Object)

removeDomainElement

public JMLEqualsToObjectMap removeDomainElement(Object dv)

Return a new map that is like this but has no association for the given domain element.

See Also:

JMLEqualsToObjectRelation.removeFromDomain(java.lang.Object)

compose

public JMLValueToObjectMap compose(JMLValueToEqualsMap othMap)

Return a new map that is the composition of this and the given map. The composition is done in the usual order; that is, if the given map maps x to y and this maps y to z, then the result maps x to z.

See Also:

compose(JMLObjectToEqualsMap)

compose

public JMLObjectToObjectMap compose(JMLObjectToEqualsMap othMap)

Return a new map that is the composition of this and the given map. The composition is done in the usual order; that is, if the given map maps x to y and this maps y to z, then the result maps x to z.

See Also:

compose(JMLValueToEqualsMap)

restrictedTo

public JMLEqualsToObjectMap restrictedTo(JMLEqualsSet dom)

Return a new map that only maps elements in the given domain to the corresponding range elements in this map.

See Also:

rangeRestrictedTo(org.jmlspecs.models.JMLObjectSet), JMLEqualsToObjectRelation.restrictDomainTo(org.jmlspecs.models.JMLEqualsSet)

rangeRestrictedTo

public JMLEqualsToObjectMap rangeRestrictedTo(JMLObjectSet rng)

Return a new map that is like this map but only contains associations that map to range elements in the given set.

See Also:

restrictedTo(org.jmlspecs.models.JMLEqualsSet), JMLEqualsToObjectRelation.restrictRangeTo(org.jmlspecs.models.JMLObjectSet)

extendUnion

public JMLEqualsToObjectMap extendUnion(JMLEqualsToObjectMap othMap)
                                 throws IllegalStateException

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.

Throws:

IllegalStateException

See Also:

clashReplaceUnion(org.jmlspecs.models.JMLEqualsToObjectMap, java.lang.Object), disjointUnion(org.jmlspecs.models.JMLEqualsToObjectMap), JMLEqualsToObjectRelation.union(org.jmlspecs.models.JMLEqualsToObjectRelation)

clashReplaceUnion

public JMLEqualsToObjectMap clashReplaceUnion(JMLEqualsToObjectMap othMap,
                                              Object errval)
                                       throws IllegalStateException

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.

Parameters:

othMap - the other map.

errval - the range element to use when clashes occur.

Throws:

IllegalStateException

See Also:

extendUnion(org.jmlspecs.models.JMLEqualsToObjectMap), disjointUnion(org.jmlspecs.models.JMLEqualsToObjectMap), JMLEqualsToObjectRelation.union(org.jmlspecs.models.JMLEqualsToObjectRelation)

disjointUnion

public JMLEqualsToObjectMap disjointUnion(JMLEqualsToObjectMap othMap)
                                   throws JMLMapException,
                                          IllegalStateException

Return a map that is the disjoint union of this and othMap.

Parameters:

othMap - the other mapping

Throws:

JMLMapException - the ranges of this and othMap have elements in common (i.e., when they interesect).

IllegalStateException

See Also:

extendUnion(org.jmlspecs.models.JMLEqualsToObjectMap), clashReplaceUnion(org.jmlspecs.models.JMLEqualsToObjectMap, java.lang.Object), JMLEqualsToObjectRelation.union(org.jmlspecs.models.JMLEqualsToObjectRelation)