Вопросы с тегом ада

4 голосов

1 ответ

SPARK-Ada с использованием GNATProve для принятия постусловия функции G CC Intrinsi c

alfxs / 10 июля 2020

1 голос

1 ответ

Внешняя конфигурация Project_Version в файле gpr

Vser / 09 июля 2020

1 голос

1 ответ

Ада: Разница между интерфейсом и абстрактным тегированным типом?

digital_hog / 20 июня 2020

0 голосов

1 ответ

Ада - функция внутри пакета. Ошибка говорит о том, что пакет должен заканчиваться там, где заканчивается функция

Ben / 18 июня 2020

5 голосов

2 ответов

Различия при использовании процедур анонимного доступа или типов процедур доступа

chrillof / 17 июня 2020

2 голосов

3 ответов

Нет GNATtest в GNAT Community Edition?

kirk / 16 июня 2020

1 голос

1 ответ

Соответствие длины строки файла целому числу файла

Gustav Agrell / 29 мая 2020

1 голос

0 ответов

Могу ли я использовать IDE GNAT Community Edition с Debian?

Lloyd Thomas / 29 мая 2020

3 голосов

4 ответов

Как вы проверяете, заканчивается ли строка другой строкой в Аде?

TamaMcGlinn / 29 мая 2020

1 голос

2 ответов

Рисование обложки книги со складками (Ада)

Gustav Agrell / 28 мая 2020

1 голос

1 ответ

Как мне запросить PostgreSQL в GNAT CE 2019

Lloyd Thomas / 08 мая 2020

2 голосов

3 ответов

Я получаю сообщение об ошибке TASKING_ERROR в Ada

Vivek / 07 мая 2020

3 голосов

1 ответ

Обновление компилятора для IDE GPS Community Edition 2019

Lloyd Thomas / 06 мая 2020

1 голос

2 ответов

Передача массива функции в Аде

Ryan Jevning / 04 мая 2020

0 голосов

1 ответ

ADO Transaction и READPAST

Я не знаю, если это лучший способ, если есть лучший способ, пожалуйста, напишите. У меня есть...

Hannes / 05 июля 2011

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.