RFR 8161983: JShell API: Clean-up following 8160127 et. al.

[Robert Field]

On 11/03/16 08:10, Jan Lahoda wrote:
> The patch itself seems OK, but I wonder about the JDI->Jdi rename, is 
> it a recommendation for abbreviations to have only the first letter 
> capitalized in classnames? I was looking for precedents (JDI/Jdi, 
> XML/Xml, HTML/Html), and the usages seem to be mixed. W.r.t. to JDI, I 
> found only JDIPermission.

A couple years ago we were working on a langtools style guide.  It never 
got "finished" (which is unfortunate), but did represent consensus of 
opinion.  I tracked the current inarnation to here:

     http://cr.openjdk.java.net/~alundblad/styleguide/index-v6.html

I have mixed feelings about abbreviation capitalization, but the 
relevant section is here:

http://cr.openjdk.java.net/~alundblad/styleguide/index-v6.html#toc-class-interface-and-enum-names

And this makes to differentiate from constants.  And standards (to the 
extent they exist) are important to follow.

-Robert


>
> Thanks,
>     Jan
>
> On 3.11.2016 01:33, Robert Field wrote:
>> Important: please read bug for context and description of the work.
>>
>> Bug:
>>
>>      https://bugs.openjdk.java.net/browse/JDK-8161983
>>
>> Webrev:
>>
>>      http://cr.openjdk.java.net/~rfield/8161983v0.webrev/
>>
>> Thanks,
>> Robert
>>