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