From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Record representation : components order
Date: Thu, 09 Jul 2009 05:28:59 -0400
Date: 2009-07-09T05:28:59-04:00 [thread overview]
Message-ID: <uocru5hno.fsf@stephe-leake.org> (raw)
In-Reply-To: 0528ea71-d39b-4c0f-ae70-b632c6b4fbeb@c36g2000yqn.googlegroups.com
sjw <simon.j.wright@mac.com> writes:
> On Jul 6, 8:33�am, Stephen Leake <stephen_le...@stephe-leake.org>
> wrote:
>> sjw <simon.j.wri...@mac.com> writes:
>> > For tcladashell, I have a Tcl script which generates a C program which
>> > generates an Ada spec
>>
>> Recent versions of GNAT have the option -fdump-ada-spec which
>> generates Ada specs from C and C++ headers. See chapter 25 in the GNAT
>> User Guide.
>
> Yes, but many people don't have this option yet. Also
>
> * tcl.h isn't really meant to be read by humans, so Ada code generated
> from it has similar characteristics, and I'd rather provide something
> I know to be at least semi-readable and compilable;
Ok.
> * I'm not sure how settled -fdump-ada-spec is yet;
Ok.
I suppose this could be a standard, defining how various C statements
get translated into Ada, but I suspect that would be far more effort
than it is worth. So we'll just have to trust AdaCore to do a good
job. Since they are motivated by customer needs, I'm not worried :).
> * in theory tcladashell is compiler-independent.
That's not important. You only need to generate the Ada code once
(well, once each time the C code changes); then you can use it with
any compiler. So only the tcladashell maintainer/developer needs
-fdump-ada-spec.
--
-- Stephe
next prev parent reply other threads:[~2009-07-09 9:28 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-07-04 21:08 Record representation : components order Hibou57 (Yannick Duchêne)
2009-07-05 3:14 ` Hibou57 (Yannick Duchêne)
2009-07-05 10:16 ` sjw
2009-07-06 7:33 ` Stephen Leake
2009-07-07 19:37 ` sjw
2009-07-09 9:28 ` Stephen Leake [this message]
2009-07-09 19:16 ` sjw
2009-07-10 5:26 ` Stephen Leake
2009-07-06 7:29 ` Stephen Leake
2009-07-06 8:07 ` Jean-Pierre Rosen
2009-07-05 14:10 ` Stephen Leake
2009-07-06 2:57 ` Hibou57 (Yannick Duchêne)
2009-07-06 8:27 ` Jacob Sparre Andersen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox