org.jmlspecs.models
Class JMLModelObjectSet

java.lang.Object
  org.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.

Version:

$Revision: 1.13 $

Author:

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

JMLModelObjectSet

private JMLModelObjectSet()

This class has no instances.