Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.models
Interface JMLIterator

All Superinterfaces:
Cloneable, Iterator, JMLType, Serializable
All Known Implementing Classes:
JMLEnumerationToIterator
public interface JMLIterator
extends Iterator, JMLType

A combination of JMLType and java.util.Iterator. None of these support the remove operation.

Version:
$Revision: 1.8 $
Author:
Gary T. Leavens
See Also:
JMLEnumeration, JMLEnumerationToIterator

Method Summary
 Object clone()
          Return a clone of this iterator.
 boolean hasNext()
           
 
Methods inherited from interface java.util.Iterator
next, remove
 
Methods inherited from interface org.jmlspecs.models.JMLType
equals, hashCode
 

Method Detail

clone

public Object clone()
Return a clone of this iterator.

Specified by:
clone in interface JMLType

hasNext

public boolean hasNext()
Specified by:
hasNext in interface Iterator
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.