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

[Phil Muldoon <pmuldoon@redhat.com>]

On 10/16/2009 08:08 PM, Eli Zaretskii wrote:
> Here's the text that I propose to use:
>
>      +@defmethod Value cast type
>      +Return a new instance of @code{gdb.Value} that is the result of
>      +casting this instance to the type described by @var{type},
>      +which must be a @code{gdb.Type} object.  If the cast cannot be
>      +performed for some reason, this method throws an exception.
>      +@end defmethod
>    

Ok to check this patch in?

ChangeLog

2009-10-27  Tom Tromey <tromey@redhat.com>
                      Eli Zaretskii <eliz@gnu.org>

               PR python/10781

                * gdb.texinfo (Values From Inferior): Document cast method.

--

Index: doc/gdb.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v
retrieving revision 1.637
diff -u -r1.637 gdb.texinfo
--- doc/gdb.texinfo    23 Oct 2009 00:49:32 -0000    1.637
+++ doc/gdb.texinfo    27 Oct 2009 15:48:10 -0000
@@ -19445,6 +19445,13 @@
  The following methods are provided:

  @table @code
+@defmethod Value cast type
+Return a new instance of @code{gdb.Value} that is the result of
+casting this instance to the type described by @var{type}, which must
+be a @code{gdb.Type} object.  If the cast cannot be performed for some
+reason, this method throws an exception.
+@end defmethod
+