Skip to content

Commit 9ca3b46

Browse files
bmuskallasmowton
andauthored
Fix return value for requireNonNullElse
Co-authored-by: Chris Smowton <[email protected]>
1 parent 8abb9fb commit 9ca3b46

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

java/ql/lib/semmle/code/java/frameworks/Objects.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,8 @@ private class ObjectsSummaryCsv extends SummaryModelCsv {
99
[
1010
//`namespace; type; subtypes; name; signature; ext; input; output; kind`
1111
"java.util;Objects;false;requireNonNull;;;Argument[0];ReturnValue;value",
12-
"java.util;Objects;false;requireNonNullElse;;;Argument[0];ReturnValue;value",
13-
"java.util;Objects;false;requireNonNullElse;;;Argument[1];ReturnValue;value",
12+
"java.util;Objects;false;requireNonNullElse;;;Argument[0..1];ReturnValue;value",
1413
"java.util;Objects;false;requireNonNullElseGet;;;Argument[0];ReturnValue;value",
15-
"java.util;Objects;false;requireNonNullElseGet;;;Argument[1];ReturnValue;value",
1614
"java.util;Objects;false;toString;;;Argument[1];ReturnValue;value"
1715
]
1816
}

0 commit comments

Comments
 (0)