renamed "linecomment" to "line_comment"

erik-krogh · erik-krogh · commit 03617fe18b2f · 2020-09-04T11:55:18.000+02:00
diff --git a/javascript/ql/src/semmle/javascript/Comments.qll b/javascript/ql/src/semmle/javascript/Comments.qll
@@ -53,7 +53,7 @@ class Comment extends @comment, Locatable {
  * &lt;!-- an HTML line comment
  * </pre>
  */
-class LineComment extends @linecomment, Comment { }
+class LineComment extends @line_comment, Comment { }
 
 /**
  * An HTML comment start/end token interpreted as a line comment.
diff --git a/javascript/ql/src/semmlecode.javascript.dbscheme b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -805,7 +805,7 @@ case @comment.kind of
 | 4 = @htmlcommentend;
 
 @html_comment = @htmlcommentstart | @htmlcommentend;
-@linecomment = @slashslashcomment | @html_comment;
+@line_comment = @slashslashcomment | @html_comment;
 @blockcomment = @slashstarcomment | @doccomment;
 
 // source lines
