[foreign-jextract] [Rev 02] RFR: Represent typedef with Declaration.Variable instead of Declaration.Scoped
sundar at openjdk.java.net
Fri May 1 03:28:54 UTC 2020
On Fri, 1 May 2020 03:17:12 GMT, Henry Jen <henryjen at openjdk.org> wrote:
>> Currently jextract API only present typedef declaration for record types, and using Declaration.Scoped to do so.
>> This makes downstream tools like jextract impossible to generate more comprehensive type. For example, if the tool
>> would like to create a carrier type for size_t with similar name, because we pass through that, this is impossible.
>> This patch try to present typedef as Declaration.Variable with Kind TYPE. This will give us more transparency on
>> dealing with typedef, and enable factoring an Declaration.Variable.TYPE from a Type.Delegated.TYPEDEF.
>> This would also be useful when a tool collecting type dependencies and encounter anonymous type or types without
>> declaration, this gave the tool a chance to inject an implicit typedef to associate a type with a proper name.
>> There is one thing worth further discussion is that if we would like to consider generate array with typedef, currently
>> the array element type won't be a Type.Delegated.TYPEDEF, but canonical type. The test case try to explain what should
>> be expected for most use cases, if there is any possible way to use typedef, I'll try to add them.
> Henry Jen has updated the pull request incrementally with one additional commit since the last revision:
> Cleanup of unintended residuals
Marked as reviewed by sundar (Committer).
More information about the panama-dev