hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: Rename IterableType to IterableClass.

Browse Source
This commit is contained in:
Michael Nebel
2022-11-07 11:39:04 +01:00
parent ce8ab0e66e
commit 91aa75da0e
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
java/ql/src/utils/modelgenerator/internal/CaptureTypeBasedSummaryModels.qll
View File

@@ -8,11 +8,13 @@ private import CaptureModels
* A type representing instantiations of class types
* that has a method which returns an iterator.
*/
private class IterableType extends Class {
private class IterableClass extends Class {
private Type elementType;
IterableType() {
exists(Method m, RefType return, GenericType t, Type et, int position | m.getDeclaringType() = t |
IterableClass() {
exists(Method m, RefType return, GenericType t, Type et, int position |
m.getDeclaringType() = t
|
return = m.getReturnType() and
return.getSourceDeclaration().hasQualifiedName("java.util", "Iterator") and
et = return.(ParameterizedType).getTypeArgument(0) and
@@ -51,7 +53,7 @@ private predicate genericContainerType(RefType t, TypeVariable tv) {
exists(Type et |
et =
[
t.(ContainerType).getElementType(), t.(IterableType).getElementType(),
t.(ContainerType).getElementType(), t.(IterableClass).getElementType(),
t.(Array).getElementType()
]
|
@@ -83,7 +85,7 @@ private string getAccessPath(Type t) {
not Specific::isPrimitiveTypeUsedForBulkData(t.(Array).getElementType())
then result = ".ArrayElement"
else
if t instanceof ContainerType or t instanceof IterableType
if t instanceof ContainerType or t instanceof IterableClass
then result = ".Element"
else result = ""
}