comp.lang.ada Google Group

Re: Is it possible to translate ada program to C using GCC or other tools?

nospam_steve...@comcast.net (Steve) — Thu, 24 Jul 2008 01:32:13 UT

Thanks,
Steve

Re: computer language used to program Mars Lander

ljelm...@verizon.spammenot.net (Larry Elmore) — Wed, 23 Jul 2008 22:53:29 UT

NASA's Deep Space 1

Re: Is there an Ada port to Microchip PIC?

s...@rfc1149.net (Samuel Tardieu) — Wed, 23 Jul 2008 21:50:51 UT

Bernd> Does anyone know whether there is an Ada port for PICs
Bernd> available? I have do write some code for an 18Fxxx with CAN-bus
Bernd> interface and would like to do it with Ada. I look for native
Bernd> code generation, not for an indirection using intermediate C
Bernd> code.
None that I know about. If you have to program a PIC18Fxxx, I suggest

Re: Ada OOP alternatives?

bobd...@shell01.theworld.com (Robert A Duff) — Wed, 23 Jul 2008 21:04:03 UT

If what currently goes in the private part were moved to the body, then
child package bodies would need visibility on their parent's body.
- Bob

Re: How do I turn off this warning?

simon.j.wri...@mac.com (Simon Wright) — Wed, 23 Jul 2008 20:23:56 UT

Possibly overkill in this case; there are 3 lines of code giving 6
warnings (4 unique ones). And you have to turn them on again, or you get
a warning about that too. And (GCC 4.3.0) they don't actually get turned
off unless you do supply the matching On!
for T1 use
record
pragma Warnings

Re: ANN: Basil -- Internet Message (email) and MIME library for Ada v 1.0

ludo...@ludovic-brenta.org (Ludovic Brenta) — Wed, 23 Jul 2008 18:33:24 UT

I'm sorry you feel that way. Please accept my apologies.
I do think a 10 kSLOC library has a right to exist as a package (and I
proved it in my last post by asking for someone to step forward as a
packager) and I know for a fact that 10 kSLOC is non-trivial (I've
written several such programs myself in the past and I'm proud of

Re: Mixing languages with Ada

a...@anon.org (anon) — Wed, 23 Jul 2008 16:55:09 UT

For client/server programming, once the Ada-2005 specs were adopted last
year Adacore has decided to stop using the RPC package based in Annex-E
by using the RM Annex E.2. (20). Also, back in 2005 they introduce the Java
based Partition Communication Subsystem (PCS) called Polyorb. And now it
the only PCS package supported by Adacore and GNAT-2008.

ANN: SPARK Toolset 7.6 now available

roderick.chap...@googlemail.com — Wed, 23 Jul 2008 15:12:33 UT

Praxis are pleased to announce the immediate availability of release
7.6 of the SPARK language and toolset.
Full details, including the toolset release note, are available from
[link] as usual.
Professional, supported customers will receive upgrades soon.
Upgrade packages for for readers of the SPARK Textbook are also

Re: computer language used to program Mars Lander

muell...@gmx.net (Michael Oswald) — Wed, 23 Jul 2008 14:43:44 UT

Do you have some information on that? I mean, I work in the space
business (although not directly on on-board software but rather mission
control software and testing equipment) but I haven't heard of Lisp
usage. Would definitely be a 'nice to know' for me.
lg,
Michael

Re: computer language used to program Mars Lander

cbfalco...@yahoo.com (CBFalconer) — Wed, 23 Jul 2008 13:00:06 UT

Fair enough. No further discussion needed, since it was OT in the
first place, and only caused by my righteous irritation :-) at the
destruction of Pascal by bad approximations.

Re: ANN: Basil -- Internet Message (email) and MIME library for Ada v 1.0

goog...@hafdconsulting.com — Wed, 23 Jul 2008 12:45:48 UT

I think you are confused about how mail systems typically work. The
only thing that typically needs to serve as an SMTP *client* or do
anything with SMTP at all is Mail Server (Mail Transfer Agent) the
only reason why a Mail User Agent would deal with SMTP is if it wanted
to support one of the newer methods of accessing its parent server

Re: ANN: Basil -- Internet Message (email) and MIME library for Ada v 1.0

xavier.gr...@ipno.in2p3.fr (xavier grave) — Wed, 23 Jul 2008 12:00:47 UT

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Ludovic Brenta a écrit :
I'll try to help on this once "coup de feu" (I don't know any english
equivalent of this, sorry) at lab is over.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - [link]

Re: Mixing languages with Ada

xavier.gr...@ipno.in2p3.fr (xavier grave) — Wed, 23 Jul 2008 11:56:57 UT

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Tomek Walkuski a écrit :
I proposed Corba as an alternative. But AWS should do the job in a
simpler way (at least no naming services needed).
Your can have an Ada library that handle the cisco system with a clean
interface (ie Ada specification) promoted by web services. That can make

Re: Mixing languages with Ada

tomek.walku...@gmail.com (Tomek Walkuski) — Wed, 23 Jul 2008 11:44:52 UT

Corba? It is like using cannon to kill mosquito :) In my case, I
think.
I will have to try AWS.
The point is, that the server will be responsible for communication
with some Cisco devices via serial port and client(s) will talk to the
server based on my own protocol.

Re: ANN: Basil -- Internet Message (email) and MIME library for Ada v 1.0

rm.dash-bauh...@futureapps.de (Georg Bauhaus) — Wed, 23 Jul 2008 11:33:03 UT

Ludovic Brenta schrieb:
Servlets with Ada can be done. An Ada programmer might need
to adapt his ideas of implementing things to the "hardware"
a little. Depending on the Ada->JVM compiler you use,
many Ada things will work, others won't work.
But if you have some well modularized piece of Ada code,