< prev index next >
src/jdk.incubator.jextract/share/classes/jdk/incubator/jextract/tool/Main.java
Print this page
*** 189,198 ****
--- 189,202 ----
//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 >