hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java/Kotlin: Speed up toString.ql

Browse Source 
It's less informative now, but manual debugging will likely be needed
to investigate failures.
This commit is contained in:
Ian Lynagh
2021-12-08 12:28:50 +00:00
parent ab93d166b8
commit c04912701a
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/ql/consistency-queries/toString.ql
View File

@@ -20,13 +20,13 @@ string topToString(Top t) {
}
string not1ToString() {
exists(Top t | count(topToString(t)) != 1 and result = "Top which doesn't have exactly 1 toString: " + t.getPrimaryQlClasses())
exists(Top t | count(topToString(t)) != 1 and result = "Top which doesn't have exactly 1 toString")
or
exists(Location l | count(l.toString()) != 1 and result = "Location which doesn't have exactly 1 toString: " + concat(l.getAQlClass(), ", "))
exists(Location l | count(l.toString()) != 1 and result = "Location which doesn't have exactly 1 toString")
or
exists(Module m | count(m.toString()) != 1 and result = "Module which doesn't have exactly 1 toString: " + concat(m.getAQlClass(), ", "))
exists(Module m | count(m.toString()) != 1 and result = "Module which doesn't have exactly 1 toString")
or
exists(Directive d | count(d.toString()) != 1 and result = "Directive which doesn't have exactly 1 toString: " + concat(d.getAQlClass(), ", "))
exists(Directive d | count(d.toString()) != 1 and result = "Directive which doesn't have exactly 1 toString")
}
select not1ToString()