Skip to content

Commit 8e18627

Browse files
authored
Merge pull request github#13144 from kaspersv/kaspersv/go-explicit-this-receivers2
Go: Make implicit this receivers explicit
2 parents dd7a64d + 7c5625a commit 8e18627

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

go/ql/test/TestUtilities/InlineFlowTest.qll

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -78,7 +78,7 @@ class InlineFlowTest extends InlineExpectationsTest {
7878

7979
override predicate hasActualResult(Location location, string element, string tag, string value) {
8080
tag = "hasValueFlow" and
81-
exists(DataFlow::Node sink | getValueFlowConfig().hasFlowTo(sink) |
81+
exists(DataFlow::Node sink | this.getValueFlowConfig().hasFlowTo(sink) |
8282
sink.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
8383
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and
8484
element = sink.toString() and
@@ -87,7 +87,8 @@ class InlineFlowTest extends InlineExpectationsTest {
8787
or
8888
tag = "hasTaintFlow" and
8989
exists(DataFlow::Node src, DataFlow::Node sink |
90-
getTaintFlowConfig().hasFlow(src, sink) and not getValueFlowConfig().hasFlow(src, sink)
90+
this.getTaintFlowConfig().hasFlow(src, sink) and
91+
not this.getValueFlowConfig().hasFlow(src, sink)
9192
|
9293
sink.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
9394
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and

0 commit comments

Comments
 (0)