mirror of
https://github.com/github/codeql.git
synced 2026-03-28 18:28:17 +01:00
31 lines
2.0 KiB
Plaintext
31 lines
2.0 KiB
Plaintext
/** Definitions related to `java.util.Optional`. */
|
|
|
|
import semmle.code.java.dataflow.ExternalFlow
|
|
|
|
private class OptionalModel extends SummaryModelCsv {
|
|
override predicate row(string s) {
|
|
s =
|
|
[
|
|
"java.util;Optional;false;filter;;;Element of Argument[-1];Element of ReturnValue;value",
|
|
"java.util;Optional;false;filter;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
|
|
"java.util;Optional;false;flatMap;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
|
|
"java.util;Optional;false;flatMap;;;ReturnValue of Argument[0];ReturnValue;value",
|
|
"java.util;Optional;false;get;;;Element of Argument[-1];ReturnValue;value",
|
|
"java.util;Optional;false;ifPresent;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
|
|
"java.util;Optional;false;ifPresentOrElse;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
|
|
"java.util;Optional;false;map;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
|
|
"java.util;Optional;false;map;;;ReturnValue of Argument[0];Element of ReturnValue;value",
|
|
"java.util;Optional;false;of;;;Argument[0];Element of ReturnValue;value",
|
|
"java.util;Optional;false;ofNullable;;;Argument[0];Element of ReturnValue;value",
|
|
"java.util;Optional;false;or;;;Element of Argument[-1];Element of ReturnValue;value",
|
|
"java.util;Optional;false;or;;;ReturnValue of Argument[0];ReturnValue;value",
|
|
"java.util;Optional;false;orElse;;;Element of Argument[-1];ReturnValue;value",
|
|
"java.util;Optional;false;orElse;;;Argument[0];ReturnValue;value",
|
|
"java.util;Optional;false;orElseGet;;;Element of Argument[-1];ReturnValue;value",
|
|
"java.util;Optional;false;orElseGet;;;ReturnValue of Argument[0];ReturnValue;value",
|
|
"java.util;Optional;false;orElseThrow;;;Element of Argument[-1];ReturnValue;value",
|
|
"java.util;Optional;false;stream;;;Element of Argument[-1];Element of ReturnValue;value"
|
|
]
|
|
}
|
|
}
|