Draft JVMS changes for Nestmates

Dan Smith daniel.smith at oracle.com
Tue Apr 18 20:49:08 UTC 2017

> On Apr 18, 2017, at 2:12 PM, Remi Forax <forax at univ-mlv.fr> wrote:
>>> Verification of MemberOfNest
>>> I include a discussion block about different options of validating MemberOfNest.
>>> I think the consensus, and my preference, is to do it during verification of
>>> the member class. (NestMembers, on the other hand, is never validated, except
>>> as a side-effect of checking MemberOfNest.)
> It means that a NestMembers can contains Class that are not yet/never defined.
> It's not a problem for me.

Yep. Also, multiple classes can claim the same nest member class in their NestMembers attributes. Not a problem as long as the MemberOfNest attribute (if any) of the member class points to a host class that claims it.


More information about the valhalla-spec-observers mailing list