On Thu, 27 May 2021 03:20:34 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review an update to `jdk.javadoc/jdk.javadoc.doclets.Reporter` to add > 3 new methods and to improve the descriptions of other parts of the interface. > > The new methods provide access to the underlying streams (informally, for > standard output and diagnostic output), and a new `report` method to report > diagnostics at an arbitrary position in a file being read by a doclet, or a > taglet within a doclet. src/jdk.javadoc/share/classes/jdk/javadoc/doclet/Reporter.java line 100: > 98: * @param pos the position > 99: * @param end the end of the enclosing range > 100: * @param message the message to be printed Needs a `@since 17` as this is an addition ------------- PR: https://git.openjdk.java.net/jdk/pull/4216
