RFR: JDK-8300914: Allow `@` as an escape in documentation comments [v2]
Jonathan Gibbons
jjg at openjdk.org
Fri Feb 3 19:01:53 UTC 2023
On Fri, 3 Feb 2023 00:25:22 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:
>> '/' cannot be part of a tag name.
>>
>> A tag name starts with a character for which `isUnicodeIdentifierStart` is true, followed by zero or more characters for which `isUnicodeIdentifierPart` is true or is one of `.`, `-`, `:`. See `DocCommentParser.readTagName` for verification. (We should update the Doc Comment Spec for that as well.)
>>
>> So, the text of error messages above are correct, even if the positions require tweaking.
>
> Note that all the proposed escape sequences are context-sensitive, and are only enabled in appropriate circumstances.
updated code, comments and spec.
-------------
PR: https://git.openjdk.org/jdk/pull/12372
More information about the compiler-dev
mailing list