Hello,
From my point of view, JVMS is not fully updated to support Records.
The new spec should have ACC_MANDATED in the tables for its consistency:
Table 4.5-A. "Field access and property flags"
<https://docs.oracle.com/javase/specs/jvms/se12/html/jvms-4.html#jvms-4.5-200-A.1>,
Table 4.6-A. "Method access and property flags".
<https://docs.oracle.com/javase/specs/jvms/se12/html/jvms-4.html#jvms-4.6-200-A.1>
otherwise, the following assertions are violated:
All bits of the access_flags item not assigned in Table 4.5-A are
reserved for future use.
They should be set to zero in generated class files and should be
ignored by Java Virtual Machine implementations.
All bits of the access_flags item not assigned in Table 4.6-A are
reserved for future use.
They should be set to zero in generated class files and should be
ignored by Java Virtual Machine implementations.
Formally speaking, currently, fields/methods can't be marked with the
ACC_MANDATED flag.
Thanks,
Leonid
On 11/21/19 07:01, Gavin Bierman wrote:
A hopefully final draft language spec for JEP 359 (Records) is available at:
http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191121/specs/records-jls.html
This incorporates (I hope!) all the very helpful suggestions from everyone on
these lists - many thanks.
As always - any further comments/thoughts/bugs most welcome!
Gavin
On 31 Oct 2019, at 14:17, Gavin Bierman <gavin.bier...@oracle.com> wrote:
An updated draft language spec for JEP 359 (Records) is available at:
http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jls.html
<http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jls.html>
(Alongside is a draft JVM spec for this feature:
http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jvms.html
<http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jvms.html>
)
As always, please email me any comments/thoughts/bugs.
Thanks,
Gavin
On 23 Aug 2019, at 22:25, Gavin Bierman <gavin.bier...@oracle.com
<mailto:gavin.bier...@oracle.com>> wrote:
A draft language spec for records is available at:
http://cr.openjdk.java.net/~gbierman/8222777/8222777-20190823/specs/records-jls.html
<http://cr.openjdk.java.net/~gbierman/8222777/8222777-20190823/specs/records-jls.html>
This spec doesn’t yet discuss varargs records - to appear in the next draft.
All comments welcomed!
Thanks,
Gavin
