[patch][doc] PR python/10781
Tom Tromey
tromey@redhat.com
Mon Oct 19 17:50:00 GMT 2009
>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:
Eli> Here's the text that I propose to use:
Eli> +@defmethod Value cast type
Eli> +Return a new instance of @code{gdb.Value} that is the result of
Eli> +casting this instance to the type described by @var{type},
Eli> +which must be a @code{gdb.Type} object. If the cast cannot be
Eli> +performed for some reason, this method throws an exception.
Eli> +@end defmethod
Looks good to me.
Tom
More information about the Gdb-patches
mailing list