We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 60b5e49 commit 59ae6ddCopy full SHA for 59ae6dd
1 file changed
java/ql/src/Likely Bugs/Statements/MissingEnumInSwitch.ql
@@ -30,8 +30,8 @@ EnumConstant nthMissing(SwitchStmt switch, int index) {
30
predicate first3(string msg, SwitchStmt switch, EnumConstant e1, EnumConstant e2, EnumConstant e3) {
31
exists(int n | n = strictcount(nthMissing(switch, _)) |
32
if n > 3
33
- then msg = "Switch statement does not have a case for $@, $@, $@ or " + (n - 3) + " more."
34
- else msg = "Switch statement does not have a case for $@, $@ or $@."
+ then msg = "Switch statement does not have a case for $@, $@, $@, or " + (n - 3) + " more."
+ else msg = "Switch statement does not have a case for $@, $@, or $@."
35
) and
36
e1 = nthMissing(switch, 1) and
37
e2 = nthMissing(switch, 2) and
0 commit comments