JML

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.


JML

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.