Document lazy computation for pretty-printer "children" method

I found out recently that some users didn't know that the Python
pretty-printers "children" method should compute its result lazily.
This has been a good idea since the earliest days, but wasn't
mentioned in the docs.  This patch adds some text to this effect.

gdb/doc/ChangeLog
2019-05-10  Tom Tromey  <tromey@adacore.com>

	* python.texi (Pretty Printing API): Mention lazy computation for
	"children".

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index d05b5a3..fe7f33b 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,5 +1,10 @@
 2019-05-10  Tom Tromey  <tromey@adacore.com>
 
+       * python.texi (Pretty Printing API): Mention lazy computation for
+       "children".
+
+2019-05-10  Tom Tromey  <tromey@adacore.com>
+
        * gdb.texinfo (Set Catchpoints): Add text for parameter to "catch
        exception" and "catch handlers".  Move "catch exception unhandled"
        text.  Use @var for "catch load" and "catch unload"

diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi
index b47c38d..98e52bb 100644 (file)
--- a/gdb/doc/python.texi
+++ b/gdb/doc/python.texi
@@ -1371,6 +1371,12 @@ object which is convertible to a @value{GDBN} value.
 This method is optional.  If it does not exist, @value{GDBN} will act
 as though the value has no children.
 
+For efficiency, the @code{children} method should lazily compute its
+results.  This will let @value{GDBN} read as few elements as
+necessary, for example when various print settings (@pxref{Print
+Settings}) or @code{-var-list-children} (@pxref{GDB/MI Variable
+Objects}) limit the number of elements to be displayed.
+
 Children may be hidden from display based on the value of @samp{set
 print max-depth} (@pxref{Print Settings}).
 @end defun