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

	    Eli Zaretskii <eliz@gnu.org>

        PR python/10781

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

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index d65e6856af385cb55b894f9944534bf7f58a9535..ce998409f20f4cb2a92be8d0e6ce4dd07aeab622 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,10 @@
+2009-10-27  Tom Tromey <tromey@redhat.com>
+           Eli Zaretskii <eliz@gnu.org>
+
+        PR python/10781
+
+       * gdb.texinfo (Values From Inferior): Document cast method.
+
 2009-10-22  Paul Pluzhnikov  <ppluzhnikov@google.com>
 
        * gdb.texinfo (Machine Code): Mention function name in disasssembly

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index c1e393f5dd7b0892ff27b5557f94dd0855a50f02..6a74aebcfe32969f28232dd08f3bc6fc31e571bd 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -19445,6 +19445,13 @@ The type of this @code{gdb.Value}.  The value of this attribute is a
 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
+
 @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