[patch][doc] PR python/10781

[Phil Muldoon <pmuldoon@redhat.com>]

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]$