org.jmlspecs.models
Interface JMLEnumeration

All Superinterfaces:

Cloneable, Enumeration, JMLType, Serializable

All Known Implementing Classes:

JMLEqualsBagEnumerator, JMLEqualsSequenceEnumerator, JMLEqualsSetEnumerator, JMLEqualsToEqualsRelationEnumerator, JMLEqualsToEqualsRelationImageEnumerator, JMLEqualsToObjectRelationEnumerator, JMLEqualsToObjectRelationImageEnumerator, JMLEqualsToValueRelationEnumerator, JMLEqualsToValueRelationImageEnumerator, JMLObjectBagEnumerator, JMLObjectSequenceEnumerator, JMLObjectSetEnumerator, JMLObjectToEqualsRelationEnumerator, JMLObjectToEqualsRelationImageEnumerator, JMLObjectToObjectRelationEnumerator, JMLObjectToObjectRelationImageEnumerator, JMLObjectToValueRelationEnumerator, JMLObjectToValueRelationImageEnumerator, JMLValueBagEnumerator, JMLValueSequenceEnumerator, JMLValueSetEnumerator, JMLValueToEqualsRelationEnumerator, JMLValueToEqualsRelationImageEnumerator, JMLValueToObjectRelationEnumerator, JMLValueToObjectRelationImageEnumerator, JMLValueToValueRelationEnumerator, JMLValueToValueRelationImageEnumerator

public interface JMLEnumeration

extends Enumeration, JMLType

A combination of JMLType and java.util.Enumeration.

Version:

$Revision: 1.7 $

Author:

Gary T. Leavens

See Also:

JMLIterator, JMLEnumerationToIterator

Method Summary
Object	clone()           Return a clone of this enumeration.
boolean	hasMoreElements()

 

Methods inherited from interface java.util.Enumeration

nextElement

 

Methods inherited from interface org.jmlspecs.models.JMLType

equals, hashCode

 

Method Detail

clone

public Object clone()

Return a clone of this enumeration.

Specified by:

clone in interface JMLType

hasMoreElements

public boolean hasMoreElements()

Specified by:

hasMoreElements in interface Enumeration