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

Java: Minor re-factorings.

Browse Source
This commit is contained in:
Michael Nebel
2022-10-10 11:48:20 +02:00
parent 9f783b018d
commit 8352925257
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -5,7 +5,7 @@ private import CaptureModelsSpecific as Specific
private import CaptureModels
/**
* A type representing class types of instantiations of class types
* A type representing instantiations of class types
* that has a method which returns an iterator.
*/
private class IterableType extends Class {
@@ -49,11 +49,11 @@ private predicate isEffectivelyLowerBound(Type t, Type bound) {
*/
private predicate genericContainerType(RefType t, TypeVariable tv) {
exists(Type et |
et = t.(ContainerType).getElementType()
or
et = t.(IterableType).getElementType()
or
et = t.(Array).getElementType()
et =
[
t.(ContainerType).getElementType(), t.(IterableType).getElementType(),
t.(Array).getElementType()
]
|
isEffectivelyUpperBound(et, tv)
)