JML

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

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.