Erase generics in typeAsModel

egregius313 · egregius313 · commit 64ea4833d9ed · 2023-04-20T17:09:36.000-04:00
diff --git a/java/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll b/java/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll
@@ -104,7 +104,9 @@ private string isExtensible(J::RefType ref) {
 }
 
 private string typeAsModel(J::RefType type) {
-  result = type.getCompilationUnit().getPackage().getName() + ";" + type.nestedName()
+  result =
+    type.getCompilationUnit().getPackage().getName() + ";" +
+      type.getErasure().(J::RefType).nestedName()
 }
 
 private J::RefType bestTypeForModel(TargetApiSpecific api) {

Original file line number	Diff line number	Diff line change
`@@ -104,7 +104,9 @@ private string isExtensible(J::RefType ref) {`
`104`	`104`	`}`
`105`	`105`
`106`	`106`	`private string typeAsModel(J::RefType type) {`
`107`		`- result = type.getCompilationUnit().getPackage().getName() + ";" + type.nestedName()`
	`107`	`+ result =`
	`108`	`+ type.getCompilationUnit().getPackage().getName() + ";" +`
	`109`	`+ type.getErasure().(J::RefType).nestedName()`
`108`	`110`	`}`
`109`	`111`
`110`	`112`	`private J::RefType bestTypeForModel(TargetApiSpecific api) {`