ADA

Reading Float Data from a binary file into ada
Hello everyone! I am having a problem that I would love some help with. Essentially I was given a Visual Basic program that dumps a binary configuration file with all of the variables in a set. The variables are each 32 bit floats, with the first 16 bits being the integer part and the second 16 bits being a... 3 Feb 2007 12:41

Ravenscar - program termination
Hi, The N442 document states that Ravenscar profile forbids task termination. I understand that task termination is the fact of a task finishing its job and completing. Do I understand correctly that Ravenscar programs are by definition running forever? What about programs that are expected to finish? -... 31 Jan 2007 13:24

How come Ada isn't more popular?
Hello. I am a long time C programmer (10 years plus), having a look at Ada for the first time. From my (inadequate) testing, it seems that performance of average Ada code is on par with average C code, and there's a clear advantage in runtime safety. The GNU ada compiler makes pretty sure that there are very few... 18 Mar 2007 22:44

strange warning: "return" statement missing following?
Dear all, when i am compiling my code, i get the following error: cache.adb:82:04: warning: in instantiation at util-dynamic_hashtable.adb:310 cache.adb:82:04: warning: "return" statement missing following this statement cache.adb:82:04: warning: Program_Error may be raised at run time the offending lines i... 26 Jan 2007 15:10

AW: Limited_Controlled and constructor functions
> Now, I want to make it limited as well by adding limited before private and changing Controlled to Limited_Controlled in two places. I get this when compiling the package: cannot return a local value by reference "Program_Error" will be raised at run time I think the compiler is not yet full Ada 20... 18 Jan 2007 07:50

Limited_Controlled, orthogonality and related issues
Hi, Consider the following problem: package P is type T is limited private; type S is limited private; procedure Do_The_Job(X : in T; Y : in S); -- and gazillion of other subprograms like Do_The_Job private -- ... end P; At some point I decide to add automatic destruction to T and S,... 20 Jan 2007 10:04

Translating an embedded C algorithm
Hi, I am in the process of writing a book about real-time embedded development (hardware and software). In it there is a section on different programming languages that are available for embedded development. I'm using a small C function that does temperature measurement by linear interpolation of a lookup table... 26 Jan 2007 07:44

Structured exception information
Hi, Consider an object created by a constructor function: X : My_Type := My_Constructor(Some_Parameters); My_Type is Controlled_Limited to ensure control over initialization and finalization. The idea of constructor function is to prevent the existence of objects that are not yet initialized, half-baked, i... 1 Feb 2007 09:36

ANN: SPARK 7.4 now available
Praxis are pleased to announce the immediate availability of release 7.4 of the SPARK language and toolset. Full details, including the toolset release note, are available from www.sparkada.com as usual. Professional, supported customers will receive upgrades immediately. Upgrade packages for for readers of... 9 Jan 2007 09:55

ANNONCE: G2F_IO an Ada 95 binding to the ImageMagick C API
G2F_IO implement an Ada 95 binding to a subset of the low-level MagickCore library. Recently Olivier Ramonat and Pascal Obry have contributed to binding to make it running with the current version of Image Magick (6.x). With this binding, it's now possible to - Read/Write image - Set/Get some image attribute... 8 Jan 2007 09:08