Skip to content

Commit 654fa9e

Browse files
committed
Update uses of ViewCfgQuery to use new name
1 parent 43f1b84 commit 654fa9e

File tree

5 files changed

+15
-15
lines changed

5 files changed

+15
-15
lines changed

csharp/ql/lib/printCfg.ql

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

2222
private predicate selectedSourceColumnAlias = selectedSourceColumn/0;
2323

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

2727
predicate selectedSourceLine = selectedSourceLineAlias/0;
2828

2929
predicate selectedSourceColumn = selectedSourceColumnAlias/0;
3030

31-
predicate cfgScopeSpan(
31+
predicate callableSpan(
3232
CfgScope scope, File file, int startLine, int startColumn, int endLine, int endColumn
3333
) {
3434
file = scope.getFile() and
@@ -47,4 +47,4 @@ module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
4747
}
4848
}
4949

50-
import ViewCfgQuery<File, ViewCfgQueryInput>
50+
import ViewGraphQuery<File, ViewGraphQueryInput>

java/ql/lib/printCfg.ql

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

2222
private predicate selectedSourceColumnAlias = selectedSourceColumn/0;
2323

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

2727
predicate selectedSourceLine = selectedSourceLineAlias/0;
2828

2929
predicate selectedSourceColumn = selectedSourceColumnAlias/0;
3030

31-
predicate cfgScopeSpan(
31+
predicate callableSpan(
3232
Callable callable, File file, int startLine, int startColumn, int endLine, int endColumn
3333
) {
3434
file = callable.getFile() and
@@ -42,4 +42,4 @@ module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
4242
}
4343
}
4444

45-
import ViewCfgQuery<File, ViewCfgQueryInput>
45+
import ViewGraphQuery<File, ViewCfgQueryInput>

ruby/ql/lib/ide-contextual-queries/printCfg.ql

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,19 +23,19 @@ external int selectedSourceColumn();
2323

2424
private predicate selectedSourceColumnAlias = selectedSourceColumn/0;
2525

26-
module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
26+
module ViewCfgQueryInput implements ViewGraphQueryInputSig<File> {
2727
predicate selectedSourceFile = selectedSourceFileAlias/0;
2828

2929
predicate selectedSourceLine = selectedSourceLineAlias/0;
3030

3131
predicate selectedSourceColumn = selectedSourceColumnAlias/0;
3232

33-
predicate cfgScopeSpan(
33+
predicate callableSpan(
3434
CfgScope scope, File file, int startLine, int startColumn, int endLine, int endColumn
3535
) {
3636
file = scope.getFile() and
3737
scope.getLocation().hasLocationInfo(_, startLine, startColumn, endLine, endColumn)
3838
}
3939
}
4040

41-
import ViewCfgQuery<File, ViewCfgQueryInput>
41+
import ViewGraphQuery<File, ViewCfgQueryInput>

rust/ql/lib/ide-contextual-queries/PrintCfg.ql

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -32,19 +32,19 @@ external int selectedSourceColumn();
3232

3333
private predicate selectedSourceColumnAlias = selectedSourceColumn/0;
3434

35-
private module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
35+
private module ViewCfgQueryInput implements ViewGraphQueryInputSig<File> {
3636
predicate selectedSourceFile = selectedSourceFileAlias/0;
3737

3838
predicate selectedSourceLine = selectedSourceLineAlias/0;
3939

4040
predicate selectedSourceColumn = selectedSourceColumnAlias/0;
4141

42-
predicate cfgScopeSpan(
42+
predicate callableSpan(
4343
CfgScope scope, File file, int startLine, int startColumn, int endLine, int endColumn
4444
) {
4545
file = scope.getFile() and
4646
scope.getLocation().hasLocationInfo(_, startLine, startColumn, endLine, endColumn)
4747
}
4848
}
4949

50-
import ViewCfgQuery<File, ViewCfgQueryInput>
50+
import ViewGraphQuery<File, ViewCfgQueryInput>

swift/ql/lib/codeql/swift/controlflow/internal/PrintCFG.ql

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -33,19 +33,19 @@ external int selectedSourceColumn();
3333

3434
private predicate selectedSourceColumnAlias = selectedSourceColumn/0;
3535

36-
module ViewCfgQueryInput implements Impl::ViewCfgQueryInputSig<File> {
36+
module ViewCfgQueryInput implements Impl::ViewGraphQueryInputSig<File> {
3737
predicate selectedSourceFile = selectedSourceFileAlias/0;
3838

3939
predicate selectedSourceLine = selectedSourceLineAlias/0;
4040

4141
predicate selectedSourceColumn = selectedSourceColumnAlias/0;
4242

43-
predicate cfgScopeSpan(
43+
predicate callableSpan(
4444
CfgInput::CfgScope scope, File file, int startLine, int startColumn, int endLine, int endColumn
4545
) {
4646
file = scope.getFile() and
4747
scope.getLocation().hasLocationInfo(_, startLine, startColumn, endLine, endColumn)
4848
}
4949
}
5050

51-
import Impl::ViewCfgQuery<File, ViewCfgQueryInput>
51+
import Impl::ViewGraphQuery<File, ViewCfgQueryInput>

0 commit comments

Comments
 (0)