use set literal instead of big disjunction of literals

This commit is contained in:
Erik Krogh Kristensen
2021-10-26 12:55:25 +02:00
parent db3c99d64d
commit a3c55c2aec
46 changed files with 590 additions and 1259 deletions

View File

@@ -8,15 +8,10 @@ import python
import DefinitionTracking
predicate uniqueness_error(int number, string what, string problem) {
(
what = "toString" or
what = "getLocation" or
what = "getNode" or
what = "getDefinition" or
what = "getEntryNode" or
what = "getOrigin" or
what = "getAnInferredType"
) and
what in [
"toString", "getLocation", "getNode", "getDefinition", "getEntryNode", "getOrigin",
"getAnInferredType"
] and
(
number = 0 and problem = "no results for " + what + "()"
or