Question about Obtaining the Element Type within the List Type

[liushengahn]

Dear Doop developers,
Hello!
I've encountered a problem regarding type handling while using Doop. When dealing with data structures containing the List type, I'm not sure how to accurately obtain the specific type information of the elements contained within the List type. For example, if I have a List, I hope there's a way to determine that the elements in this List are of the Integer type within the Doop framework.
Thank you very much for taking the time to answer my question. I'm looking forward to your reply and guidance.
Thank you!

[liushengahn]

I've used the --generate-artifacts-map parameter, but it seems that there's no effect. Or maybe I don't know where the generated content is.

[anantoni]

Hi,

Java's data structures lose the type information at bytecode level due to type erasure, e.g., List becomes List. Since Doop uses facts generated from Java bytecode it is not possible to recover this information accurately, you could only do so with some sort of heuristic.

As for the flag you mentioned, --generate-artifacts-map generates a map between classes and their containing jar files, it's not related to what you are looking for.

I hope this clears things out.