clarity needed for the non-sealed keyword

[Vicente Romero]

On 10/7/20 11:36 AM, Pravin Jain wrote:
> Hi Remi,
>
> I only felt that somewhere, it needs to be clarified that "non-sealed"
> is a contextual keyword and is not a keyword inside a type
> declaration.
> Somewhere in Chapter 3 probably.

please check the document I sent you in a previous mail [1], this is 
still work in progress

[1] 
http://cr.openjdk.java.net/~dlsmith/8245310/8245310-20200918/specs/contextual-keywords-jls.html

> Thanks and regards,
> Pravin
>
> On Wed, Oct 7, 2020 at 6:23 PM Remi Forax <forax at univ-mlv.fr> wrote:
>> Hi Pravin,
>> a sealed type lists all it's subtypes (the permits clause) so the name of a subtype have to be stable, i.e. not change from one compilation to an other or from one compiler to an other.
>> So you can not use a local class as a subtype of a sealed type because the name of a local class is not stable.
>>
>> So there is no ambiguity for the tokens "non-sealed" inside a method, it always means "non" "-" "sealed".
>>
>> Rémi
>>
>> ----- Mail original -----
>>> De: "Pravin Jain" <pravin at zensoftech.co.in>
>>> À: "amber-dev" <amber-dev at openjdk.java.net>
>>> Envoyé: Mercredi 7 Octobre 2020 08:25:14
>>> Objet: clarity needed for the non-sealed keyword
>>> Dear sir,
>>>
>>> consider the following code.
>>> public class TestKeyword {
>>>     int non = 7;
>>>     int sealed = 5;
>>>     int a = non-sealed; // non-sealed not identified as keyword here,
>>> }
>>>
>>> In suggested changes to Chapter 3 of the JLS, it does not clarify that
>>> non-sealed will not be tokenized as keyword inside the body of a type
>>> declaration, and I am assumpting that non-sealed classes would not be
>>> allowed inside a type as nested type or local classes.
>>> If in future It is going to be allowed as local class or nested class,
>>> then it may be better to avoid '-' inside a keyword.
>>>
>>> I feel clarity is missing on this in the suggested changes to the JLS.
>>>
>>> Thanks and regards,
>>> Pravin
>>>
>>>
>>> --
>>> Pravin Jain
>>> (M)+91-9426054269
>
>