comp.lang.ada
 help / color / mirror / Atom feed
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



  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