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