/**
* 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);
}