Class JMLModelObjectSet

  extended byorg.jmlspecs.models.JMLModelObjectSet

public class JMLModelObjectSet
extends Object

A collection of object sets for use in set comprehensions. All of the public methods are model methods, because there is no way to compute the set of all potential object identities of any given type.

This type is not that useful, as you can mostly just use quantification over the relevant type instead of one of these sets. Indeed the sets are defined by using universal quantifiers, and so their use is roughly equivalent.

$Revision: 1.13 $
Gary T. Leavens

Constructor Summary
private JMLModelObjectSet()
          This class has no instances.
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


private JMLModelObjectSet()
This class has no instances.


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.