RFR 8151754/8150382: jshell tool command options: -R<flag> -feedback <mode> -q -qq -v and supporting API

[Robert Field]

Thanks Jan,

I've changed to allow explicit multiple options vs whitespace separated:
      http://cr.openjdk.java.net/~rfield/8150382v2.webrev/

-Robert

On 04/20/16 06:30, Jan Lahoda wrote:
> Since the JShell.java change is an API, I'd suggest to use:
>
> public Builder remoteVMOptions(String... options)
>
> Where each element of the array would be an actual option, even if it 
> included a space. I am not sure if an option with a space would 
> currently in practice work when doing the JDI launch, but I think the 
> API should be open to options like that.
>
> Otherwise, looks OK to me.
>
> Jan
>
> On 20.4.2016 06:17, Robert Field wrote:
>> Bugs:
>>      8150382: JShell API: Allow setting remote JVM arguments
>>      https://bugs.openjdk.java.net/browse/JDK-8150382
>>
>>      8151754: jshell tool: add command line options for setting feedback
>> mode
>>      https://bugs.openjdk.java.net/browse/JDK-8151754
>>
>> webrev:
>>       http://cr.openjdk.java.net/~rfield/8150382.webrev/
>>
>> Thanks,
>> Robert
>>