/**
  * Format all the subdiagnostics attached to a given diagnostic.
  *
  * @param d diagnostic whose subdiagnostics are to be formatted
  * @param l locale object to be used for i18n
  * @return list of all string representations of the subdiagnostics
  */
 protected List<String> formatSubdiagnostics(JCDiagnostic d, Locale l) {
   List<String> subdiagnostics = List.nil();
   int maxDepth = config.getMultilineLimit(MultilineLimit.DEPTH);
   if (maxDepth == -1 || depth < maxDepth) {
     depth++;
     try {
       int maxCount = config.getMultilineLimit(MultilineLimit.LENGTH);
       int count = 0;
       for (JCDiagnostic d2 : d.getSubdiagnostics()) {
         if (maxCount == -1 || count < maxCount) {
           subdiagnostics = subdiagnostics.append(formatSubdiagnostic(d, d2, l));
           count++;
         } else break;
       }
     } finally {
       depth--;
     }
   }
   return subdiagnostics;
 }
 /**
  * Format the faulty source code line and point to the error.
  *
  * @param d The diagnostic for which the error line should be printed
  */
 protected String formatSourceLine(JCDiagnostic d, int nSpaces) {
   StringBuilder buf = new StringBuilder();
   DiagnosticSource source = d.getDiagnosticSource();
   int pos = d.getIntPosition();
   if (d.getIntPosition() == Position.NOPOS) throw new AssertionError();
   String line = (source == null ? null : source.getLine(pos));
   if (line == null) return "";
   buf.append(indent(line, nSpaces));
   int col = source.getColumnNumber(pos, false);
   if (config.isCaretEnabled()) {
     buf.append("\n");
     for (int i = 0; i < col - 1; i++) {
       buf.append((line.charAt(i) == '\t') ? "\t" : " ");
     }
     buf.append(indent("^", nSpaces));
   }
   return buf.toString();
 }
 public boolean displaySource(JCDiagnostic d) {
   return config.getVisible().contains(DiagnosticPart.SOURCE)
       && d.getType() != FRAGMENT
       && d.getIntPosition() != Position.NOPOS;
 }