hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

add explicit this

Browse Source
This commit is contained in:
erik-krogh
2022-08-16 22:56:41 +02:00
parent b9823cf335
commit 2e44fba67d
13 changed files with 45 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/test/TestUtilities/VerifyApiGraphs.qll
View File

@@ -84,8 +84,8 @@ class Assertion extends Comment {
string tryExplainFailure() {
exists(int i, API::Node nd, string prefix, string suffix |
nd = this.lookup(i) and
i < getPathLength() and
not exists(this.lookup([i + 1 .. getPathLength()])) and
i < this.getPathLength() and
not exists(this.lookup([i + 1 .. this.getPathLength()])) and
prefix = nd + " has no outgoing edge labelled " + this.getEdgeLabel(i) + ";" and
if exists(nd.getASuccessor())
then