RFR: 7903755: multi header support and special syntax for header file [v4]

[Maurizio Cimadamore]

On Wed, 19 Jun 2024 16:58:39 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote:

>> jextract currently supports only one header file. If the user wants to extract more than one header file, s/he has to create a containing header that includes multiple headers and jextract the containing header.
>> 
>> With the current change, jextract supports more than one header file in the command line.
>> When multiple headers are specified in command line, --header-class-name option is mandatory and it is enforced.
>> 
>> In addition to normal file names for header file names, a special syntax such as "<stdio.h>" is also supported. With this, user does not have to write long file name including directories such as /usr/include/stdio.h.
>> 
>> jextract generates multiple headers by generating a temporary header file. If the command line argument is of the form "<stdio.h>" then jextract generates "#include <stdio.h>" in the auto-generated containing header. If the header specified in of the normal/existing form (say foo.h), then containing header will have #include "foo.h" line.
>
> Athijegannathan Sundararajan has updated the pull request incrementally with one additional commit since the last revision:
> 
>   updated section on basic jextract usage for multiple header files and special header syntax
>   with a link to command line option reference based on review comment.

doc/GUIDE.md line 1001:

> 999:       from standard include paths and include paths specified by `-I` options.
> 1000: 
> 1001:       Note that '>' and '<' are special characters in OS Shells and therefore those

Suggestion:

      Note that `>` and `<` are special characters in OS Shells and therefore those

-------------

PR Review Comment: https://git.openjdk.org/jextract/pull/249#discussion_r1646524068