public int getEventIDWithName(String name) { if (single.idMap == null) { readXML(); buildCache(); } return single.nameMap.get(name); }
/** * @param id the id corresponding to an event * @return the DOM Element corresponding to the event tag */ public Element getElementWithID(int id) { if (single.idMap == null) { readXML(); buildCache(); } return single.idMap.get(id) != null ? (Element) single.idMap.get(id)[1] : null; }
/** * @param id the id corresponding to an event * @return the name of the event corresponding to the id, or null if none could be found. */ public String getEventNameWithID(int id) { if (single.idMap == null) { readXML(); buildCache(); } return single.idMap.get(id) != null ? (String) single.idMap.get(id)[0] : null; }