[patch][doc] PR python/10781

Phil Muldoon
2009-10-16T07:35:43Z

On irc, Michael Lyle noticed that Value.cast was not documented in GDB
7.0, but the method was available for use. Tom wrote this documentation
sometime ago, and it got missed on the merge. This patch fixes this.

OK?

Cheers,

Phil

--

ChangeLog

2009-10-16 Tom Tromey <tromey@redhat.com>

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.633
diff -u -r1.633 gdb.texinfo
--- doc/gdb.texinfo 12 Oct 2009 01:59:54 -0000 1.633
+++ doc/gdb.texinfo 16 Oct 2009 07:30:12 -0000
@@ -19232,6 +19232,13 @@
The following methods are provided:

@table @code
+@defmethod Value cast type
+Cast the @code{gdb.Value} to the type represented by @var{type}, and
+return a new @code{gdb.Value}. @var{type} must be a @code{gdb.Type}
+object. If the cast cannot be performed for some reason, an exception
+is thrown.
+@end defmethod
+
@defmethod Value dereference
For pointer data types, this method returns a new @code{gdb.Value} object
whose contents is the object pointed to by the pointer. For example, if
[pmuldoon@localhost gdb]$