RFR: 8027682: javac wrongly accepts semicolons in package and import decls [v3]

[Vicente Romero]

On Tue, 7 Feb 2023 16:05:40 GMT, Archie L. Cobbs <duke at openjdk.org> wrote:

>> JLS [§7.3](https://docs.oracle.com/javase/specs/jls/se19/html/jls-7.html#jls-7.3) specifies that while a lone semicolon is a valid _TopLevelClassOrInterfaceDeclaration_, it is not a valid _ImportDeclaration_. Therefore, if we see a lone semicolon while looking for the next import statement we have to advance and accept a class declaration, and we can therefore no longer accept any further `import` statements.
>> 
>> However, the compiler was allowing this, for example:
>> 
>> package p; import X; ;;; import Y; class Foo {}
>> 
>> The bug is that the parser was switching out of "look for imports" mode after parsing a valid class declaration, but it was not switching out of "look for imports" mode after parsing a lone semicolon.
>> 
>> The fix to `JavacParser.java` is easy, however it also requires these adjustments to unit tests:
>> 
>> * Test `tree/T6963934.java` must go away, because it is verifying a bug that only happens when the above bogus input is successfully parsed, and this can no longer happen.
>> * A bug in `lib/types/TypeHarness.java` was uncovered and fixed; it was inserting an extra semicolon.
>> * The following bugs, which check invalid syntax within import statements, now generate different parse errors and therefor needed their "golden output" updated:
>>   * annotations/typeAnnotations/failures/AnnotatedImport.java
>>   * annotations/typeAnnotations/failures/AnnotatedPackage1.java
>>   * annotations/typeAnnotations/failures/AnnotatedPackage2.java
>
> Archie L. Cobbs has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Correct misspelling of "semicolon" (there is no dash).

some comments on the CSR:

- Solution section
    I would remove comments that are implementation details. Probably a matter of style but I would simply go like:
    `Disallow extraneous semicolons prior to import statements.`
- Specification section
    I don't think that the links to the PR and the bug belong here as those are already linked to the CSR. I would mention the  related section of the spec and probably paste the specific text that applies here. I see the before and after behavior probably more in the `Solutions`

The comment about how many projects could be affected probably belongs to the `Compatibility Risk Description` field, which you can access by clicking on the `Edit` button, of the CSR or to a `Notes` additional section after the `Specification` section.

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

PR: https://git.openjdk.org/jdk/pull/12448