code: public void notice(SourcePosition pos, String key, Object... args) {
          printNotice(pos, getText(key, args));
      }
docs: Print a message.
  
  @param pos the position of the source
  @param key selects message from resource
  @param args arguments to be replaced in the message.