gnu.mapping
Class LocationEnumeration

java.lang.Object
  extended by gnu.mapping.LocationEnumeration
All Implemented Interfaces:
java.util.Enumeration<Location>, java.util.Iterator<Location>

public class LocationEnumeration
extends java.lang.Object
implements java.util.Iterator<Location>, java.util.Enumeration<Location>


Constructor Summary
LocationEnumeration(NamedLocation[] bindings, int count)
           
LocationEnumeration(SimpleEnvironment env)
           
 
Method Summary
 boolean hasMoreElements()
           
 boolean hasNext()
           
 Location next()
           
 Location nextElement()
           
 Location nextLocation()
           
 void remove()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LocationEnumeration

public LocationEnumeration(NamedLocation[] bindings,
                           int count)

LocationEnumeration

public LocationEnumeration(SimpleEnvironment env)
Method Detail

hasMoreElements

public boolean hasMoreElements()
Specified by:
hasMoreElements in interface java.util.Enumeration<Location>

nextElement

public Location nextElement()
Specified by:
nextElement in interface java.util.Enumeration<Location>

nextLocation

public Location nextLocation()

hasNext

public boolean hasNext()
Specified by:
hasNext in interface java.util.Iterator<Location>

next

public Location next()
Specified by:
next in interface java.util.Iterator<Location>

remove

public void remove()
Specified by:
remove in interface java.util.Iterator<Location>