Skip to content

Commit 7a10f53

Browse files
committed
Java/Cfg: Introduce new shared CFG library and replace the Java CFG.
1 parent 5be62e0 commit 7a10f53

File tree

17 files changed

+1928
-1812
lines changed

17 files changed

+1928
-1812
lines changed

java/ql/lib/printCfg.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ external int selectedSourceColumn();
2121

2222
private predicate selectedSourceColumnAlias = selectedSourceColumn/0;
2323

24-
module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
24+
module ViewCfgQueryInput implements ControlFlow::ViewCfgQueryInputSig<File> {
2525
predicate selectedSourceFile = selectedSourceFileAlias/0;
2626

2727
predicate selectedSourceLine = selectedSourceLineAlias/0;
@@ -42,4 +42,4 @@ module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
4242
}
4343
}
4444

45-
import ViewCfgQuery<File, ViewCfgQueryInput>
45+
import ControlFlow::ViewCfgQuery<File, ViewCfgQueryInput>

java/ql/lib/semmle/code/java/Completion.qll

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

0 commit comments

Comments
 (0)