protected virtual void WriteLocation(Location location) { Console.Error.Write("{0}:{1}:{2}: ", location.FileName, location.Line, location.Column); }