public String formatKind(D diag, Locale l) { return formatter.formatKind(diag, l); }
public String formatKind(D diag, Locale l) { return formatter.formatKind(diag, l); }
/** * Get the prefix string associated with a particular type of diagnostic. * @return the prefix string associated with a particular type of diagnostic */ public String getPrefix(DiagnosticType dt) { return defaultFormatter.formatKind(this, Locale.getDefault()); }
/** * Get the prefix string associated with a particular type of diagnostic. * @return the prefix string associated with a particular type of diagnostic */ public String getPrefix(DiagnosticType dt) { return defaultFormatter.formatKind(this, Locale.getDefault()); }