changeset 55727:20cd97aac3b0 records-and-sealed

Add RECORD to the kinds of elements included in ElementFilter.typesIn.
author darcy
date Tue, 16 Apr 2019 09:56:15 -0700
parents 7eb4eb5792df
children 24d5d031b5c7 bd78b65ff421
files src/java.compiler/share/classes/javax/lang/model/util/ElementFilter.java
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/java.compiler/share/classes/javax/lang/model/util/ElementFilter.java	Mon Apr 15 12:15:25 2019 -0700
+++ b/src/java.compiler/share/classes/javax/lang/model/util/ElementFilter.java	Tue Apr 16 09:56:15 2019 -0700
@@ -83,6 +83,7 @@
         Collections.unmodifiableSet(EnumSet.of(ElementKind.CLASS,
                                                ElementKind.ENUM,
                                                ElementKind.INTERFACE,
+                                               ElementKind.RECORD,
                                                ElementKind.ANNOTATION_TYPE));
 
     private static final Set<ElementKind> STATE_COMPONENT_KIND =