code: public static DiagnosticType error(String name, String descriptionFormat) {
      return make(name, CheckLevel.ERROR, descriptionFormat);
    }
docs: Create a DiagnosticType at level CheckLevel.ERROR
  
  @param name An identifier
  @param descriptionFormat A format string
  @return A new DiagnosticType