org.jmlspecs.models
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".

Version:

$Revision: 1.10 $

Author:

Gary T. Leavens, Albert L. Baker

See Also:

JMLType

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

hashCode

 

Method Detail

clone

public Object clone()

Return a deep copy of this object.

Specified by:

clone in interface JMLType

equals

public boolean equals(Object ob2)

Compare with ob2 using .equals on underlying objects.

Specified by:

equals in interface JMLType