mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-08 17:38:38 +00:00
8153896: JShell API: Snippet.id() doc -- breaks make doc
Reviewed-by: jlahoda
This commit is contained in:
parent
39df1f1336
commit
c1f45bd77e
@ -526,7 +526,7 @@ public abstract class Snippet {
|
||||
* The unique identifier for the snippet. No two active snippets will have
|
||||
* the same id(). 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()}.
|
||||
* {@link JShell.Builder#idGenerator(BiFunction)}.
|
||||
* @return the snippet id string.
|
||||
*/
|
||||
public String id() {
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user