-
Notifications
You must be signed in to change notification settings - Fork 5.8k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
JDK-6251738: Want a top-level summary page that itemizes all spec documents referenced from javadocs (OEM spec) #8439
JDK-6251738: Want a top-level summary page that itemizes all spec documents referenced from javadocs (OEM spec) #8439
Conversation
…uments referenced from javadocs (OEM spec)
👋 Welcome back jjg! A progress list of the required criteria for merging this PR into |
@jonathan-gibbons The following labels will be automatically applied to this pull request:
When this pull request is ready to be reviewed, an "RFR" email will be sent to the corresponding mailing lists. If you would like to change these labels, use the /label pull request command. |
Webrevs
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is nice work. I haven't seen it in detail, but I'm plannig to do so later.
What's the logistics here? There are two interrelated bugs: 6251738 and 8226279. Are you going to add an 8226279 as an issue to this PR (/issue add 8226279
)? What about @bug tags in tests? Are they going to mention both issues?
src/jdk.compiler/share/classes/com/sun/source/doctree/DocTreeVisitor.java
Outdated
Show resolved
Hide resolved
src/jdk.compiler/share/classes/com/sun/source/util/DocTreeScanner.java
Outdated
Show resolved
Hide resolved
src/jdk.compiler/share/classes/com/sun/source/util/DocTreeScanner.java
Outdated
Show resolved
Hide resolved
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DocFinder.java
Outdated
Show resolved
Hide resolved
test/langtools/jdk/javadoc/doclet/testConditionalPages/TestConditionalPages.java
Show resolved
Hide resolved
For now, I'll track both, here in the PR and in tests. If this becomes impractical, I'll retain the old/original one and close the newer one. The old one described the problem; the newer one described a specific solution, although the actual implementation has move on from that proposed in 8226279. |
src/jdk.compiler/share/classes/com/sun/source/doctree/DocTreeVisitor.java
Outdated
Show resolved
Hide resolved
src/jdk.compiler/share/classes/com/sun/tools/javac/parser/DocCommentParser.java
Show resolved
Hide resolved
...avadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
Show resolved
Hide resolved
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/SpecTaglet.java
Outdated
Show resolved
Hide resolved
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseOptions.java
Outdated
Show resolved
Hide resolved
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseOptions.java
Outdated
Show resolved
Hide resolved
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I appreciate your perseverance in this review, Jon! A note to self: when we have the next round of review, most URIs will have likely turned into URLs.
remove archaic obsolete build flags
@jonathan-gibbons this pull request can not be integrated into git checkout 6251738.spec-tag-2
git fetch https://git.openjdk.org/jdk master
git merge FETCH_HEAD
# resolve conflicts and follow the instructions given by git merge
git commit -m "Merge master"
git push |
src/jdk.compiler/share/classes/com/sun/source/doctree/DocTree.java
Outdated
Show resolved
Hide resolved
src/jdk.compiler/share/classes/com/sun/source/util/SimpleDocTreeVisitor.java
Outdated
Show resolved
Hide resolved
@jonathan-gibbons This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All looks very good! The only place that looks suspicious to me is the inherit
implementation in SpecTaglet.java
, which also seems not to be covered by the test.
I guess the best way to examine the output of the new tag is via test output. I'll have a look at that to see the HTML and CSS in action before giving a thumbs up.
output.inlineTags = input.isFirstSentence | ||
? ch.getFirstSentenceTrees(output.holderTag) | ||
: ch.getReference(output.holderTag); | ||
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This implementation seems to be copied from SeeTaglet.java. Is it fully functional in this context? The use of CommentHelper.getReference looks suspicious to me.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for the comment; I'll investigate
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good catch;
Yes, the use of getReference
is indeed questionable, given its implementation, which is specific to @see
. Given ongoing recent work, it's also not clear that the @spec
tag should be inheritable.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
For now, I'll change it to getTags
, pending discussions on whether the tag should be inheritable.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
With the latest update, toy examples show that tag inherits works as expected, as least as far as parity with @see
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't know if you want to further discuss inheritability of the new tag, but the code looks good to me. I've also looked at the generated output and it also looks good.
@jonathan-gibbons This change now passes all automated pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 38 new commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details. ➡️ To integrate this PR with the above commit message to the |
I think of For reference, I note there is an umbrella issue covering doc inheritance: |
/integrate |
Going to push as commit b88ee1e.
Your commit was automatically rebased without conflicts. |
@jonathan-gibbons Pushed as commit b88ee1e. 💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored. |
Please review the code and tests to add support for a new
@spec url title
tag to javadoc. Note, this does not include any changes to API doc comments to use the new tag in JDK API documentation; that will come later.Progress
Issues
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk pull/8439/head:pull/8439
$ git checkout pull/8439
Update a local copy of the PR:
$ git checkout pull/8439
$ git pull https://git.openjdk.org/jdk pull/8439/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 8439
View PR using the GUI difftool:
$ git pr show -t 8439
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/8439.diff