public override String ToString() { return String.Format("Line {0:000}, Pos. {1:000} : {2}", Line, Column, Message); }