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

Eli Zaretskii
2009-10-27T18:43:13Z

> 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?

If you are asking me, the answer is obviously yes, since it's text I
wrote.