code: public void error(Error errorKey) {
          report(diags.error(null, source, null, errorKey));
      }
docs: Report an error, unless another error was already reported at same
  source position.
  @param errorKey    The key for the localized error message.