Ada_Ru форум

Здравствуйте!

Обнаружил сегодня такую вещь:

http://adatoccpptranslator.free.fr/
http://sourceforge.net/projects/adatoccpp

> Ada to C/C++ translator is now released under GPL license.
> You can download sources and contribute to the project.

Кроме того, есть какой–то коммерческий MapuSoft Ada to C Conversion to
Re-deploy Existing Ada Software

http://www.mapusoft.com/ada-to-c-changer/

> Supports conversion of Ada 83, Ada 95 & a subset of Ada 2005 source 
> code to ANSI C/C++ output

> Q: What does the Ada-C/C++ changer tool consist of? A: This tool uses
> the same Ada 95 font end that is used by Green Hills, Aonix, Analog
> Devices and Raytheon for their validated Ada 95 compilers. The
> C-generating “emitter” is used on daily basis both in-house and at
> customer sites, compiling millions of lines of Ada 95 code.

Кроме того, AdaCore покупала AdaMagic у SofCheck, но я не вижу, чтобы
этот продукт появился у AdaCore в каком–нибудь виде.

Признаки того, что он в компании не совсем заброшен, можно найти в блоге
про ParaSail:

http://parasail-programming-language.blogspot.ru/2014/06/linkers-and-types-and-built-ins-oh-my.html

> The interpreter has a library of functions it uses to evaluate 
> ParaSail code. We don't want to and can't write every ParaSail 
> operation directly in llvm. So, it was necessary to link the 
> generated llvm code with the interpreter's built-in functions. At 
> first we thought the built-ins needed to be translated to llvm code 
> to successfully link with our generated llvm. To accomplish this, we 
> used a tool called AdaMagic to convert the Ada source code (in which
> the built-ins are currently written) and Ada's run time system (RTS)
> to C source code then used the llvm C front-end "clang" to compile
> the rest of the way. Clang complained with hundreds of warnings, but,
> it worked. We were able to print integers, floats, and characters!

Необходимость может быть, например, в связи с FlasCC, emscripten для
asm.js, а также MIPS в роутерах и STB.

С уважением,
Левашев Иван

-- 
If you want to get to the top, you have to start at the bottom

> Кроме того, AdaCore покупала AdaMagic у SofCheck

Это не совсем верно передает суть дела - http://www.adacore.com/press/adacore-sofcheck-merge

Здравствуйте!

В развитие темы
>> Supports conversion of Ada 83, Ada 95 & a subset of Ada 2005 source 
>> code to ANSI C/C++ output

Качнул демоверсию, очистил от эклипсов всяких, перевыложил:
http://forum.pascal.net.ru/index.php?showtopic=32108

Чтобы скачать, придётся зарегаться, такие дела. Надо же как-то развивать
ресурс.

Как пользоваться, пока не очевидно. Там даже для простого «Привет, мир!»
надо написать UNIT.MAP и ADA.LIB, и я ещё сам разбираюсь с этой системой.

С уважением,
Левашев Иван,
Барнаул

-- 
If you want to get to the top, you have to start at the bottom