code: public void rawWarning(int pos, String msg) {
          if (nwarnings < MaxWarnings && emitWarnings) {
              printRawError(pos, "warning: " + msg);
          }
          prompt();
          nwarnings++;
          errWriter.flush();
      }
docs: report a warning: