hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Support wildcards for functional interfaces.

Browse Source
This commit is contained in:
Michael Nebel
2022-10-06 18:56:16 +02:00
parent 0caee16eb0
commit b8922b0270
1 changed files with 16 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
java/ql/src/utils/model-generator/internal/CaptureTypeBasedSummaryModels.qll
View File

@@ -110,15 +110,29 @@ private class Function extends ParameterizedType {
/**
* Gets the parameter type of `this` function at position `position`.
* Note that functions are contravariant in their parameter types.
*/
Type getParameterType(int position) {
fi.getRunMethod().getParameterType(position) = getTypeReplacement(result)
exists(Type t | fi.getRunMethod().getParameterType(position) = getTypeReplacement(t) |
(
result = t or
result = t.(Wildcard).getLowerBound().getType()
)
)
}
/**
* Gets the return type of `this` function.
* Note that functions are covariant in their return type.
*/
Type getReturnType() { fi.getRunMethod().getReturnType() = getTypeReplacement(result) }
Type getReturnType() {
exists(Type t | fi.getRunMethod().getReturnType() = getTypeReplacement(t) |
(
result = t or
result = t.(Wildcard).getUpperBound().getType()
)
)
}
}
/**