mirror of
https://github.com/github/codeql.git
synced 2025-12-22 19:56:32 +01:00
renamed "linecomment" to "line_comment"
This commit is contained in:
@@ -53,7 +53,7 @@ class Comment extends @comment, Locatable {
|
|||||||
* <!-- an HTML line comment
|
* <!-- an HTML line comment
|
||||||
* </pre>
|
* </pre>
|
||||||
*/
|
*/
|
||||||
class LineComment extends @linecomment, Comment { }
|
class LineComment extends @line_comment, Comment { }
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* An HTML comment start/end token interpreted as a line comment.
|
* An HTML comment start/end token interpreted as a line comment.
|
||||||
|
|||||||
@@ -805,7 +805,7 @@ case @comment.kind of
|
|||||||
| 4 = @htmlcommentend;
|
| 4 = @htmlcommentend;
|
||||||
|
|
||||||
@html_comment = @htmlcommentstart | @htmlcommentend;
|
@html_comment = @htmlcommentstart | @htmlcommentend;
|
||||||
@linecomment = @slashslashcomment | @html_comment;
|
@line_comment = @slashslashcomment | @html_comment;
|
||||||
@blockcomment = @slashstarcomment | @doccomment;
|
@blockcomment = @slashstarcomment | @doccomment;
|
||||||
|
|
||||||
// source lines
|
// source lines
|
||||||
|
|||||||
Reference in New Issue
Block a user