JML

org.jmlspecs.models
Class JMLValueSetSpecs

java.lang.Object
  extended byorg.jmlspecs.models.JMLValueSetSpecs
All Implemented Interfaces:
Cloneable, JMLType, JMLValueType, Serializable
Direct Known Subclasses:
JMLValueSet

public abstract class JMLValueSetSpecs
extends Object
implements JMLValueType

Special behavior for JMLValueSet not shared by JMLObjectSet.

Version:
$Revision: 1.17 $
Author:
Gary T. Leavens, with help from Clyde Ruby, and others.
See Also:
JMLValueType, JMLValueSet

Constructor Summary
JMLValueSetSpecs()
           
 
Method Summary
abstract  Object clone()
          Return a deep copy of this object.
 boolean has(Object elem)
          Is the argument ".equals" to one of the values in theSet.
abstract  boolean has(JMLType elem)
          Is the argument ".equals" to one of the values in the set.
abstract  JMLValueSet insert(JMLType elem)
          Is the argument one of the objects representing values in the set?
abstract  int int_size()
          Tells the number of elements in the set.
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.jmlspecs.models.JMLValueType
equals
 
Methods inherited from interface org.jmlspecs.models.JMLType
hashCode
 

Constructor Detail

JMLValueSetSpecs

public JMLValueSetSpecs()
Method Detail

has

public abstract boolean has(JMLType elem)
Is the argument ".equals" to one of the values in the set.

See Also:
has(Object)

has

public boolean has(Object elem)
Is the argument ".equals" to one of the values in theSet.

See Also:
has(JMLType)

int_size

public abstract int int_size()
Tells the number of elements in the set.


clone

public abstract Object clone()
Description copied from interface: JMLValueType
Return a deep copy of this object.

Specified by:
clone in interface JMLValueType
Overrides:
clone in class Object

insert

public abstract JMLValueSet insert(JMLType elem)
Is the argument one of the objects representing values in the set?

See Also:
Returns a new set that contains all the elements of this and also the given argument.

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.