-
Type:
Bug
-
Resolution: Fixed
-
Priority:
P4
-
Affects Version/s: 9
-
Component/s: tools
-
b114
-
Not verified
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."
- relates to
-
JDK-8153896 JShell API: Snippet.id() doc -- breaks make doc
-
- Closed
-
-
JDK-8043364 JEP 222: jshell: The Java Shell (Read-Eval-Print Loop)
-
- Closed
-