Uses of Class
org.jmlspecs.models.JMLMapException

Packages that use JMLMapException

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

Methods in org.jmlspecs.models that throw JMLMapException

JMLValueToValueMap	JMLValueToValueMap.disjointUnion(JMLValueToValueMap othMap) Return a map that is the disjoint union of this and othMap.
JMLEqualsToValueMap	JMLEqualsToValueMap.disjointUnion(JMLEqualsToValueMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.disjointUnion(JMLObjectToEqualsMap othMap) Return a map that is the disjoint union of this and othMap.
JMLValueToEqualsMap	JMLValueToEqualsMap.disjointUnion(JMLValueToEqualsMap othMap) Return a map that is the disjoint union of this and othMap.
JMLValueToObjectMap	JMLValueToObjectMap.disjointUnion(JMLValueToObjectMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectToObjectMap	JMLObjectToObjectMap.disjointUnion(JMLObjectToObjectMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectToValueMap	JMLObjectToValueMap.disjointUnion(JMLObjectToValueMap othMap) Return a map that is the disjoint union of this and othMap.
JMLEqualsToObjectMap	JMLEqualsToObjectMap.disjointUnion(JMLEqualsToObjectMap othMap) Return a map that is the disjoint union of this and othMap.
JMLEqualsToEqualsMap	JMLEqualsToEqualsMap.disjointUnion(JMLEqualsToEqualsMap othMap) Return a map that is the disjoint union of this and othMap.