public virtual void Warning(int line, int col, string s) { errorStream.WriteLine(errMsgFormat, line, col, s); }