Comments on: Gem #59: Generating Ada bindings for C headers http://www.adacore.com/2009/02/23/gem-59/ AdaCore technology and news Mon, 06 Feb 2012 18:59:19 -0500 http://wordpress.org/?v=2.9 hourly 1 By: Arnaud Charlet http://www.adacore.com/2009/02/23/gem-59/comment-page-1/#comment-3386 Arnaud Charlet Wed, 25 Feb 2009 17:07:56 +0000 http://www2.adacore.com/?p=2596#comment-3386 Official GCC development is currently held finalizing the GCC 4.4 branch, so no new contribution can be made on trunk at this stage. Once GCC tree is open for contributions, we will submit these changes for inclusion. GNAT GPL 2009 will also contain this new feature. Official GCC development is currently held finalizing the GCC 4.4 branch, so no new contribution can be made on trunk at this stage. Once GCC tree is open for contributions, we will submit these changes for inclusion.
GNAT GPL 2009 will also contain this new feature.

]]> By: qunying http://www.adacore.com/2009/02/23/gem-59/comment-page-1/#comment-3385 qunying Wed, 25 Feb 2009 17:03:06 +0000 http://www2.adacore.com/?p=2596#comment-3385 Had the feature incorporated into the official GCC? Or a new release of GNAT GPL will have the feature? Had the feature incorporated into the official GCC? Or a new release of GNAT GPL will have the feature?

]]> By: Paul Pearson http://www.adacore.com/2009/02/23/gem-59/comment-page-1/#comment-3384 Paul Pearson Tue, 24 Feb 2009 21:01:32 +0000 http://www2.adacore.com/?p=2596#comment-3384 Thanks, Armaud. I knew function-like macros would be tricky (one reason they can be so error-prone in C). It looks like the binding generator takes the safe approach. How very Ada like! ;-) Yeah, using the binding generator for some small, useful library might make an interesting Gem! Thanks, Armaud. I knew function-like macros would be tricky (one reason they can be so error-prone in C). It looks like the binding generator takes the safe approach. How very Ada like! ;-)

Yeah, using the binding generator for some small, useful library might make an interesting Gem!

]]> By: Arnaud Charlet http://www.adacore.com/2009/02/23/gem-59/comment-page-1/#comment-3382 Arnaud Charlet Tue, 24 Feb 2009 17:49:36 +0000 http://www2.adacore.com/?p=2596#comment-3382 I forgot to mention: using gcc or g++ for the case of macros won't make a difference here. I forgot to mention: using gcc or g++ for the case of macros won’t make a difference here.

]]> By: Arnaud Charlet http://www.adacore.com/2009/02/23/gem-59/comment-page-1/#comment-3381 Arnaud Charlet Tue, 24 Feb 2009 17:48:17 +0000 http://www2.adacore.com/?p=2596#comment-3381 I see that we're now getting into advanced topics, probably good material for future gems :-) function-like macros are a real challenge because they lack type information about parameters (and because they can include any arbitrary code). Currently, the binding generator will generate pseudo Ada code for function-like macros that can be copy/pasted and transformed into inline Ada functions by adding manually the appropriate types, at least in the simple cases, which represents maybe 80% of the typical use of arg macros. For example if you consider the following C macro: #define func1(a,b) (a+b) it will get "translated" into: -- arg-macro: function func1 (a, b) -- return a+b; I see that we’re now getting into advanced topics, probably good material for future gems :-)

function-like macros are a real challenge because they lack type information about parameters (and because they can include any arbitrary code).

Currently, the binding generator will generate pseudo Ada code for function-like macros that can be copy/pasted and transformed into inline Ada functions by adding manually the appropriate types, at least in the simple cases, which represents maybe 80% of the typical use of arg macros.

For example if you consider the following C macro:
#define func1(a,b) (a+b)

it will get “translated” into:
— arg-macro: function func1 (a, b)
— return a+b;

]]> By: Paul Pearson http://www.adacore.com/2009/02/23/gem-59/comment-page-1/#comment-3380 Paul Pearson Tue, 24 Feb 2009 17:24:19 +0000 http://www2.adacore.com/?p=2596#comment-3380 This could be very handy for linking with some scripting language libraries, such as lua. How does -fdump-ada-spec handle function-like macros? Would g++ do it "better" than gcc? This could be very handy for linking with some scripting language libraries, such as lua.

How does -fdump-ada-spec handle function-like macros? Would g++ do it “better” than gcc?

]]> By: Arnaud Charlet http://www.adacore.com/2009/02/23/gem-59/comment-page-1/#comment-3378 Arnaud Charlet Tue, 24 Feb 2009 07:25:43 +0000 http://www2.adacore.com/?p=2596#comment-3378 GNAT 6.2.1 provides this feature GNAT 6.2.1 provides this feature

]]> By: qunying http://www.adacore.com/2009/02/23/gem-59/comment-page-1/#comment-3374 qunying Mon, 23 Feb 2009 22:37:29 +0000 http://www2.adacore.com/?p=2596#comment-3374 What version of gnat/gcc that starts to have this feature? What version of gnat/gcc that starts to have this feature?

]]>