org.jmlspecs.models
Interface JMLType

All Superinterfaces:

Cloneable, Serializable

All Known Subinterfaces:

Directory, DirObserverKeeper, Entry, JMLCollection, JMLComparable, JMLEnumeration, JMLInfiniteInteger, JMLIterator, JMLObjectType, JMLValueType, Money, MoneyComparable, MoneyOps, NodeType, RODirectory

All Known Implementing Classes:

ArcType, EntryImplementation, JMLByte, JMLChar, JMLDouble, JMLEnumerationToIterator, JMLEqualsBag, JMLEqualsBagEntry, JMLEqualsBagEnumerator, JMLEqualsEqualsPair, JMLEqualsObjectPair, JMLEqualsSequence, JMLEqualsSequenceEnumerator, JMLEqualsSet, JMLEqualsSetEnumerator, JMLEqualsToEqualsRelation, JMLEqualsToEqualsRelationEnumerator, JMLEqualsToEqualsRelationImageEnumerator, JMLEqualsToObjectRelation, JMLEqualsToObjectRelationEnumerator, JMLEqualsToObjectRelationImageEnumerator, JMLEqualsToValueRelation, JMLEqualsToValueRelationEnumerator, JMLEqualsToValueRelationImageEnumerator, JMLEqualsValuePair, JMLFloat, JMLInfiniteIntegerClass, JMLInteger, JMLListEqualsNode, JMLListObjectNode, JMLListValueNode, JMLLong, JMLObjectBag, JMLObjectBagEntry, JMLObjectBagEnumerator, JMLObjectEqualsPair, JMLObjectObjectPair, JMLObjectSequence, JMLObjectSequenceEnumerator, JMLObjectSet, JMLObjectSetEnumerator, JMLObjectToEqualsRelation, JMLObjectToEqualsRelationEnumerator, JMLObjectToEqualsRelationImageEnumerator, JMLObjectToObjectRelation, JMLObjectToObjectRelationEnumerator, JMLObjectToObjectRelationImageEnumerator, JMLObjectToValueRelation, JMLObjectToValueRelationEnumerator, JMLObjectToValueRelationImageEnumerator, JMLObjectValuePair, JMLShort, JMLString, JMLValueBag, JMLValueBagEntry, JMLValueBagEnumerator, JMLValueBagSpecs, JMLValueEqualsPair, JMLValueObjectPair, JMLValueSequence, JMLValueSequenceEnumerator, JMLValueSequenceSpecs, JMLValueSet, JMLValueSetEnumerator, JMLValueSetSpecs, JMLValueToEqualsRelation, JMLValueToEqualsRelationEnumerator, JMLValueToEqualsRelationImageEnumerator, JMLValueToObjectRelation, JMLValueToObjectRelationEnumerator, JMLValueToObjectRelationImageEnumerator, JMLValueToValueRelation, JMLValueToValueRelationEnumerator, JMLValueToValueRelationImageEnumerator, JMLValueValuePair, MoneyAC, MoneyComparableAC, NaturalNumber, QueueEntry, StringOfObject, USMoney, ValueNode

public interface JMLType

extends Cloneable, Serializable

Objects with a clone and equals method. JMLObjectType and JMLValueType are refinements for object and value containers (respectively).

Version:

$Revision: 1.20 $

Author:

Gary T. Leavens and Albert L. Baker.

See Also:

JMLObjectType, JMLValueType

Method Summary
Object	clone()           Return a clone of this object.
boolean	equals(Object ob2)           Test whether this object's value is equal to the given argument.
int	hashCode()           Return a hash code for this object.

 

Method Detail

clone

public Object clone()

Return a clone of this object.

equals

public boolean equals(Object ob2)

Test whether this object's value is equal to the given argument.

hashCode

public int hashCode()

Return a hash code for this object.