mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
Merge pull request #12629 from erik-krogh/qlTreeSitterQll
QL: regen TreeSitter.qll
This commit is contained in:
@@ -405,7 +405,7 @@ module KindPredicatesLog {
|
||||
or
|
||||
cand.(InLayer).getComputeRecursiveEvent() = recursive
|
||||
) and
|
||||
cand.hasLocationInfo(filepath, startline, _, _, _)
|
||||
cand.getLocation().hasLocationInfo(filepath, startline, _, _, _)
|
||||
|
|
||||
cand order by filepath, startline
|
||||
)
|
||||
|
||||
@@ -1866,12 +1866,6 @@ module JSON {
|
||||
/** Gets the location of this element. */
|
||||
final L::Location getLocation() { json_ast_node_info(this, _, _, result) }
|
||||
|
||||
predicate hasLocationInfo(
|
||||
string filepath, int startline, int startcolumn, int endline, int endcolumn
|
||||
) {
|
||||
this.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
|
||||
}
|
||||
|
||||
/** Gets the parent of this element. */
|
||||
final AstNode getParent() { json_ast_node_info(this, result, _, _) }
|
||||
|
||||
|
||||
Reference in New Issue
Block a user