Вопросы по теме 'ada'
Сомнения на языке ада
Всем привет,
Я новичок в языке ада. У меня есть короткий фрагмент кода. Может ли кто-нибудь сказать мне, что это значит?
type Myarr_Type is array (Character) of Character;
Myarr : Myarr_Type;
C1 : character := character'first;
C2 :...
258 просмотров
schedule
31.01.2024
Доступ к массиву Ada: указатель на определенный элемент в массиве, положение которого изменяется в зависимости от входных параметров.
Я работаю в Ada95, и мне трудно разобраться с указателями.
У меня есть код, который выглядит следующим образом:
type vector is array (1 .. 3) of integer;
type vector_access is access vector;
my_vec : vector;
procedure test is
pointer :...
8862 просмотров
schedule
07.02.2024
Макет кода Ada с запросом gnatpp
Я пытаюсь использовать gnatpp для улучшения макета некоторого кода ada, однако при переформатировании вызовов процедур он помещает именованные параметры в одну строку, а не в отдельные строки, как я предпочитаю. Переключатели, которые я использую:...
393 просмотров
schedule
13.02.2024
GNAT Programming Suite: информация о перекрестных ссылках не актуальна (это предположение)
Я пытаюсь разрешить ссылки на пакеты во время сборки, используя GNAT Programming Suite (размещенный на Win XP). В результатах Builder я получаю такие ошибки:
file "ac_configuration_s.ada" not found
Нажав на ошибку, я попаду на такую...
770 просмотров
schedule
11.05.2024
Ада-эквивалент локальной статической переменной из C/C++
Я исхожу из C/C++ во встроенных системах, и все время внутри функции мы используем статическую переменную, чтобы значение сохранялось во время вызовов.
В Аде кажется, что это делается только с эквивалентом статических переменных на уровне файла....
3452 просмотров
schedule
16.11.2023
Как повторно инициализировать задачи в ADA
У меня простой на вид вопрос:
У меня есть несколько задач, работающих одновременно в ADA. Вместе они создают симуляцию выборов в воображаемой стране. Я хотел бы перезапустить всю симуляцию, если возникнет определенное условие. Поэтому я хочу...
703 просмотров
schedule
27.09.2022
Вход в файлы в Аде
Есть ли способ записывать журналы в текстовые файлы в Аде? Я делаю академическую работу, и мне нужна эта функциональность.
Я думаю, что мне нужна какая-то библиотека, например Ada.IO.
Некоторая помощь, пожалуйста
527 просмотров
schedule
10.06.2024
Определение нескольких элементов многомерного массива
В Аде, когда вы объявляете массив, вы можете сделать что-то вроде
Work_Day : constant array (Day) of Boolean := (Mon .. Fri => True, Sat | Sun => False);
который использует .. и | символов для учета нескольких элементов массива...
6142 просмотров
schedule
02.02.2024
Ошибка компилятора Ada GPS IDE Неопределенные символы для архитектуры x86_64
Пытаюсь заставить GtkAda работать. Сам не скомпилировал библиотеку, у меня было много проблем, и, наконец, я нашел предварительно скомпилированную библиотеку в Интернете. Конечно, GPS не нашел его даже после добавления в мой путь ...
Поэтому я...
1625 просмотров
schedule
29.05.2024
Ошибка программирования на Аде при выполнении файлов
Я только начал программировать на Аде, и у меня возникла проблема с выполнением некоторых файлов .adb.
with Ada.Text_IO, Ada.Integer_Text_IO;
use Ada.Text_IO, Ada.Integer_Text_IO;
procedure Trapeze(A:integer;B: Integer;C :Integer;D: Integer) is...
127 просмотров
schedule
28.11.2023
Невозможно преобразовать void * в массив байтов
РЕДАКТИРОВАТЬ: я упростил свои коды, чтобы лучше показать ситуацию.
ЗАДАЧА: У меня есть работающая программа сокет-сервер/клиент, написанная на C. Я хочу улучшить ее, используя интерфейс Ada-C.
Функция C, которая получает пользовательский ввод,...
1648 просмотров
schedule
02.12.2022
Разница в остаточных операторах Ады?
Итак, я знаю, что Ада предлагает два оператора остатка, rem и mod , но в чем именно между ними разница? Мне удалось найти это , но я не уверен, что полностью понял разница.
8941 просмотров
schedule
12.11.2022
Аннотация искробезопасности
привет, я пытаюсь написать аннотации для проверки этой функции .. это написано с использованием языка программирования Spark
function Read_Sensor_Majority return Sensor_Type is
count1:Integer:=0;
count2:Integer:=0;...
592 просмотров
schedule
05.11.2023
Программа Ада не печатает никаких ошибок времени выполнения
Я разрабатываю большой проект с использованием языка Ада (около 10000 строк только кода). Во время использования контрактного программирования (функции Ады-2012, такие как предварительные и пост-условия, инварианты типов и т. д.) я обнаружил, что...
931 просмотров
schedule
31.03.2024
Поддиапазон enum в ADA
В существующем коде ADA я нашел эти две строки:
type SWITCH_TYPE is (TI1, TO3, TI2, TO1, TI3, TO2);
subtype TI_SWITCH_TYPE is SWITCH_TYPE range TI1..TI2;
subtype TO_SWITCH_TYPE is SWITCH_TYPE range TO1..TO2;
Является ли TO3 частью...
609 просмотров
schedule
30.01.2024
Странность вывода строки
Я новичок в Аде и пытаюсь научиться этому самостоятельно с помощью одной из книг Джона Барнса.
Работая со строками, я написал очень простую программу для чтения пользовательского ввода с клавиатуры и последующего вывода его на консоль. Однако при...
118 просмотров
schedule
05.02.2024
Основы T'Class Ады
Несколько смущенно спрашивать об этом, но я знаю, что это к лучшему. Я программирую на Аде уже много лет и свободно понимаю почти все части языка. Тем не менее, я никогда не мог понять T'Class. Чтобы позаимствовать у других, может кто-нибудь...
151 просмотров
schedule
11.12.2022
Невозможно записать агрегат для защищенного типа
У меня есть следующая функция
function Allocate(V : Value_Type; N : access Node) return access Node is
begin
return new Node'(Value => V, Next => N);
end Allocate;
при компиляции GNAT жалуется на то, что ожидает доступа к Node, но...
349 просмотров
schedule
13.10.2022
Можно ли принудительно указать диапазон виртуальных адресов?
У меня есть программа на Аде, написанная для конкретной (встроенной, многопроцессорной, 32-разрядной) архитектуры. Я пытаюсь использовать этот же код в моделировании на 64-битном RHEL в качестве общего объекта (поскольку существует несколько версий,...
148 просмотров
schedule
09.02.2024
Путаница при компиляции Ады
Я пытаюсь понять ООП в Аде. Для этого мне нужно понять, как именовать, компилировать и связывать файлы пакетов с помощью gnatmake.
Этот веб-сайт ( http://www.infres.enst.fr/~pautet/Ada95/chap22.htm ) содержит хорошие примеры, но я не понимаю, как...
145 просмотров
schedule
29.10.2022
