org.jmlspecs.models
Class JMLValueSetSpecs

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

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.