Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Java: Limit the amount of results that MissingEnumInSwitch produces per switch #15961

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
igfoo merged 5 commits into from
Mar 28, 2024
Merged

Java: Limit the amount of results that MissingEnumInSwitch produces per switch #15961

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
916b1e9
Java: Add a test for MissingEnumInSwitch
igfoo Mar 18, 2024
60b5e49
Java: Limit the amount of results that MissingEnumInSwitch produces p…
igfoo Mar 18, 2024
59ae6dd
Java: Add a couple of Oxford commas
igfoo Mar 27, 2024
fda3c92
Java: Add a changenote for the MissingEnumInSwitch change
igfoo Mar 27, 2024
b6a1266
Java: Accept test changes for MissingEnumInSwitch Oxford commas
igfoo Mar 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Java: Add a couple of Oxford commas
  • Loading branch information
@igfoo
igfoo committed Mar 27, 2024
commit 59ae6dd5f576456c77c94307f655de82bc3be32e
4 changes: 2 additions & 2 deletions java/ql/src/Likely Bugs/Statements/MissingEnumInSwitch.ql
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,8 @@ EnumConstant nthMissing(SwitchStmt switch, int index) {
predicate first3(string msg, SwitchStmt switch, EnumConstant e1, EnumConstant e2, EnumConstant e3) {
exists(int n | n = strictcount(nthMissing(switch, _)) |
if n > 3
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 $@."
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 $@."
) and
e1 = nthMissing(switch, 1) and
e2 = nthMissing(switch, 2) and
Expand Down