JShell: representation of array values
Jonathan Gibbons
jonathan.gibbons at oracle.com
Thu Sep 22 17:42:36 UTC 2016
In the long array case, I'd suggest to hide the middle, not the end of
the array. Show the first "few" entries and the last "few" entries in
the array, for some value of "few".
-- Jon
On 9/22/16 10:37 AM, John Rose wrote:
> On Sep 21, 2016, at 6:16 PM, Robert Field <robert.field at oracle.com> wrote:
>> Comments???
> Another +1 from me. Some comments from my inner Common Lisper:
>
> There should be a close brace after the "…" of an overlong array.
> This will allow syntax sensitive editors (emacs!) to block the thing correctly.
>
> The cutoff length of the overlong array should be a configurable number.
>
> You might consider a configurable cutoff for printed nesting level.
>
> These ideas from from this section of the CL manual:
>
> http://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node193.html#LEVELLENGTHTABLE
>
> There is also an option called *print-array* which gates whether arrays should be expanded at all.
> This is relevant to Java, which also distinguishes Arrays.toString from Object.toString.
>
> — John
More information about the kulla-dev
mailing list