@Override
  public void compose(@NotNull StringBuilder buf, RefEntity refEntity) {
    genPageHeader(buf, refEntity);
    if (myTool.getDescriptions(refEntity) != null) {
      appendHeading(buf, AnalysisBundle.message("inspection.problem.synopsis"));
      startProblemDescription(buf);
      CommonProblemDescriptor[] descriptions = myTool.getDescriptions(refEntity);

      LOG.assertTrue(descriptions != null);

      startList(buf);
      for (int i = 0; i < descriptions.length; i++) {
        startListItem(buf);
        composeDescription(descriptions[i], i, buf, refEntity);
        doneListItem(buf);
      }
      doneList(buf);
      doneProblemDescription(buf);

      appendResolution(buf, refEntity, quickFixTexts(refEntity, myTool));
    }
    else {
      appendNoProblems(buf);
    }
  }
@Override
  public void compose(@NotNull StringBuilder buf, RefEntity refEntity)