org.jmlspecs.models
Interface JMLObjectType

All Superinterfaces:

Cloneable, JMLType, Serializable

All Known Implementing Classes:

JMLEqualsBagEnumerator, JMLEqualsSequenceEnumerator, JMLEqualsSetEnumerator, JMLObjectBagEnumerator, JMLObjectSequenceEnumerator, JMLObjectSetEnumerator

public interface JMLObjectType

extends JMLType

Objects that are containers of object references. It is the intention that classes that implement JMLObjectType be "containers of objects", in the sense that the user is only interested in the "object references", (addresses) themselves as the elements in the container. (This is in opposition to the intention of classes that implement JMLValueType.) With object containers, the object references are copied in operations that create new instances of the container classes, e.g., clone(). So there is no "deep copy" made with classes that implement JMLObjectType.

Version:

$Revision: 1.11 $

Author:

Gary T. Leavens, Albert L. Baker

See Also:

JMLType

Method Summary
Object	clone()           Return a shallow copy of this object.
boolean	equals(Object ob2)           Tell whether this object is equal to the argument, using == for comparisons to compare contained objects.

 

Methods inherited from interface org.jmlspecs.models.JMLType

hashCode

 

Method Detail

clone

public Object clone()

Return a shallow copy of this object.

Specified by:

clone in interface JMLType

equals

public boolean equals(Object ob2)

Tell whether this object is equal to the argument, using == for comparisons to compare contained objects.

Specified by:

equals in interface JMLType