public String[] getAttrNames() {
		if (attrsMap == null) {
			return new String[0];
		}
		String[] names = new String[attrsMap.size()];
		attrsMap.keySet().toArray(names);
		return names;
	}
Returns an array containing the names of all attributes defined in this element.
@return an array containing the names of all attributes defined in this element
Ghidra/Framework/Generic/src/main/java/ghidra/util/xml/XmlParserElement.java