< 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 >