public override string ToString() { return String.Format ("LineNumber ({0}:{1}:{2:x})", File, Line, Offset); }