Interface JMLValueType

All Superinterfaces:
Cloneable, JMLType, Serializable
All Known Implementing Classes:
JMLEqualsToEqualsRelationEnumerator, JMLEqualsToEqualsRelationImageEnumerator, JMLEqualsToObjectRelationEnumerator, JMLEqualsToObjectRelationImageEnumerator, JMLEqualsToValueRelationEnumerator, JMLEqualsToValueRelationImageEnumerator, JMLListValueNode, JMLObjectToEqualsRelationEnumerator, JMLObjectToEqualsRelationImageEnumerator, JMLObjectToObjectRelationEnumerator, JMLObjectToObjectRelationImageEnumerator, JMLObjectToValueRelationEnumerator, JMLObjectToValueRelationImageEnumerator, JMLValueBagEnumerator, JMLValueBagSpecs, JMLValueSequenceEnumerator, JMLValueSequenceSpecs, JMLValueSetEnumerator, JMLValueSetSpecs, JMLValueToEqualsRelationEnumerator, JMLValueToEqualsRelationImageEnumerator, JMLValueToObjectRelationEnumerator, JMLValueToObjectRelationImageEnumerator, JMLValueToValueRelationEnumerator, JMLValueToValueRelationImageEnumerator

public interface JMLValueType
extends JMLType

Objects that contain values. It is the intention that classes that implement JMLValueType provide a "value semantics" for both clone() and equal(). Equality must be defined by the ".equals()" for any objects contained within an instance of the class. clone() must use the ".clone()" methods of any objects contained in an instance of the class. Hence, classes that implement JMLValueType have objects that are "containers of values", in the sense that the user is interested in the values referenced, not not simply the "addresses".

$Revision: 1.11 $
Gary T. Leavens, Albert L. Baker
See Also:

Method Summary
 Object clone()
          Return a deep copy of this object.
 boolean equals(Object ob2)
          Compare with ob2 using .equals on underlying objects.
Methods inherited from interface org.jmlspecs.models.JMLType

Method Detail


public Object clone()
Return a deep copy of this object.

Specified by:
clone in interface JMLType


public boolean equals(Object ob2)
Compare with ob2 using .equals on underlying objects.

Specified by:
equals in interface JMLType


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.