private void reportWarning(String format, Object... arguments) { errorReporter.reportWarning(getPosition(), format, arguments); }