On Thu, 2 Feb 2023 14:16:33 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> Jonathan Gibbons has updated the pull request with a new target base due to >> a merge or a rebase. The pull request now contains two commits: >> >> - Merge with upstream/master >> - JDK-8301294: Allow `@` as an escape in documentation comments > > test/langtools/tools/javac/doctree/AtEscapeTest.java line 39: > >> 37: /** >> 38: * abc >> 39: * @@tag > > I'd add a couple of tests to assert that `@@` and `@*` also work in the > middle of a line. Unlike `@/`, which requires preceding `*`, `@@` and `@*` do > not require preceding whitespace. That seems useful. In particular, `@@` > could be used in the middle of a line for robustness. For example, one could > prepend plaintext `@Override` in the middle of a line with an extra `@` to > defend against text reflow that brings `@Override` to the beginning of a line. Will do. ------------- PR: https://git.openjdk.org/jdk/pull/12372