/**
* <b>DOM</b>: Implements {@link
* org.w3c.dom.svg.SVGSVGElement#getHeight()}.
*/
public SVGAnimatedLength getHeight() {
SVGAnimatedLength result;
if (heightReference == null ||
(result = (SVGAnimatedLength)heightReference.get()) == null) {
result = new SVGOMAnimatedLength(this, null, SVG_HEIGHT_ATTRIBUTE,
HEIGHT_DEFAULT_VALUE_PRODUCER);
heightReference = new WeakReference(result);