/** * Return the properly capitalized spelling of a variable name, given any capitalization of the * name. * * @return the properly capitalized spelling of a variable name, given any capitalization of the * name. */ public String getVariableName(String s) { return (String) variableNames.get(s.toLowerCase()); }
/* * Add one variable name. */ protected void addVariableName(String s) { variableNames.put(s.toLowerCase(), s); }
/** * Return the properly capitalized spelling of a class name, given any capitalization of the name. * * @return the properly capitalized spelling of a class name, given any capitalization of the * name. */ public String getClassName(String s) { return (String) classNames.get(s.toLowerCase()); }
/* * Add one class name. */ protected void addClassName(String s) { classNames.put(s.toLowerCase(), s); }