The Wayback Machine - https://web.archive.org/web/20160506042007/https://bugs.openjdk.java.net/browse/JDK-8139835
Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8139835

JShell API: Snippet.id() doc -- specify: no meaning, dynamic

        Details

        • Subcomponent:
        • Resolved In Build:
          b114
        • Verification:
          Not verified

          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."

            Issue Links

            relates to

            Bug - A problem which impairs or prevents the functions of the product. JDK-8153896 JShell API: Snippet.id() doc -- breaks make doc

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Closed - The issue is considered finished, the resolution is correct. Issues which are closed can be reopened.

            JEP - Java Enhancement Proposal JDK-8043364 JEP 222: jshell: The Java Shell (Read-Eval-Print Loop)

            • P2 - Crashes, loss of data, severe memory leak.
            • Completed - null

              Activity

              Ascending order - Click to sort in descending order
              Hide
              Permalink
              rfield Robert Field added a comment -
              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()}.
              Show
              rfield Robert Field added a comment - 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()}.
              Hide
              Permalink
              hgupdate HG Updates added a comment -
              URL: http://hg.openjdk.java.net/jdk9/dev/langtools/rev/571ee117bb25
              User: rfield
              Date: 2016-04-08 17:52:10 +0000
              Show
              hgupdate HG Updates added a comment - URL: http://hg.openjdk.java.net/jdk9/dev/langtools/rev/571ee117bb25 User: rfield Date: 2016-04-08 17:52:10 +0000
              Hide
              Permalink
              hgupdate HG Updates added a comment -
              URL: http://hg.openjdk.java.net/jdk9/jdk9/langtools/rev/571ee117bb25
              User: lana
              Date: 2016-04-13 17:55:50 +0000
              Show
              hgupdate HG Updates added a comment - URL: http://hg.openjdk.java.net/jdk9/jdk9/langtools/rev/571ee117bb25 User: lana Date: 2016-04-13 17:55:50 +0000

                People

                • Assignee:
                  rfield Robert Field
                  Reporter:
                  rfield Robert Field
                • Votes:
                  0 Vote for this issue
                  Watchers:
                  4 Start watching this issue

                  Dates

                  • Created:
                    Updated:
                    Resolved:
                  Morty Proxy This is a proxified and sanitized view of the page, visit original site.