<div dir="ltr">I use<div>JextractTool.parse(List<String> arg0, String... arg1)</div><div>to inspect given header files. Then I use</div>ToolProvider.run(PrintStream out, PrintStream err, String... args)<div>which is not Jextract-specific to run the tool with the user's configuration. There is no need for a dump.</div><div><br></div><div>I want to release an alpha soon so you'll be able to see how it works.</div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Tue, Jan 28, 2025 at 2:28 PM Jorn Vernee <<a href="mailto:jorn.vernee@oracle.com">jorn.vernee@oracle.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hey Nir,<br>
<br>
The jextract API has been neglected for a while (as you've found). <br>
Initially it was a way of avoiding adding many flags to jextract, to do <br>
things like filtering, renaming, and other things. The idea being that <br>
if users wanted more control of what jextract did, they could use the <br>
API. But, now it seems like we're moving in that direction any way, with <br>
the JSON based configuration: <br>
<a href="https://bugs.openjdk.org/browse/CODETOOLS-7903788" rel="noreferrer" target="_blank">https://bugs.openjdk.org/browse/CODETOOLS-7903788</a><br>
<br>
I think we need to re-asses which use cases the jextract API addresses, <br>
and whether using jextract through the ToolProvider interface, with the <br>
extended configuration options, is also an option.<br>
<br>
IIRC your use case is filtering the jextract output, right? Do you think <br>
it would be possible to use the ToolProvider interface with a <br>
combination of --dump-includes, and automatically generated <br>
--include-XXX flags, to achieve the same level of functionality?<br>
<br>
Jorn<br>
<br>
On 26-1-2025 08:51, Nir Lisker wrote:<br>
> Hi,<br>
><br>
> There are several public methods the JextractTool exposes. Please <br>
> javadoc to these methods so tool users will know what they do and how <br>
> to use them.<br>
><br>
> Thanks,<br>
> - Nir<br>
</blockquote></div>