// it contains pairs of element types (Integer) mapping to ID attribute
// types (Integer). This eliminates string comparisons, and makes it
// possible for us to traverse the input DOM just once.
Enumeration elements = _idAttributes.keys();
if (elements.nextElement() instanceof String) {
Hashtable newAttributes = new Hashtable();
elements = _idAttributes.keys();
while (elements.hasMoreElements()) {
String element = (String)elements.nextElement();
String attribute = (String)_idAttributes.get(element);
int elemType = dom.getGeneralizedType(element);
int attrType = dom.getGeneralizedType(attribute);
newAttributes.put(new Integer(elemType), new Integer(attrType));
}
_idAttributes = newAttributes;
}
// Get all nodes in the DOM