исходный код with Ada.Text_IO; procedure hello_world is begin Ada.Text_IO.Put_line(“Hello World”);...

У меня есть программа Ada, которая отлично работает и компилируется с использованием GNAT - GPS....

Я пытаюсь создать пакет динамического массива. У меня есть универсальный пакет с универсальным...

Я работаю с K framework и пытаюсь написать семантику для языка, похожего на ada-spark, и в этом я...

У меня есть следующая привязка: function atexit(proc : access Procedure) return Integer with Import...

Представьте себе большую сборку проекта Ada с GPRbuild и одним файлом проекта *.gpr.Исходный...

У меня короткий вопрос: Безопасно сортировать с предложениями в спецификациях пакетов и телах в...

Моя программа работает с ошибками в разделе разработки пакета. Я объявляю кучу переменных в блоке в...

Я хочу знать, как генерировать случайную длительность в Аде. Вот мой код: time : Duration; time :=...

Я пытаюсь ознакомиться с объектной ориентацией в Аде.Ваш сайт помог мне с другой проблемой OO пару...

Ада имеет замечательную особенность оператора and then, используемого в условии if в дополнение к...

Предлагает ли C ++ что-то похожее на subtype Ады для сужения типа? Например: type Weekday is...

У меня есть универсальный пакет со следующей подписью generic type T is private; with function...

Это код, который устанавливает все мои указатели, записи и прочее. type BSTNode; type BSTNodePtr is...

У меня есть некоторые проблемы при компиляции проекта Ada с помощью gcov. Есть мои варианты:...

Итак, мы знаем, что Ada поддерживает параметры по умолчанию, например, procedure Example(param1 :...

Здравствуйте, я получаю binary operator expected в начале раздела функции. Как мне это исправить?...

Я пытаюсь получить значения полей в задаче.Цикл Worker довольно большой, поэтому я собираюсь...

Взято из Введение в Аду - Если выражения : Выражения if Ады аналогичны операторам if.Однако есть...

Мне нужно выучить Аду, чтобы я мог написать для нее переводчика. Но я не могу найти много ресурсов...

Я привык использовать библиотеку Win32Ada для вызова системных вызовов для терминальной программы,...

Я пытаюсь написать пользовательскую политику планирования задач для чеддера на языке ада.но когда я...

Я хотел бы преобразовать значение с плавающей точкой в ​​строку и создал следующий короткий пример:...

Я не могу заставить GNATCOLL скомпилироваться в Docker-контейнере на базе Alpine Linux. Мой...

Как часть изучения Ады, я работаю над некоторыми основными задачами кодирования. Я столкнулся с...