Sahoo,
I was looking at the closure implementation in the Verifier source code
to understand how the referenced classes were being checked for non
portable API.
In the ASM-based implementation, the owning classes of referenced
methods are included. But I think the classes of the declared fields are
not included. However in BCEL, the types of instance variables are also
included. Is this something that needs to be improved in the ASM part?
Thanks,
Seema