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