RFR: 8352612: No way to add back lint categories after "none" [v3]

[Maurizio Cimadamore]

On Thu, 10 Apr 2025 15:32:39 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> src/jdk.compiler/share/classes/com/sun/tools/javac/resources/javac.properties line 171:
>> 
>>> 169:     Append to the bootstrap class path
>>> 170: javac.opt.Xlint=\
>>> 171:     Enable recommended lint warning categories
>> 
>> I think the use of "mandatory warning" above is good. However, I find the use of `lint warning` a bit too "implementation-related". I believe I liked the old text better, even if it was more vague.
>
> Related, as part of this PR it might be needed to do a pass on the man pages, to make sure they are in sync -- I see for instance this:
> 
>        -nowarn
>               Disables warning messages. This option operates the same as the -Xlint:none option.
> 
> Which would no longer be valid after this change. E.g.
> 
> 
> javac -Xlint:none -Xlint:serial
> 
> is not the same as:
> 
> javac -nowarn -Xlint:serial

I also wonder if the combo `nowarn` + (non-empty lint set) should result in an option warning (as the lint directive will be skipped) ?

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/24227#discussion_r2037696269