Semantics of an empty PermittedSubtypes attribute for the VM
john.r.rose at oracle.com
Fri Apr 3 23:05:38 UTC 2020
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the amber-spec-experts