hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-20 08:53:49 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make SingletonClassDeclarationTree post-order

Browse Source
This commit is contained in:
Nick Rolfe
2021-05-06 16:20:50 +01:00
parent fd3d50f340
commit 9185a93312
2 changed files with 19 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
ql/src/codeql_ruby/controlflow/internal/ControlFlowGraphImpl.qll
View File

@@ -1176,13 +1176,27 @@ module Trees {
}
}
private class SingletonClassTree extends BodyStmtPreOrderTree, SingletonClass {
private class SingletonClassTree extends BodyStmtPostOrderTree, SingletonClass {
final override predicate first(AstNode first) {
this.firstInner(first)
or
not exists(this.getAChild(_)) and
first = this
}
final override predicate succ(AstNode pred, AstNode succ, Completion c) {
BodyStmtPostOrderTree.super.succ(pred, succ, c)
or
succ = this and
this.lastInner(pred, c)
}
/** Gets the `i`th child in the body of this block. */
final override AstNode getBodyChild(int i, boolean rescuable) {
(
result = this.getValue() and i = 0 and rescuable = false
or
result = BodyStmtPreOrderTree.super.getBodyChild(i - 1, rescuable)
result = BodyStmtPostOrderTree.super.getBodyChild(i - 1, rescuable)
)
}
}