Skip to content

Commit 4677a08

Browse files
committed
Adopt shared CFG library
1 parent 50158b8 commit 4677a08

File tree

11 files changed

+1062
-928
lines changed

11 files changed

+1062
-928
lines changed
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
import codeql.ruby.controlflow.internal.Consistency
1+
import codeql.ruby.controlflow.internal.ControlFlowGraphImplShared::Consistency

ql/lib/codeql/ruby/controlflow/CfgNodes.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -62,11 +62,11 @@ class ExitNode extends CfgNode, TExitNode {
6262
* (dead) code or not important for control flow, and multiple when there are different
6363
* splits for the AST node.
6464
*/
65-
class AstCfgNode extends CfgNode, TAstCfgNode {
65+
class AstCfgNode extends CfgNode, TElementNode {
6666
private Splits splits;
6767
private AstNode n;
6868

69-
AstCfgNode() { this = TAstCfgNode(n, splits) }
69+
AstCfgNode() { this = TElementNode(n, splits) }
7070

7171
final override AstNode getNode() { result = n }
7272

ql/lib/codeql/ruby/controlflow/ControlFlowGraph.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ class CfgScope extends Scope {
2929
*
3030
* Only nodes that can be reached from an entry point are included in the CFG.
3131
*/
32-
class CfgNode extends TCfgNode {
32+
class CfgNode extends TNode {
3333
/** Gets a textual representation of this control flow node. */
3434
string toString() { none() }
3535

ql/lib/codeql/ruby/controlflow/internal/Cfg.qll

Lines changed: 0 additions & 32 deletions
This file was deleted.

ql/lib/codeql/ruby/controlflow/internal/Consistency.qll

Lines changed: 0 additions & 53 deletions
This file was deleted.

0 commit comments

Comments
 (0)