public double getAttrValueAsDouble(String attrName) throws XmlAttributeException {
		try {
			return Double.parseDouble(getAttrValue(attrName));
		}
		catch (NullPointerException e) {
			throw new XmlAttributeException("Element: "+name+": attribute "+attrName+" does not exist.");
		}
		catch (NumberFormatException e) {
			throw new XmlAttributeException("Element: "+name+": attribute "+attrName+" is not a valid double: "+getAttrValue(attrName));
		}
	}
Returns the double value of the specified attribute.
@param attrName the name of the attribute
@return the double value of the specified attribute
@throws XmlAttributeException if no attribute exists with the specified name
Ghidra/Framework/Generic/src/main/java/ghidra/util/xml/XmlParserElement.java