< prev index next >

src/jdk.incubator.jextract/share/classes/jdk/incubator/jextract/tool/Main.java

Print this page

        

@@ -189,10 +189,14 @@
         //filter
         if (!options.filters.isEmpty()) {
             toplevel = Filter.filter(toplevel, options.filters.toArray(new String[0]));
         }
 
+        //handle names
+        GroupNameHandler nameHandler = new GroupNameHandler();
+        toplevel = nameHandler.fillNames(toplevel);
+
         if (Main.DEBUG) {
             System.out.println(toplevel);
         }
 
         Path output = Path.of(options.outputDir);
< prev index next >