Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8191534

Use @implSpec tag for javax.lang.model.util visitor methods

    Details

    • Type: CSR
    • Status: Closed
    • Priority: P4
    • Resolution: Approved
    • Fix Version/s: 10
    • Component/s: core-libs
    • Labels:
      None
    • Subcomponent:
    • Compatibility Risk:
      minimal
    • Compatibility Risk Description:
      Semantics should be unchanged.
    • Interface Kind:
      Java API
    • Scope:
      SE

      Description

      Summary

      In the javax.lang.model.util visitor methods, use the @implSpec tag to more clearly specify the semantics of particular methods as opposed to possible overrides of the methods.

      Problem

      As with other classes with methods meant to be overridden, the specifications of the javax.lang.model.util visitor methods at time needs to distinguish between the general contract of the method and the operational semantics of particular methods. Proper use of the @implSpec tag allows such distinctions to be made.

      Solution

      Replace specifications of the operational semantics of particular methods with @implSpec tags.

      Specification

      See attached patch file and specdiff.

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                darcy Joe Darcy
                Reporter:
                darcy Joe Darcy
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: