Draft JVMS changes for Nestmates

[Dan Smith]

> 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.

—Dan