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

Phil Muldoon
2009-10-27T15:52:19Z

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
+