Java: comment why we're using erased types in MaD

This commit is contained in:
Stephan Brandauer
2023-06-07 14:42:20 +02:00
parent a8799fe981
commit 7e77e2ea82

View File

@@ -190,6 +190,8 @@ class ApplicationModeMetadataExtractor extends string {
) and
input = AutomodelSharedUtil::getArgumentForIndex(argIdx) and
package = callable.getDeclaringType().getPackage().getName() and
// we're using the erased types because the MaD convention is to not specify type parameters.
// Whether something is or isn't a sink doesn't usually depend on the type parameters.
type = callable.getDeclaringType().getErasure().(RefType).nestedName() and
subtypes = this.considerSubtypes(callable).toString() and
name = callable.getName() and