Fields and methods of a record are marked MANDATED
Joe Darcy
joe.darcy at oracle.com
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.
Cheers,
-Joe
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 univ-mlv.fr> 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