PR python/10782:

* gdb.texinfo (Types In Python): Document Type.pointer.
This commit is contained in:
Tom Tromey 2009-11-23 21:47:22 +00:00
parent 930636d254
commit 7a6973ad42
2 changed files with 10 additions and 0 deletions

View File

@ -1,3 +1,8 @@
2009-11-23 Tom Tromey <tromey@redhat.com>
PR python/10782:
* gdb.texinfo (Types In Python): Document Type.pointer.
2009-11-23 Paul Pluzhnikov <ppluzhnikov@google.com>
* gdb.texinfo (Machine Code): Adjust.

View File

@ -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.