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