ADA

SPARK hide directive, hiding separate declaration.
Hello everyone I think I may have found a similar problem discussed when searching, but I felt that this problem is sufficiently different to warrant a new post. I am getting the following error code when using SPARK examiner: Semantic Error : 10: Illegal redeclaration of identifier foo. The error is ha... 3 Jan 2008 22:08

C and ADA
Hi I have an ADA function that I'd like to call from my C program. Is there any way to provide a .h file containing a C prototype for the ADA function and then link the ADA with the C? Does anyone have any experience of this? I'm using a GNU setup on Linux. Thanks. ... 2 Jan 2008 17:47

Restricted or no run time in Ada
Hi, I've posted this to the gcc ml as well, but I honestly don't think I'll get anywhere with that so I'm posting it here as well. I got a simple hello world style multiboot kernel working again recently and it has got me thinking about how I should be using GNAT. Basically, I built a cross compiler for bin... 4 Jan 2008 18:09

[gnat] Where did pragma CPP_Destructor go?
Hi, I asked this on gcc-help but it doesn't look as though Ada people watch that list: The section on C++ interfacing in the GNAT User's Guide for GCC 4.3.0 seems to have been overhauled. Looks very promising. However, one thing I find missing is how to interface C++ class destructor to Ada. Many thanks... 2 Jan 2008 11:40

Ada 95 constructors on limited types
I am trying to write a constructor that will return an access type to a new object. What I what is something like: procedure Test is Test_Pointer : Parent.Class_Access := new Parent.Child.Create (5); begin null; end Test; Parent.ads: package Parent is type Class is abstract tagged ... 7 Jan 2008 20:44

M-I,5`Per secution - BBC h 2g2 online
BBC. h2g2 16/Sept/1999 The BBC's h2g2 website is billed as "Earth Edition of The Hitchhiker's. Guide to the Galaxy!". Naturally, one of its pages is about me, me, me. It starts off with the lines;. Every now and then something. comes along which makes you think "Ah! That's what the Internet is for!". Mike Co... 2 Jan 2008 06:34

M`I'5-Persecutio n ` harassment at w ork
-=-=-=-=-=-=-=-=-=-=-=-= -= harassment. at work -= -=-=-=-=-=-=-=-=-=-=-=-= Once I stopped watching television and listening to the radio. at the end of 1990, "they" had to find other. ways of committing abuses. So they took what must be for them a tried and tested route;. they get at you by subversion of those... 2 Jan 2008 05:28

M.I 5-Persecuti on ` w hy the se curity se rvices?
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -= why the. security services? -= -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= You may ask, why do I think. the "they" referred to are the security services? Is there any evidence that there is a single. source, as opposed to a loosely based "whispering campaign". amongst many people? Even i... 2 Jan 2008 04:54

M'I-5,P ersecution ' w hy the securit y services ?
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -= why the. security services? -= -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= You may ask, why. do I think the "they" referred to are the security services? Is there. any evidence that there is a single source, as opposed to a loosely based "whispering campaign" amongst. many people? Even i... 2 Jan 2008 04:21

M`I'5`Persecutio n - wh y the se curity serv ices?
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -=. why the security services? -= -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= You may ask, why do. I think the "they" referred to are the security services? Is there any evidence that there is a single. source, as opposed to a loosely based "whispering. campaign" amongst many people? Even i... 2 Jan 2008 04:21