static { // load entities load0("res/HTMLlat1.properties"); load0("res/HTMLspecial.properties"); load0("res/HTMLsymbol.properties"); load0("res/XMLbuiltin.properties"); load0("res/Zimbra.properties"); // store reverse mappings Enumeration keys = ENTITIES.propertyNames(); while (keys.hasMoreElements()) { String key = (String) keys.nextElement(); String value = ENTITIES.getProperty(key); if (value.length() == 1) { int ivalue = value.charAt(0); SEITITNE.put(ivalue, key); } } }
/** Returns the name associated to the given character or null if the character is not known. */ public static String get(int c) { return SEITITNE.get(c); } // get(int):String