public final class ElementWrapper
extends java.lang.Object
Element that makes it suitable for storing
in a Map.
It makes a hash code out by serializing the Element as an XML String and then
computing the hashcode of the resulting String, so this is perhaps not very efficient.
| 构造器和说明 |
|---|
ElementWrapper(org.w3c.dom.Element symbolElement) |
| 限定符和类型 | 方法和说明 |
|---|---|
boolean |
equals(java.lang.Object obj) |
org.w3c.dom.Element |
getSymbolElement() |
int |
hashCode() |