JML

org.jmlspecs.models
Class JMLModelValueSet

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

Method Detail

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.


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.