On Thu, 6 Jul 2023 16:25:05 GMT, Sean Mullan <mul...@openjdk.org> wrote:
>> Pavel Rappo has updated the pull request with a new target base due to a >> merge or a rebase. The incremental webrev excludes the unrelated changes >> brought in by the merge/rebase. The pull request contains six additional >> commits since the last revision: >> >> - Merge branch 'master' into 8311170 >> - Be consistent with the rest of the change >> - Fix reported bugs >> - Add even more cases and tidy up >> - More cases >> - Initial commit > > src/java.base/share/classes/java/security/BasicPermission.java line 220: > >> 218: >> 219: /** >> 220: * {@return the hash code value for this object} > > Where is this new javadoc syntax documented/specified? I recall seeing > something about it, but not sure where and now I would like to read up on it. It's relatively new: since JDK 16. You can read about `@return`: here https://docs.oracle.com/en/java/javase/20/docs/specs/javadoc/doc-comment-spec.html#return ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14738#discussion_r1254670015