| org.jmlspecs.models.JMLValueType
All known Subclasses: org.jmlspecs.models.JMLObjectToEqualsRelationEnumerator, org.jmlspecs.models.JMLObjectToValueRelationEnumerator, org.jmlspecs.models.JML_Domain_To_Range_RelationImageEnumerator, org.jmlspecs.models.JMLValueSetEnumerator, org.jmlspecs.models.JMLValueToValueRelationImageEnumerator, org.jmlspecs.models.JMLObjectToObjectRelationImageEnumerator, org.jmlspecs.models.JMLValueSequenceEnumerator, org.jmlspecs.models.JMLValueBagEnumerator, org.jmlspecs.models.JMLListValueNode, org.jmlspecs.models.JMLEqualsToValueRelationImageEnumerator, org.jmlspecs.models.JMLValueToEqualsRelationImageEnumerator, org.jmlspecs.models.JMLValueToEqualsRelationEnumerator, org.jmlspecs.models.JMLValueSequenceSpecs, org.jmlspecs.models.JMLEqualsToObjectRelationImageEnumerator, org.jmlspecs.models.JMLEqualsToEqualsRelationImageEnumerator, org.jmlspecs.models.JMLEqualsToValueRelationEnumerator, org.jmlspecs.models.JMLValueBagSpecs, org.jmlspecs.models.JMLObjectToEqualsRelationImageEnumerator, org.jmlspecs.models.JMLObjectToValueRelationImageEnumerator, org.jmlspecs.models.JMLObjectToObjectRelationEnumerator, org.jmlspecs.models.JMLValueToObjectRelationEnumerator, org.jmlspecs.models.JMLEqualsToEqualsRelationEnumerator, org.jmlspecs.models.JMLValueToValueRelationEnumerator, org.jmlspecs.models.JMLEqualsToObjectRelationEnumerator, org.jmlspecs.models.JMLValueToObjectRelationImageEnumerator, org.jmlspecs.models.JMLValueSetSpecs,
| JMLValueType | | public interface JMLValueType extends JMLType(Code) | | 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".
version:
$Revision: 1.1 $
author:
Gary T. Leavens
author:
Albert L. Baker
See Also: JMLType |
| Method Summary | |
| public Object | clone()
Return a deep copy of this object. | | public boolean | equals(Object ob2)
Compare with ob2 using .equals on underlying objects. |
| clone | | public Object clone()(Code) | | Return a deep copy of this object.
|
| equals | | public boolean equals(Object ob2)(Code) | | Compare with ob2 using .equals on underlying objects.
|
|
|