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