Fields and methods of a record are marked MANDATED

Joe Darcy joe.darcy at
Thu Oct 10 16:06:15 UTC 2019

A mandated construct is one that is mandated by the specification, but not explicitly declared. Constructs of that sort have been in the platform since the beginning, such as default constructors. ACC_MANDATED was added to the platform only more recently and has some exposure through javax.lang.model.

I recommend going forward ACC_MANDATED to be used more widely, on all the mandated structures, including the values methods on enum types, etc.



On 10/10/2019 8:50 AM, Brian Goetz wrote:
> We should match the behavior of methods like `Enum::values`.
>> On Oct 10, 2019, at 10:15 AM, Remi Forax <forax at> wrote:
>> Hi all,
>> fields and methods of a record are marked ACC_MANDATED which contradict JLS 13.1.12 that explains that you can not use ACC_MANDATED on field and method.
>> regards,
>> Rémi

More information about the amber-spec-experts mailing list