Вопросы по теме 'ada'
ada95 имеет 3 файла .ali, .adb и .o - могу ли я скомпилировать
Я нашел старую работу из колледжа с моим последним проектом Ada95. К сожалению, диск был поврежден, и мне удалось восстановить только 3 файла (исходник и исполняемый файл восстановить не удалось):
проект.adb, проект.али и проект.о
Этих 3 файлов...
530 просмотров
schedule
18.09.2022
Нарезка Ады строками
Я давно работаю программистом на C++, изучаю Аду для удовольствия. Если что-либо из следующего является плохой формой, пожалуйста, не стесняйтесь указывать на это. Я пытаюсь научиться тому, как Ада делает вещи, но старые привычки трудно сломать (и я...
4947 просмотров
schedule
01.07.2022
Как привязать к OpenCV для GNAT?
Кто-нибудь может сказать мне, как найти или создать привязку к OpenCV для GNAT? Я хочу использовать Ada2005 для реализации некоторой программы с OpenCV (1.0 или 2.X), но я не знаю, как это сделать. Кто-нибудь может научить меня, как это сделать?
846 просмотров
schedule
24.07.2022
Чтение записи из файла на Аде?
Всякий раз, когда я иду читать запись из файла в Аде, я всегда получаю сообщение об ошибке. Цель программы состоит в том, чтобы прочитать (из файла) целое число, указывающее, сколько элементов необходимо записать, в фамилию, состоящую (не более) из...
771 просмотров
schedule
29.01.2024
Расширение Enum в Аде
Можно ли расширить тип Enum в Аде? если у меня например:
type ABC_Type is (A, B, C);
Теперь мне нужен новый тип ABCDE_Type, который будет включать в себя все, что есть у ABC_Type, а также (D, E). Есть ли способ сделать это?
1583 просмотров
schedule
05.07.2022
Как называется исполняемый файл для запуска GNAT GPS в Linux?
IT только что установил это на мою машину. Я пытаюсь найти имя исполняемого файла для запуска GNAT GPS.
Спасибо.
1416 просмотров
schedule
03.05.2024
Доступ к закрытым типам из защищенных объектов Ады
Я пытаюсь обернуть хешированную карту защищенным объектом, чтобы к ней можно было получить доступ через несколько задач. Я хочу, чтобы процедуры для защищенного типа были доступны, но было бы неплохо переместить хеш-карту и определение записи...
765 просмотров
schedule
16.02.2024
Как сохранить значение ASCII в символе (только для Ады 83)
Как сохранить значение ascii целого числа (скажем, 33) в символе. Я хочу что-то подобное в Ada83, а не 95
С: код
char c = 10;
char *k = &c;
strncat (des, k, 1);
printf("%s",des);
Спасибо!!
1855 просмотров
schedule
18.09.2022
Ada + PolyORB: могу ли я иметь несколько экземпляров одного и того же модуля RCI и иметь возможность вызывать определенный из кода?
Я разрабатываю распределенное приложение, используя Ada's Distributed System Annex и PolyORB, и у меня есть несколько специфический запрос.
Допустим, у меня есть модуль RCI (интерфейс удаленного вызова) с именем U и основная программа с именем...
106 просмотров
schedule
16.08.2022
Ада, инициализация массива один раз
Я пишу свой первый школьный проект на Аде, состоящий из задач. Мне нужно инициализировать массив один раз. Где в программе я должен это сделать, чтобы убедиться, что она запускается только один раз? Использует ли Ада что-то похожее на конструктор?...
3739 просмотров
schedule
03.01.2024
Могу ли я закрепить значение в диапазоне в Аде?
Есть ли хороший способ зафиксировать (обрезать?, принудить?) значение к диапазону в Аде? Я сделал это на данный момент:
timer := Integer'Max(timer, Integer(Half_Word'First));
timer := Integer'Min(timer, Integer(Half_Word'Last));
TIM8.TIM.ARR :=...
215 просмотров
schedule
19.02.2024
Правила для формальных неполных типов в Аде 2012
Согласно AI05-213. дженерики теперь можно создавать с неполными типами. Я хотел бы использовать это для создания непрозрачных контейнеров: несколько пакетов определяют частные типы и соответствующие контейнеры. Однако я хотел бы, чтобы контейнеры...
609 просмотров
schedule
20.07.2022
Что такое перенаправитель командной строки Ады, аналогичный ›?
Ада тут нуб (да и с командной строкой тоже не ахти). Я ищу перенаправитель командной строки Ada, аналогичный «>» в DOS.
Я запускаю приложение Ada в оболочке командной строки. (СЛОВА Уильяма Уитакера, если это полезно). Я использую команду «@»,...
387 просмотров
schedule
26.06.2022
Ошибка встроенной компоновки не может создать компактную раскрутку для XXX, не использует стандартный кадр (MT5209).
Я работаю над Xamarin и пытаюсь установить приложение iOS на свой iPad.
Я хочу связать статическую библиотеку Ada.
Итак, у меня есть файл libMyLibrary.a + libgnat.a и код заголовка C ( MyLibrary.h ).
В Xamarin я создал проект библиотеки...
479 просмотров
schedule
13.03.2024
Постусловие Spark-Ada для всего массива
Как написать постусловие Spark для функции, которая суммирует элементы массива? (Spark 2014, но если кто-нибудь покажет мне, как это сделать для более ранней версии Spark, я смогу ее адаптировать.)
Итак, если у меня есть:
type Positive_Array...
407 просмотров
schedule
04.03.2024
Семафор в Аде
Это задание, и меня попросили реализовать семафор на Аде, как описано ниже.
Однако я реализовал Semaphore.adb и назвал этот семафор в producerconsumer_sem.adb , который я создал.
Я получаю следующий вывод.
Я не уверен, что моя...
2691 просмотров
schedule
19.11.2023
Что такое дискриминированные записи в Аде?
Я пытаюсь понять, что такое дискриминированные записи в Аде, но не смог найти четкого и точного ответа в Интернете.
Например, что делает эту запись дискриминируемой:
type Discriminated_Record (Size : Natural) is
record
A : String (1...
830 просмотров
schedule
12.01.2024
Могу ли я использовать обычную dll или другой языковой пакет в Аде?
В настоящее время я использую аппаратное обеспечение, которое предоставляет мне программный пакет, полученный из DLL. Они также предоставляют пакеты на разных языках (Java, C++ и Python) с функциями из DLL, поэтому я программирую свое приложение на...
127 просмотров
schedule
13.08.2022
Создание объектов с помощью примитивной операции
Мой вопрос содержит более длинный фрагмент кода Ады. В основном я пытался смоделировать сообщение с заголовком объектно-ориентированным способом. Две примитивные операции Create_Message и Create_Message_Access можно использовать для создания...
108 просмотров
schedule
20.04.2024
Массив массивов записей
Мне нужно создать постоянный массив постоянного массива записей, где я могу ссылаться на каждый элемент внешнего массива по номеру.
Я пытался:
A : constant array (0 .. 3) of B := (B1, B2, B3, B4)
где B — массив записей, а B1,B2,B3,B4 —...
545 просмотров
schedule
26.01.2024
