public class TypeFilteredIterator
extends java.lang.Object
implements java.util.Iterator
| Modifier and Type | Field and Description |
|---|---|
static int |
TYPE_NAMESPACE |
| Constructor and Description |
|---|
TypeFilteredIterator(Navigator navigator,
java.util.Iterator original,
int type) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
hasNext() |
java.lang.Object |
next() |
void |
remove() |
public static final int TYPE_NAMESPACE
public TypeFilteredIterator(Navigator navigator, java.util.Iterator original, int type)