are CodeElements unique?

Mark Roberts markro at cs.washington.edu
Wed May 7 17:43:46 UTC 2025


Are the members of a CodeModel.elementList() unique?  Specifically, is it
safe to use a CodeElement as the key value in a Map?



Thank you,

Mark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/classfile-api-dev/attachments/20250507/7c56f356/attachment.htm>


More information about the classfile-api-dev mailing list