Date: Tue, 27 Oct 2009 15:52:03 +0000
From: Phil Muldoon<pmuldoon@redhat.com>
CC: Tom Tromey<tromey@redhat.com>, gdb-patches@sourceware.org
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?