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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20170418/b41fea30/attachment-0001.html>

More information about the valhalla-spec-experts mailing list