JML

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

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.