hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

change the default sorting order for print children to be location based

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-10-15 09:53:52 +02:00
parent 74243d39aa
commit ab10c28cc4
1 changed files with 12 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
javascript/ql/src/semmle/javascript/PrintAst.qll
View File

@@ -200,7 +200,18 @@ private module PrintJavaScript {
* Gets the `i`th child of `element`.
* Can be overriden in subclasses to get more specific behavior for `getChild()`.
*/
ASTNode getChildNode(int childIndex) { result = element.getChild(childIndex) }
ASTNode getChildNode(int childIndex) { result = getLocationSortedChild(element, childIndex) }
}
private ASTNode getLocationSortedChild(ASTNode parent, int i) {
result =
rank[i](ASTNode child, int childIndex |
child = parent.getChild(childIndex)
|
child
order by
child.getLocation().getStartLine(), child.getLocation().getStartColumn(), childIndex
)
}
/**