RFR: JDK-8300914: Allow `@` as an escape in documentation comments [v2]

[Jonathan Gibbons]

On Thu, 2 Feb 2023 14:16:33 GMT, Pavel Rappo <prappo at 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