| org.jmlspecs.models.JMLType
All known Subclasses: org.jmlspecs.models.JMLObjectObjectPair, org.jmlspecs.models.JMLEqualsEqualsPair, org.jmlspecs.models.JMLValueValuePair, org.jmlspecs.models.JMLObjectValuePair, org.jmlspecs.models.JMLEqualsValuePair, org.jmlspecs.models.JMLValueEqualsPair, org.jmlspecs.models.JMLListObjectNode, org.jmlspecs.models.JMLObjectEqualsPair, org.jmlspecs.models.JMLValueObjectPair, org.jmlspecs.models.JMLEqualsObjectPair, org.jmlspecs.models.JMLListEqualsNode,
JMLType | public interface JMLType extends Cloneable,java.io.Serializable(Code) | | Objects with a clone and equals method.
JMLObjectType and JMLValueType are refinements
for object and value containers (respectively).
version: $Revision: 1.1 $ author: Gary T. Leavens author: Albert L. Baker See Also: JMLObjectType See Also: JMLValueType |
Method Summary | |
public Object | clone() Return a clone of this object. | public boolean | equals(Object ob2) Test whether this object's value is equal to the given argument. | public int | hashCode() Return a hash code for this object. |
clone | public Object clone()(Code) | | Return a clone of this object.
|
equals | public boolean equals(Object ob2)(Code) | | Test whether this object's value is equal to the given argument.
|
hashCode | public int hashCode()(Code) | | Return a hash code for this object.
|
|
|