/** * Gets a prefix from the prefix database. */ private static Prefix getPrefix(String string) throws PrefixDBException { PrefixDB prefixDB = PrefixDBManager.instance(); Prefix prefix = prefixDB.getPrefixByName(string); if (prefix == null) prefix = prefixDB.getPrefixBySymbol(string); return prefix; }
/** * Gets a prefix from the prefix database. */ private static Prefix getPrefix(String string) throws PrefixDBException { PrefixDB prefixDB = PrefixDBManager.instance(); Prefix prefix = prefixDB.getPrefixByName(string); if (prefix == null) prefix = prefixDB.getPrefixBySymbol(string); return prefix; }