public class JDOMNamespaceIterator extends java.lang.Object implements NodeIterator
Modifier and Type | Field and Description |
---|---|
private java.util.List |
namespaces |
private NodePointer |
parent |
private int |
position |
private java.util.Set |
prefixes |
Constructor and Description |
---|
JDOMNamespaceIterator(NodePointer parent)
Create a new JDOMNamespaceIterator.
|
Modifier and Type | Method and Description |
---|---|
private void |
collectNamespaces(org.jdom.Element element)
Collect the namespaces from a JDOM Element.
|
NodePointer |
getNodePointer()
Get the NodePointer at the current position.
|
int |
getPosition()
Get the current iterator position.
|
boolean |
setPosition(int position)
Set the new current position.
|
private NodePointer parent
private java.util.List namespaces
private java.util.Set prefixes
private int position
public JDOMNamespaceIterator(NodePointer parent)
parent
- the parent NodePointer.private void collectNamespaces(org.jdom.Element element)
element
- the source Elementpublic NodePointer getNodePointer()
NodeIterator
getNodePointer
in interface NodeIterator
public int getPosition()
NodeIterator
getPosition
in interface NodeIterator
public boolean setPosition(int position)
NodeIterator
setPosition
in interface NodeIterator
position
- the position to settrue
if there is a node at position
.