Re: [patch][doc] PR python/10781

Tom Tromey
2009-10-19T17:50:28Z

>>>>> "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