/** * Get a localized string represenation for a given symbol. * * @param s symbol to be displayed * @param locale the locale in which the string is to be rendered * @return localized string representation */ public String visit(Symbol s, Locale locale) { return s.accept(this, locale); }