From 7a6973ad42f7f525439fd006942060139d2acbd3 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Mon, 23 Nov 2009 21:47:22 +0000 Subject: [PATCH] PR python/10782: * gdb.texinfo (Types In Python): Document Type.pointer. --- gdb/doc/ChangeLog | 5 +++++ gdb/doc/gdb.texinfo | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 76a0175..8571bc9 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2009-11-23 Tom Tromey + + PR python/10782: + * gdb.texinfo (Types In Python): Document Type.pointer. + 2009-11-23 Paul Pluzhnikov * gdb.texinfo (Machine Code): Adjust. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index bf76aa1..c1ccfc7 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -19640,6 +19640,11 @@ Return a new @code{gdb.Type} object which represents a reference to this type. @end defmethod +@defmethod Type pointer +Return a new @code{gdb.Type} object which represents a pointer to this +type. +@end defmethod + @defmethod Type strip_typedefs Return a new @code{gdb.Type} that represents the real type, after removing all layers of typedefs. -- 2.7.4