JS: Make overriding ConsistencyChecking.getATestFile() optional

This commit is contained in:
Asger F
2023-10-06 11:00:19 +02:00
parent 6c9f4a10ac
commit b8a0afbb9f

View File

@@ -129,7 +129,7 @@ private predicate falseNegative(File file, int line, AssertionComment comment, C
private File getATestFile(string conf) {
not exists(any(ConsistencyConfiguration res).getAFile()) and
result = any(LineComment comment).getFile() and
conf = ""
(conf = "" or conf instanceof ConsistencyConfiguration)
or
result = conf.(ConsistencyConfiguration).getAFile()
}