Ada_Ru форум

Обсуждение языка Ада

GPL Ada 95 to C/C++ translator и другие варианты

Оставить новое сообщение

Сообщения

Иван Левашев
GPL Ada 95 to C/C++ translator и другие варианты
2014-11-02 06:43:58

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

 

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

 

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

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти