code: public void error(SourcePosition pos, String key, Object... args) {
          printError(pos, getText(key, args));
      }
docs: Print error message, increment error count.
  
  @param key selects message from resource