code: public void rawError(int pos, String msg) {
          if (nerrors < MaxErrors && shouldReport(currentSourceFile(), pos)) {
              printRawError(pos, msg);
              prompt();
              nerrors++;
          }
          errWriter.flush();
      }
docs: report an error: