@FormatMethod
  private void reportError(@FormatString String message, Object... arguments) {
    errorReporter.reportError(scanner.getPosition(), message, arguments);
  }
@ FormatMethod private void reportError ( @ FormatString String message , Object ... arguments ) { errorReporter . reportError ( scanner . getPosition ( ) , message , arguments ) ; }
Reports an error at the current location.
@param message The message to report in String.format style.
@param arguments The arguments to fill in the message format.