Patch: printing java `char' values
Tom Tromey
tromey@redhat.com
Tue May 7 14:35:00 GMT 2002
>>>>> "Michael" == Michael Snyder <msnyder@redhat.com> writes:
Michael> D'oh. I just remembered -- GDB always labels chars as
Michael> "TYPE_CODE_INT". Sorry I didn't think about it earlier.
Don't worry -- I'm just happy anybody read the patch.
Michael> TYPE_CODE_INT is more of a class than a type. It includes
Michael> all integer-like types, including char, short, int, long, and
Michael> long long.
Michael> I've no idea what context TYPE_CODE_CHAR might be used in.
Ok. Does this mean my patch is ok? Or is there something better way
to do it?
BTW, if you know about types in gdb, I also sent another Java type
related patch last week. Again, to me it looked like a hack, but I
don't really understand what is going on.
Thanks,
Tom
More information about the Gdb-patches
mailing list