mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 07:14:30 +02:00
8187982: Update SourceVersion to mention restricted keywords
Reviewed-by: mcimadamore
This commit is contained in:
parent
24d81d3f2e
commit
5d2a4c319a
3 changed files with 39 additions and 4 deletions
|
@ -87,7 +87,7 @@ public interface ModuleElement extends Element, QualifiedNameable {
|
|||
*
|
||||
* @return {@code true} if this is an open module and {@code
|
||||
* false} otherwise
|
||||
*/ // TODO: add @jls to unnamed module section
|
||||
*/
|
||||
boolean isOpen();
|
||||
|
||||
/**
|
||||
|
@ -96,7 +96,9 @@ public interface ModuleElement extends Element, QualifiedNameable {
|
|||
*
|
||||
* @return {@code true} if this is an unnamed module and {@code
|
||||
* false} otherwise
|
||||
*/ // TODO: add @jls to unnamed module section
|
||||
*
|
||||
* @jls 7.7.5 Unnamed Modules
|
||||
*/
|
||||
boolean isUnnamed();
|
||||
|
||||
/**
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue