ada

Understanding how Ada serializes a record

I would like to be able to predict what will be in the resulting binary when I call Write in Ada to serialize a record. Do you know where I can look this up? I have some legacy Ada software that produces a binary file by Write-ing a record, and I need to debug a C++ program that is supposed to write a compatible binary file. So, I would...

Good Ada IDE?

What would be a good (free) Ada IDE for either Linux or Windows? ...

Does A#.Net work in Visual Studio 2008?

As per the title. For those who don't know, it's basically Ada for .Net. ...

Nintendo DS homebrew with Ada?

Note: I know very little about the GCC toolchain, so this question may not make much sense. Since GCC includes an Ada front end, and it can emit ARM, and devKitPro is based on GCC, is it possible to use Ada instead of C/C++ for writing code on the DS? Edit: It seems that the target that devKitARM uses is arm-eabi. ...

Why not use SPARKAda?

Beyond some valid reasons not to use a new tool such as support of legacy code, no in-house SPARKAda knowledge base, why hasn't SPARKAda caught on? It seems like a very sound tool for many projects requiring high reliability, so I don't understand why its not so common. I would be more comfortable knowing that the avionics software that ...

Is there a free implementation of Ada?

I looked at the AdaCore site, as well as for A# (which now appears to be owned by AdaCore) and neither appear to be free (although I could have misread something). Any recommendations? ...

Can you call Ada functions from C++?

I'm a complete Ada newbie, though I've used Pascal for 2-3 years during HS. IIRC, it is possible to call Pascal compiled functions from C/C++. Is it possible to call procedures & functions written in Ada from C++? ...

Does Ada have a preprocessor?

To support multiple platforms in C/C++, one would use the preprocessor to enable conditional compiles. E.g., #ifdef _WIN32 #include <windows.h> #endif How can you do this in Ada? Does Ada have a preprocessor? ...

Enum in C++ like Enum in Ada?

At one point I had looked at implementing a class/template in C++ that would support an Enum that would behave like it does in Ada. It has been some time since I thought about this problem and I was wondering if anyone has ever solved this problem? EDIT: My apologies, I should clarify what functionality I thought were useful in the Ada...

Where is Ada used (apart from safety-critical software)?

When one thinks of Ada, one usually thinks of avionics. What I'm interested in are some other applications of Ada? Where is it used? Are there any shipped applications written in Ada? For example, are there CRUD apps written in it? Or games? Etc. ...

How to do string concatenation in gdb/ada

According to the manual, string concatenation isn't implemented in gdb. I need it however, so is there a way to achieve this, perhaps using array functions? ...

Design Pattern reference implementations in Ada?

Does anyone know of some good reference implementations of common design patterns in Ada? ...

Can you call C++ functions from Ada?

Can you call C++ functions from Ada? I'm wondering if there is a way to do this directly, without doing the implementation in C and writing a C++ wrapper & and Ada wrapper, e.g. I would like to go c++ -> Ada rather than c++ -> c -> Ada. ...

Scoping problem in Ada

I got this problem wrong on my homework, and I can't figure out why: procedure Main is X: Integer; procedure Sub1 is X: Integer; begin - of Sub1 Put(X); end; - of Sub1 procedure Sub2 is X: Integer; begin - of Sub2 X:=5; Sub1 end; - of Sub2 begin -of ...

Tracking header dependencies in Ada?

Is there a tool that will track/graph header dependencies from Ada source code? ...

How can you print an Ada.Calendar.Time variable in Ada?

The title says it all... need to know how to print a Time variable in Ada. I assume there is no portable way because Time is implementation defined. I've already seen the GNAT.Calendar.Formatting package available under GNAT, I'd also be interested in a GHS for VME. ...

Are there any good Unit Test frameworks for Ada?

I come from a C++ background, but I'm currently working in Ada. In the C++ world, I unit test every class as I write it... this doesn't seem to be the vogue for our codebase here at work. I'd like to start implementing unit tests for the Ada packages I create, are there any good frameworks out there that do this? ...

Recommendations on good Ada books

I'm looking for a good book on Ada. Wikipedia has a list but I have no idea where to start, what level they're aimed at, etc. I started coding ~6 years ago in college and I'm quite adept at Java and have dabbled in Python, C and PHP when required. Therefore, I don't need a beginners book, but more of a general overview of the language an...

How can I print type attributes in GDB?

Is there a way to print a type attribute from inside GDB? E.g. Integer'Size. ...

how to swap two integer number in ada83 using pass by address

how to swap two integer number in ada83 using pass by address ...