docs: public void error(String message, String sourceString,
                      int position, int startPosition, int endPosition,
                      Object info) {
      report(new AnnotationReport(Kind.ERROR, message, sourceString,
                                  position, startPosition, endPosition, info));
    }