JML

Uses of Class
org.jmlspecs.models.JMLObjectToValueMap

Packages that use JMLObjectToValueMap
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 JMLObjectToValueMap in org.jmlspecs.models
 

Fields in org.jmlspecs.models declared as JMLObjectToValueMap
static JMLObjectToValueMap JMLObjectToValueMap.EMPTY
          The empty JMLObjectToValueMap.
 

Methods in org.jmlspecs.models that return JMLObjectToValueMap
 JMLObjectToValueMap JMLObjectToValueRelation.toFunction()
          Return a map that is contained in this relation.
 JMLObjectToValueMap JMLValueToValueMap.compose(JMLObjectToValueMap othMap)
          Return a new map that is the composition of this and the given map.
 JMLObjectToValueMap JMLEqualsToValueMap.compose(JMLObjectToEqualsMap othMap)
          Return a new map that is the composition of this and the given map.
static JMLObjectToValueMap JMLObjectToValueMap.singletonMap(Object dv, JMLType rv)
          Return the singleton map containing the given association.
static JMLObjectToValueMap JMLObjectToValueMap.singletonMap(JMLObjectValuePair pair)
          Return the singleton map containing the association described by the given pair.
 JMLObjectToValueMap JMLObjectToValueMap.extend(Object dv, JMLType rv)
          Return a new map that is like this but maps the given domain element to the given range element.
 JMLObjectToValueMap JMLObjectToValueMap.removeDomainElement(Object dv)
          Return a new map that is like this but has no association for the given domain element.
 JMLObjectToValueMap JMLObjectToValueMap.compose(JMLObjectToObjectMap othMap)
          Return a new map that is the composition of this and the given map.
 JMLObjectToValueMap JMLObjectToValueMap.restrictedTo(JMLObjectSet dom)
          Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
 JMLObjectToValueMap JMLObjectToValueMap.rangeRestrictedTo(JMLValueSet rng)
          Return a new map that is like this map but only contains associations that map to range elements in the given set.
 JMLObjectToValueMap JMLObjectToValueMap.extendUnion(JMLObjectToValueMap 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.
 JMLObjectToValueMap JMLObjectToValueMap.clashReplaceUnion(JMLObjectToValueMap othMap, JMLType 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.
 JMLObjectToValueMap JMLObjectToValueMap.disjointUnion(JMLObjectToValueMap othMap)
          Return a map that is the disjoint union of this and othMap.
 

Methods in org.jmlspecs.models with parameters of type JMLObjectToValueMap
 JMLObjectToValueMap JMLValueToValueMap.compose(JMLObjectToValueMap othMap)
          Return a new map that is the composition of this and the given map.
 JMLObjectToEqualsMap JMLValueToEqualsMap.compose(JMLObjectToValueMap othMap)
          Return a new map that is the composition of this and the given map.
 JMLObjectToObjectMap JMLValueToObjectMap.compose(JMLObjectToValueMap othMap)
          Return a new map that is the composition of this and the given map.
 JMLObjectToValueMap JMLObjectToValueMap.extendUnion(JMLObjectToValueMap 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.
 JMLObjectToValueMap JMLObjectToValueMap.clashReplaceUnion(JMLObjectToValueMap othMap, JMLType 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.
 JMLObjectToValueMap JMLObjectToValueMap.disjointUnion(JMLObjectToValueMap othMap)
          Return a map that is the disjoint union of this and othMap.
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.