public final class ElementWrapper extends 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.
| Constructor and Description |
|---|
ElementWrapper(Element symbolElement) |
Copyright © 2008–2026 The University of Edinburgh. All rights reserved.