Re: [RFC - Python] New ObjFile event

Tom Tromey
2011-10-04T17:02:15Z

>>>>> "Kevin" == Kevin Pouget <kevin.pouget@gmail.com> writes:

Tom> Why not simply make the objfile object an attribute of the event?
Tom> That seems cleaner to me.

Kevin> We already discussed this point, but it was at the end of ... March :)

Thanks for the reminder.
I completely forgot about that.

Kevin> I was ambivalent about this point too; I chose
Kevin> "gdb.current_objfile()" because autoloading
Kevin> (http://sourceware.org/gdb/current/onlinedocs/gdb/Auto_002dloading.html)
Kevin> already does it this way, and the two features are pretty similar. I
Kevin> felt that it would have been strange to access "gdb.current_objfile ()"
Kevin> in one case, and sth like "event.new_objfile" in the other case

Ok, I see.

I think it is best to pass it as part of the event.
It is ok with me if you also want to have it set the current objfile.

Tom