Support sealed types

Author: raghav-deepsource

grammar.js

@@ -763,6 +763,7 @@ module.exports = grammar({
       optional(field('type_parameters', $.type_parameters)),
       optional(field('superclass', $.superclass)),
       optional(field('interfaces', $.super_interfaces)),
+      optional(field('permits', $.permits)),
       field('body', $.class_body)
     ),
 
@@ -779,7 +780,9 @@ module.exports = grammar({
       'synchronized',
       'native',
       'transient',
-      'volatile'
+      'volatile',
+      'sealed',
+      'non-sealed',
     )),
 
     type_parameters: $ => seq(
@@ -801,14 +804,19 @@ module.exports = grammar({
 
     super_interfaces: $ => seq(
       'implements',
-      $.interface_type_list
+      $.type_list
     ),
 
-    interface_type_list: $ => seq(
+    type_list: $ => seq(
       $._type,
       repeat(seq(',', $._type))
     ),
 
+    permits: $ => seq(
+      'permits',
+      $.type_list
+    ),
+
     class_body: $ => seq(
       '{',
       repeat($._class_body_declaration),
@@ -937,12 +945,13 @@ module.exports = grammar({
       field('name', $.identifier),
       field('type_parameters', optional($.type_parameters)),
       optional($.extends_interfaces),
+      optional(field('permits', $.permits)),
       field('body', $.interface_body)
     ),
 
     extends_interfaces: $ => seq(
       'extends',
-      $.interface_type_list
+      $.type_list
     ),
 
     interface_body: $ => seq(

queries/highlights.scm

@@ -112,6 +112,7 @@
   "module"
   "native"
   "new"
+  "non-sealed"
   "open"
   "opens"
   "package"
@@ -121,6 +122,7 @@
   "public"
   "requires"
   "return"
+  "sealed"
   "static"
   "strictfp"
   "switch"

queries/tags.scm

@@ -11,7 +11,7 @@
 (interface_declaration
   name: (identifier) @name) @definition.interface
 
-(interface_type_list
+(type_list
   (type_identifier) @name) @reference.implementation
 
 (object_creation_expression

test/corpus/declarations.txt

@@ -324,7 +324,7 @@ public class Dog implements ISpeak {
 (program
   (class_declaration
      (modifiers) (identifier)
-     (super_interfaces (interface_type_list (type_identifier))) (class_body)))
+     (super_interfaces (type_list (type_identifier))) (class_body)))
 
 ============================
 class declaration with body
@@ -383,11 +383,11 @@ interface Bottom extends Left, Right {}
 (program
   (interface_declaration
     (identifier)
-    (extends_interfaces (interface_type_list (type_identifier)))
+    (extends_interfaces (type_list (type_identifier)))
     (interface_body))
   (interface_declaration
     (identifier)
-    (extends_interfaces (interface_type_list (type_identifier) (type_identifier))) (interface_body)))
+    (extends_interfaces (type_list (type_identifier) (type_identifier))) (interface_body)))
 
 ===========================================
 interface with annotation type declaration
@@ -668,3 +668,40 @@ class A$B {
             (method_invocation
               (identifier)
               (argument_list))))))))
+
+================
+ Sealed classes
+================
+
+sealed interface A permits B, C {
+
+}
+
+final class B implements A {}
+non-sealed interface C extends A {}
+
+---
+
+(program
+      (interface_declaration
+        (modifiers)
+        (identifier)
+        (permits
+          (type_list
+            (type_identifier)
+            (type_identifier)))
+        (interface_body))
+      (class_declaration
+        (modifiers)
+        (identifier)
+        (super_interfaces
+          (type_list
+            (type_identifier)))
+        (class_body))
+      (interface_declaration
+        (modifiers)
+        (identifier)
+        (extends_interfaces
+          (type_list
+            (type_identifier)))
+        (interface_body)))