Semantics of an empty PermittedSubtypes attribute for the VM

[John Rose]

On Apr 3, 2020, at 3:12 PM, John Rose <john.r.rose at oracle.com> wrote:
> 
> - A “private action” is any action which the static compiler could have arranged for.
> - Private actions define encapsulation boundaries.  (They can be made public, protected, etc.)

P.S. This is the important part.  A clean and secure VM design
requires principles like this, as opposed to of patchwork of
“if this then that” rules about access control features, as if
they were all unrelated.  Patchworks without principles get
subverted, eventually.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20200403/0375c087/attachment.htm>