Re: Robustifying pretty-printers

Tom Tromey
2009-07-10T16:25:18Z

>>>>> "Vladimir" == Vladimir Prus <vladimir@codesourcery.com> writes:

Vladimir> The primary reason is that if frontend wants to fetch more data, it's
Vladimir> natural to issue:
Vladimir> -var-list-children 10 20
Vladimir> than
Vladimir> -var-set-child-range 0 20
Vladimir> -var-list-children
Vladimir> and then filter out the first 10 elements FE already has.

I don't understand. The FE would do this:

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

I suppose with the list-children approach we can have resetting be
done like:

-var-list-children foo -1 -1

Another question is whether changing the visualizer ought to reset the
selected child range. I'm not sure it matters; I assume a FE will do
this itself.

Tom