renamed "doccomment" to "doc_comment"

This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:55:22 +02:00
parent 9a66f3a721
commit 7b94cf7d8e
3 changed files with 4 additions and 4 deletions

View File

@@ -134,4 +134,4 @@ class SlashStarComment extends @slashstar_comment, BlockComment { }
* /** a JSDoc comment */
* </pre>
*/
class DocComment extends @doccomment, BlockComment { }
class DocComment extends @doc_comment, BlockComment { }

View File

@@ -800,13 +800,13 @@ comments (unique int id: @comment,
case @comment.kind of
0 = @slashslash_comment
| 1 = @slashstar_comment
| 2 = @doccomment
| 2 = @doc_comment
| 3 = @html_comment_start
| 4 = @htmlcommentend;
@html_comment = @html_comment_start | @htmlcommentend;
@line_comment = @slashslash_comment | @html_comment;
@block_comment = @slashstar_comment | @doccomment;
@block_comment = @slashstar_comment | @doc_comment;
// source lines
lines (unique int id: @line,

View File

@@ -1038,7 +1038,7 @@
<v>8834</v>
</e>
<e>
<k>@doccomment</k>
<k>@doc_comment</k>
<v>19270</v>
</e>
<e>