getXmlName 94 defs/Defs.java xmlNameToAttribute.put(ad.getXmlName(), ad);
getXmlName 606 defs/Defs.java out.println(" \"" + ad.getXmlName() + "\",");
getXmlName 704 defs/Defs.java if (ad.getXmlName().equals(xmlName)) {
getXmlName 725 defs/Defs.java String xmlName = ad.getXmlName();