[javadoc] Rename #tagValueDiv with new token name

IJ-CR-159259

GitOrigin-RevId: 6f2d69097d810234494223bcb0514113138a2e32
This commit is contained in:
Louis Vignier
2025-05-08 16:40:08 +02:00
committed by intellij-monorepo-bot
parent e9778dc4f4
commit 40a740e072
5 changed files with 5 additions and 5 deletions

View File

@@ -975,7 +975,7 @@ class _JavaDocLexer implements FlexLexer {
// fall through
case 63: break;
case 21:
{ return myTokenTypes.tagValueDiv();
{ return myTokenTypes.tagValueSlash();
}
// fall through
case 64: break;

View File

@@ -102,7 +102,7 @@ LEADING_TOKEN_MARKDOWN="///"
<DOC_TAG_VALUE> [\(] { yybegin(DOC_TAG_VALUE_IN_PAREN); return myTokenTypes.tagValueLParen(); }
<DOC_TAG_VALUE_IN_PAREN> [\)] { yybegin(DOC_TAG_VALUE); return myTokenTypes.tagValueRParen(); }
<DOC_TAG_VALUE> [#] { return myTokenTypes.tagValueSharp(); }
<DOC_TAG_VALUE> [/] { return myTokenTypes.tagValueDiv(); }
<DOC_TAG_VALUE> [/] { return myTokenTypes.tagValueSlash(); }
<DOC_TAG_VALUE, DOC_TAG_VALUE_IN_PAREN> [,] { return myTokenTypes.tagValueComma(); }
<DOC_TAG_VALUE_IN_PAREN> {WHITE_DOC_SPACE_CHAR}+ { return myTokenTypes.space(); }