JDK-8139835 : JShell API: Snippet.id() doc -- specify: no meaning, dynamic
  • Type: Bug
  • Component: tools
  • Sub-Component: jshell
  • Affected Version: 9
  • Priority: P4
  • Status: Closed
  • Resolution: Fixed
  • Submitted: 2015-10-19
  • Updated: 2016-04-25
  • Resolved: 2016-04-08
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 9
9 b114Fixed
Related Reports
Relates :  
JDK-8043364 - JEP 222: jshell: The Java Shell (Read-Eval-Print Loop)
Relates :  
JDK-8153896 - JShell API: Snippet.id() doc -- breaks make doc
Description
jdk.jshell.Snippet
> public java.lang.String id()
>
> The unique identifier for the snippet. No two active snippets will have the same id(). 

I recommend at least explicitly making non-promises around this id. "Value of id has no prescribed meaning, can change run to run, can change from release to release, etc."
Comments
The originally suggested wording is no longer accurate with the addition of idGenerator(). New wording -- Value of id has no prescribed meaning. The details of * how the id is generated and the mechanism to change it is documented in * {@link JShell.Builder#idGenerator()}.
29-03-2016