| Constructor and Description |
|---|
LocationEnumeration(NamedLocation[] bindings,
int count) |
LocationEnumeration(SimpleEnvironment env) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
hasMoreElements() |
boolean |
hasNext() |
Location |
next() |
Location |
nextElement() |
Location |
nextLocation() |
void |
remove() |
public LocationEnumeration(NamedLocation[] bindings, int count)
public LocationEnumeration(SimpleEnvironment env)
public boolean hasMoreElements()
hasMoreElements in interface java.util.Enumeration<Location>public Location nextElement()
nextElement in interface java.util.Enumeration<Location>public Location nextLocation()
public boolean hasNext()
hasNext in interface java.util.Iterator<Location>public void remove()
remove in interface java.util.Iterator<Location>