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

Eli Zaretskii
2009-10-16T19:09:33Z

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