org.jmlspecs.models
Class JMLModelValueSet

java.lang.Object
  org.jmlspecs.models.JMLModelValueSet

public class JMLModelValueSet

extends Object

A collection of value sets for use in set comprehensions. The normal (non-model) methods might potentially be useful in executing assertions, although the sets of all integers and longs can't realistically be used in a direct way. The model methods have no hope of being executed.

Version:

$Revision: 1.6 $

Author:

Gary T. Leavens

See Also:

JMLValueSet

Constructor Summary
private	JMLModelValueSet()           This class has no instances.

 

Method Summary
static JMLValueSet	JMLBytes()           The set of all (actual and potential) JMLByte values.
static JMLValueSet	JMLChars()           The set of all (actual and potential) JMLChar values.
static JMLValueSet	JMLShorts()           The set of all (actual and potential) JMLShort values.

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

JMLModelValueSet

private JMLModelValueSet()

This class has no instances.

JMLBytes

public static JMLValueSet JMLBytes()

The set of all (actual and potential) JMLByte values.

JMLChars

public static JMLValueSet JMLChars()

The set of all (actual and potential) JMLChar values.

JMLShorts

public static JMLValueSet JMLShorts()

The set of all (actual and potential) JMLShort values.