Re: Robustifying pretty-printers

Vladimir Prus
2009-07-10T06:13:03Z

On Thursday 09 July 2009 Tom Tromey wrote:

> Vladimir> We probably need a way to explicitly reset the
> Vladimir> 'remembemered' limit on elements, so that frontend is not
> Vladimir> forced to display 20 elements forever.
>
> I couldn't find a reason why you wanted the range on
> -var-list-children and not as a separate command. Could you explain
> why? The reason I ask is that this issue was already solved in the
> old patch: you could use -var-set-child-range to set and also unset
> the range.

The primary reason is that if frontend wants to fetch more data, it's
natural to issue:

-var-list-children 10 20

than

-var-set-child-range 0 20
-var-list-children

and then filter out the first 10 elements FE already has.

- Volodya