On Thu, 2 Feb 2023 19:52:36 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> 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. Note that `@@` and `@*` are also context-sensitive, and can only be used where the unescaped character would have a different effect. Nevertheless, the suggestion for additional tests to demonstrate the behavior is well-taken. ------------- PR: https://git.openjdk.org/jdk/pull/12372
