| org.jmlspecs.models.JMLObjectType
All known Subclasses: org.jmlspecs.models.JMLObjectBagEnumerator, org.jmlspecs.models.JMLObjectSetEnumerator, org.jmlspecs.models.JMLEqualsSetEnumerator, org.jmlspecs.models.JMLEqualsBagEnumerator, org.jmlspecs.models.JMLObjectSequenceEnumerator, org.jmlspecs.models.JMLEqualsSequenceEnumerator,
| JMLObjectType | | public interface JMLObjectType extends JMLType(Code) | | 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.1.1.1 $
author:
Gary T. Leavens
author:
Albert L. Baker
See Also: JMLType |
| Method Summary | |
| public Object | clone()
Return a shallow copy of this object. | | public boolean | equals(Object ob2)
Tell whether this object is equal to the argument, using ==
for comparisons to compare contained objects. |
| clone | | public Object clone()(Code) | | Return a shallow copy of this object.
|
| equals | | public boolean equals(Object ob2)(Code) | | Tell whether this object is equal to the argument, using ==
for comparisons to compare contained objects.
|
|
|